Home > Research > Publications & Outputs > The need for a generalized compositional framework

Links

Text available via DOI:

View graph of relations

The need for a generalized compositional framework

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date3/03/2004
Host publication10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.
PublisherIEEE
Pages340
Number of pages1
ISBN (print)0769520766
<mark>Original language</mark>English

Abstract

The need for a generalized compositional framework for effective and efficient provisioning of dependable services, software, and systems is addressed. The fundamental dependable system services that are essentially needed for any dependable system formulation were discussed. Ways for proper tuning of compositional system with specific design requirements were also presented. It was emphasized that the enunciation of the relevant system model of interest and the precise characterization of the operational environment are very important.