SmartTies --- management of safety-critical developments

  • Authors:

  • Serge Autexier;Dominik Dietrich;Dieter Hutter;Christoph Lüth;Christian Maeder

  • Affiliations:

  • Cyber-Physical Systems, DFKI Bremen, Germany;Cyber-Physical Systems, DFKI Bremen, Germany;Cyber-Physical Systems, DFKI Bremen, Germany;Cyber-Physical Systems, DFKI Bremen, Germany;Cyber-Physical Systems, DFKI Bremen, Germany

  • Venue:
  • ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
  • Year:
  • 2012

  • Approaches for mastering change

    ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I

Quantified Score

Hi-index 0.00

Visualization

Abstract

Formal methods have been successfully used to establish assurances for safety-critical systems with mathematical rigor. Based on our experience in developing a methodology and corresponding tools for change management for formal methods, we have generalised this approach to a comprehensive methodology for maintaining heterogeneous collections of both formal and informal documents. Although informal documents, like natural language text, lack a formal interpretation, they still expose a visible structure that reflects different aspects or parts of a development and follows explicit rules formulated in development guidelines. This paper presents our general methodology for maintaining heterogeneous document collections and illustrates its instantiation in the SmartTies tool that supports the development of safety-critical systems. SmartTies utilises the structuring mechanisms prescribed in a certification process to analyze and maintain the documents occurring in safety-critical development processes.