978-1-4577-0351-5/11/$26.00 c©2011 IEEE A Verified Wireless Safety Critical Hard Real-Time Design

Abstract—Wireless communication, hard real time require-ments 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-wireless control, safety criticality, dependability, modelling and validation I