Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

PDF-Datei  Safety-Critical System Development Methodology

Technical Report

Author:F. Hoelzl, M. Spichkova, D. Trachtenherz
Abstract:The purpose of this work is to integrate verification techniques in real industrial development processes -- from informal textual specification and analysis of requirements to a verified implementation. Therefore, we present methods necessary to bridge the gap from informal requirements towards formal specification and from there to executable implementation. We show which development steps are necessary and how the specifications and models are verified using both automatic and interactive techniques.

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact