Reassessing the pattern-based approach for formalizing requirements in the automotive domain

@article{Filipovikj2014ReassessingTP,
  title={Reassessing the pattern-based approach for formalizing requirements in the automotive domain},
  author={Predrag Filipovikj and Mattias Nyberg and Guillermo Rodr{\'i}guez-Navas},
  journal={2014 IEEE 22nd International Requirements Engineering Conference (RE)},
  year={2014},
  pages={444-450}
}
The importance of using formal methods and techniques for verification of requirements in the automotive industry has been greatly emphasized with the introduction of the new ISO26262 standard for road vehicles functional safety. The lack of support for formal modeling of requirements still represents an obstacle for the adoption of the formal methods in industry. This paper presents a case study that has been conducted in order to evaluate the difficulties inherent to the process of… 

Figures and Tables from this paper

A Method and Tool for Automated Analysis of Heavy Vehicle RequirementsA Method and Tool for Automated Analysis of Heavy Vehicle Requirements

TLDR
A qualitative research study with a literature survey has been performed to find and select state-of-the-art supportive methods to provide feedback on the formalized requirements’ semantics, and shows that the feedback of the supportive methods helped in guaranteeing the intended behavior of the requirement developers.

Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain

TLDR
A tool called SESAMM Specifier is presented in which a subset of the specification patterns for formal requirements specification, called SPS, is integrated into an existing industrial tool-chain, providing the necessary means for the formal specification of system requirements and the later validation of the formally expressed behavior.

ReSA: An ontology-based requirement specification language tailored to automotive systems

TLDR
A language, called ReSA, is proposed, which allows requirements specification at various levels of abstraction, modeled in the architectural language of EAST-ADL, which enables checking refinement as well as consistency of requirements, by proving ordinary boolean implications.

Combining Xtext and OSLC for Integrated Model-Based Requirements Engineering

TLDR
This paper presents an approach based on the Xtext framework for the implementation of a restricted requirements language to support engineers in writing requirements with higher quality as long as requirements management tools provide the respective OSLC interface.

SMT-based consistency analysis of industrial systems requirements

TLDR
This paper presents a complementary method that relies on pattern-based formalization of requirements and automated consistency checking using the state-of-the-art SMT tool Z3.

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development

TLDR
This paper proposes a specification language and a prototypical tool for the formal but still textual specification of requirements and shows how these requirements can be translated automatically into the input languages of Simulink Design Verifier and BTC EmbeddedValidator for source code verification.

Automated SMT-based consistency checking of industrial critical requirements

TLDR
This paper proposes an automated consistency analysis technique of requirements that are formalized based on patterns, and checked using state-of-the-art Satisfiability Modulo Theories solvers, and proposes a tool that does not require any user intervention during the transformation and analysis phases, thus making the consistency analysis usable by non-expert practitioners.

Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262

TLDR
This work defines a safety contracts development process and provides guidelines to bridge the gap between reuse of safety elements developed out-of-context of a particular system and their integration in the ISO 26262 safety standard.

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation

TLDR
This work presents a tool-supported methodology for contract-driven assurance and reuse of safety-relevant components in safety-critical systems, and proposes assurance patterns for arguing confidence in satisfaction of requirements and contracts.

Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing

  • G. Rodríguez-NavasA. KobetskiDaniel SundmarkT. Gustafsson
  • Computer Science
    2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems
  • 2015
TLDR
This paper presents a novel method for efficient offline analysis of traces, which has been especially tailored for integration testing of automotive systems, and exploits the recently defined concept of independent guarded assertion.

References

SHOWING 1-10 OF 14 REFERENCES

Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH

TLDR
A case study over 289 informal behavioral requirements taken from automotive BOSCH projects strongly indicates that the SPS, extended with 3 further patterns, is suited to specify automotive behavioral requirements at BosCH.

ISO 26262 compliant verification of functional requirements in the model-based software development process

TLDR
An integrated method to use automatically synthesized C-code observer fragments from formalized specifications to efficiently support international standards regarding functional safety, like ISO 26262 for automotive is presented.

Facilitating the construction of specification pattern-based properties

  • S. KonradB. Cheng
  • Computer Science
    13th IEEE International Conference on Requirements Engineering (RE'05)
  • 2005
TLDR
This paper introduces a stepwise process for deriving and instantiating system properties in terms of their natural language representations, and describes SPIDER, a prototype implementation of a tool suite supporting this specification process.

Real-time specification patterns

  • S. KonradB. Cheng
  • Computer Science
    Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.
  • 2005
TLDR
A structured English grammar is offered as a means to further facilitate the understanding of the meaning of a specification, and the use of the real-time specification patterns in the context of property specifications of a real-world automotive embedded system.

Experiences in managing an automotive requirements engineering process

  • N. HeumesserF. Houdek
  • Computer Science, Engineering
    Proceedings. 12th IEEE International Requirements Engineering Conference, 2004.
  • 2004
TLDR
This paper sketches the requirements engineering process used, the core management instruments deployed, and observations gained in utilizing this process, and the experiences drawn from projects at DaimlerChrysler passenger car development.

Patterns in property specifications for finite-state verification

TLDR
A survey of available specifications found that most are instances of the proposed pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification.

Techniques for automatic verification of real-time systems

TLDR
The distinguishing feature of this work is the use of the set of reals to model time; it is argued that the denseness of the time domain is crucial for modeling event-driven asynchronous systems.

Conceptual modeling through linguistic analysis using LIDA

TLDR
This work describes a methodology and a prototype tool, Linguistic Assistant for Domain Analysis (LIDA), which provide linguistic assistance in the model development process through linguistic analysis.

User guidance for creating precise and accessible property specifications

TLDR
A new representation of Propel templates is presented, a Question Tree that asks users a hierarchical sequence of questions about their intended properties, which complements the finite-state automaton and disciplined natural language representations provided by Propel.

A systematic literature review to identify and classify software requirement errors