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.
This work was funded by the German Federal Ministry of Education and Research under grants 01 IW 07002 and 01 IW 10002 (projects FormalSafe and SHIP).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Autexier, S., David, C., Dietrich, D., Kohlhase, M., Zholudev, V.: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. In: Conferences on Intelligent Computer Mathematics, CICM 2011 (2011)
Hutter, D., Autexier, S.: Formal Software Development in MAYA. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 407–432. Springer, Heidelberg (2005)
Autexier, S., Lüth, C.: Adding Change Impact Analysis to the Formal Verification of C Programs. In: Méry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 59–73. Springer, Heidelberg (2010)
Autexier, S., Müller, N.: Semantics-based change impact analysis for heterogeneous collections of documents. In: Gormish, M., Ingold, R. (eds.) Proc. 10th ACM Symposium on Document Engineering, DocEng 2010 (2010)
Beck, K.: Embracing change with extreme programming. IEEE Computer 32(10) (1999)
Briand, L.C., Labiche, Y., O’Sullivan, L., Sówka, M.M.: Automated impact analysis of UML models. Journal of Systems and Software 79(3), 339–352 (2006)
Geiß, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.M.: GrGen: A Fast SPO-Based Graph Rewriting Tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 383–397. Springer, Heidelberg (2006)
Hutter, D.: Semantic Management of Heterogeneous Documents. In: Aguirre, A.H., Borja, R.M., Garciá, C.A.R. (eds.) MICAI 2009. LNCS (LNAI), vol. 5845, pp. 1–14. Springer, Heidelberg (2009)
IBM. Rational DOORS, http://www-01.ibm.com/software/awdtools/doors/
IEC: IEC 61508 – Functional safety of electrical/electronic/programmable electronic safety-related systems. IEC, Geneva, Switzerland (2000)
Mossakowski, T., Autexier, S., Hutter, D.: Development graphs – proof management for structured specifications. Journal of Logic and Algebraic Programming 67(1-2), 114–145 (2006)
Reichmann, C.: PREEVision - bridging the gap between electrical/electronic and mechanical areas. Automobile Konstruktion 1, 1–4 (2011)
Royce, W.W.: Managing the development of large software systems: Concepts and techniques. In: ICSE, pp. 328–339 (1987)
RTCA/DO-178B: Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc., Washington, D.C. 20036 (1992)
Täubig, H., Frese, U., Hertzberg, C., Lüth, C., Mohr, S., Vorobev, E., Walter, D.: Guaranteeing functional safety: design for provability and computer-aided verification. Autonomous Robots 32(3), 303–331 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Autexier, S., Dietrich, D., Hutter, D., Lüth, C., Maeder, C. (2012). SmartTies – Management of Safety-Critical Developments. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. ISoLA 2012. Lecture Notes in Computer Science, vol 7609. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34026-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-34026-0_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34025-3
Online ISBN: 978-3-642-34026-0
eBook Packages: Computer ScienceComputer Science (R0)