Publication

SmartTies - Management of Safety-Critical Developments

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

In: Margaria Tiziana, Bernhard Steffen (editor). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12) October 15-18 Amirandes, Heraclion, Crete Greece Pages 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.

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.

Projekte

SmartTies.pdf (pdf, 827 KB)

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz