Affiliation:
1. Dipartimento di Elettronicae Informazione - Politecnicodi Milano, Piazza L. da Vinci 32 - 20133 Milano - Italy
Abstract
A wide gap exists between the dependability figures, required by standardization committees for life-critical computer applications, and the current state-of-art in techniques to provide and assess them. In this paper we make a quick review of the best suited methodologies for each phase of the system life-cycle. We argue that the traditional view, which distinguishes between the behaviour of hardware and software components, should be clarified by separating the logical activities in the specification and in the design phases, which can be related both to hardware and to software, and the physical defects and operation stress, which only affect hardware.
Publisher
Association for Computing Machinery (ACM)
Reference33 articles.
1. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
2. Byers 94 P.J. Byers - "The Role of Formal Methods in the Engineering Of Safety Critical Systems" - in {Redm 94}. Byers 94 P.J. Byers - " The Role of Formal Methods in the Engineering Of Safety Critical Systems " - in {Redm 94}.
3. CEN 93 CENELEC TC9X - "Standards for Dependability (RAMS) for Guided Transport Systems - Part 0: Dependability" - prEN 50126 1993. CEN 93 CENELEC TC9X - " Standards for Dependability (RAMS) for Guided Transport Systems - Part 0: Dependability " - prEN 50126 1993.
4. Co & 86 B. Cohen W.T. Harwood and M.I. Jackson - "The Specification of Complex Systems" - Addison Wesley Reading Mass. 1986. Co & 86 B. Cohen W.T. Harwood and M.I. Jackson - " The Specification of Complex Systems " - Addison Wesley Reading Mass. 1986.