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

  title={Reassessing the pattern-based approach for formalizing requirements in the automotive domain},
  author={Predrag Filipovikj and Mattias Nyberg and G. Rodr{\'i}guez-Navas},
  journal={2014 IEEE 22nd International Requirements Engineering Conference (RE)},
  • Predrag Filipovikj, Mattias Nyberg, G. Rodríguez-Navas
  • Published 2014
  • Computer Science
  • 2014 IEEE 22nd International Requirements Engineering Conference (RE)
  • 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… CONTINUE READING
    Requirements reuse and requirement patterns: a state of the practice survey
    • 31
    • Open Access
    Challenging Incompleteness of Performance Requirements by Sentence Patterns
    • 13
    • Open Access
    Combining Xtext and OSLC for Integrated Model-Based Requirements Engineering
    • 9
    SMT-based consistency analysis of industrial systems requirements
    • 7
    A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems
    • 6
    • Open Access


    Publications referenced by this paper.
    Patterns in property specifications for finite-state verification
    • 1,424
    • Highly Influential
    • Open Access
    Temporal and Modal Logic
    • 3,138
    • Open Access
    Real-time specification patterns
    • 301
    • Open Access
    Techniques for automatic verification of real-time systems
    • 195
    • Open Access
    Conceptual modeling through linguistic analysis using LIDA
    • 185
    • Open Access
    Facilitating the construction of specification pattern-based properties
    • 72
    • Open Access
    A systematic literature review to identify and classify software requirement errors
    • 170
    • Open Access
    User guidance for creating precise and accessible property specifications
    • 70
    • Open Access
    Experiences in managing an automotive requirements engineering process
    • 25