Proceedings ArticleDOI
Requirement traceability in safety critical systems
Marie-Agnès Peraldi-Frati,Arnaud Albinet +1 more
- pp 11-14
TLDR
The different steps of a method for expressing non functional requirements and ensuring their validation and their traceability over a design flow for automotive system design are presented based on the conjoint use of EAST-ADL2 and MARTE languages and supported in an Eclipse platform.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 constraintsread more
Citations
More filters
Proceedings ArticleDOI
Mind the gap: assessing the conformance of software traceability to relevant guidelines
TL;DR: An approach is presented, which parses a guideline to extract a Traceability Model depicting software artifact types and their prescribed traces, which is used to evaluate the traceability of seven safety-critical software systems and found that none of the evaluated projects contained traceability that fully conformed to its relevant guidelines.
Proceedings ArticleDOI
Alignment of Requirements Specification and Testing: A Systematic Mapping Study
TL;DR: This study presents a systematic mapping of the alignment of specification and testing of functional or nonfunctional requirements in order to identify useful approaches and needs for future research.
Journal ArticleDOI
Detecting, classifying, and tracing non-functional software requirements
Anas Mahmoud,Grant Williams +1 more
TL;DR: The proposed approach exploits the textual semantics of software functional requirements (FRs) to infer potential quality constraints enforced in the system and shows that methods that exploit massive sources of textual human knowledge are more accurate in capturing and modeling the notion of similarity between FR words in a software system.
Book ChapterDOI
Trace queries for safety requirements in high assurance systems
TL;DR: A family of reusable traceability queries that serve as a blueprint for traceability in safety critical systems and are modeled using the Visual Trace Modeling Language, which has been shown to be more intuitive than the defacto SQL standard.
SysML-sec: A sysML environment for the design and development of secure embedded systems
TL;DR: SysML-Sec is introduced, a new SysML environment that makes it possible for security experts to intervene at all methodological stages, as well as to assess the impact of security over safety.
References
More filters
Proceedings ArticleDOI
An analysis of the requirements traceability problem
O.C.Z. Gotel,C.W. Finkelstein +1 more
TL;DR: The distinction between pre-requirements specification (pre-RS) traceability and post-RS traceability is introduced to demonstrate why an all-encompassing solution to the problem is unlikely, and to provide a framework to understand its multifaceted nature.
Proceedings ArticleDOI
Traceability Techniques: A Critical Study
TL;DR: Evaluation shows that current traceability techniques are deficient and may cause problems in managing requirements change properly, and categorizing techniques into three classes argues that existing techniques may be combined to address the short comings of each other and to avail maximum benefits from traceability.
The MeMVaTEx methodology: from requirements to models in automotive application design
Arnaud Albinet,S. Begoc,J.-L. Boulanger,Olivier Casse,I. Dal,Hubert Dubois,Fadoi Lakhal,D. Louar,Marie-Agnès Peraldi-Frati,Yves Sorel,Q.-D. Van +10 more
TL;DR: A model-based methodology for requirements expression, traceability and verification, which relies on the EAST-ADL2 framework and two of the UML2 profiles: MARTE for real-time embedded systems and SysML for system requirements modelling is presented.
Software Certification and Software Certificate Management Systems
Ewen Denney,Bernd Fischer +1 more
TL;DR: Intelligent development processes are needed which place certification at the center of development and if certification tools provide useful information, such as estimated time and effort, they are more likely to be adopted.
On the Formal Execution of UML and DSL Models
TL;DR: This work proposes here a model-driven approach to describe a formal and explicit semantics as a separate model that can be attached to different UML /DSL models and a UML/DSL model can be executed with different semantics.
Related Papers (5)
Issues in the development of a requirements traceability model
A Methodology for Systems Requirements Specification and Traceability for Large Real Time Complex Systems
Michael Edwards,Steven L. Howell +1 more