Safe object oriented programming of distributed real time systems in PEARL*

Author

Halang, Wolfgang A. ; Pereira, Carlos E. ; Frigeri, Alceu Heinke

Author_Institution

Fac. of Electr. Eng., Fern Univ., Hagen, Germany

fYear

2001

fDate

2001

Firstpage

87

Lastpage

94

Abstract

Often, the advantages attainable by object oriented programming cannot be realised due to the widespread use of inadequate languages in the domain of real time and distributed systems. In order to meet the needs of these areas to an unmatched extent, the article advocates the use of PEARL as base language, and its extension PEARL* for object oriented software development. The paper mainly focuses on supporting software engineering for safety related embedded systems. To this end, appropriate subsets of PEARL and PEARL* are defined, meeting the requirements of the Safety Integrity Levels 1, 2 and 3, respectively. It is possible to combine code associated with different Safety Integrity Levels in a transparent way, assuming that the ethical parts respect some safety rules, but allowing other uncritical parts of a system to be implemented in more comfortable ways

Keywords

distributed programming; object-oriented languages; object-oriented programming; real-time systems; safety-critical software; software standards; PEARL; PEARL*; Safety Integrity Levels; distributed real time systems; ethical parts; inadequate languages; object oriented software development; real time distributed systems; safe object oriented programming; safety related embedded systems; safety rules; software engineering; uncritical parts; Application software; Automation; Concurrent computing; Object oriented modeling; Object oriented programming; Power system management; Power system modeling; Real time systems; Safety; Software engineering;

fLanguage

English

Publisher

ieee

Conference_Titel

Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on

Conference_Location

Magdeburg

Print_ISBN

0-7695-1089-2

Type

conf

DOI

10.1109/ISORC.2001.922822

Filename

922822