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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on software engineering Ročník 39; číslo 9; s. 1307 - 13256
Hlavní autori:	Moffett, Y., Dingel, J., Beaulieu, A.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.09.2013 IEEE Computer Society
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!