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.
|
