A Linux-based implementation of a middleware model supporting time-triggered message-triggered objects

Author

Jenks, Stephen F. ; Kim, Kane ; Henrich, Emmanuel ; Li, Yuqing ; Zheng, Liangchen ; Kim, Min H. ; Lee, Kyung Hee ; Seol, Dong-Myung ; Youn, Hee-Yong

Author_Institution

California Univ., Irvine, CA, USA

fYear

2005

fDate

18-20 May 2005

Firstpage

350

Lastpage

358

Abstract

Programming and composing deterministic distributed real-time systems is becoming increasingly important, yet remains difficult and error-prone. An innovative approach to such systems is the general-form timeliness-guaranteed design paradigm, which is the basis for the time-triggered message-triggered object (TMO) programming and system specification scheme. This approach was originally developed for Windows programming environments and operating systems. This paper describes the techniques needed to make TMO support the Linux operating system and reports the resulting performance characteristics.

Keywords

Linux; formal specification; middleware; object-oriented programming; programming environments; real-time systems; Linux operating system; TMO programming; Windows programming environments; distributed real-time systems; middleware model; system specification; time-triggered message-triggered objects; Distributed computing; Kernel; Linux; Middleware; Object oriented modeling; Operating systems; Programming environments; Prototypes; Real time systems; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Object-Oriented Real-Time Distributed Computing, 2005. ISORC 2005. Eighth IEEE International Symposium on

Print_ISBN

0-7695-2356-0

Type

conf

DOI

10.1109/ISORC.2005.2

Filename

1420991