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

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on software engineering Vol. 39; no. 9; pp. 1307 - 13256
Main Authors:	Moffett, Y., Dingel, J., Beaulieu, A.
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.09.2013 IEEE Computer Society
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!