Adding temporal modeling to the UML to support systems design

Systems Engineering

Volumn 5, Issue 3, 2002, Pages 213-222

  Neill, Colin J ^a   Holt, Jon D ^b  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

^b Brass Bullet Ltd   (United Kingdom)

Author keywords

Object oriented; Real time systems; UML, Q model, temporal modeling

Indexed keywords

HETEROGENEOUS SYSTEMS; TEMPORAL MODELING; TIME-CRITICAL SYSTEMS; UML;

OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SYSTEMS ENGINEERING;

SYSTEMS ANALYSIS;

EID: 0038403239     PISSN: 10981241     EISSN: 15206858     Source Type: Journal    
DOI: 10.1002/sys.10024     Document Type: Article

References (23)

1. G. Booch, Object-oriented design with applications, Benjamin Cummings, Redwood City, CA, 1991.
2. A. Bondavalli, I. Majzik, and I. Mura, Automatic dependability analysis for supporting design decisions in UML, Proc 4th IEEE Int Symp High-Assurance Syst Eng, 1999a, pp. 64-71.
3. A. Bondavalli, I. Majzik, and I. Mura, Automated dependability analysis of UML designs, Proc 2nd IEEE Int Symp Object-Oriented Real-Time Distributed Computing (ISORC '99), IEEE Computer Society Press, New York, 1999b, pp. 139-144.
4. B.P. Douglass, Real time UML - developing efficient objects for embedded systems, Addison Wesley, Reading, MA, 1998.
5. H. Gomaa, Designing concurrent, distributed, and real-time applications with UML, Addison-Wesley, Reading, MA, 2000.
6. G. Graw, P. Herrmann, and H. Krumm, Verification of UML-based real-time system designs by means of cTLA, Proc 3rd IEEE Int Symp Object-Oriented Real-Time Distributed Computing (ISORC 2000), IEEE Computer Society Press, New York, 2000, pp. 86-95.
7. M.C. Hause, Rebuilding the Tower of Babel - the case for UML with real-time extensions, Proc INCOSE Spring Symp, Northampton, UK, May 14-16, 2001, pp. 53-60.
8. J.D. Holt, Systems engineering using the UML - watching the wheels, IEE Publishing, London, U.K., 2001.
9. I. Jacobson, M. Christerson, P. Jonsson, and G. Overgaard, Object-oriented software engineering: A use case driven approach, Addison-Wesley, Wokingham, 1992.
10. C. Larman, Applying UML and patterns: An introduction to object-oriented analysis and design, Prentice Hall, Englewood Cliffs, NJ, 1998.
11. L. Motus and M.G. Rodd, Timing analysis of real-time software, Pergamon, Oxford, 1994.
12. L. Motus, C.J. Neill, and M.G. Rodd, The impact of software timing correctness on systems safety, safety and reliability in emerging control technologies, 2nd IFAC Workshop, Pergamon, Oxford, 1996, pp. 107-14.
13. T. Naks and L. Motus, Handling timing in a time-critical reasoning system - a case study, Annu Rev Control 25 (2001), 157-168.
14. C.J. Neill, A method for the design of complex real-time systems, Ph.D. thesis, University of Wales, 1997.
15. B. Oestereich, Developing software with UML: Object-oriented analysis and design in practice, Addison-Wesley, Reading, MA, 1999.
16. I. Ögren, Possible tailoring of the UML for systems engineering purposes, Syst Eng 3(4) (2000), 212-224.
17. W.J. Quirk and R. Gilbert, The formal specification of the requirements of complex real-time systems, No. 8602, Atomic Energy Research Establishment, Harwell, UK, 1977.
18. M.G. Rodd and H.B. Verbruggen, Expert systems in advanced control - myths, legends and realities, Proc 17th Annu Adv Control Conf, Purdue University, West Lafayette, IN, 1991, pp. 1-14.
19. B. Selic, G. Gullekson, and P.T. Ward, Real-time object-oriented modelling, Wiley, New York, 1994.
20. B. Selic and J. Rumbaugh, Using UML for modeling complex real-time systems, ObjecTime Ltd./Rational Software Corp. white paper, Cupertino, CA and Lexington, MA, March 1998.
21. A.C. Shaw, Reasoning about time in higher-level language software, IEEE Trans Software Eng 15(7) (1989), 875-889.
22. J. Vain, Comparison of the Q-model and Petri nets using modeling power, Proc Estonian Acad Sci Ser Math Phys Technol 36(3) (1987), 324-333.
23. A.K. Zaidi and A.H. Levis, TEMPER: A temporal programmer for time-sensitive control of discrete event systems, IEEE Trans Syst Man Cybernet 31 (6) (November 2001), 485-496.