Real-time systems: formal specification and automatic verification
Auteur :
Olderog, Ernst-Rüdiger / Dierks, Henning
Éditeur :
Cambridge University Press
ISBN :
9780521883337
Date de publication :
11 sept. 2008
Dimensions :
25,3 x 18,0 x 1,9 cm
Poids :
810 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata.