loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
40th Annual Hawaii International Conference on System Sciences (HICSS'07)
Big Island, Hawaii
January 03-January 06
ISBN: 0-7695-2755-8
Tim Schattkowsky, C-LAB, Germany
Gregor Engels, University of Paderborn, Germany
Alexander Forster, University of Paderborn, Germany
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be consistently enforced by the actual implementation. Automated synthesis of the implementation from such specifications appears to be a straightforward way to ensure this consistency. However, especially for software systems this is quite difficult, since software lacks the inherent timing and concurrency of a hardware system. Still, the same timing and concurrency requirements have to be fulfilled. Thus, we introduce a UML-based design approach that supports the synthesis of embedded hardware or software systems from essentially the same abstract specification. Our approach provides explicit support for specifying fine grained concurrency and microsecond accurate timing. In our approach, these properties must be ensured by the automatically derived implementation. Since this is especially hard to achieve for software systems, this paper focuses on execution on software platforms. For this, we introduce our UML Virtual Machine (UVM). It enables the direct execution of binary encoded system specifications and enforces the desired timing and concurrency. As a result, our approach enables the creation of binary encoded portable concurrent time-accurate software components.
Citation:
Tim Schattkowsky, Gregor Engels, Alexander Forster, "A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency," hicss, pp.286b, 40th Annual Hawaii International Conference on System Sciences (HICSS'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.