Zusammenfassung
Der Entwurfsprozess für sicherheitsgerichtete Systeme bedient sich unterschiedlicher rechnergestützter Entwurfswerkzeuge. Spezifikationen werden typischerweise durch Anforderungen oder Anwendungsfälle beschrieben. Der Hardwareentwurf wird mit Hardwarebeschreibungssprachen oder Schaltplänen realisiert. Software wiederum wird mittels sequentiellen Ablaufbeschreibungen von Instruktionen beschrieben, welche von der Hardware unterstützt werden. Auf den ersten Blick erscheinen diese Entwurfsphasen unabhängig voneinander, allerdings können Synergien an den Übergabeschnittstellen von einer Entwurfsphase zur nächsten genutzt werden, um knappe Betriebsmittel zu vermeiden, ungenutzte Betriebsmittel zu minimieren sowie Fehlereinflüsse zu reduzieren. Es wird ein ganzheitlicher Blick von der Spezifikation über den Verhaltens- und Hardwareentwurf vorgestellt, der inhärente Synergien nutzt, um ein betriebsmitteladäquates Gesamtsystem zu entwerfen, welches die spezifizierten Charakteristika exakt erfüllt.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
Deutsches Institut für Normung: DIN EN 61508-1 - Teil 1: Allgemeine Anforderungen. 2010
Deutsches Institut für Normung: DIN EN 61508-2 - Teil 2: Anforderungen an sicherheitsbezogene elektrische/elektronische/programmierbare elektronische Systeme. 2010
Deutsches Institut für Normung: DIN EN 61508-3 - Teil 3: Anforderungen an Software. 2010
Halstead, M. H.: Elements of software science. Elsevier. New York, 1977
Koß, D.: A Comparative Survey of System Specification Techniques for Safetyrelated Environments. In: H. Unger, W. A. Halang (Hrsg.): Autonomous Systems 2016 – Proceedings of the 9th GI Conference. VDI Verlag. Düsseldorf, 2016, S. 1-21
Koß, D.: Prozessorarchitektur zum Einsatz unter sicherheitsgerichteten Echtzeitbedingungen. In: W. A. Halang, O. Spinczyk (Hrsg.): Betriebssysteme und Echtzeit. Springer. Berlin, Heidelberg, 2015, S. 21-30
Koß, D.: Vermeidung dynamischer Betriebsmittelverwaltung in sicherheitsgerichteten Echtzeitsystemen. In: Halang, W. A.; Unger, H. (Hrsg.): Logistik und Echtzeit. Springer. Berlin Heidelberg, 2017, S. 119-128
Krebs, H.; Haspel, U.: Ein Verfahren zur Software-Verifikation. In: Regelungstechnische Praxis rtp 26, 1984, S. 73-78
Lawson, H. W.: Parallel Processing in Industrial Real-Time Applications. Prentice-Hall Inc. New Jersey, 1992
McCabe, T. J.: A Complexity Measure. In: IEEE Transactions on Software Engineering, Vol. SE-2, Nr. 4, S. 308–320. Dezember 1976
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature
About this paper
Cite this paper
Koß, D. (2018). Parametrierbare Übergabeschnittstellen im Entwurfsprozess für sicherheitsgerichtete Systeme. In: Unger, H. (eds) Echtzeit und Sicherheit. Informatik aktuell. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-58096-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-662-58096-7_13
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-662-58095-0
Online ISBN: 978-3-662-58096-7
eBook Packages: Computer Science and Engineering (German Language)