Our research group has performed case-studies towards Swedish industrial companies, such as Arcticus Systems, CC-Systems AB, Enea, Volvo CE, Volcano Communication Technologies, to test and evaluate static WCET analysis in real industrial settings. The case-studies are made as MSc thesis works, allowing MSc students to get in contact with companies, but also letting companies get in touch with state-of-the-practice WCET tools such as aiT from AbsInt GmbH and Bound-T from Tidorum Ltd. The results are used to guide both continued research and WCET tool development.

The case studies has resulted in a number of publications. The following is a list of selected research articles and MSc theses describing our works and evaluations. To see more of our publications, please visit our publication page.

Research articles describing case studies

Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code. pdf format and abstract. Presented at the 20th Euromicro Conference of Real-Time Systems, (ECRTS'08), Prague, Czech Republic. Authors: Dani Barkah, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg.

Experiences from Applying WCET Analysis in Industrial Settings. pdf format and abstract. Presented at the 10th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC2007), Santorini Island, Greece, May 2007. Authors: Jan Gustafsson and Andreas Ermedahl.

Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems. pdf format and abstract. Presented at the 2nd International Symposium on Leveraging Applications of Formal Methods, (ISOLA'2006), Cyprus, October 2006. Authors: Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, and Björn Lisper.

Experiences from Industrial WCET Analysis Case Studies. pdf format and abstract. Published at the Fifth International Workshop on Worst-Case Execution Time (WCET) Analysis, Palma de Mallorca, July 2005. Authors: Andreas Ermedahl, Jan Gustafsson, and Björn Lisper.

Applying Static WCET Analysis to Automotive Communication Software. pdf format and abstract. Published at the 17th Euromicro Conference on Real-Time Systems (ECRTS'05). Authors: Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson and Björn Lisper.

Static Timing Analysis of Real-Time Operating System Code. pdf format and abstract. Presented at the 1st International Symposium on Leveraging Applications of Formal Methods, (ISOLA'2004), Cyprus, October 2004. Authors: Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, and Björn Lisper.

Worst-Case Execution Time Analysis of Disable Interrupt Regions in a Commercial Real-Time Operating System. pdf format and abstract. Presented at the 2nd Workshop on Real-Time Tools (RTTOOLS 2002), Copenhagen, Denmark, August 2002. Authors: Martin Carlsson, Jakob Engblom, Andreas Ermedahl, Jan Lindblad, Björn Lisper.

MSc theses describing case studies

Evaluating program flow analysis for WCET calculations at Volvo CE. pdf format. Dani Barkah, Department of Electronic, Computer, and Software Systems (ECS) School of Information and Communication Technology (ICT) Royal Institute of Technology, Sweden, (48 pages), July 2007.

Static WCET Analysis of Task-Oriented Code for Construction Vehicles. pdf format and abstract. Daniel Sehlberg, Dept. of Computer Science and Electronics, Mälardalen University, (45 pages), October 2005.

Evaluation of Methods for Dynamic Time Analysis for CC-Systems AB. pdf format and abstract. Yina Zhang, Dept. of Computer Science and Electronics, Mälardalen University, (72 pages), August 2005.

Evaluation of Static Time Analysis for CC Systems. pdf format and abstract. Ola Eriksson, Dept. of Computer Science and Electronics, Mälardalen University, (63 pages), August 2005.

Evaluation of Static Time Analysis for Volcano Communications Technologies AB. pdf format and abstract. Susanna Byhlin, Dept. of Computer Engineering, Mälardalen University, (74 pages), December 2004.

Evaluating Static Worst-Case Execution-Time Analysis for a Commercial Real-Time Operating System. pdf format and abstract. Daniel Sandell, Dept. of Computer Engineering, Mälardalen University, (56 pages), July 2004.

WCET Analysis, Case Study on Interrupt Latency, for the OSE Real-Time Operating System. pdf format. Martin Carlsson, KTH, (35 pages), December 2001.