Design Automation for Embedded Systems

, Volume 6, Issue 3, pp 277–294 | Cite as

The Rationale for Distributed Semantics as a Topology Independent Embedded Systems Design Methodology and its Implementation in the Virtuoso RTOS

  • Eric Verhulst


Virtuoso VSP is a fully distributed real-time operating system originally developed on the Inmos transputer. Its generic architecture is based on a small but very fast nanokernel and a portable preemptive microkernel. It was further on ported in single and virtual single processor implementations to a wide range of processors. This paper describes the rationale for developing the distributed semantics of Virtuoso’s microkernel and describes some of the implementation issues. The analysis is based on the parallel DSP implementations as these push the performance limits most for hard real-time applications. Extensions of the model towards heterogeneous embedded target systems are discussed.

Semantics distributed real-time multi-level support nanokernel microkernel 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    The Transputer Databook. Inmos Ltd., 1989.Google Scholar
  2. 2.
    Transputer Instruction Set. Inmos Ltd. Prentice Hall, 1988. p. 82.Google Scholar
  3. 3.
    Oceam 2 Reference Manual. Inmos Ltd. Prentice Hall, 1988.Google Scholar
  4. 4.
    Verhulst, E. Preemptive Process Scheduling and Meeting Hard Real-Time Constraints with TRANS-RTXC on the Transputer. In Applications of Transputer 2. IOS Press, 1990. Paper presented at Transputer Applications '90 Conference, Southampton, July 1990.Google Scholar
  5. 5.
    Lehoczky, J. P., L. Sha, J. K. Strosnider, and H. Tokuda. Fixed Priority Scheduling Theory for Hard Real-Time Systems. In Foundations of Real-Time Computing. Scheduling and Resource Management. Kluwer Academic Press, 1991.Google Scholar
  6. 6.
    Verhulst, E. RTXC/MP, a Distributed Real-Time Kernel Defined for a Virtual Single Processor. In International Conference on Signal Processing Applications and Technology, Boston, MA, Nov. 1992.Google Scholar
  7. 7.
    Verhulst, E. Virtuoso: Providing Sub-Microsecond Context Switching on DSPs with a Dedicated Nanokernel. In International Conference on Signal Processing Applications and Technology, Santa Clara, CA, Sept. 1993.Google Scholar

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Eric Verhulst
    • 1
  1. 1.Eonic Systems NVAarschotBelgium

Personalised recommendations