Design validation of embedded dependable systems

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.