Meta-modelling approach to traceability for avionics: a framework for managing the engineering of computer based aerospace systems

Mason, Paul; Saeed, Amer; Arkely, P.; Riddle, Steve

doi:10.1109/ecbs.2003.1194804

Cited by 4 publications

(3 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In Systems Engineering, Mason et al [106] introduced a traceability taxonomy that includes the directional and temporal traceability. They extended the definitions of vertical and horizontal traceability by introducing the terms micro, macro, inter, and intra.…”

Section: Systems Engineering Classificationsmentioning

confidence: 99%

“…Research papers on traceability are divided into two categories: (a) papers that focus on aspects that are necessary for building traceability (Meta)models such as trace links semantics, traceability rules, traceability definitions, and traceability schema specification [6], [9], [18], [19], [22], [23], [26], [89], [106], and (b) papers that focus on the design of domain specific and generic traceability models and (Meta)models [48]- [51], [81], [82], [89], [90], [116].…”

Section: Analysis Of Existing Research On Modeling Traceabilitymentioning

confidence: 99%

“…Based on our systematic review (chapter 3), we identified some research papers that define traceability and traceability relations [9], [17], [19], [20], [23], [44], [96], [106], other papers that classify or identify some types of trace links [18]- [20], [44], [48], [91]- [94], [96]- [102], [104], [106], [134], [135], and some papers that discuss the need for trace link semantics [37], [48], [105], [136], [137]. Although these papers provide valuable information on traceability definitions and classifications, we couldn't find any paper that suggests a technique for building a trace links taxonomy that combines the trace links from all domains into a unified taxonomy.…”

Section: The Need For a Trace Link Taxonomymentioning

confidence: 99%

See 2 more Smart Citations

Traceability Modeling for the Engineering of Heterogeneous Systems

Nasser¹

View full text Add to dashboard Cite

Capturing traceability information among artifacts helps ensure product quality and assists tracking functional and non-functional requirements, and performing system validation and impact analysis. Although literature provides many techniques for modeling traceability, existing solutions are either tailored to specific domains or not complete enough (e.g., lack support to specify traceability link semantics). This research examines the current traceability solutions and identifies the drawbacks that hinder capturing some traceability information of heterogeneous artifacts. In this context, heterogeneous artifacts refer to artifacts that come from widely different modeling notations (e.g., UML, Simulink, natural language text, source code).In this thesis, our contribution comprises a traceability framework that can accommodate the traceability of system engineering artifacts which come from different domains of expertise.The framework includes the followings: First, a set of requirements for a traceability model that are necessary to build a generic traceability model. Second, a generic traceability model that is not domain specific and which, therefore, provides a solution for modeling traceability links among heterogeneous models, that is, models for which traceability links need to be established between artifacts in widely different modeling languages (e.g., UML, block diagrams, informal documents). We argue that the proposed requirements are sufficient to build a traceability model oblivious of the heterogeneity of the models whose artifacts need to be traced. We also argue that our traceability model is extensible in the sense that it can adapt to new modeling languages, new ways of characterizing traceability information for instance, without requiring changes to the model itself; Third, a trace links taxonomy that encompasses semantically well-defined trace links that can be utilized along with the traceability model. The design of our framework is validated through a set of validation methods. Also, it is supported by our findings from a survey and a systematic literature review. ii Acknowledgement I would like to thank my supervisor Dr. Yvan Labiche the head of the he Software Quality Engineering Laboratory (SQUALL) at Carleton University for his unlimited support and advice during my PhD study. Also, I would like to extend my thanks to Dr. Daniel Amyot from the University of Ottawa for his valuable comments and the revision of my thesis. I would like to thank NSERC, CRIAQ, CAE, CMC Electronics, and Mannarino Systems & Software for their financial support. Last but not least, many thanks for my lovely family; my wife Hanan, my daughter Nathalie, and my son Mohammed for their support and encouragement.iii DedicationTo the souls of my father and mother who gave me their courage and support.between things written in RDF, OWL must be used to specify these relationships. Therefore, the owl tags in lines 10 and 14 imply a relationship exists between the dependency trace link and the other trace links, i.e., p...

show abstract

Section: Systems Engineering Classificationsmentioning

confidence: 99%

Section: Analysis Of Existing Research On Modeling Traceabilitymentioning

confidence: 99%

Section: The Need For a Trace Link Taxonomymentioning

confidence: 99%

See 1 more Smart Citation

Traceability Modeling for the Engineering of Heterogeneous Systems

Nasser¹

View full text Add to dashboard Cite

show abstract

Using Semantic Web to Establish Traceability Links Between Heterogeneous Artifacts

Mustafa

Labiche

2018

Communications in Computer and Information Science

View full text Add to dashboard Cite

On traceability for safety critical systems engineering

Mason

2005

12th Asia-Pacific Software Engineering Conference (APSEC'05)

Self Cite

View full text Add to dashboard Cite

Traceability is the common term for mechanisms to record and navigate relationships between artifacts produced by systems development processes. It is especially vital for critical systems which must satisfy a range of functional and non-functional requirements, including safety, reliability and availability.Regulation normally requires critical systems are certified before entering service. This involves submission of a safety case -a reasoned argument and supporting evidence that such requirements have been met and that the system is acceptably safe.Safety engineers use a range of analysis techniques to gather evidence for a safety case. Most have tool support, although poor integration limits traceability between their respective data sets. This paper proposes a framework that enables links to be established and consistency maintained across data from disjoint safety analysis tools.

show abstract

Meta-modelling approach to traceability for avionics: a framework for managing the engineering of computer based aerospace systems

Cited by 4 publications

References 4 publications

Traceability Modeling for the Engineering of Heterogeneous Systems

Traceability Modeling for the Engineering of Heterogeneous Systems

Using Semantic Web to Establish Traceability Links Between Heterogeneous Artifacts

On traceability for safety critical systems engineering

Contact Info

Product

Resources

About