The Community for Technology Leaders
Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001 (2001)
Magdeburg, Germany
May 2, 2001 to May 4, 2001
ISBN: 0-7695-1089-2
pp: 0298
Francois Taïani , LAAS-CNRS
Mario Paludetto , LAAS-CNRS
ABSTRACT
Abstract: Object and component technology play an ever-increasing role in the development of real-time distributed applications. Those systems are characterized by the fact that the temporal compatibility of the different objects that are brought together is a condition for success. In this paper, we propose an approach to validate the interoperability of object interfaces with respect to their temporal properties. This approach is based on a recent execution time calculation technique dedicated to concurrent environments. In this article we propose a simpler computation framework for this technique, and we show how it can quite advantageously be adapted to distributed real time OO systems.
INDEX TERMS
CITATION

J. Delatour, F. Taïani and M. Paludetto, "Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L," Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001(ISORC), Magdeburg, Germany, 2001, pp. 0298.
doi:10.1109/ISORC.2001.922853
92 ms
(Ver 3.3 (11022016))