Abstract
In this paper, we present an integrated toolset that implements the features of the Timed Abstract State Machine (TASM) language, a novel specification language for embedded real-time systems. The toolset enables the creation of executable specifications with well-defined execution semantics, abstraction mechanisms, and composition semantics. The features of the toolset are demonstrated using an Electronic Throttle Controller (ETC) from a major automotive vendor. The TASM toolset is used to analyze the resource consumption resulting from the mode switching logic of the ETC, and to verify the completeness and consistency of the specification.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anlauff, M.: XASM - An Extensible, Component-Based Abstract State Machines Language. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol. 1912, Springer, Heidelberg (2000)
Berry, G.: The Essence of ESTEREL. Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, Cambridge (2000)
Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)
Boussemart, Y., Gorelov, S., Ouimet, M., Lundqvist, K.: Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller. In: Proceedings of the International Conference on Systems (ICONS 2006), IEEE Computer Society Press, Los Alamitos (2006)
Bouyssounouse, B., Sifakis, J.: Embedded Systems Design: The ARTIST Roadmap for Research and Development. Springer, Heidelberg (2005)
Cerone, A., Maggiolo-Schettini, A.: Time-based Expressivity of Time Petri Nets for System Specification. Theoretical Computer Science 216 (1999)
Del Castillo, G.: Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. In: Hutter, D., Traverso, P. (eds.) Applied Formal Methods - FM-Trends 98. LNCS, vol. 1641, Springer, Heidelberg (1999)
Griffiths, P.G.: Embedded Software Control Design for an Electronic Throttle Body. Master’s Thesis, University of California, Berkeley (2002)
Gurevich, Y., Rossman, B., Schulte, W.: Semantic Essence of AsmL. Theoretical Computer Science 3 (2005)
Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 4 (1996)
Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated Consistency Checking of Requirements Specifications. ACM Trans. on Soft. Eng. and Methodology (TOSEM)Â 5 (1996)
Hessel, A., Pettersson, P.: A Test Case Generation Algorithm for Real-Time Systems. In: Proceedings of the Fourth International Conference on Quality Software (QSIC’04) (2004)
Jantsch, A., Sander, I.: Models of Computation and Languages for Embedded System Design. IEE Proceedings - Computers and Digital Techniques 152 (2005)
Milam, W., Chutinan, A.: Model Composition and Analysis Challenge Problems. Smart Vehicle Challenge Problems (2005)
Object Management Group, Inc.: Unified Modeling Language: Superstrucure. Version 2.0. OMG Specification (2005)
Ouimet, M.: The TASM Language Reference Manual, Version 1.0 (2006), Available from, http://esl.mit.edu/tasm
Ouimet, M., Lundqvist, K.: Timed Abstract State Machines: An Executable Specification Language for Reactive Real-Time Systems. Technical Report ESL-TIK-000193, Embedded Systems Laboratory, Massachusetts Institute of Technology (2006)
Pettersson, P., Larsen, K.G.: Uppaal2k. Bulletin of the European Association for Theoretical Computer Science 70 (2000)
SAE Aerospace: Architecture Analysis & Design Language Standard. SAE Publication AS506 (2004)
Schmid, J.: Executing ASM Specifications with AsmGofer. Technical Report (1999), Available from, http://www.tydo.de/AsmGofer
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Ouimet, M., Berteau, G., Lundqvist, K. (2007). Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. In: Kühne, T. (eds) Models in Software Engineering. MODELS 2006. Lecture Notes in Computer Science, vol 4364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69489-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-69489-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69488-5
Online ISBN: 978-3-540-69489-2
eBook Packages: Computer ScienceComputer Science (R0)