The EXTRACT project aims to improve the maintainability of complex industrial software systems, by developing a method for automated model extraction. The extracted model describes the behavior of the software system with focus on timing and resource usage, properties important for the performance as well as reliability. These properties are very hard to analyze without adequate models of the software. Models of this type are not available in industry today as they are hard to construct and maintain manually and no tools exists for this purpose. By automating the extraction of such models, we enable model-based impact analysis with respect to the system performance and reliability. By using the impact analysis during the design phase of new features, potential problems can be avoided early. This makes maintenance more efficient and predictable.
|Adjunct Senior Lecturer
An Approximate Timing Analysis Framework for Complex Real-Time Embedded Systems (Dec 2010) Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström The 43th Winter Simulation Conference 2010 (WSC10), the PhD Colloquium
An Approximate Timing Analysis Framework for Complex Real-Time Embedded Systems (Dec 2010) Yue Lu, Thomas Nolte, Johan Kraft The 13th IEEE International Conference on Computational Science and Engineering (CSE10)
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)
Extracting Simulation Models from Complex Embedded Real-Time Systems (Oct 2006) Johan Kraft, Joel Huselius, Christer Norström, Anders Wall Proceedings of the 2006 International Conference on Software Engineering Advances, ICSEA06