Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001 (2001)
May 2, 2001 to May 4, 2001
Francois Taïani , LAAS-CNRS
Mario Paludetto , LAAS-CNRS
Jérome Delatour , ESEO
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.
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.