Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems

To facilitate modular development, the use of state machines has been proposed to specify the protocol (i.e., the sequence of messages) that each port of a component can engage in. The protocol conformance checking problem consists of determining whether the actual behavior of a component conforms t...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering Jg. 39; H. 9; S. 1307 - 13256
Hauptverfasser:	Moffett, Y., Dingel, J., Beaulieu, A.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.09.2013 IEEE Computer Society
Schlagworte:	behavioral interface specifications Component-based software engineering Computer programs Context Design specifications Embedded systems formal specification and verification Java Mathematical models model-driven development Modular Ports Ports (Computers) Programming languages Protocol Protocols Safety Software Software engineering software model checking software modeling State machines Studies Unified Modeling Language
ISSN:	0098-5589, 1939-3520
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!