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
fDate :
27 Jun-1 Jul 1994
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;
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
DOI :
10.1109/CMPASS.1994.318450
