User: Guest  Login
Document type:
Technical Report 
Author(s):
F. Hölzl, M. Spichkova, D. Trachtenherz 
Title:
AutoFocus Tool Chain 
Abstract:
This work presents the tool support for a model-based development methodology for verified software systems. We focus in this discussion on the design, implementation and the verification phase of the overall methodology developed for safety-critical embedded systems. In particular, we show how design models are transformed into C code and Isabelle/HOL theories by code generators. We discuss the applied AutoFocus tool chain and its basic principles emphasizing the verification of the system unde...    »
 
Keywords:
Tools; architecture; verification; model 
Year:
2010 
Year / month:
2010-11-10 00:00:00 
Pages:
12