By Topic

Functional paradigm for designing dependable large-scale parallel computing 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

2 Author(s)
Bondavalli, A. ; CNUCE-CNR, Pisa, Italy ; Simoncini, L.

The authors propose the use of a functional language and of a dataflow computing model for the design of large-scale parallel computing systems for which dependability, in its aspects of reliability, timeliness, parallelism, and distributedness, is the requirement of main concern. The design methodology is sufficiently flexible to allow for verification and validation of such systems from the very first steps of the design. The advantages of such an approach reside in the potential for parallelism it admits, in being characterized by referential transparency, and in the property of composability. The design description language is extended for dealing with dependability issues, with the creation of a library of fault tolerance schemes which can be used for modular insertion of redundancy. A set of tools is being defined as part of a design development environment allowing the designer to proceed in successive interactive steps, each of which can be validated

Published in:

Autonomous Decentralized Systems, 1993. Proceedings. ISADS 93., International Symposium on

Date of Conference:

1993