Modellierung und Analyse von Fahrzeugsoftware mit Abstract State Machines
نویسنده
چکیده
• Durch die starke Vernetzung ehemals unabhängiger Funktionen ergeben sich ungewollte Interaktionen und Seiteneffekte durch Nebenläufigkeit. Als Beispiel sei hier die Zentralverriegelung genannt, die neben der reinen Funktionalität des Verund Aufschließens mit Komfortfunktionen zum Einstellen von Sitz, Spiegeln und Radiosendern in Abhängigkeit vom verwendeten Schlüssel, mit Sicherheitsfunktionen zum Verschließen beim Überschreiten einer Mindestgeschwindigkeit sowie zum Aufschließen bei einem Unfall und mit der Beleuchtung des Autos zum Signalisieren von Interaktionen vernetzt ist. Die genannten Systeme sind dabei auf mehrere Plattformen verteilt.
منابع مشابه
Model checking abstract state machines
State Machines (ASM) ist eine formale Spezifikationssprache, die es erlaubt, auf einem hohen Abstraktionsniveau zu modellieren. Sie ist gut geeignet für verschiedenartigste Anwendungen. Computerbasierte Werkzeugunterstützung ist in Form von Editoren, Typecheckern und Simulatoren vorhanden. ASM ist außerdem in die Logiken zweier Theorembeweiser eingebettet worden, die interaktives Beweisen unter...
متن کاملFormale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP
Formale Modellierung und Analyse von netzwerkbasierten Angriffen ermöglichen zwar ein tieferes Verständnis von Angriffsfolgen, sind aber meist so komplex, dass die Modellierung sehr aufwändig und eine Analyse mit automatischen Werkzeugen aufgrund der Größe des Zustandsraumes unmöglich ist. Wir stellen einen Ansatz vor, der Modelle für praxisrelevante Angriffe und Szenarien mit vertretbarem Aufw...
متن کاملAnwendung von GOMS-Analysen und CogTool in der Design-Praxis
Kognitive Modellierung ist eine kostengünstige Methode betriebswirtschaftliche Anwendungen hinsichtlich ihrer Effizienz zu evaluieren und das Design solcher Anwendungen weiter zu optimieren. Wir untersuchen in diesem Beitrag mit KLMGOMS und CogTool zwei etablierte Methoden der kognitiven Modellierung in Bezug auf ihre Fähigkeit die Bearbeitungszeiten betriebswirtschaftlicher Arbeitsabläufe korr...
متن کاملFormale Modellierung von Access-Control-Policies in Dynamischen Koalitionen
Das Konzept der dynamischen Koalitionen beschreibt die temporäre Vernetzung autonomer Agenten, die zum Erreichen eines übergeordneten Ziels Ressourcen und Informationen miteinander teilen. Durch moderne Technologien, etwa durch Service-orientierte Konzepte, können diese Koalitionen über jegliche Systemgrenzen hinweg eingegangen werden. Insbesondere auch im Gebiet der Medizin ist die Betrachtung...
متن کامل