Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
An Introduction to Formal Specification and Z
An Introduction to Formal Specification and Z
A mutation model for the SystemC TLM 2.0 communication interfaces
Proceedings of the conference on Design, automation and test in Europe
Extending the concept of component interfaces: experience with the Integrated Plasma Simulator
Proceedings of the 2009 Workshop on Component-Based High Performance Computing
HIFsuite: tools for HDL code conversion and manipulation
EURASIP Journal on Embedded Systems
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction
Journal of Electronic Testing: Theory and Applications
| Hi-index | 0.00 |
This paper presents a framework for specification and testing of component-based embedded systems using formal description techniques (FDTs). We deal with embedded systems from the point of view of communication and thus we propose a communication model for them. We further explain the meaning of component-based embedded systems and how these can be specified using FDTs. FDTs such as Estelle and SDL are based on EFSMs (Extended finite State Machines) and have been widely used in the automation of the development process of protocols and communicating systems, i.e. for specification, analysis and validation purposes. The main goal of this work is to demonstrate the reusability of FDTs for component-based systems.