Scalable Trajectory Approach for ensuring deterministic guarantees in large networks
In critical real-time systems, any faulty behavior may endanger lives. Hence, system verification and validation is essential before their deployment. In fact, safety authorities ask to ensure deterministic guarantees. In this thesis, we are interested in offering temporal guarantees; in particular...
Main Author: | |
---|---|
Language: | English |
Published: |
Université Paris Sud - Paris XI
2013
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00998249 http://tel.archives-ouvertes.fr/docs/00/99/82/49/ANNEX/VA_MEDLEJ_SARA_12092013_SynthA_se_Annexes.pdf http://tel.archives-ouvertes.fr/docs/00/99/82/49/PDF/VA_MEDLEJ_SARA_12092013.pdf |