Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software
Pages 122 - 131
Abstract
Model-driven development (MDD) and verification approaches are highly desirable in the development of (safety-critical) embedded systems, since they help to identify functional or non-functional issues from the early development stage when verification complexity is relatively lower than that of the implemented systems. Nevertheless, MDD approaches have not been widely adopted in practice mainly due to the difficulty and high initial cost of switching the development paradigm from code-centric to model-driven. This work presents a systematic method for reverse engineering abstract models from embedded codes using the notion of abstract components which act as independent units of development, validation, and verification. The recursive reverse engineering process constructs high-level abstract components from low-level ones using synchronized abstraction and projection abstraction, defined w.r.t. the information on port dependency and port bindings. This approach is demonstrated with reverse-engineered TinyOS, where each abstract component is validated and verified using model simulation and model checking.
Recommendations
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 ...
Comments
Information & Contributors
Information
Published In
November 2010
171 pages
ISBN:9780769542928
Publisher
IEEE Computer Society
United States
Publication History
Published: 03 November 2010
Author Tag
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 27 Jul 2024