Abstract
Most of the existing modeling tools and frameworks for embedded applications use levels of abstraction where execution and communication times of computational tasks are not captured. Thus, properties such as time and value determinism can be lost when refining the model closer to a target platform. The Logical Execution Time (LET) paradigm has been proposed to deal with this issue, by enabling specification of platform-independent execution times of periodic time-triggered computational tasks at higher levels of abstraction.
This chapter deals with modeling and simulation of embedded applications where LET requirements are specified by using the Timing Definition Language (TDL). TDL provides a programming model for time- and event-triggered components suitable for large distributed systems. We present specific TDL extensions that increase the expressiveness of the language, accommodating the needs of control applications such as minimum sensor-actuator delays. We describe simulation of TDL programs in dataflow models (using Simulink) and discrete event (DE) models (using Ptolemy II). We show how the Ptolemy II based simulation can be used to validate preservation of timing and value behaviors when mapping a DE model of an application with concurrent components into a sequential implementation platform with fixed priority preemptive scheduling.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Stankovic, J.A.: Misconceptions about real-time computing: a serious problem for next-generation systems. Computer 21(10) (1988)
Henzinger, T.A., Kirsch, C.M., Sanvido, M., Pree, W.: From control models to real-time code using giotto. IEEE Control Systems Magazine 23(1) (February 2003)
Ghosal, A., Henzinger, T.A., Iercan, D., Kirsch, C.M., Sangiovanni-Vincentelli, A.: A hierarchical coordination language for interacting real-time tasks. In: Proceedings of the 6th ACM International Conference on Embedded software, Seoul, Korea. ACM, New York (October 2006)
Templ, J.: TDL - Timing Definition Language 1.5 Specification. Technical report, preeTEC GmbH (2008), http://www.preetec.com
Object Management Group: Model driven architecture. Technical report (2008), http://www.gigascale.org/pubs/141.html , http://www.gigascale.org/pubs/141.html
Sangiovanni-Vincentelli A.: Defining platform-based design. EEDesign of EETimes (February 2002)
Henzinger, T.A., Kirsch, C.M.: The embedded machine: predictable, portable real-time code. In: PLDI 2002: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pp. 315–326. ACM, New York (2002)
preeTEC: The TDL tool chain. Technical report, GmbH (2008), http://www.preetec.com
The MathWorks (2008), http://www.mathworks.com
Stieglbauer, G., Pree, W.: Visual and Interactive Development of Hard Real Time Code. In: Automotive Software Workshop San Diego, ASWSD (January 2004)
Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE 91, 84–99 (2003)
Naderlinger, A., Templ, J., Pree, W.: Simulating Real-Time Software Components based on Logical Execution Time. In: SCSC 2009: Proceedings of the 2009 Summer Computer Simulation Conference (2009)
Brooks C., Lee E.A., Liu X., Neuendorffer S., Zhao Y., Zheng H. (eds.): Heterogeneous concurrent modeling and design in java (volume 1: Introduction to ptolemy ii). EECS Department, University of California, Berkeley UCB/EECS-2007-7 (January 2007)
Ghosal, A., Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.: Event-driven programming with logical execution times. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 357–371. Springer, Heidelberg (2004)
Buckl, C., Regensburger, M., Knoll, A., Schrott, G.: Models for automatic generation of safety-critical real-time systems. In: Proceedings of the Second International Conference on Availability, Reliability and Security (ARES), pp. 580–587 (2007)
Iercan, D., Circiu, E.: Modeling In Simulink Temporal Behavior of a Real-Time Control Application Specified in HTL. Journal of Control Engineering and Applied Informatics (CEAI) 10(4), 55–62 (2008)
Brooks C., Lee E.A., Liu X., Neuendorffer S., Zhao Y., Zheng H. (eds.): Heterogeneous concurrent modeling and design in java (volume 3: Ptolemy ii domains). EECS Department, University of California, Berkeley UCB/EECS-2007-9 (January 2007)
TTTech Computertechnik AG: TTP tools (2009), http://www.tttech.com/products/ttp/design-development-software
Vector Informatik GmbH: DaVinci Network Designer 2.0 (2009), http://www.vector.com/vi_davinci_networkdesigner_en.html
dSPACE GmbH: Real-time interface (RTI and RTI-MP) implementation guide (2009), http://www.dspace.de
Farcas C., Holzmann M., Pletzer H.: The TDL advantage. Technical report, Stieglbauer G. (2004), http://cs.uni-salzburg.at/pubs/reports/T002.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Resmerita, S., Derler, P., Pree, W., Naderlinger, A. (2010). 5 Modeling and Simulation of TDL Applications. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds) Model-Based Engineering of Embedded Real-Time Systems. MBEERTS 2007. Lecture Notes in Computer Science, vol 6100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16277-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-16277-0_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16276-3
Online ISBN: 978-3-642-16277-0
eBook Packages: Computer ScienceComputer Science (R0)