Das Teilen und Herrschen ist eines der wichtigsten Gebote für Erfolg in Wissenschaft und Industrie; im Grunde eine Lebenseinstellung, überlebensnotwendig für langfristige Ziele und Projekte. Langfristig gesehen sind jedoch alle Investitionen zum Scheitern verurteilt, wenn sie nicht Konsistenz aufweisen. Konsistenz setzt eine widerspruchsfreie Kommunikationssprache voraus, die eingesetzte Theorie bestimmt den Kernel. Diese und weitere Kriterien wie zuverlässige Reproduzierbarkeit, Wiederverwertbarkeit und Wartbarkeit entscheiden gemeinsam über den Erfolg. In diesem Paper liefern wir unseren Beitrag dazu, indem wir eine formale, kontextfreie Sprache mit theoretischem Rahmen für die parallele Dekomposition vorstellen, welche eine eineindeutige Dekomposition und Komposition etabliert und die Konsistenz in allen Views insbesondere hinsichtlich den asynchron rückwirkenden Anteilen bewahrt. Zudem werden per Spezifikation verbotene Situationen und Szenarien konsistent bewahrt; ein weiteres wichtiges Gebot für sicherheitskritische Systeme.
Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme
AmE 2013 - 4. GMM-Fachtagung ; 2013 ; Dortmund, Deutschland
2013-01-01
6 pages
Conference paper
Electronic Resource
German
Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme
Tema Archive | 2013
|Strukturtreue Modellierung sicherheitskritischer Systeme
VDE-Verlag | 2015
|Absicherung sicherheitskritischer Systeme - formale Verifikation
Automotive engineering | 2009
|Einsatz der UML für die Entwicklung sicherheitskritischer Systeme
Tema Archive | 2003
|Realisierung, Steuerung und Regelung kinematisch zweifach redundanter paralleler Seilroboter
TIBKAT | 2020
|