Using I Models in Real-Time Software Design

IEEE Control Systems

Volumn 23, Issue 3, 2003, Pages 31-42

  Motus, Leo ^b  

^a Rational Software Inc   (Canada)

^b TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; REAL TIME SYSTEMS; REQUIREMENTS ENGINEERING; TIMING CIRCUITS;

REAL TIME SOFTWARE DESIGN; TIMING ANALYSIS; UNIFIED MODELING LANGUAGE;

SOFTWARE ENGINEERING;

EID: 0038715589     PISSN: 1066033X     EISSN: None     Source Type: Journal    
DOI: 10.1109/MCS.2003.1200244     Document Type: Article

References (28)

1. W.-L. Wang, “Beware the engineering metaphor,” Commun. ACM, vol. 45, no. 5, pp. 27-29, May 2002.
2. E. W. Dijkstra, “Under the spell of Leibniz's dream,” manuscript EWD-1298, Aug. 2000 [Online]. Available: http://www.cs.utexas.edu/users/EWD/ewd12xx/EWD1298.PDF
3. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual. Reading, MA: Addison Wesley, 1999.
4. Object Management Group, “Model driven architecture (MDA),” OMG document ormsc/2001-07-01, July 2001.
5. Object Management Group, “Unified modeling language specification (version 1.4),” OMG document formal/2001-09-67, Sept. 2001.
6. W.J. Quirk and R. Gilbert, “The formal specification of the requirements of complex real-time systems,” AERE, Harwell, U.K., Tech. Rep. 8602, 1977.
7. R.A. Milner, A Calculus of Communicating Systems. Berlin, Germany: Springer Verlag, 1980.
8. D. Goldin, D. Keil, and P. Wegner, “An interactive viewpoint on the role of UML,” in Unified Modeling Language: Systems Analysis, Design, and Development Issues, K. Siau and T. Halpin, Eds., Hershey, PA: Idea Group Publishing, 2001, pp. 250-264.
9. B. Douglass, Doing Hard Time, Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. Reading, MA: Addison-Wesley, 1999.
10. H. Gomaa, Designing Concurrent, Real-Time and Distributed Applications with UML. Reading, MA: Addison-Wesley, 2000.
11. L. Kabous and W. Neber, “Modeling hard real-time systems with UML: The OOHARTS approach,” in Proc. 2nd Int. Conf. Unified Modeling Language, UML'99(Lecture Notes in Control Systems, vol. 1723). Berlin, Germany: Springer Verlag, 1999, pp. 339-355.
12. P. Kähkipuro, “UML based performance modeling framework for object-oriented distributed systems,” in Proc. 2nd Int. Conf. Unified Modeling Language, UML'99(Lecture Notes in Control Systems, vol. 1723). Berlin, Germany: Springer Verlag, 1999, pp. 356-371.
13. A. Lanusse, S. Gerard, and F. Terrier, “Real-time modeling with UML: The ACCORD approach,” in Proc. 1st Int. Conf. Unified Modeling Language, UML'98 (Lecture Notes in Control Systems, vol. 1618). Berlin, Germany: Springer Verlag, 1998, pp. 319-335.
14. B. Selic, “Turning clockwise: Using UML in the real-time domain,” Commun. ACM, vol. 42, no. 10, pp. 46-54, Oct. 1999.
15. B. Selic, “A generic framework for modeling resources with UML,” IEEE Computer, vol. 33, pp. 64-69, June 2000.
16. Object Management Group, “RFP for scheduling, performance, and time,” OMG document ad/99-03-13, Mar. 1999.
17. Object Management Group, “UML profile for schedulability, performance, and time specification,” OMG document ptc/2002-03-02, Mar. 2002.
18. Object Management Group, “Enhanced view of time (initial submission),” OMG document orbos/99-07-15, Aug. 1999.
19. Object Management Group, “Real-time CORBA 2.0: Dynamic scheduling specification,” OMG document ptc/2001-08-34, Sept. 2001.
20. A. Burns and A. Wellings, Real-Time Systems and Programming Languages, 2nd ed. Reading, MA: Addison-Wesley, 1997.
21. M. Klein, T. Ralya, B. Pollak, R. Obenza, and M. Gonzalez Harbour, A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Boston, MA: Kluwer, 1993.
22. D. Niehaus, J. Stankovic, and K. Ramamritham, “A real-time system description language,” in Proc. 1995 IEEE Real-Time Technology and Applications Symp., May 1995, pp. 104-115.
23. J. W. S. Liu, Real-Time Systems. Upper Saddle River, NJ: Prentice-Hall, 2000.
24. J. Drake, M. Gonzalez Harbour, J. Guiterrez, and J. Palencia, “Modeling and analysis suite for real-time applications (MAST),” Grupo de Computadores y Tiempo Real, Universidad de Cantabria, Int. Rep., 2000.
25. L. Motus and M.G. Rodd, Timing Analysis of Real-Time Software. Oxford UK: Pergamon/Elsevier, 1994.
26. P. Lorents, L. Motus, and J. Tekko, “A language and a calculus for distributed computer control systems description and analysis,” in Proc. Software for Computer Control, Oxford UK: Pergamon/Elsevier, 1986, pp. 159-166.
27. L. Motus and T. Naks “Formal timing analysis of OMT designs using LIMITS,” Comput. Syst. Sci. Eng., vol. 13, no. 3, pp. 161-170, 1998.
28. L. Motus and M. Meriste “Time modeling for requirements and specification analysis,” in Proc. 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming, Poland, May 2003.