Skip to main content

Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 4364)

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.

Keywords

  • Formal Specification
  • Modeling
  • Simulation
  • Real-Time Systems
  • Embedded Systems

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-540-69489-2_5
  • Chapter length: 10 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-69489-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    CrossRef  Google Scholar 

  2. Berry, G.: The Essence of ESTEREL. Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, Cambridge (2000)

    Google Scholar 

  3. Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)

    Google Scholar 

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

    Google Scholar 

  5. Bouyssounouse, B., Sifakis, J.: Embedded Systems Design: The ARTIST Roadmap for Research and Development. Springer, Heidelberg (2005)

    Google Scholar 

  6. Cerone, A., Maggiolo-Schettini, A.: Time-based Expressivity of Time Petri Nets for System Specification. Theoretical Computer Science 216 (1999)

    Google Scholar 

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

    CrossRef  Google Scholar 

  8. Griffiths, P.G.: Embedded Software Control Design for an Electronic Throttle Body. Master’s Thesis, University of California, Berkeley (2002)

    Google Scholar 

  9. Gurevich, Y., Rossman, B., Schulte, W.: Semantic Essence of AsmL. Theoretical Computer Science 3 (2005)

    Google Scholar 

  10. Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 4 (1996)

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  13. Jantsch, A., Sander, I.: Models of Computation and Languages for Embedded System Design. IEE Proceedings - Computers and Digital Techniques 152 (2005)

    Google Scholar 

  14. Milam, W., Chutinan, A.: Model Composition and Analysis Challenge Problems. Smart Vehicle Challenge Problems (2005)

    Google Scholar 

  15. Object Management Group, Inc.: Unified Modeling Language: Superstrucure. Version 2.0. OMG Specification (2005)

    Google Scholar 

  16. Ouimet, M.: The TASM Language Reference Manual, Version 1.0 (2006), Available from, http://esl.mit.edu/tasm

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

    Google Scholar 

  18. Pettersson, P., Larsen, K.G.: Uppaal2k. Bulletin of the European Association for Theoretical Computer Science 70 (2000)

    Google Scholar 

  19. SAE Aerospace: Architecture Analysis & Design Language Standard. SAE Publication AS506 (2004)

    Google Scholar 

  20. Schmid, J.: Executing ASM Specifications with AsmGofer. Technical Report (1999), Available from, http://www.tydo.de/AsmGofer

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)