Validating basic components and combining them into complex systems through an integration process based on a compositionality and abstraction permit reusability, reduce design development costs, and promote rapid prototyping. Such an approach to design validation of complex systems is a challenge that needs to be considered by computer system scientists and engineers. (Special issue on Embedded Fault Tolerant Systems)
Design Validation of Embedded Dependable Systems / A. BONDAVALLI; A. FANTECHI; D. LATELLA; L. SIMONCINI. - In: IEEE MICRO. - ISSN 0272-1732. - STAMPA. - 21:(2001), pp. 52-62. [10.1109/40.958699]
Design Validation of Embedded Dependable Systems
BONDAVALLI, ANDREA;FANTECHI, ALESSANDRO;
2001
Abstract
Validating basic components and combining them into complex systems through an integration process based on a compositionality and abstraction permit reusability, reduce design development costs, and promote rapid prototyping. Such an approach to design validation of complex systems is a challenge that needs to be considered by computer system scientists and engineers. (Special issue on Embedded Fault Tolerant Systems)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
