Deriving real-time requirements for software from safety analysis

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1996, Pages 9-14

  Gorski J ^a   Wardzinski A ^a  

^a Franco Polish School of New Information and Communication Technologies   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT-TREES; LONG CHAINS; REAL TIME REQUIREMENT; SAFETY ANALYSIS; SAFETY REQUIREMENTS; SAFETY-CRITICAL SOFTWARE SYSTEMS; SOFTWARE SAFETY; TIMING REQUIREMENTS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; INDUSTRIAL APPLICATIONS; REAL TIME SYSTEMS;

APPLICATION PROGRAMS;

EID: 84882961670     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMWRTS.1996.557782     Document Type: Conference Paper

References (19)

1. Functional Safety: Safety-Related Systems (draft), International Electrotechnical Commission, IEC 1508, 1995
2. W. E. Vesely et el., Fault Tree Handbook, NUREG-0492, U.S. Nuclear Regulatory Commission, 1981
3. N. G. Leveson, S. S. Cha, T. J. Shimeall, Safety Verification of ADA programs using Software Fault Trees, IEEE Software, July 1991, pp. 48-59
4. T. Maier, FMEA and FTA to Support safe Design of Embedded Software in Safety-critical Systems, ENCRESS Conference on Safety and Reliability of Software Based Systems, Bruges (Belgium), September 12-15, 1995
5. E. R. Morales, A Software Development Approach for Robotics Control Systems, SAFECOMP'95, Belgirate (Italy), 11-13 October 1995, pp. 317-330
6. M. F. Chudleigh, Hazard Analysis Using HAZOP: A case Study, SAFECOMP'93, Poznań (Poland), October 27-29, 1993, pp. 99-108
7. M. F. Chudleigh, J. R. Catmur, F. Redmill, A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System, SAFECOMP'95, Belgirate (Italy), October 11-13, 1995, pp. 42-58
8. Draft Interim DEF-STAN 00-58, U.K. Ministry of Defence, 1995
9. J. Górski, Formal System-Level Safety Analysis, 21st EUROMICRO conference on Design of Hardware/Software Systems, Como (Italy), September 4-7, 1995, pp. 156-165
10. N. G. Leveson, J. L. Stolzy, Safety Analysis using Petri Nets, IEEE Transactions on Software Engineering, Vol. 13, No. 3, March 1987, pp. 386-397
11. M. Thomas, The story of Therac-25 in LOTOS, High Integrity Systems, Vol. 1, No. 1, 1994
12. A. Saeed, R. de Lemos, T. Anderson, Safety Analysis for Requirements Specifications: Methods and Techniques, SAFECOMP'95, Belgirate (Italy), October 11-13, 1995
13. J. Górski, B. Nowicki, Object Oriented Approach to Safety Analysis, ENCRESS Conference on Safety and Reliability of Software Based Systems, Bruges (Belgium), September 12-15, 1995
14. Fault Tree Analysis, International Electrotechnical Commission, IEC 1025, 1990
15. J. Górski, Extending Safety Analysis Techniques with Formal Semantics, In Technology and Assessment of Safety Critical Systems, (F.J. Redmill and T. Anderson, Eds.), Springer Verlag, 1994
16. J. Górski, A. Wardziński, Formalizing Fault Trees, Safety Critical Symposium, Brighton (UK), February 1995
17. C. B. Jones, Systematic Software Development using VDM, Prentice Hall Int., 1990
18. A. Wardziński, J. Górski, Fault Tree Analysis of a Gas Burner System, Research Report EFP-RR-166/96, Franco-Polish School of New Information and Communication Technologies, Poznań, 1996 (in Polish)
19. G. Burns, S. Anderson, Validating Safety Models with Fault Trees, SAFECOMP'93, Poznań (Poland), October 27-29, 1993, pp. 21-30