Designing Reliable Systems from Reliable Components using the Context-Dependent Constraint Concept

Document type: Researchreports
Full text:
Author(s): Peter Molin
Title: Designing Reliable Systems from Reliable Components using the Context-Dependent Constraint Concept
Series: Research report
Year: 1996
Issue: 4
ISSN: 1103-1581
Organization: Blekinge Institute of Technology
Department: Dept. of Computer Science and Business Administration (Institutionen för datavetenskap och ekonomi)
Dept. of Computer Science and Business Administration S-372 25 Ronneby
+46 455 780 00
http://www.ide.hk-r.se/
Authors e-mail: peter.molin@ide.hk-r.se
Language: English
Abstract: The problem of composing a system using well-behaved components is discussed. Specifically, necessary
conditions for preserving the behaviour in a system context are analysed in this paper. Such conditions are defined
as Context-Dependent Constraints (CDC). A non-formal approach is taken based on common system integration
errors. It is suggested that the identification and verification of CDCs should be part of any development method
based on component verification. The CDCs can also serve as an aid for designing reliable and maintainable systems,
where the goal of the design process is to reduce the number of CDCs.
Subject: Software Engineering\General
URN: urn:nbn:se:bth-00043
Edit