Designing Reliable Systems from Reliable Components Using the Context-Dependent Constraint Concept
| Document type: | Conference Papers |
|---|---|
| Peer reviewed: | Yes |
| Author(s): | Peter Molin |
| Title: | Designing Reliable Systems from Reliable Components Using the Context-Dependent Constraint Concept |
| Conference name: | Proceedings of the 1996 7th International Symposium on Software Reliability Engineering, ISSRE'96 Oct 30-Nov 2 1996 |
| Year: | 1996 |
| Pagination: | 142-151 |
| ISBN: | 0 8186 7707 4 |
| Publisher: | IEEE |
| City: | White Plains, NY, USA |
| 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 from well-behaving 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 |
| Keywords: | Software engineering, Reliability, Systems analysis, Constraint theory, Large scale systems |
