The Community for Technology Leaders
2014 47th Hawaii International Conference on System Sciences (2007)
Big Island, Hawaii
Jan. 3, 2007 to Jan. 6, 2007
ISSN: 1530-1605
ISBN: 0-7695-2755-8
pp: 286b
Tim Schattkowsky , C-LAB, Germany
Alexander Forster , University of Paderborn, Germany
Gregor Engels , 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.
Tim Schattkowsky, Alexander Forster, Gregor Engels, "A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency", 2014 47th Hawaii International Conference on System Sciences, vol. 00, no. , pp. 286b, 2007, doi:10.1109/HICSS.2007.22
88 ms
(Ver 3.3 (11022016))