DocumentCode :
1345931
Title :
Goal directed approach for achievement of mission critical objectives
Author :
Granville, Richard
Author_Institution :
Lloyds Register, Croydon, UK
Volume :
9
Issue :
1
fYear :
1998
Firstpage :
19
Lastpage :
22
Abstract :
A process, known as the goal directed approach, has been developed which ensures that the most appropriate and effective combination of techniques is used to identify potential problems in safety-critical software. The process is illustrated by application to the Hercules C-130J aircraft static code analysis project. The objective of this project is to identify safety threatening anomalies in the safety critical software for resolution before the first flight of the aircraft.
Keywords :
safety-critical software; Hercules C-130J aircraft; goal directed approach; mission critical system; safety critical software; static code analysis project; Software safety;
fLanguage :
English
Journal_Title :
Computing & Control Engineering Journal
Publisher :
iet
ISSN :
0956-3385
Type :
jour
DOI :
10.1049/cce:19980104
Filename :
662890
Link To Document :
بازگشت