Designing Reliable Systems from Reliable Components using the Context-Dependent Constraint Concept
Blekinge Institute of Technology, Department of Computer Science and Business Administration1996 (English)Report (Other academic)
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.
Place, publisher, year, edition, pages
Blekinge Tekniska Högskola Forskningsrapport, ISSN 1103-1581 ; 4
IdentifiersURN: urn:nbn:se:bth-00043Local ID: oai:bth.se:forskinfoA4D0D5CD352900FEC12568A3002CA9F3OAI: oai:DiVA.org:bth-00043DiVA: diva2:837620