Integrating WCET Analysis into a Matlab/Simulink Simulation Model 1 2 3

Abstract Traditional worst-case execution time (WCET) analysis interfaces to the user either through high-level language source code or assembly/machine code. This paper demonstrates how WCET analysis can be integrated into high-level application design and simulation tools like Matlab/Simulink, thus providing a higher-level interface to WCET analysis. The paper shows necessary restrictions and adaptions to Matlab/Simulink that make code generated from the tool chain amenable to WCET analysis. It presents the interface between the Matlab/Simulink block set and WCET analysis and explains the steps performed during WCET analysis.

[1]  Hermann Kopetz,et al.  Clock Synchronization in Distributed Real-Time Systems , 1987, IEEE Transactions on Computers.

[2]  Sharad Malik,et al.  Efficient microarchitecture modeling and path analysis for real-time software , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[3]  F E O'Neill,et al.  USE OF THE C LANGUAGE IN VEHICLE BASED SOFTWARE , 1998 .

[4]  Alan Burns,et al.  Portable worst-case execution time analysis using Java Byte Code , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[5]  David L. Mills,et al.  On the chronometry and metrology of computer network timescales and their application to the network time protocol , 1991, CCRV.

[6]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[7]  Raimund Kirner,et al.  Integration of Static Runtime Analysis and Program Compilation , 2000 .

[8]  Alexander Vrchoticky.  Compilation Support for Fine-Grained Execution Time Analysis , 1994 .

[9]  E. Erpenbach,et al.  Worst-case execution times and schedulability analysis of statecharts models , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[10]  Krithi Ramamritham,et al.  Using Windows NT for Real-Time Applications: Experimental Observations and Recommendations , 1998, IEEE Real Time Technology and Applications Symposium.

[11]  Jean-Yves Roger,et al.  Advances in Information Technologies: The Business Challenge , 1999 .

[12]  Alexander D. Stoyen,et al.  Real-Time Euclid: A language for reliable real-time systems , 1989, IEEE Transactions on Software Engineering.

[13]  Yiannis Papadopoulos,et al.  Systems Engineering of Time-Triggered Architectures - The Setta Approach , 2000 .