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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme


    Beteiligte:

    Kongress:

    AmE 2013 - 4. GMM-Fachtagung ; 2013 ; Dortmund, Deutschland


    Erschienen in:

    Erscheinungsdatum :

    2013-01-01


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch



    Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme

    Uygur, Gürkan / Sattler, Sebastian M. | Tema Archiv | 2013


    Strukturtreue Modellierung sicherheitskritischer Systeme

    Uygur, Gürkan / Rasim, Feim Ridvan / Özgül, Mustafa et al. | VDE-Verlag | 2015


    Absicherung sicherheitskritischer Systeme - formale Verifikation

    Tchernikov,M. / Swaminathan,M. | Kraftfahrwesen | 2009