DocumentCode
2014551
Title
Causality as a means for the expression of requirements for safety critical systems
Author
Coombes, A. ; McDermid, John ; Morris, Philip
Author_Institution
Dept. of Comput. Sci., York Univ., UK
fYear
1994
fDate
27 Jun-1 Jul 1994
Firstpage
223
Lastpage
231
Abstract
The development of requirements for software systems has long been identified as an important and difficult part of software development. This is much more so for safety-critical systems. In this paper we identify one approach which we believe, forces the developer to concentrate upon requirements rather than initial design concepts (as often happens). This approach uses causality as its main abstraction, primarily because causality is intrinsic to many systems, and is intuitive to developers
Keywords
fault tolerant computing; software engineering; software reliability; causality; requirements analysis; safety critical systems; software development; software systems; Computer science; Control systems; High performance computing; Performance analysis; Process control; Programming; Real time systems; Safety; Software systems; Systems engineering and theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1994. COMPASS '94 Safety, Reliability, Fault Tolerance, Concurrency and Real Time, Security. Proceedings of the Ninth Annual Conference on
Conference_Location
Gaithersburg, MD
Print_ISBN
0-7803-1855-2
Type
conf
DOI
10.1109/CMPASS.1994.318450
Filename
318450
Link To Document