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

fYear

2014

fDate

2-5 Sept. 2014

Firstpage

353

Lastpage

358

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/MMAR.2014.6957378

Filename

6957378