[SystemSafety] PhD position announcement: Timed contracts for Correct-by-Construction system design

From: David MENTRE < >
Date: Fri, 3 Jul 2015 09:06:18 +0200


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é



The System Safety Mailing List
systemsafety_at_xxxxxx Received on Fri Jul 03 2015 - 09:06:28 CEST

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:07 CEST