A verifiedwireless safety critical hard real-time design


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.

IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)