Bridging the HLA: Problems and solutions

Proceedings - IEEE International Symposium on Distributed Simulation and Real-Time Applications, DS-RT

Volumn 2002-January, Issue , 2002, Pages 33-42

  Dingel, J ^a   Garlan, D ^b   Damon, C ^c  

^a QUEEN S UNIVERSITY   (Canada)

^b Carnegie Mellon University   (United States)

^c University of Vermont   (United States)

Author keywords

Bridges; Computational modeling; Computer architecture; Computer science; Computer simulation; Discrete event simulation; Distributed computing; Distributed control; System recovery; Timing

Indexed keywords

BRIDGES; CLOSED LOOP CONTROL SYSTEMS; COMPUTER ARCHITECTURE; COMPUTER CONTROL SYSTEMS; COMPUTER SCIENCE; COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; DISCRETE EVENT SIMULATION; DISTRIBUTED PARAMETER CONTROL SYSTEMS;

COMPUTATIONAL MODEL; DISTRIBUTED CONTROL; HIGH LEVEL ARCHITECTURE; INTERFACE SPECIFICATION; PROBLEMS AND SOLUTIONS; RUN-TIME INFRASTRUCTURE; SYSTEM RECOVERY; TIMING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84948736564     PISSN: 15506525     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DISRTA.2002.1166886     Document Type: Conference Paper

References (21)

1. R. Allen, D. Garlan, and J. Ivers. Formal modeling and analysis of the HLA component integration standard. In Sixth International Symposium on the Foundation of Software Engineering (FSE 6), pages 209-221, Lake Buena Vista, Florida, November 1998. ACM Press.
2. W. Braudaway and R. Little. The High Level Architecture's bridge federate. In Simulation Interoperability Workshop, September 1997.
3. A. Carzaniga, D. S. Rosenblum, and A. L. Wolf. Design and evaluation of a wide-area event notification service. ACM Transactions on Computer Systems, 19(3):332-383, Aug. 2001.
4. S. I. S. Committee. IEEE P1516.1/D4 Draft Standard for Modeling and Simulation, High Level Architecture - Federate Interface Specification. IEEE Computer Society, 1999.
5. G. Coulouris, J. Dollimore, and T. Kindberg. Distributed Systems: Concepts and Designs (Third Edition). Addison Wesley, Pearson Education, 2001.
6. C. Damon, R. Melton, R. Allen, E. Bigelow, J. Ivers, and D. Garlan. Formalizing a specification for analysis: The HLA ownership properties. Technical Report CMU-CS-98-149, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 1998.
7. J. Dingel, D. Garlan, and C. Damon. A feasibility study of the HLA bridge. Technical Report CMU-CS-01-103, Department of Computer Science, Carnegie Mellon University, March 2001.
8. J. Dingel, D. Garlan, S. Jha, and D. Notkin. Reasoning about implicit invocation. In Sixth International Symposium on the Foundation of Software Engineering (FSE 6), pages 209-221, Lake Buena Vista, Florida, November 1998. ACM Press.
9. J. Dingel, D. Garlan, S. Jha, and D. Notkin. Towards a formal treatment of implicit invocation using rely/guarantee reasoning. Formal Aspects of Computing, 10:193-213, 1998.
10. IEEE. Proceedings of Winter Simulation Conferences (WSC'95 - WSC'01). IEEE Press, 1995-2001.
11. IEEE. Proceedings of IEEE International Workshop on Distributed Simulation and Real Time Applications (DS-RT'97 - DS-RT'01). IEEE Press, 1997-2001.
12. IEEE. Proceedings of Simulation Interoperability Workshop (SIW'97 - SIW'02). IEEE Press, 1997-2002.
13. F. Kuhl, R. Weatherly, J. Dahmann, and A. Jones. Creating Computer Simulation Systems: An Introduction to the High Level Architecture. Prentice Hall, October 1999.
14. T. Lake. Time management over inter-federation bridges. In Simulation Interoperability Workshop, September 1998.
15. J. Magee and J. Kramer. Concurrency: state models & Java programs. Wiley & Sons, 1999.
16. S. Mullender. Distributed Systems (Second Edition). Addison Wesley, 1993.
17. M. Myjak, R. Carter, D. Wood, and M. Petty. A taxonomy of multiple federation executions. In 20th Interservice/Industry Training Systems and Education Conference, pages 179-189, November 1998.
18. S. Reiss. Connecting tools using message passing in the FIELD program development environment. IEEE Software, July 1990.
19. B. Segall and D. Arnold. Elvin has left the building: A publish/subscribe notification service with quenching. In Proceedings AUUG97, September 1997.
20. R. Taylor, N. Medvidovic, K. Anderson, E. W. Jr., J. Robbins, K. Nies, P. Oreizy, and D. Dubrow. A component- and message-based architectural style for GUI software. IEEE Transactions on Software Engineering, June 1996.
21. C. Wang, A. Carzaniga, D. Evans, and A. Wolf. Security issues and requirements for internet-scale publish-subscribe systems. In Hawaii International Conference on System Sciences, January 2002.