Design validation of embedded dependable systems
Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini · IEEE Micro · 2001
Many application fields use computer-controlled systems, with different levels of criticality requirements. A common characteristic of such embedded systems is their increasing complexity in intrinsic terms-distribution management, redundancy, functionality layering, and so on-and of their in-the-field operation-environmental interfaces, timing constraints, controlled application criticality, and so on. Designers rarely completely master this increasing complexity. Usual design practices often suffer from-partial approaches, overlooked details, inadequate modeling, insufficient prototyping, and limited design tools or available techniques. With these shortcomings, designs often end up addressing incorrect, incomplete, or misunderstood user requirements often the main cause of a design or systems final failure. Embedded complex systems require an integrated and best-balanced set of components. To use these components, requires some sort of verifiable compositionality, a concept that implies the preservation of properties and the ability to verify them.