research-article

Requirement traceability in safety critical systems

Authors:

Marie-Agnès Peraldi-Frati,

Arnaud AlbinetAuthors Info & Claims

CARS '10: Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety

Pages 11 - 14

https://doi.org/10.1145/1772643.1772647

Published: 27 April 2010 Publication History

Get Access

Abstract

Safety engineering analysis is a mandatory stage in the design of critical embedded automotive systems. The derivation of safety requirements and their verification require establishing traceability links between requirements and the different artifacts involved in the design flow. This paper presents the different steps of a method for expressing non functional requirements (safety, timing, hardware, performance) and ensuring their validation and their traceability over a design flow for automotive system design based on the conjoint use of EAST-ADL2 and MARTE languages and supported in an Eclipse platform. A specific meta-model for requirements modeling and traceability is used. The methodology is illustrated on an industrial knock-control system characterized by strict safety and temporal constraints

References

[1]

E. Denney and B. Fischer, "Software Certification and Software Certificate Management Systems," Proc. of ASE Workshop on Software Certificate Management SCM 05, pp. 1--5, Nov. 2005, Long Beach, CA,.

Digital Library

Google Scholar

[2]

M. F. Bashir, M. A. Qadir, "Traceability Techniques: A Critical Study," IEEE Multitopic Int. Conf. 2006, pp. 265--268, Dec. 2006.

Google Scholar

[3]

O. Gotel and A. Finkelstein, 1994. "An Analysis of the RequirementsTraceability Problem", Proceedings of the. First International, Conference on Requirements Engineering, pp. 94--101, 1994.

Crossref

Google Scholar

[4]

EAST-ADL: The EAST-EEA Architecture Description Language, June 2004. ITEA Project Version 1.02.

Google Scholar

[5]

OMG Specification. A UML Profile for MARTE, Beta 1. OMG Adopted specification ptc/07-08-04. August 2007

Google Scholar

[6]

OMG. Systems Modeling Language (SysML) Specification, April 2006. OMG document number: ad/2006-03-01

Google Scholar

[7]

A. Albinet et al, 'The MeMVaTEx methodology: from requirements to models in automotive application design," 4th European Congress ERTS (Embedded Real Time Software), Toulouse, France, January 2008.

Google Scholar

[8]

Papyrus, http://wiki.eclipse.org/MDT/Papyrus

Google Scholar

[9]

J. DeAntoni, F. Mallet, C. Andre, "TIMESQUARE: on the formal execution of UML and DSL models," Tool session of the4^th Model driven development for distributed real time systems, April 2008.

Google Scholar

Cited By

View all

Yoo IPark HLee SRyu K(2024)Building Traceability Between Functional Requirements and Component Architecture Elements in Embedded Software Using Structured FeaturesApplied Sciences10.3390/app14231079614:23(10796)Online publication date: 21-Nov-2024
https://doi.org/10.3390/app142310796
Yoo IRyu K(2024)Structured Feature-Based Component Architecture Design from a Traceability Perspective2024 Fifteenth International Conference on Ubiquitous and Future Networks (ICUFN)10.1109/ICUFN61752.2024.10625427(250-252)Online publication date: 2-Jul-2024
https://doi.org/10.1109/ICUFN61752.2024.10625427
Awad ABoyer R(2023)On the Conceptualization of Tools for Traceability-Based Change Impact Analysis Using a Domain-Specific Modeling Approach2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00055(257-265)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS-C59198.2023.00055
Show More Cited By

Recommendations

Toward a Method for Safety and Security Requirements Alignment in Critical IoT Systems
SBES '23: Proceedings of the XXXVII Brazilian Symposium on Software Engineering

The complexity of critical IoT systems demands the joint treatment of safety and security requirements from the early system life cycle stages. Dealing with multiple (and sometimes conflicting) relationships between such requirements has been a great ...
Safety Evidence Traceability: Problem Analysis and Model
REFSQ 2014: Proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality - Volume 8396

