Certified Compilation and Worst-Case Execution Time Estimation
Safety-critical systems - such as electronic flight control systems and nuclear reactor controls - must satisfy strict safety requirements. We are interested here in the application of formal methods - built upon solid mathematical bases - to verify the behavior of safety-critical systems. More spec...
Main Author: | |
---|---|
Language: | English |
Published: |
Université Rennes 1
2014
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-01064869 http://tel.archives-ouvertes.fr/docs/01/06/48/69/PDF/OLIVEIRA_-_MARONEZE_Andre.pdf |