Title :
Model Synthesis for Real-Time Systems
Author :
Huselius, Joel ; Andersson, Johan
Author_Institution :
Malardalen Real-Time Res. Centre, Malardalen Univ., Vasteras, Sweden
Abstract :
In this paper, we present a method for model synthesis. Based on observations of running system, a model that can describe the observed behavior is automatically generated. This allows faster and more accurate modeling of existing systems. The models can be used for impact analysis, verification, documentation etc. The method has been implemented; we describe that implementation and present an evaluation of its performance, the conclusion of the evaluation is in favor of the proposed method.
Keywords :
automatic programming; formal specification; program verification; real-time systems; software performance evaluation; specification languages; formal specification; formal verification; model synthesis; modeling language; performance evaluation; real-time systems; Computer errors; Debugging; Documentation; Object oriented modeling; Observability; Real time systems; Software maintenance;
Conference_Titel :
Software Maintenance and Reengineering, 2005. CSMR 2005. Ninth European Conference on
Print_ISBN :
0-7695-2304-8
DOI :
10.1109/CSMR.2005.39