[Context and motivation] Safety evidence plays an important role in gaining confidence in the safe operation of a system in a given context. For a large system, it is necessary to provide information about thousands of artefacts that might be used as ...
Means-ends and whole-part traceability analysis of safety requirements

Safety is a system property, hence the high-level safety requirements are incorporated into the implementation of system components. In this paper, we propose an optimized traceability analysis method which is based on the means-ends and whole-part ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

CARS '10: Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety

April 2010

84 pages

ISBN:9781605589152

DOI:10.1145/1772643

Conference Chairs:
Jean-Charles Fabre
LAAS-CNRS, INPT / Université de Toulouse, France
,
Olivier Guetta
Renault TechnoCentre, Paris, France
,
Mario Trapp
Fraunhofer IESE, Kaiserslautern, Germany

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 April 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

EDCC '10

Sponsor:

EDCC '10: European Dependable Computing Conference

April 27, 2010

Valencia, Spain

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
841
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)3

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Yoo IPark HLee SRyu K(2024)Building Traceability Between Functional Requirements and Component Architecture Elements in Embedded Software Using Structured FeaturesApplied Sciences10.3390/app14231079614:23(10796)Online publication date: 21-Nov-2024
https://doi.org/10.3390/app142310796
Yoo IRyu K(2024)Structured Feature-Based Component Architecture Design from a Traceability Perspective2024 Fifteenth International Conference on Ubiquitous and Future Networks (ICUFN)10.1109/ICUFN61752.2024.10625427(250-252)Online publication date: 2-Jul-2024
https://doi.org/10.1109/ICUFN61752.2024.10625427
Awad ABoyer R(2023)On the Conceptualization of Tools for Traceability-Based Change Impact Analysis Using a Domain-Specific Modeling Approach2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00055(257-265)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS-C59198.2023.00055
Mizgan HAmbruş O(2021)Challenges in the Automotive JIS/JIT Production of Steering Wheels Involving TraceabilityActa Marisiensis. Seria Technologica10.2478/amset-2021-001718:2(42-46)Online publication date: 15-Nov-2021
https://doi.org/10.2478/amset-2021-0017
Staron MStaron M(2020)Automotive Software DevelopmentAutomotive Software Architectures10.1007/978-3-030-65939-4_4(67-95)Online publication date: 17-Dec-2020
https://doi.org/10.1007/978-3-030-65939-4_4
Staron M(2019)Requirements Engineering for Automotive Embedded SystemsAutomotive Systems and Software Engineering10.1007/978-3-030-12157-0_2(11-28)Online publication date: 18-Jul-2019
https://doi.org/10.1007/978-3-030-12157-0_2
Ou ARahmaniheris MJiang YSha LFu ZRen SHaddad HWainwright RChbeir R(2018)SafetraceProceedings of the 33rd Annual ACM Symposium on Applied Computing10.1145/3167132.3167270(1282-1291)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3167132.3167270
Cleland-Huang JVierhauser M(2018)Discovering, Analyzing, and Managing Safety Stories in Agile Projects2018 IEEE 26th International Requirements Engineering Conference (RE)10.1109/RE.2018.00034(262-273)Online publication date: Aug-2018
https://doi.org/10.1109/RE.2018.00034
Staron MStaron M(2017)Automotive Software DevelopmentAutomotive Software Architectures10.1007/978-3-319-58610-6_3(51-79)Online publication date: 27-Jun-2017
https://doi.org/10.1007/978-3-319-58610-6_3
Mahmoud AWilliams G(2016)Detecting, classifying, and tracing non-functional software requirementsRequirements Engineering10.1007/s00766-016-0252-821:3(357-381)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1007/s00766-016-0252-8
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Toward a Method for Safety and Security Requirements Alignment in Critical IoT Systems

Safety Evidence Traceability: Problem Analysis and Model

Means-ends and whole-part traceability analysis of safety requirements