Sicherheitsanalyse (Überblick) Unter der Sicherheitsanalyse eines komplexen sicherheitskritischen Systems versteht man eine systematische, nachvollziehbare Überprüfung des implementierten Systems daraufhin, dass dieses System die relevanten Sicherheitsanforderungen erfüllt. (...)
Verifikation (formal) Durch eine (formale) Verifikation im Software- und Hardwareengineering wird die Übereinstimmung der Eigenschaften der erstellten Artefakte (z.B. Dokumente, Modelle, Implementierungen) einer (Entwicklungs-)Phase gegenüber einer anderen (i.d.R. direkt anschließenden) sichergestellt. (...)
Statemate Verifikation Mit Hilfe der vom OFFIS und der Universität Oldenburg entwickelten Verifikationsumgebung für Statemate kann die Erfüllung der Anforderungen einer in Symbolic Timing Diagrams vorliegenden Spezifikation durch ein als State-Chart vorliegendes Modellbildung nachgewiesen werden. Der Unterschied zu einer „einfachen“ Simulation innerhalb von Statemate liegt in der Vollständigkeit dieses Nachweises und der automatischen Durchführung. (...)
AutoFocus AutoFocus unterstützt die Entwicklung verteilter, eingebetteter Systeme auf der Grundlage formaler Techniken (SSD, STD, EET) durch den Einsatz integrierter, im wesentlichen graphischer, Beschreibungstechniken, mit deren Hilfe sowohl unterschiedliche Sichten (siehe Struktursicht, Verhaltenssicht und Interaktionssicht) als auch verschiedene Abstraktionsebenen eines Systems beschrieben werden. (...)
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren