| | |
|
Journals
|
| | System-Specific Static Code Analyses: A Case Study in the Complex Embedded Systems Domain, Holger Kienle (former), Johan Kraft (former), Thomas Nolte, Software Quality Journal, Springer, April, 2011 |
|
| | |
|
Theses
|
| | Enabling Timing Analysis of Complex Embedded Software Systems, Johan Kraft (former), Ph D Thesis, Mälardalen University Press, August, 2010 |
|
| | |
|
Articles in collection
|
| | Software Reverse Engineering in the Domain of Complex Embedded Systems, Holger Kienle (former), Johan Kraft (former), Hausi Müller (Universtiy of Victoria, Canada), Reverse Engineering, InTech, ISBN: 979-953-307-268-4, Editor(s): Alexandru Telea, November, 2011 |
|
| | |
|
Conferences and workshops
|
| | Continuous Constant-Memory Monitoring of Embedded Software Timing , Johan Kraft (former), Thomas Nolte, 2nd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'11), satellite workshop of EUROMICRO Conference on Real-Time Systems (ECRTS'11), Porto, Portugal, July, 2011 |
| | Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems, Yue Lu, Thomas Nolte, Iain Bate (University of York, UK), Johan Kraft (former), Christer Norström, 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), IEEE, Västerås, Sweden, June, 2011 |
| | Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems, Johan Kraft (former), Holger Kienle (former), Thomas Nolte, Ivica Crnkovic, Hans Hansson, 15th European Conference on Software Maintenance and Reengineering (CSMR'11), Oldenburg, Germany, March, 2011 |
| | A Statistical Approach to Simulation Model Validation in Response-Time Analysis of Complex Real-Time Embedded Systems, Yue Lu, Johan Kraft (former), Thomas Nolte, Iain Bate (University of York, UK), 26th ACM Symposium on Applied Computing (SAC'11), p 711-716, ACM, TaiChung, Taiwan, March, 2011 |
| | An Approximate Timing Analysis Framework for Complex Real-Time Embedded Systems, Yue Lu, Thomas Nolte, Johan Kraft (former), Christer Norström, The 43th Winter Simulation Conference 2010 (WSC'10), the PhD Colloquium , Baltimore, Maryland, United States, December, 2010 |
| | An Approximate Timing Analysis Framework for Complex Real-Time Embedded Systems, Yue Lu, Thomas Nolte, Johan Kraft (former), The 13th IEEE International Conference on Computational Science and Engineering (CSE'10), p 102-111 , IEEE, Hong Kong SAR, China, December, 2010 |
| | 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 |
| | On Validation of Simulation Models in Timing Analysis of Complex Real-Time Embedded Systems, Yue Lu, Johan Kraft (former), Thomas Nolte, Christer Norström, The 15th IEEE International Conference on Emerging Technologies and Factory Automation (EFTA'10), Work-In-Progress (WIP) session., p 56-59, IEEE, Bilbao, September, 2010 |
| | A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems, Yue Lu, Thomas Nolte, Johan Kraft (former), Christer Norström, The 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'10), p 153-160, IEEE, Macau, SAR, China, August, 2010 |
| | A Statistical Approach to Simulation Model Validation in Timing Analysis of Complex Real-Time Embedded Systems, Yue Lu, Johan Kraft (former), Thomas Nolte, Christer Norström, The 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'10) in conjunction with the 22nd Euromicro Conference on Real-Time Systems (ECRTS'10), p 12-17, Brussels, July, 2010 |
| | A loadable task execution recorder for Linux, Mikael Åsberg, Johan Kraft (former), Thomas Nolte, Shinpei Kato (University of California, Santa Cruz, USA), Proceedings of the 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Brussels, Belgium, July, 2010 |
| | A Statistical Approach for Validation of Task Simulation Models with Intricate Temporal Execution Dependencies, Yue Lu, Johan Kraft (former), Thomas Nolte, Christer Norström, Proceedings of the Work-In-Progress (WIP) track of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'10), p 5-8, Stockholm, Sweden, April, 2010 |
| | Statistical-based Response-Time Analysis of Systems with Execution Dependencies between Tasks, Yue Lu, Thomas Nolte, Johan Kraft (former), Christer Norström, The 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'10), p 169-179, St. Anne's College, University of Oxford, March, 2010 |
| | System-specific Static Code Analyses for Complex Embedded Systems, Holger Kienle (former), Johan Kraft (former), Thomas Nolte, 4th International Workshop on Software Quality and Maintainability (SQM 2010), sattelite event of the 14th European Conference on Software Maintenance and Reengineering (CSMR 2010), Madris, Spain, March, 2010 |
| | Statistical-based Response-Time Analysis of Systems with Execution Dependencies between Tasks, Yue Lu, Thomas Nolte, Johan Kraft (former), Christer Norström, Proceedings of the Work-In-Progress (WIP) track of the 30th IEEE Real-Time Systems Symposium (RTSS'09), p 73-76, Washington, DC, USA, December, 2009 |
| | Simulation-Based Timing Analysis of Complex Real-Time Systems, Markus Bohlin, Yue Lu, Johan Kraft (former), Per Kreuger (external), Thomas Nolte, The 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'09), p 321-328, Beijing, China, August, 2009 |
| | Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring, Yue Lu, Antonio Cicchetti, Stefan Bygde, Johan Kraft (former), Thomas Nolte, Christer Norström, The 2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS'09) in conjunction with the 33rd Annual IEEE Computer Software and Applications Conference (COMPSAC'09), p 510-515, IEEE Computer Society Press, Seattle,Washington, USA, July, 2009 |
| | Approximate Timing Analysis of Complex Legacy Real-Time Systems using Simulation Optimization, Yue Lu, Markus Bohlin, Johan Kraft (former), Per Kreuger (external), Thomas Nolte, Christer Norström, Proceedings of the Work-In-Progress (WIP) track of the 29th IEEE Real-Time Systems Symposium (RTSS'08), p 29-32, Barcelona, Spain, December, 2008 |
| | Towards Migrating Legacy Real-Time Systems to Multi-Core Platforms, Farhang Nemati, Johan Kraft (former), Thomas Nolte, Proceedings of the Work-In-Progress (WIP) session of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'08), p 717-720, IEEE Industrial Electronics Society, Hamburg, Germany, September, 2008 |
| | Validation of Temporal Simulation Models of Complex Real-Time Systems, Farhang Nemati, Johan Kraft (former), Christer Norström, IEEE International Workshop On Component-Based Design Of Resource-Constrained Systems (CORCS'08), Turku, Finland, July, 2008 |
| | A Metaheuristic Approach for Best Effort Timing Analysis targeting Complex Legacy Real-Time Systems, Johan Kraft (former), Yue Lu, Christer Norström, Anders Wall (former), The 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'08), p 258--269, IEEE, St. Louis, MO, USA, April, 2008 |
| | Extracting Simulation Models from Complex Embedded Real-Time Systems, Johan Kraft (former), Joel Huselius, Anders Wall (former), Christer Norström, Real-Time in Sweden 2007, Västerås, August, 2007 |
| | Evaluating the Quality of Models Extracted from Embedded Real-Time Software, Joel Huselius, Johan Kraft (former), Hans Hansson, Sasikumar Punnekkat, Proceedings of the 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, presented at the 5th Workshop and Session on Model-Based Development of Computer Based Systems, p 577-585, IEEE, Tucson, USA, March, 2007 |
|
| | |
|
MRTC reports
|
| | Best-Effort Simulation-Based Timing Analysis using Hill-Climbing with Random Restarts, Markus Bohlin, Yue Lu, Johan Kraft (former), Per Kreuger (external), Thomas Nolte, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-236/2009-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, June, 2009 |
| | A Framework for Real-Time Systems Migration to Multi-Cores, Farhang Nemati, Johan Kraft (former), Thomas Nolte, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-235/2009-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, May, 2009 |
| | Legacy Issues in Industrial Software Development, Johan Kraft (former), Joel Huselius, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-213/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, May, 2007 |
|
| | |
|
Technical reports
|
| | RTSSim - A Simulation Framework for Complex Embedded Systems, Johan Kraft (former), Technical Report, MRTC, March, 2009 |
|
