Zusammenfassung
Drei speziell für sicherheitsgerichtete Anwendungen konzipierte programmierbare elektronische Systeme werden vorgestellt. Das erste wird höchsten Sicherheitsansprüchen gerecht, indem seine Software die Form leicht verifizierbarer Ursache-/ Wirkungstabellen hat, die unmittelbar von derHardware ausgeführtwerden.Das zweite ist auf inhärente Unterstützung der Verifikation von Funktionsplänen mittels diversitärer Rückwärtsanalyse hin ausgelegt. Eine asymmetrische Mehrprozessorarchitektur vermeidet durch Betriebssysteme erzeugte Nichtdeterminismen mittels Migration der Funktionen des Betriebssystemkerns auf einen Koprozessor und fördert die Vorhersehbarkeit des Ausführungsverhaltens.Weiterhin wird Prozessperipherie für zeitgenau bestimmbaren Datenaustausch beschrieben.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literatur
Baumann, R. et al.: Funktionelle Beschreibung von Prozessrechner-Betriebssystemen. VDI-Richtlinie VDI/VDE 3554. Beuth-Verlag, Berlin-Köln (1982)
Colnarič, M.: Predictability of Temporal Behaviour of Hard Real-Time Systems. Dissertation, Universität zu Maribor (1992)
Colnarič, M. und Halang, W.A.: Architectural support for predictability in hard real-time systems. Control Engineering Practice 1(1), 51–59 (1993)
DIN 66 253-2: Programmiersprache PEARL 90. Beuth-Verlag, Berlin (1997)
Halang, W.A. und Stoyenko, A.D.: Constructing Predictable Real Time Systems. Kluwer Academic Publishers, Boston-Dordrecht-London (1991)
Halang, W.A. und Stoyenko, A.D.: Extending PEARL for Industrial Real-Time Applications. IEEE Software 10(4), 65–74 (1993)
Henn, R.: Feasible Processor Allocation in a Hard-Real-Time Environment. Real-Time Systems 1(1), 77–93 (1989)
Hoogeboom, B. und Halang, W.A.: The Concept of Time in the Specification of Real Time Systems. In: Kavi, K.M. (Hrsg.) Real-Time Systems: Abstractions, Languages, and Design Methodologies, pp. 19–38. IEEE Computer Society Press, Los Alamitos (1992)
Kershaw, J.: The VIPER microprocessor. Report No. 87014, Royal Signal and Radar Establishment, Malvern, England (1987)
Kneis, W. (Hrsg.): Draft Standard on Industrial Real-Time FORTRAN. International Purdue Workshop on Industrial Computer Systems. ACM SIGPLAN Notices 16(7), 45–60 (1981)
Krebs, H. und Haspel, U.: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis rtp 26, 73–78 (1984)
Lawson, H.W.: Parallel Processing in Industrial Real-Time Applications. Prentice Hall, Englewood Cliffs (1992)
Stankovic, J.A. und Ramamritham, K.: Editorial: What is predictability for real-time systems. Real-Time Systems 2(4), 246–254 (1990)
Stoyenko, A.D.: A Real-Time Language With A Schedulability Analyzer, Dissertation und Technical Report CSRI-206, Universität Toronto (1987)
VDI/VDE 3696: Herstellerneutrale Konfigurierung von Prozessleitsystemen. Richtlinie. Beuth Verlag, Berlin (1995)
Völker, N., Halang, W.A. und Krämer, B.: Formally Verified Building Blocks in Functional Logic Diagrams for Emergency Shutdown System Design. High Integrity Systems 1(3), 277–286 (1995)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Halang, W.A., Konakovsky, R.M. (2013). Fallstudien sicherheitsgerichteter programmierbarer elektronischer Systeme. In: Sicherheitsgerichtete Echtzeitsysteme. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37298-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-37298-8_12
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-642-37297-1
Online ISBN: 978-3-642-37298-8
eBook Packages: Computer Science and Engineering (German Language)