Modeling an electronic throttle controller using the timed abstract state machine language and toolset

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4364 LNCS, Issue , 2007, Pages 32-41

  Ouimet, Martin ^a   Berteau, Guillaume ^a   Lundqvist, Kristina ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Embedded systems; Formal specification; Modeling; Real time systems; Simulation

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; EMBEDDED SYSTEMS; FEATURE EXTRACTION; REAL TIME SYSTEMS; SEMANTIC WEB;

FORMAL SPECIFICATION; TIMED ABSTRACT STATE MACHINE (TASM);

COMPUTER PROGRAMMING LANGUAGES;

EID: 34548147916     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69489-2_5     Document Type: Conference Paper

References (20)

1. Anlauff M.: XASM - An Extensible, Component-Based Abstract State Machines Language. ASM 2000, International Workshop on Abstract State Machines (2000)
2. Berry G.: The Essence of ESTEREL. Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press (2000)
3. Börger E., Stärk R.: Abstract State Machines. Springer-Verlag (2003)
4. Boussemart Y., Gorelov S., Ouimet M., Lundqvist, K.: Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller. Proceedings of the International Conference on Systems (ICONS 2006). IEEE Computer Society Press (2006)
5. Bouyssounouse B., Sifakis J.: Embedded Systems Design: The ARTIST Roadmap for Research and Development. Springer-Verlag (2005)
6. Cerone A., Maggiolo-Schettini A.: Time-based Expressivity of Time Petri Nets for System Specification. Theoretical Computer Science 216. Springer-Verlag (1999)
7. Del Castillo, G.: Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. Applied Formal Methocs - FM-Trends 98. LNCS 1641 Springer-Verlag (1999)
8. Griffiths P.G.: Embedded Software Control Design for an Electronic Throttle Body. Master's Thesis, University of California, Berkeley (2002)
9. Gurevich Y., Rossman B., Schulte W.: Semantic Essence of AsmL. Theoretical Computer Science 3 (2005)
10. Harel D., Naamad A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 4 (1996)
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)
12. Hessel A., Pettersson P.: A Test Case Generation Algorithm for Real-Time Systems. Proceedings of the Fourth International Conference on Quality Software (QSIC'04) (2004)
13. Jantsch A., Sander I.: Models of Computation and Languages for Embedded System Design. IEE Proceedings - Computers and Digital Techniques. 152 (2005)
14. Milam W., Chutinan A.: Model Composition and Analysis Challenge Problems. Smart Vehicle Challenge Problems (2005)
15. Object Management Group, Inc.: Unified Modeling Language: Superstrucure. Version 2.0. OMG Specification (2005)
16. Ouimet M.: The TASM Language Reference Manual, Version 1.0. Available from http://esl.mit.edu/tasm (2006)
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)
18. Pettersson P., Larsen K.G.: Uppaal2k. Bulletin of the European Association for Theoretical Computer Science 70 (2000)
19. SAE Aerospace: Architecture Analysis & Design Language Standard. SAE Publication AS506 (2004)
20. Schmid J.: Executing ASM Specifications with AsmGofer. Technical Report. Available from http://www.tydo.de/AsmGofer (1999)