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… Expand
A Method and Tool for Automated Analysis of Heavy Vehicle RequirementsA Method and Tool for Automated Analysis of Heavy Vehicle Requirements
The introduction of the functional safety standard ISO 26262 was motivated by an increasing demand to ensure reliability and correctness of safety-critical systems in the automotive industry.Expand
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. Expand
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. Expand
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. Expand
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. Expand
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. Expand
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. Expand
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. Expand
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. Expand
Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing
  • G. Rodríguez-Navas, A. Kobetski, Daniel Sundmark, T. 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. Expand
...
1
2
3
4
5
...

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. Expand
ISO 26262 compliant verification of functional requirements in the model-based software development process
The model-based software development process is generally accepted in the automotive and aerospace domain. More or less seamless tool-chains support the model-based approach in order to helpExpand
Facilitating the construction of specification pattern-based properties
  • S. Konrad, B. 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. Expand
Real-time specification patterns
  • S. Konrad, B. 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. Expand
Experiences in managing an automotive requirements engineering process
  • N. Heumesser, F. Houdek
  • Engineering, Computer Science
  • 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. Expand
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. Expand
Techniques for automatic verification of real-time systems
This thesis proposes formal methods for specification and automatic verification of finite-state real-time systems. The traditional formalisms for reasoning about programs abstract away fromExpand
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. Expand
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. Expand
A systematic literature review to identify and classify software requirement errors
TLDR
A systematic literature review is presented to develop taxonomy of errors that may occur during the requirements phase of software lifecycle that is designed to aid developers during the requirement inspection process and to improve overall software quality. Expand
...
1
2
...