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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 21 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 12 REFERENCES

Requirements Engineering, Third Edition

  • M. Elizabeth, C. Hull, K. Jackson, J. Dick
  • 2011
1 Excerpt

Similar Papers

Loading similar papers…