[SystemSafety] PhD position announcement: Timed contracts for Correct-by-Construction system design
David MENTRE
dmentre at linux-france.org
Fri Jul 3 09:06:18 CEST 2015
Hello,
INRIA Rennes and Mitsubishi Electric R&D Centre Europe are opening a PhD
position titled "Timed contracts for Correct-by-Construction system design".
Position details are available here:
http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1506_Annonce_Formal%20methods_PhD_201509_EN(1).pdf
This PhD position does not strictly address safety issues in systems but
the envisioned framework would be used to ensure Correct-by-Construction
real-time properties of safety critical systems.
Do not hesitate to ask questions if needed. Feel free to forward this
position to relevant forums.
Sincerely yours,
D. Mentré
More information about the systemsafety
mailing list