Safety-Critical System Development Methodology

Hoelzl, F, Spichkova, M and Trachtenherz, D 2010, Safety-Critical System Development Methodology, TU München, Munich, Germany

Document type: Commissioned Reports
Collection: Commissioned Reports

Title of report Safety-Critical System Development Methodology
Author(s) Hoelzl, F
Spichkova, M
Trachtenherz, D
Year of publication 2010
Publisher TU München
Place of publication Munich, Germany
Subjects Software Engineering
Abstract/Summary 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 models are verified using both automatic and interactive techniques.
Commissioning body TU München
Version Filter Type
Access Statistics: 17 Abstract Views  -  Detailed Statistics
Created: Thu, 06 Dec 2018, 10:39:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us