曝光臺 注意防騙 網曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費者

EPSRC Grant numbers: h89944, h90001
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
10
FASGEP Fault Analysis of the Software Generation Process
Lloyd’s Register of Shipping
CSC - Computer Sciences Ltd (formerly Lucas
Engineering and Systems)
Lucas Electronics
Nuclear Electric plc
Rolls-Royce plc.
Contact: Trevor Cockram
Rolls-Royce Military Aero Engines Ltd
High Integrity Systems & Software Centre
GP 1-4, PO Box 3
Filton, Bristol BS12 7QE
Tel: 0117 9797323, Fax 0117 9797001
E-Mail: TREVOR.T.J.COCKRAM@rollsroyce.
btx400.co.uk
Summary
The objective of the FASGEP project was to develop a system for the quantified fault analysis of safety critical
software development processes, their related procedures and practices, so that the probability of fault introduction
and the overall reliability of the software can be established at the earliest point in the lifecycle.
The more detailed goals were:
· to establish a mechanism for predicting the number of generated and residual faults in delivered software;
· to identify and characterise faults existing in current software generation processes;
· to determine “goodness factors” for elemental software generation processes;
· to produce estimates of the probability of residual faults showing up in software delivered for final testing;
· to implement the project findings in a “usable” form.
For a description of the main results of the project see section 11.1, Prediction fault rates during software
development.
References
[1] Summary Report on Theory of Analysis Model, Report LE09R01A, Jul 1993, + D.
[2] A method of integrating disparate measures for determining the adequacy of design reviews, Report
RR11R03A, Dec 1993, + D.
[3] The effect of design reviews on the fault distribution in a Bayesian Belief network of the software generation
process, Report RR11R04A, May 1993, + D.
[4] Comparison of Software Integrity Models and Recommendations for Improvements to the FASGEP Method,
Report LR13R02C, Mar 1994, + D.
[5] Artificial Neural Network Learning Models, FASGEP model calibration: investigation of alternative
learning techniques, Report LR16R01B, Jan 1995, + D.
[6] The FASGEP Method and Models, Final technical documentation, Report LR18R02B, Mar 1995, + D.
[7] Final Project Status Report (This report, sets the project in the context of software integrity issues. It
discusses the application of the project in the partner companies, the research topics addressed, the project
successes and failures. It also addresses the lessons learnt as a result of the project and discusses topics for
future research.) Report RR17R01C, Mar 1995, + D.
[8] FASGEP Data Collection Questionnaire, Report LE06N05F, Mar 1996, + D.
[9] User Manual for FASGEP Model implementation on Sun Unix Workstation, Report NEextR03C, Apr 1996,
+ D.
[10] Human error in the software generation process, T Cockram et al., in Technology and Assessment of Safetycritical
Systems, Ed Redmill and Anderson, 1994, ISBN 3-540-19859-8..
[11] Fault Analysis of the Software Generation Process, M Cottam et al, in Risk Management and Critical
Protective Systems: Proceedings of the Safety and Reliability Society Conference 1994, ed RF Cox SARS
Ltd, Manchester 1994.
Project number: 9004 Approx. Project Cost: £1.2m Start date: Oct 1991 End date: Mar 1996
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
11
FRESCO Framework for the Evaluation of Safety-Critical Systems
Admiral Management Services Ltd,
CAA,
Eutech Engineering Solutions Ltd
Eversheds,
Lloyd’s Register of Shipping,
Railtrack plc.
Contact: Mr P D Morton
Admiral Management Services Ltd
Kings Court
91-93 High Street
Camberley, Surrey
GU15 3RN
Summary
The purpose of the FRESCO project was to improve the process of assessing the dependability of safety-related
software products and systems by identifying and proposing a framework in which such assessments can take place.
The project sought to:
· establish industry requirements for a conformity assessment and certification scheme;
· define the organisational framework for conformity assessment and certification schemes;
· develop a technical approach to conformity assessment.
The project has developed a method, supported by assessment criteria, which enables conformance to draft standard
IEC 1508 to be assessed. The method is modular and sufficiently flexible so that organisations may adopt IEC 1508
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料25(149)