DocumentCode
2705597
Title
Model Synthesis for Real-Time Systems
Author
Huselius, Joel ; Andersson, Johan
Author_Institution
Malardalen Real-Time Res. Centre, Malardalen Univ., Vasteras, Sweden
fYear
2005
fDate
21-23 March 2005
Firstpage
52
Lastpage
60
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Maintenance and Reengineering, 2005. CSMR 2005. Ninth European Conference on
ISSN
1534-5351
Print_ISBN
0-7695-2304-8
Type
conf
DOI
10.1109/CSMR.2005.39
Filename
1402114
Link To Document