Title :
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
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;
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
DOI :
10.1109/ISORC.2001.922822
