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

Proceedings - 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2001

Volumn , Issue , 2001, Pages 87-94

  Halang, W A ^a   Pereira, C E ^b   Frigeri, A H ^b  

^a UNIVERSITY OF HAGEN   (Germany)

^b FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

distributed real time systems; Object orientation; PEARL; real time programming; safety

Indexed keywords

ACCIDENT PREVENTION; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; GEMS; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; SAFETY ENGINEERING; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

DISTRIBUTED REAL TIME SYSTEM; DISTRIBUTED SYSTEMS; OBJECT ORIENTATION; OBJECT ORIENTED SOFTWARE DEVELOPMENT; PEARL; REAL TIME PROGRAMMING; SAFETY INTEGRITY LEVELS; SAFETY-RELATED EMBEDDED SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 19844378192     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2001.922822     Document Type: Conference Paper

References (18)

1. A. Borgida, S. Greenspan and J. Mylopoulos: Knowledge Representation as the Basis for Requirements Specifications. Computer, pp. 82-91, April 1985.
2. DIN 66 253: Programmiersprache PEARL. Part 3 Mehrrechner-PEARL. Köln-Berlin: Beuth Verlag 1989. http://www.din.de (in German), ftp://ftp.irt.unihannover.de/pub/pearl/report.pdf (in English).
3. DIN 66 253-2: Programmiersprache PEARL 90. Köln-Berlin: Beuth Verlag 1997.
4. D. Embley, B. Kurtz and S. Woodfield: Object-Oriented Systems Analysis: A Model-Driven Approach, Yourdon Press, Prentice Hall, 1992.
5. A.H. Frigeri, W.A. Halang and C.E. Pereira: An Object-Oriented Extension to PEARL 90. Proc. 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Kyoto, April 1998, Los Alamitos: IEEE Computer Society Press.
6. Gesellschaft für Informatik, Technical Committee 4.4.2 Real Time Programming, PEARL, AK 5: PEARL in Education and PEARL Language Support, http://www.real-time.de
7. J. Gwinn: Object-Oriented Programs in Realtime. ACM SIGPLAN Notices 27(2):47-56, 1992.
8. W.A. Halang and A.D. Stoyenko: Extending PEARL for Industrial Real-Time Applications. IEEE Software 10(4):65-74, 1993.
9. W.A. Halang, A.H. Frigeri, R. Lichtenecker, U. Steinmann and K. Wendland: Methodenlehre sicherheitsgerichteter Echtzeitprogrammierung. Schriftenreihe der Bundesanstalt für Arbeitsschutz und Arbeitsmedizin - Forschung - Fb 813, Bremerhaven: Verlag für neue Wissenschaft 1998.
10. IEC SC65A(Secretariat)123: Functional Safety of Electrical/Electronic/Programmable Electronic Systems: Generic Aspects - Part 1: General Requirements. Geneva: International Electrotechnical Commission 1992.
11. IEC 61131-3: Programmable Controllers, Part 3: Programming Languages. Geneva: International Electrotechnical Commission 1992.
12. IEC 61508-1: Functional Safety of Electrical/Electronic/Programmable Electronic Systems: Generic Aspects - Part 1: General Requirements. Geneva: International Electrotechnical Commission 1998.
13. J.J. Joyce and C.-J.H. Seger (Eds.): Higher Order Logic Theorem Proving and Its Applications. Lecture Notes in Computer Science, Vol. 780. Berlin-Heidelberg-New York: Springer-Verlag 1993.
14. R. Martin: The Open-Closed Principle. C++ report, SIGS, 8, 1, 1996.
15. B. Meyer: Object-Oriented Software Construction. Prentice Hall, 1996.
16. C.E. Pereira, A.H. Frigeri, P. Darscht and W.A. Halang: Object-Oriented Development of Real-Time Industrial Automation Systems. Proc. IFAC World Congress (J. Gertler, J. Cruz and M. Peshkin, Eds.), Vol. O: Power Plants and Systems, Computer Control, pp. 321-326, 1996.
17. P. Schlatter: Konzeption und Realisierung der Abbildung hoher Echtzeitsprachmittel von PEARL auf die Programmierumgebung C/QNX. Diplomarbeit, Universität Stuttgart, Institut für Regelungstechnik und Prozeßautomatisierung, 1993.
18. P. Wegner: Concepts and Paradigms of Object-Oriented Programming. OOPS-Messenger 1(1):8-87, 1990.