Software and simulation modeling for real-time software-intensive system

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

Volumn , Issue , 2004, Pages 196-203

  Huang, Dongping ^a   Sarjoughian, Hessam ^a  

^a AZ 85281   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE-EVENT SYSTEM SPECIFICATION (DEVS); SOFTWARE DESIGN; SYNTAX; UNIFIED MODELING LANGUAGE (UML);

COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

REAL TIME SYSTEMS;

EID: 18644372394     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. Manna, Z. and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.
2. UML, http://www.uml.org/, 2004.
3. Wymore, A.W., Model-based Systems Engineering: An Introduction to the Mathematical Theory of Discrete Systems and to the Tricotyledon Theory of System Design, CRC, 1993.
4. Zeigler, B.P., H. Praehofer, and T.G. Kim, Theory of Modeling and Simulation, 2nd ed, Academic Press, 2000.
5. Mesarovic, M.D. and Y. Takahara, Abstract Systems Theory, Springer Verlag, 1989.
6. DEVSJAVA, http://www.acims.arizona.edu, 2003.
7. Cho, Y.K., X. Hu, and B.P. Zeigler, "The RTDEVS/CORBA Environment for Simulation-based design of Distributed Real-time systems", Simulation: Transactions of the Society for Modeling and Simulation International, 79(4), 2003, p. 197-210.
8. Hong, J.S., et al., "A Real-time Discrete Event System Specification Formalism for Seamless Real-time Software Development", Discrete Event Dynamic Systems: Theory and Applications, 7, 1996, p. 355-375.
9. Kim, T.G., S.M. Cho, and W.B. Lee, "DEVS Framework for Systems Development: Unified Specification for Logical Analysis, Performance Evaluation and Implementation", Discrete Event Modeling and Simulation Technologies, H.S. Sarjoughian and F.E. Cellier, Editors, Springer, New York, 2001, p. 131-166.
10. Kofman, E., Discrete Event Based Simulation and Control of Hybrid Systems, Faculty of Exact Sciences, Ph.D. Thesis, National University of Rosario, 2003, Argentina.
11. Sarjoughian, H.S. and B.P. Zeigler, "DEVS and HLA: Complementary Paradigms for Modeling and Simulation?" Transactions of the Society for Modeling and Simulation International, 17(4), 2000, p. 187-197.
12. UML-RT, http://www-306.ibm.com/software/awdtools/developer/technical/, 2004.
13. Selic, B. and G. Gullekson, Real-time Object-oriented Modeling, John Willey & Sons, 1994.
14. OMG, UML Profile for Schedulability, Performance, and Time Specification, 2003.
15. Shroff, M. and R.B. France, "Towards a Formalization of UML Class Structures in Z", Proceedings of the Twenty-First Annual International Computer Software and Applications Conference, 1997, Washington DC, USA.
16. Moller-Pedersen, B., "SDL Combined with UML", Telektronikk, 4, 2000, p. 36-53.
17. OMG, Model Driven Architecture, http://www.omg.org/mda/, 2004.
18. Varro, D. and A. Pataricza, "VPM: A Visual, Precise and Multilevel Metamodeling framework for describing mathematical Domains and UML", Software and System Modeling, 2(3), 2003, p. 187-210.
19. Hu, X. and B.P. Zeigler, "Model Continuity to Support Software Development for Distributed Robotic Systems: a Team Formation Example", Journal of Intelligent & Robotic Systems, Theory & Application, 2004, p. 71-88.
20. Raynal, M. and S. Singhai, "Logical Time: Capturing Causality in Distributed Systems", IEEE Computer, 29(2), 1996, p. 49-57.
21. Fujimoto, R.M., Parallel and Distributed Simulation Systems, Parallel and Distributed Computing, John Wiley & Sons, 2000.
22. Praehofer, H., "Towards a System Methodology for Object-Oriented Software Analysis", in Discrete Event Modeling and Simulation Technologies: A Tapestry of Systems and AI-Based Theories and Methodologies, H.S. Sarjoughian and F.E. Cellier, Editors, Springer, New York, p. 367-388, 2001.
23. I-Logix, http://www.ilogix.com, 2004.
24. Hoffmann, H.-P., "From Function/Data-Oriented Systems Engineering to Object-Oriented Software Engineering: The Statemate-to-UML Bridge", http://www.ilogix.com/whitepaper_PDFs/Stm2Rh_whitepaper.pdf, 2004.
25. Ptolemy II, http://ptolemy.eecs.berkeley.edu/, 2004.
26. Selic, B. and J. Rumbaugh, "Using UML for Modeling Complex Real-time Systems", Rational Software, 1998.
27. Gullekson, G., "Designing for Concurrency and Distribution with Rational Rose RealTime", Rational Software White Paper, http://www.rational.com, 2000.