PROGRESS research projects

PG-Leg-Extract – Model Extraction for Legacy Systems

Leader: Christer Norström Members: Christer Norström, Farhang Nemati, Joel Huselius Former: Anders Wall, Johan Kraft Associated: Andreas Ermedahl, Sasikumar Punnekkat, Hans Hansson Research group: Embedded Systems Software Engineering Status: finished , start date: 2006-10-01 , End date: 2010-12-31 Funding: SSF, Progress

Overview The LegacyExtract project will develop methods and tools for extracting models from an existing real-time system, typically a complex legacy system. The purpose is to allow for analyzing important system properties, like timing/performance and resource utilization. Furthermore, the project aims at defining a method for establishing confidence in that a model actually is a valid model of a system.

Project publications Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects, Johan Kraft (former), Anders Wall (former), Holger Kienle (former), Proceedings of the First International Conference on Runtime Verification (RV 2010), Springer-Verlag (Lecture Notes in Computer Science), Malta, November, 2010