UML Modeling and Formal Verification of Control/Data Driven Embedded Systems

In this paper, we present our approach for UML based modeling of control/data driven embedded systems. In our case application is presented as a network of hierarchic data driven and control driven tasks that communicate via abstract channels. Hardware platform is modeled as UML structure diagram. M...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Boutekkouk, F., Benmohammed, M.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Application software Computer architecture Electronic switching systems Embedded system Embedded Systems Energy consumption Formal verification Hardware Logic Maude Power Consumption Power system modeling Rewriting Logic UML Unified modeling language
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	In this paper, we present our approach for UML based modeling of control/data driven embedded systems. In our case application is presented as a network of hierarchic data driven and control driven tasks that communicate via abstract channels. Hardware platform is modeled as UML structure diagram. Mapping of application on hardware platform is modeled through UML constraints. From UML models, a Maude specification is generated. We use this formal specification to formally validate system functionality against some undesirable properties and to estimate system power consumption at a high level of abstraction.
DOI:	10.1109/ICECCS.2009.30