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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Ouimet, M., Berteau, G., & Lundqvist, K. (2007). Modeling an electronic throttle controller using the timed abstract state machine language and toolset. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4364 LNCS, pp. 32–41). Springer Verlag. https://doi.org/10.1007/978-3-540-69489-2_5
Mendeley helps you to discover research relevant for your work.