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
Aufsatz (Konferenz)
Elektronische Ressource
Deutsch
Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme
Tema Archiv | 2013
|Strukturtreue Modellierung sicherheitskritischer Systeme
VDE-Verlag | 2015
|Absicherung sicherheitskritischer Systeme - formale Verifikation
Kraftfahrwesen | 2009
|Einsatz der UML für die Entwicklung sicherheitskritischer Systeme
Tema Archiv | 2003
|