Simulation of LET models in simulink and ptolemy

Authors:
Patricia Derler;Andreas Naderlinger;Wolfgang Pree;Stefan Resmerita;Josef Templ
Affiliations:
C. Doppler Laboratory Embedded Software Systems, University of Salzburg;C. Doppler Laboratory Embedded Software Systems, University of Salzburg;C. Doppler Laboratory Embedded Software Systems, University of Salzburg;C. Doppler Laboratory Embedded Software Systems, University of Salzburg;C. Doppler Laboratory Embedded Software Systems, University of Salzburg
Venue:
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Year:
2008

Citing 3
Cited 0

The embedded machine: predictable, portable real-time code

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development

Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Simulating real-time software components based on logical execution time

SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes two different approaches of simulating embedded control software whose real-time requirements are explicitly specified by means of the Logical Execution Time (LET) abstraction introduced in the Giotto project. As simulation environments we chose the black-box MATLAB/Simulink product and the open-source project Ptolemy II. The paper first sketches the modeling of LET-based components with the Timing Definition Language (TDL). As the LET abstraction allows the platform-independent modeling of the timing behavior of embedded software, a correct simulation of TDL components is equivalent to the behavior on a specific platform. We integrated TDL with both MATLAB/Simulink and Ptolemy and highlight the differences and similarities of the particular TDL simulation.