<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
         xmlns:dc="http://purl.org/dc/terms/"
         xmlns:foaf="http://xmlns.com/foaf/0.1/"
         xmlns:bibo="http://purl.org/ontology/bibo/"
         xmlns:fabio="http://purl.org/spar/fabio/"
         xmlns:owl="http://www.w3.org/2002/07/owl#"
         xmlns:event="http://purl.org/NET/c4dm/event.owl#"
         xmlns:ore="http://www.openarchives.org/ore/terms/">

    <rdf:Description rdf:about="https://ris.uni-paderborn.de/record/39030">
        <ore:isDescribedBy rdf:resource="https://ris.uni-paderborn.de/record/39030"/>
        <dc:title>A UML Virtual Machine for Embedded Systems</dc:title>
        <bibo:authorList rdf:parseType="Collection">
            <foaf:Person>
                <foaf:name></foaf:name>
                <foaf:surname></foaf:surname>
                <foaf:givenname></foaf:givenname>
            </foaf:Person>
            <foaf:Person>
                <foaf:name></foaf:name>
                <foaf:surname></foaf:surname>
                <foaf:givenname></foaf:givenname>
            </foaf:Person>
        </bibo:authorList>
        <bibo:abstract>StateCharts are well accepted for embedded systems
specification for various applications. However, for the
specification of complex systems they have several
limitations. In this article, we present a novel approach to
efficiently execute an UML 2.0 subset for embedded real-
time systems implementation with focus on hardware
interrupts, software exceptions, and timeouts. We
introduce a UML Virtual Machine, which directly
executes sequence diagrams, which are embedded into
hierarchically structured state transition diagrams.
Whereas state diagrams are directly executed as
Embedded State Machines (ESMs), sequence diagrams
are translated into UVM Bytecode. The final UVM
execution is performed by the interaction of the ESM and
the Bytecode Interpreter. Due to our completely model-
based approach, the UVM runtime kernel is easily
adaptable and scalable to different scheduling and
memory management strategies.</bibo:abstract>
    </rdf:Description>
</rdf:RDF>
