PG-Leg-Extract Model Extraction for Legacy Systems
Status:
finished
Start date:
2006-10-01
End date:
2010-12-31
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.
| First Name | Last Name | Title |
|---|---|---|
| Christer | Norström | Adjunct Professor |
| Farhang | Nemati | Doctoral student |
| Joel | Huselius | Doctoral student |
| Anders | Wall | |
| Johan | Kraft | |
| Martin | Törngren | |
| Stefan | Benediktsson | |
| Tomas | Akenine-Möller |
Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects (Nov 2010) Johan Kraft, Anders Wall, Holger Kienle Proceedings of the First International Conference on Runtime Verification (RV 2010)
Christer Norström, Adjunct Professor
Email: christer.norstrom@mdu.seRoom: U3-133
Phone: +46-21-101464
Apr 2014