Title :
Fostering functional safety of real-time systems with concepts of object orientation
Author :
Houben, Christina K.
Author_Institution :
Dept. of Comput. Eng., FernUniv. in Hagen, Hagen, Germany
Abstract :
Hard-wired control systems are increasingly replaced by program-controlled embedded systems. The programming languages currently employed for their implementation lack constructs and design patterns enforcing intelligible code fostering its verification by certification authorities. Recommendations for such constructs necessary to guarantee safety integrity are given in the international standard IEC 61508-3. One of the recommendations refers to object-oriented programming (OOP). Therefore, we analyse both basic and advanced properties of OOP like encapsulation, polymorphism, inheritance, prototyping, delegation etc. with respect to functional safety. In a resulting programming language based on PEARL90 [1] we demonstrate coding with examples from hard real-time systems.
Keywords :
IEC standards; control engineering computing; embedded systems; object-oriented programming; program verification; safety-critical software; OOP; PEARL90; certification authorities; design patterns; functional safety; hard real-time systems; hard-wired control systems; intelligible code; international standard IEC 61508-3; object orientation; object-oriented programming; program-controlled embedded systems; programming languages; safety integrity; verification; Computer languages; Concrete; Prototypes; Real-time systems; Runtime; Safety; Software;
Conference_Titel :
Methods and Models in Automation and Robotics (MMAR), 2014 19th International Conference On
Conference_Location :
Miedzyzdroje
Print_ISBN :
978-1-4799-5082-9
DOI :
10.1109/MMAR.2014.6957378
