Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L

Authors:
Francois Taïani
Affiliations:
-
Venue:
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Year:
2001

Citing 0
Cited 3

Real-time scheduling of batch systems using Petri nets and linear logic

Journal of Systems and Software
Parameterised Extra-Functional Prediction of Component-Based Control Systems --- Industrial Experience

SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

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.