The Community for Technology Leaders
Green Image
ABSTRACT
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.
INDEX TERMS
CITATION

L. Simoncini, D. Latella, A. Fantechi and A. Bondavalli, "Design Validation of Embedded Dependable Systems," in IEEE Micro, vol. 21, no. , pp. 52-62, 2001.
doi:10.1109/40.958699
89 ms
(Ver 3.3 (11022016))