Towards reusable real-time objects

Annals of Software Engineering

Volumn 7, Issue 1-4, 1999, Pages 257-282

  Nielsen, Brian ^a   Agha, Gul ^b  

^a AALBORG UNIVERSITY   (Denmark)

^b University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033436632     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018986121470     Document Type: Article

References (33)

1. Agha, G. (1986), Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, Los Alamitos, CA.
2. Agha, G. (1990), "Concurrent Object-Oriented Programming," Communications of the ACM 33, 9, 125-141.
3. Agha, G. (1996), "Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition," In 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan.
4. Agha, G., I.A. Mason, S.F. Smith, and C.L. Talcott (1997), "A Foundation for Actor Computation," Journal of Functional Programming 7, 1-72.
5. Akşit, M., J. Bosch, W. van der Sterren, and L. Bergmans (1994), "Real-Time Specification Inheritance Anomalies and Real-Time Filters," In Proceedings ECOOP, pp. 386-407.
6. Alur, R., C. Courcoubetis, and D. Dill (1990), "Model-Checking for Real-Time Systems," In Proceedings of the 5th IEEE Symposium on Logic in Computer Science, pp. 414-425.
7. Bergmans, L. and M. Akşit (1995) "Composing Synchronization and Real-Time Constraints," In Proceedings of the Object Oriented Real-Time Systems (OORTS) Workshop, San Antonio, TX. In conjunction with 7th IEEE Symposium on Parallel and Distributed Computing Systems.
8. Bernstein, P.A. (1996), "Middleware - A Model for Distributed System Services," Communications of the ACM 39, 2, 86-98.
9. Cooper, G., L.C. DiPippo, L. Esibov, R. Ginis, R. Johnston, P. Kortman, P. Krupp, J. Mauer, M. Squadrito, B. Thuraisingham, S. Wohlever, and V.F. Wolfe (1997), "Real-Time CORBA Development at MITRE, NRaD, Tri-Pacific and URI," In Proceedings of IEEE Workshop on Middleware for Distributed Real-Time Systems and Services, IEEE, San Francisco, CA, pp. 69-74.
10. Feng, W., U. Syyid, and J.W.-S. Liu (1997) "Providing for an Open, Real-Time CORBA," In Proceedings of IEEE Workshop on Middleware for Distributed Real-Time Systems and Services, IEEE, San Francisco, CA, pp. 75-80.
11. Frølund, S. (1996), Coordinating Distributed Objects: An Actor-Based Approach to Synchronization, MIT Press.
12. Frølund, S. and G. Agha (1993), "A Language Framework for Multi-Object Coordination," In Proceedings of the European Conference on Object Oriented Programming (ECOOP) '93, O. Nierstrasz, Ed., Lecture Notes in Computer Science, Vol. 707, Springer-Verlag, Kaiserslautern, Germany, pp. 346-360.
13. Gerber, R. and I. Lee (1989) "Communicating Shared Resources: A Model for Distributed Real-Time Systems," In Proc. Real-Time Systems Symposium, IEEE, Santa Monica, CA, pp. 68-78.
14. Gerber, R. and I. Lee (1992) "A Layered Approach to Automating the Verification of Real-Time Systems," IEEE Transactions on Software Engineering 18, 9, 768-784.
15. Group, O.M. (1996), "Realtime CORBA - A White Paper - Issue 1.0," Technical Report ORBOS/96-09-01, Object Management Group.
16. Kalogeraki V., P. Melliar-Smith, and L. Moser (1997), "Soft Real-Time Resource Management in CORBA Distributed Systems," In Proceedings of IEEE Workshop on Middleware for Distributed Real-Time Systems and Services, IEEE, San Francisco, CA, pp. 46-51.
17. Kiely, D. (1998), "Are Components the Future of Software," IEEE Computer 32, 2, 10-11.
18. Kirk, B., L. Nigro, and F. Pupo (1997), "Using Real Time Constraints for Modularisation," In Joint Modular Language Conference, Linz.
19. Nicollin, X., J. Sifakis, and S. Yovine (1992), "Compiling Real-Time Specifications into Extended Automata," IEEE Transactions on Software Engineering 18, 9, 805-816.
20. Ren, S. (1997), "An Actor-Based Framework for Real-Time Coordination," Ph.D. thesis, Department Computer Science, University of Illinois at Urbana-Champaign.
21. Ren, S. and G. Agha (1995), "RT-Synchronizer: Language Support for Real-Time Specifications in Distributed Systems," ACM Sigplan Notices 30, 11. Also in Proceedings of the ACM Sigplan 1995 Workshop on Languages, Compilers, and Tools for Real-Time Systems.
22. Ren, S. and G. Agha (1995), "RT-Synchronizer: Language Support for Real-Time Specifications in Distributed Systems," ACM Sigplan Notices 30, 11. Also in Proceedings of the ACM Sigplan 1995 Workshop on Languages, Compilers, and Tools for Real-Time Systems.
23. Ren, S. and G. Agha (1998), "A Modular Approach for Programming Embedded System," In Lectures on Embedded Systems, Lecture Notes in Computer Science, Vol. 1494, F. Vaandrager and G. Rozenberg, Eds., Springer-Verlag, pp. 170-207.
24. Ren, S., G. Agha, and M. Saito (1996), "A Modular Approach for Programming Distributed Real-Time Systems," Journal of Parallel and Distributed Computing 36, 1, 4-42.
25. Saksena, M., P. Freedman, and P. Rodziewicz (1997), "Guidelines for Automated Implementation of Executable Object Oriented Models for Real-Time Embedded Control Software," In 18th IEEE Real-Time Systems Symposium, IEEE, pp. 240-251.
26. Satoh, I. and M. Tokoro (1994), "Semantics for a Real-Time Object-Oriented Programming Language," In Int. Conf. on Computer Languages, IEEE, Toulouse, France, pp. 159-170.
27. Schmidt, D.C., R. Bector, and D.L. Levine (1997), "An ORB Endsystem Architecture for Statically Scheduled Real-Time Applications," In Proceedings of IEEE Workshop on Middleware for Distributed Real-Time Systems and Services, IEEE, San Francisco, CA, pp. 52-60.
28. Schmidt, D.C. and M.E. Fayad (1997a), "Lessons Learned Building Reusable OO Frameworks for Distributed Software" Communications of the ACM 40, 10, 85-87.
29. Schmidt, D.C. and M.E. Fayad (1997b), "Object-Oriented Application Frameworks," Communications of the ACM 40, 10, 32-38.
30. Schneider, S. "An Operational Semantics for Timed CSP," Information and Computation 116, 193-213.
31. Selic, B., G. Gullekson, and P.T. Ward (1994), Real-Time Object-Oriented Modeling, Wiley Professional Computing, Wiley, New York.
32. Sha, L., R. Rajkumar, and S.S. Sathaye (1994), "Generalized Rate-Monotonic Scheduling Theory: A Framework for Developing Real-Time Systems," Proceedings of the IEEE 82, 1 68-82.
33. Zhou, P. and J. Hooman (1992), "A Proof Theory for Asynchronously Communicating Real-Time Systems," In Proc. Real-Time Systems Symposium, IEEE, Phoenix, AZ, pp. 177-186.