A simple and cost-effective method to construct reliable real-time programs

• Autorzy: Elzer P. F. , Gollub M. , Trenkel S.
• Języki publikacji: EN

Abstrakty

EN

This paper presents a proposal for structuring real-time programs in a way that improves their reliability. Basically, it consists of five constructs that have been designed after the model of classical "structured programming", together with a generalized way of dealing with resources. After some considerations about reliability these constructs are presented and explained. Then, a test implementation for two different programming languages and operating systems is briefly described. Finally, some pieces of code give an impression of the character of the method.

Słowa kluczowe

EN

real-time systems; real-time programming; structured programming; reliability; graphical representation

• Wydawca: Łukasiewicz Industrial Research Institute for Automation and Measurements PIAP
• Czasopismo: Journal of Automation Mobile Robotics and Intelligent Systems
• Rocznik: 2010
• Tom: Vol. 4, No. 1
• Strony: 28--42
• Opis fizyczny: Bibliogr. 22 poz., rys.

Twórcy

autor

Elzer P. F.

autor

Gollub M.

autor

Trenkel S.

• Retired director of the Institute for Process and Production Control Technology, Technical University of Clausthal, now living at: Paradiesstr. 4, D-80538 München, Germany,

Bibliografia

• [1] Trenkel S., Gollub M., Implementation von Methoden zur zuverlässigen Programmierung von Echtzeitsystemen (Implementation of Methods for Reliable Programming of Real-Time Systems) ; Student Project in the Department of Mathematics and Computer Science of the Technical University of Clausthal Prof. K. Ecker, 2004.
• [2] Elzer P., “A Mechanism for the Design of Structured Real-time Programs for Process Automation”; Conference Proceedings "Prozessrechner 77", Informatik- Fachberichte, vol. 7, Springer-Verlag: Berlin-Heidelberg- New York, 1977, pp. 137-148.
• [3] Elzer P., Structured Description of Process Systems ; Dissertation, Report of the Institute for Mathematical Machines and Data Processing of the University of Erlangen-Nuernberg, vol. 12, no. 1, 1979.
• [4] Elzer P., “Missed Opportunities in Real-time Programming?”. In: Wolfinger B. (ed.), Innovationen bei Rechen-und Kommunikationssystemen, Proceedings of the 24th Annual Conference of the German Computer Society in the framework of the 13 th IFIP World Congress , Springer-Verlag: Berlin-Heidelberg-New York, 1994, pp. 328339.
• [5] Elzer P., “A Method for the Construction of Reliable Real-Time Programs”. In: Proceedings of the Conference on Embedded Systems , Munich, 2004.
• [6] DIN 66253-2 PEARL 90; Beuth Verlag, Berlin, Köln, 1998.
• [7] Frevert L., Beschreibung der PEARL90-Syntax (Description of the Syntax of PEARL); http://www.irt.uni-hannover.de/pub/pearl/Frevert/ PEARL90Syntax.pdf
• [8] Siemens SIMATIC Software, System Software for M7300/400, System and Standard Functions; Reference Manual, 1997.
• [9] Laprie J.-C., Dependability of Computer Systems: from Concepts to Limits; 1998 IFIP International Workshop on Dependable Computing, Johannesburg.
• [10] Industrial-process measurement and control -Evaluation of system properties for the purpose of system assessment. Part 5: Assessment of system dependability, Draft, Publication 1069-5, CEI Secretariat, 1992.
• [11] Parnas D.L., A Technique for Software Module Specification with Examples; Comm. ACM , vol. 15, no. 5, 1972, pp. 330-336.
• [12] Nassi B., Shneiderman A., “Flowchart Techniques for Structured Programming”, SIGPLAN Notices , vol. 8, no. 8, 1973, pp. 12-26.
• [13] Zalewski J., “Object-Orientation vs. Real-Time Systems”, Real-time Systems Journal , vol. 18, 2000, pp. 7577.
• [14] Elzer P., “Resource Allocation by Means of Access Rights, an Alternative View on Real-time Programming“. In: Proceedings of the IFAC/IFIP Workshop on Real-time Programming , Pergamon Press: Oxford-New York, 1980, pp. 73-77.
• [15] Goodenough J.B., “Exception Handling -Issues and a Proposed Notation”, Comm. ACM , vol. 18, no. 12, 1975, pp. 683-696.
• [16] Dijkstra E.W., “Cooperating Sequential Processes”. In: Genuys (ed.) Programming Languages , London, 1969.
• [17] Van Horn D., “Programming Semantics for Multiprogrammed Computations”, Comm. ACM , vol. 9, no. 3, 1966, pp. 143-155.
• [18] Van Wijngarden A., Mailloux B.J., Peck J.E.L., Koster C.H.A. “Report on the Algorithmic Language AL-GOL 68“, Num. Math. , vol. 14, 1969, pp. 79-218.
• [19] Jones G., Programming in OCCAM , Prentice Hall International: Englewood Cliffs, London, 1987.
• [20] Habermann N., Prevention of System Deadlocks; Comm. ACM, vol. 12, no. 7, 1969, pp. 373-385.
• [21] http://home.tu-clausthal.de/student/software/
• [22] http://www.gnu.org/licenses/gpl.txt