2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2001)
May 2, 2001 to May 4, 2001
Jérome Delatour , ESEO
Francois Taïani , LAAS-CNRS
Mario Paludetto , LAAS-CNRS
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érome Delatour, Francois Taïani, Mario Paludetto, "Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L", 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), vol. 00, no. , pp. 0298, 2001, doi:10.1109/ISORC.2001.922853