DocumentCode
2785512
Title
A verifiedwireless safety critical hard real-time design
Author
Graf, Hernán Baró ; Hermanns, Holger ; Kulshrestha, Juhi ; Peter, Jens ; Vahldiek, Anjo ; Vasudevan, Aravind
Author_Institution
Comput. Sci., Saarland Univ., Saarbrucken, Germany
fYear
2011
fDate
20-24 June 2011
Firstpage
1
Lastpage
9
Abstract
Wireless communication, hard real time requirements and safety criticality do not go together well. This paper reports on the modelling, design, simulation, implementation and deployment of a small exemplary case that possesses all these features. State-of-the-art verification and simulation means are employed to ensure its proper operation.
Keywords
radiocommunication; safety; wireless communication; wireless safety critical hard real-time design; Computer crashes; Probabilistic logic; Real time systems; Receivers; Safety; Wireless communication; Wireless sensor networks; dependability; modelling and validation; safety criticality; wireless control;
fLanguage
English
Publisher
ieee
Conference_Titel
World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2011 IEEE International Symposium on a
Conference_Location
Lucca
Print_ISBN
978-1-4577-0352-2
Electronic_ISBN
978-1-4577-0350-8
Type
conf
DOI
10.1109/WoWMoM.2011.5986386
Filename
5986386
Link To Document