Design Validation of Embedded Dependable Systems.

Andrea Bondavalli Alessandro Fantechi Diego Latella Luca Simoncini

Published in: IEEE Micro (2001)

Keyphrases

embedded systems
expert systems
design issues
design process
case study
design criteria
building blocks
digital circuits
intelligent systems
knowledge based systems
hw sw
low cost
complex systems
user interface
design decisions
design methodology
support systems
design choices
safety critical