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
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;
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
DOI :
10.1109/WoWMoM.2011.5986386
