Meta-modelling Approach to Traceability and Consistency for Complex Safety Critical Systems Engineering

Main Article Content

Paul Mason

Abstract

Traceability is the common term of mechanisms to record and navigate relationships between development and assessment artifacts. Effective management of these relationships is essential to the success of projects involving complex safety critical systems. Practitioners on such projects typically use a range of techniques to model and analyse the safety and reliability of the systems they are developing. Most have tool support, although poor integration leads to inconsistencies and limits traceability between their respective data sets. This paper proposes a framework that enables links to be established and consistency maintained across data from potentially disjoint safety analysis tools.


Keywords: Traceability, safety-critical systems, CASE tools


Corresponding author: E-mail: [email protected]


 

Article Details

Section
Original Research Articles

References

[1] Wilson, S.P. & McDermid, J. A. – Integrated Analysis of Complex Safety Critical Systems. The Computer Journal, 38(10), 1995
[2] Vesely, W., Goldberg, F., Roberts, N. & Haasl, D. – Fault Tree Handbook, Nureg 0492, US Nuclear Regulatory Commission
[3] Pierre-Alain Muller, Instant UML, Wrox Press., 1997.
[4] J. Warmer & A. Kleppe, The Object Constraint Language, Addison-Wesley, 1999
[5] P. Mason, Meta-modelling Approach to Traceability, University of Newcastle PhD Thesis, 2002.
[6] P. Mason, A. Saeed, S. Riddle & P. Arkley, Meta-modelling Approach to Traceability, Procs. Int’l Conf. on the Engineering of Computer-Based Systems, Alabama, Apr. 2003
[7] J. F. E. Johnson, The SEDRES Projects: Producing a Data Exchange standard Supporting Integrated Systems Engineering, Proc. of 8th INCOSE Symposium, Vancouver, Canada, pp. 367-374.
[8] Teleogic, DOORS Ref. Manual: v5.1, 2001
[9] M. Klein, Caturing Design Rationale In Concurrent Engineering Teams, IEEE Computer, Jan. 1993, pp 39-47
[10] D. Oliver, A Draft Integration of Information Models: Complement Model and Oliver Model, Procs. Of Tutorial and Workshop on Systems Engineering of Computer-Based Systems, pp. 44-69, 1994
[11] European Organization for Civil Aviation Electronics – Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, EUROCAE document ARP 4761, Dec.
[12] Górski, J. & Wardziñski, A. – Formalising Fault Trees, Proc. Safety-Critical Systems Symposium, Brighton, UK, pp. 310-327, 1995
[13] P. Mason, On Structuring Formal, Semi-Formal and Informal Data to Support Traceability in Systems Engineering Environments, Proc. 13th International Conference on Information & Knowledge Management, Washington D.C., USA, Nov. 2004
[14] M. Jarke, R. Gallersdorfer, M. Jeusfeld, M. Staudt & S. Eherer, ConceptBase: A Deductive Object Base for Meta Data, Journal of Intelligent Info. Sys., Mar., pp. 167-192, 1995
[15] D. Schenk & P. Wilson, Information Modelling: The EXPRESS Way, OUP 1994
[16] C. Goldfarb & P. Prescod, The XML Handbook, Prentice-Hall, 2000
[17] P. Mason, On Traceability for Concurrent Engineering Environments, Procs. International Conference on Knowledge Sharing and Collaborative Engineering (KSCE2004), Virgin Islands, USA Nov. 2004.
[18] R. Collins & J. Dent, A Practical Case Study pf Reliability, Safety and other Concurrent Engineering Information, Procs. Safety & Reliability Conference, 1994.