Title :
Model-based specification and execution of embedded real-time systems
Author :
Schattkowsky, Tim ; Mueller, Wolfgang
Author_Institution :
Paderborn Univ., Germany
Abstract :
This paper proposes a methodology for an executable UML 2.0 subset based on State Transition Diagrams (STDs) and Sequence Diagrams (SD) that covers interrupts, exceptions, and timeouts. In this a UML Virtual Machine (UVM) as the run-time environment for complete executable specifications based on that executable UML subset. Such specifications are compiled to binary programs consisting of data structures (STDs) and bytecode (SDs).
Keywords :
data structures; diagrams; embedded systems; encoding; formal specification; interrupts; specification languages; virtual machines; UML 2.0 subset; UML virtual machine; binary programs; bytecode; data structures; embedded real time systems; interrupts; model based execution; model based specification; sequence diagrams; state transition diagrams; unified modeling language; Control systems; Embedded system; Java; Mathematical model; Operating systems; Real time systems; Runtime environment; Unified modeling language; Virtual machining; Virtual manufacturing;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings
Print_ISBN :
0-7695-2085-5
DOI :
10.1109/DATE.2004.1269103
