By Topic

Design validation of embedded dependable systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
A. Bondavalli ; Univ. of Firenze, Italy ; A. Fantechi ; D. Latella ; L. Simoncini

Many application fields use computer-controlled systems, with different levels of criticality requirements. A common characteristic of such embedded systems is their increasing complexity in intrinsic terms-distribution management, redundancy, functionality layering, and so on-and of their in-the-field operation-environmental interfaces, timing constraints, controlled application criticality, and so on. Designers rarely completely master this increasing complexity. Usual design practices often suffer from-partial approaches, overlooked details, inadequate modeling, insufficient prototyping, and limited design tools or available techniques. With these shortcomings, designs often end up addressing incorrect, incomplete, or misunderstood user requirements often the main cause of a design or systems final failure. 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

Published in:

IEEE Micro  (Volume:21 ,  Issue: 5 )