DocumentCode
403666
Title
Model-based specification and execution of embedded real-time systems
Author
Schattkowsky, Tim ; Mueller, Wolfgang
Author_Institution
Paderborn Univ., Germany
Volume
2
fYear
2004
fDate
16-20 Feb. 2004
Firstpage
1392
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings
ISSN
1530-1591
Print_ISBN
0-7695-2085-5
Type
conf
DOI
10.1109/DATE.2004.1269103
Filename
1269103
Link To Document