A Linux-Based Implementation of a Middleware Model Supporting Time-Triggered Message-Triggered Objects

  • Authors:
  • Stephen F. Jenks;Kane Kim;Emmanuel Henrich;Yuqing Li;Liangchen Zheng;Moon H. Kim;Hee-Yong Youn;Kyung Hee Lee;Dong-Myung Seol

  • Affiliations:
  • Univ. of California, Irvine;Univ. of California, Irvine;Univ. of California, Irvine;Univ. of California, Irvine;Univ. of California, Irvine;KonKuk University, Korea;SungKyunKwan Univ., Korea;ETRI, Korea;ETRI, Korea

  • Venue:
  • ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper defines a precise conceptual model of a software platform and the relationship that exists between platforms and software applications that use them. One of the key features of this model is that it allows formal verification of deployment ...