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ženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on software engineering Ročník 39; číslo 9; s. 1307 - 13256
Hlavní autoři:	Moffett, Y., Dingel, J., Beaulieu, A.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.09.2013 IEEE Computer Society
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!