OOPM/RT: A Multimodeling Methodology for Real-Time Simulation

ACM Transactions on Modeling and Computer Simulation

Volumn 9, Issue 2, 1999, Pages 141-170

  Lee, Kangsun ^a   Fishwick, Paul A ^b  

^a Myong Ji University   (South Korea)

^b UNIVERSITY OF FLORIDA   (United States)

Author keywords

Model abstraction; Model selection; Modeling methodology; Real time simulation; Real time systems

Indexed keywords

MULTIMODELS; REAL-TIME SIMULATION;

ABSTRACTING; COMPUTATIONAL METHODS; COMPUTER SIMULATION; CONSTRAINT THEORY; INTEGER PROGRAMMING; KNOWLEDGE ENGINEERING; MATHEMATICAL MODELS; OPTIMAL SYSTEMS;

REAL TIME SYSTEMS;

EID: 0000645873     PISSN: 10493301     EISSN: None     Source Type: Journal    
DOI: 10.1145/333296.333339     Document Type: Article

References (39)

1. ARNOLD, R., MUELLER, F., WHALLEY, D., AND HARMON, M. 1994, Bounding worst-case instruction cache performance. In Proceedings of the 15th IEEE Symposium on Real-Time Systems (Dec.), IEEE Computer Society Press, Los Alamitos, CA, 172-181.
2. BARR, A. AND FEIGENBAUM, E. A. 1981. The Handbook of Artificial Intelligence. Morgan Kaufmann, San Mateo, CA.
3. BURNS, A. AND WELLINGS, A. J. 1994. HRT-HOOD: A structured design method for hard real-time systems. Real-Time Syst. 6, 1 (Jan. 1994), 73-114.
4. CAUGHLIN, D. AND SISTI, A. 1997. A summary of model abstraction techniques. In Proceedings of AeroSense 97: Enabling Technology for Simulation Science I, SPIE Press, Bellingham, WA, 2-13.
5. CPLEX, 1995. Using the CPLEX Callable Library. CPLEX Optimiation, Inc.,
6. CUBERT, R. M. AND FISHWICK, P. A. 1998. OOPM: An object-oriented multimodeling and simulation application framework. Simulation 70, 6, 379-395.
7. D'AMBROSIO, B. 1989. Resource bounded-agents in an uncertain world. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Morgan Kaufmann Publishers Inc., San Francisco, CA.
8. DAVIS, P. K. AND BIGELOW, J. 1998. Introduction to multiresolution modeling (MRM) with an example involving precision fires. In Proceedings of AeroSense 98: Enabling Technology for Simulation Science II, SPIE Press, Bellingham, WA, 14-27.
9. DAVIS, P. K. AND HILLESTAD, R. 1993. Aggregation, disaggregation, and the challenge of crossing levels of resolution when designing and connecting models. In Proceedings of AI, Simulation and Planning on High Autonomous Systems University of Arizona, Tucson, AZ, 180-188.
10. DIGITAL CONSULTING, 1989. CASE for Real-Time Systems Symposium.. Digital Consulting, Andover, MA.
11. FISHWICK, P. 1995. Simulation Model Design and Execution: Building Digital ' Worlds. Prentice Hall Press, Upper Saddle River, NJ.
12. FISHWICK, P. A. 1997. A visual object-oriented multimodeling design approach for physical modeling. University of Florida Tech. Rep. 9. CISE Department, University of Florida, Gainesville, FL.
13. FORREST, S., GOSTELOW, K. P., ROTH, F. H., AND SMITH, D. M. 1990. Concepts, methods, and languages for building timely intelligent systems. Real-Time Syst. 2, 1/2 (May 1990), 127-148.
14. FOURER, R., GAY, D. M., AND KERNIGHAN, B. 1993. AMPL: A Modeling Language for Mathematical Programming. The Scientific Press.
15. GAREY, M. AND JOHNSON, D. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York, NY.
16. GARVEY, A. J. AND LESSER, V. R. 1993. Design-to-time real-time scheduling. IEEE Trans. Syst. Man Cybern. 23, 6, 1491-1502.
17. GARVEY, A. J. AND LESSER, V. R. 1993. A survey of research in deliberative real-time artificial intelligence. UMass Computer Science Tech. Rep. 93-84. Computer and Information Science Department, University of Massachusetts, Amherst, MA.
18. GARVEY, A. J. AND LESSER, V. R. 1995. Design-to-time scheduling with uncertainty. Computer and Information Science Department, University of Massachusetts, Amherst, MA. UMass Computer Science Tech. Rep. 95-03
19. GETTYS, E. AND KELLER, F. 1989. Physics. McGraw-Hill, Inc., New York, NY.
20. HARMON, M. G., BAKER, T. P., AND WHALLEY, D. B. 1994. A retargetable technique for predicting execution time of code segments. Real-Time Syst. 7, 2 (Sept. 1994), 159-182.
21. KIM, G. 1998. A model validation methodology for isolating inconsistent knowledge between fuzzy rule-based and quantitative models using fuzzy simulation. Ph.D. Dissertation. CISE Department, University of Florida, Gainesville, FL.
22. KOPETZ, H., ZAINLINGER, R., FOHLER, G., KANTZ, H., PUSCHNER, P., AND SCHÜTZ, W. 1991. The design of real-time systems: From specification to implementation and verification. Softw. Eng. J. 6, 3 (May 1991), 72-82.
23. KORF, R. E. 1990. Depth-limited search for real-time problem solving. Real-Time Syst. 2, 1/2 (May 1990), 7-24.
24. LEE, K. AND FISHWICK, P. A. 1996. Dynamic model abstraction. In Proceedings of the Winter Simulation Conference (WSC '96, Coronado, CA, Dec. 8-11, 1996), J. M. Charnes, D. J. Morrice, D. T. Brunner, and J. J. Swain, Eds. ACM Press, New York, NY, 764-771.
25. LEE, K. AND FISHWICK, P. A. 1996. A methodology for dynamic model abstraction. Trans. Soc. Comput. Simul. 13, 4, 217-229.
26. LEE, K. AND FISHWICK, P. A. 1997. A semi-automated method for dynamic model abstraction. In Proceedings of AeroSense 97: Enabling Technology for Simulation Science I, SPIE Press, Bellingham, WA, 31-41.
27. LEE, K. AND FISHWICK, P. A. 1998. Generation of multimodels and selection of the optimal abstraction level for real-time simulation. In Proceedings of AeroSense 98: Enabling Technology for Simulation Science II, SPIE Press, Bellingham, WA, 164-175.
28. LIM, S., BAE, Y. H., JANG, G. T., RHEE, B., MIN, S. L., PARK, C. Y., SHIN, H., PARK, K., AND KIM, C. S. 1994. An accurate worst case timing analysis technique for RISC processors, In Proceedings of the 15th IEEE Symposium on Real-Time Systems (Dec.), IEEE Computer Society Press, Los Alamitos, CA, 97-108.
29. Liu, J. W. S., LIN, K.-J., SHIH, W.-K., Yu, A. C.-s., CHUNG, J.-Y., AND ZHAO, W. 1991. Algorithms for scheduling imprecise computations. IEEE Computer 24, 5 (May 1991), 58-68.
30. MASTERS, T. 1995. Neural, Novel and Hybrid Algorithms for Time Series Prediction. John Wiley and Sons, Inc., New York, NY.
31. PHILLIPS, D. T. AND SOLBEHG, J. J. 1987. Operations Research: Principles and Practice. 2nd ed. John Wiley and Sons, Inc., New York, NY.
32. RAGSDALE, C. T. 1998. Spreadsheet Modeling and Decision Analysis: A Practical Introduction to Management Science. South-Western Publishing Co., Cincinnati, OH.
33. RAMAMRITHAM, K. AND STANKOVIC, J. A. 1984. Dynamic task scheduling in distributed hard real-time systems, IEEE Software 1, 3, 65-75.
34. RUTLEDGE, G. W. 1995. Dynamic selection of models. Ph.D. Dissertation. Stanford University, Stanford, CA.
35. STANKOVIC, J. A., RAMAMRITHAM, K., AND CHENG, S. 1985. Evaluation of a flexible task scheduling algorithm for distributed hard real-time systems. IEEE Trans. Comput. 34, 12 (Dec.), 1130-1143.
36. WEDDE, H. F., KOREL, B., AND HUIZINGA, D. M. 1994. Formal timing analysis for distributed real-time programs. Real-Time Syst. 7, 1 (July 1994), 57-90.
37. WEISS, S. M. AND KAPOULEAS, I. 1989. An experimental comparison of pattern recognition, neural nets, and machine learning classification methods. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Morgan Kaufmann Publishers Inc., San Francisco, CA, 781-787.
38. ZEIGLER, B. P. 1976. Theory of Modelling and Simulation. John Wiley and Sons, Inc., New York, NY.
39. ZEIGLER, B. P. 1990. Object-Oriented Simulation with Hierarchical, Modular Models:: Intelligent Agents and Endomorphic Systems. Academic Press Prof., Inc., San Diego, CA.