The TASM toolset: Specification, simulation, and formal verification of real-time systems

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

Volumn 4590 LNCS, Issue , 2007, Pages 126-130

  Ouimet, Martin ^a   Lundqvist, Kristina ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; EMBEDDED SYSTEMS; FORMAL LOGIC; REAL TIME SYSTEMS; VERIFICATION;

EXECUTION TIME; FORMAL VERIFICATION; TIMED ABSTRACT STATE MACHINE TOOLSET;

SPECIFICATION LANGUAGES;

EID: 38149019146     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73368-3_15     Document Type: Conference Paper

References (8)

1. Borger, E.: The Origins and the Development of the ASM Method for High Level System Design and Analysis. Journal of Computer Science, vol. 8(5) (2001)
2. Heimdahl, M.P.E., Leveson, N.G.: Completeness and Consistency in Hierarchical State-Based Requirements. Software Engineering 22(6), 363-377 (1996)
3. Behrmann, G., David, A., Larsen, K.G.: A Tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol. 3185, Springer, Heidelberg (2004)
4. Leberre, D.: SAT4J: A Satisfiability Library for Java. presentation available from http://sat4j.objectweb.com
5. Ouimet, M., Lundqvist, K.: Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. In: Proceedings of the 3rd International Workshop on Model-Based Testing (MBT '07), Satellite Workshop of ETAPS '07 (April 2007)
6. Ouimet, M., Lundqvist, K.: The Hi-Five Framework and the Timed Abstract State Machine Language. In: Proceedings of the 27th IEEE Real-Time Systems Symposium - Work in Progress Session, December 2006, IEEE Computer Society Press, Los Alamitos (2006)
7. Ouimet, M., Lundqvist, K.: The Timed Abstract State Machine Language: An Executable Specification Language for Reactive Real-Time Systems. In: Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS '07) (March (2007)
8. Ouimet, M., Berteau, G., Lundqvist, K.: Modeling an Electronic Throttle Controller using the Timed Abstract State Machine Language and Toolset. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, Springer, Heidelberg (2007)