Early Fault Detection in Industry Using Models at Various Abstraction Levels

  • Jozef Hooman
  • Arjan J. Mooij
  • Hans van Wezep
Conference paper

DOI: 10.1007/978-3-642-30729-4_19

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7321)
Cite this paper as:
Hooman J., Mooij A.J., van Wezep H. (2012) Early Fault Detection in Industry Using Models at Various Abstraction Levels. In: Derrick J., Gnesi S., Latella D., Treharne H. (eds) Integrated Formal Methods. IFM 2012. Lecture Notes in Computer Science, vol 7321. Springer, Berlin, Heidelberg

Abstract

Most formal models that are used in the industry are close to the level of code, and often ready to be used for code generation. Formal models can also be analysed and verified in order to detect any faults. As the first formal models are often such code-level models, their analysis not only reveals a lot of detailed design faults, but also the more relevant conceptual faults in the design and the requirements. Our observations are based on our experiences in an industrial development project that uses a commercial tool for formal modelling, compositional verification, and code generation. In addition to the provided tool functionality, we have introduced formal techniques to detect conceptual faults during the earlier design and requirements phases. To this end we have made additional formal models, both for the requirements and for the early designs at various abstraction levels. We have analysed these models using simulation and interactive visualization, and we have compared them using refinement checking.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jozef Hooman
    • 1
    • 2
  • Arjan J. Mooij
    • 2
  • Hans van Wezep
    • 3
  1. 1.Computing Science DepartmentRadboud UniversityNijmegenThe Netherlands
  2. 2.Embedded Systems InstituteEindhovenThe Netherlands
  3. 3.Interventional X-Ray DepartmentPhilips HealthcareBestThe Netherlands

Personalised recommendations