Citation
A. Bondavalli et al., Design validation of embedded dependable systems, IEEE MICRO, 21(5), 2001, pp. 52-62
Citations number
26
Categorie Soggetti
Computer Science & Engineering
Journal title
IEEE MICRO
ISSN journal
02721732
→ ACNP
Volume
21
Issue
5
Year of publication
2001
Pages
52 - 62
Database
ISI
SICI code
0272-1732(200109/10)21:5<52:DVOEDS>2.0.ZU;2-G
Abstract
EMBEDDED COMPLEX SYSTEMS REQUIRE AN INTEGRATED AND BEST-BALANCED SET OF COM
PONENTS. To USE THESE COMPONENTS REQUIRES SOME SORT OF VERIFIABLE COMPOSITI
ONALITY, A CONCEPT THAT IMPLIES THE PRESERVATION OF PROPERTIES AND THE ABIL
ITY TO VERIFY THEM.