Real-Time Systems

, Volume 36, Issue 1–2, pp 135–158 | Cite as

Specification and analysis of timing requirements for real-time systems in the CBD approach

  • Ho Kyoung Lee
  • Woo Jin Lee
  • Heung Seok Chae
  • Yong Rae Kwon


In real-time software, not only computation errors but also timing errors can cause system failures, which eventually result in significant physical damages or threats to human life. To efficiently guarantee the timely execution of expected functions, it is necessary to clearly specify and formally verify timing requirements before performing detailed system design. With the expected benefit of reusability and extensibility, component technology has been gradually applied to developing industrial applications including real-time systems. However, most of component-based approaches applied to real-time systems lack in a systematic and rigorous approach to specifying and verifying timing requirements at an earlier development stage.

This paper proposes a component-based approach to specifying and verifying timing requirements for real-time systems in a systematic and compositional manner. We first describe behaviors of the constituent components including timing requirements in UML diagrams, and then translate the UML diagrams into MTER nets, an extension of TER nets, to perform timing analysis in a compositional way. The merit of the proposed approach is that the specification and analysis results can be reused and independently maintained.


Component CBD Real-time system Timing constraints Petri nets Compositional analysis Timing analysis 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Andrade SS, Macêdo R (2005) A component-based real-time architecture for distributed supervision and control applications. In: Proceedings of the 10th IEEE conference on emerging technologies and factory automation, pp 15–22 Google Scholar
  2. Bernardi S, Donatelli S, Merseguer J (2002) From UML sequence diagrams and statecharts to analyzable Petri net models. In: Proceedings of WOSP 2002 Google Scholar
  3. Eclipse (2006) Eclipse modeling project.
  4. Ghezzi C, Mandrioli D, Morasca S, Pezze M (1991) A unified high-level Petri net formalism for time-critical systems. IEEE Trans Softw Eng 17(2):160–172 CrossRefGoogle Scholar
  5. Graf S, Ober, Ober I (2003) Timed annotations with UML. In: Proceedings of specification and validation of UML models for real time and embedded systems, FortMason Center, San Francisco Google Scholar
  6. Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231–274 zbMATHCrossRefMathSciNetGoogle Scholar
  7. Jacobson I, Christerson M, Jonson P, Overgarrd G (1992) Object-oriented software engineering: a use case driven approach. Addison–Wesley, Reading zbMATHGoogle Scholar
  8. Jeng MD, Lu W (2002) Extension of UML and its conversion to Petri nets for semiconductor manufacturing modeling. In: Proceedings of the IEEE international conference on robotics & automation Google Scholar
  9. Knapp A, Merz S, Rauh C (2002) Model checking timed UML state machines and collaborations. In: 7th international symposium formal techniques in real-time and fault tolerant systems (LNCS #2469), Oldenburg, Germany, pp 395–414 Google Scholar
  10. Konrad S, Campbell LA, Cheng BHC (2004) Automated analysis of timing information in UML diagram. In: Proceedings of the 19th international conference on automated software engineering Google Scholar
  11. Kopetz H (2000) Software engineering for real-time: a roadmap. In: Finkelstein A (ed) Proceedings of the future of software engineering. ACM, New York Google Scholar
  12. Lin CP, Lin YP, Jeng MD (2004) Design of intelligent manufacturing systems by using UML and Petri net. In: Proceedings of the international conference on networking, sensing & control Google Scholar
  13. McUmber WE, Cheng BHC (2001) A general framework for formalizing UML with formal language. In: Proceedings of the 23rd international conference on software engineering Google Scholar
  14. Merlin PM, Farber DJ (1976) Recoverability of communication protocols implications of a theoretical study. IEEE Trans Commun pp 1036–1043 Google Scholar
  15. Milner R (1989) Communication and concurrency, Prentice Hall, New York zbMATHGoogle Scholar
  16. Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4) Google Scholar
  17. Ommering RV, Linden FVD, Kramer J, Magee J (2000) The koala component model for consumer electronics software. IEEE Comput 33(3):78–85 Google Scholar
  18. Peng D, Shin KG (1987) Modeling of concurrent task execution in a distributed system for real-time control. IEEE Trans Comput C 36(4):500–516 Google Scholar
  19. Ramchandani C (1974) Analysis of asynchronous concurrent systems by Petri nets. MA:MIT TR-120 (Project MAC), MIT Google Scholar
  20. Sandström K, Fredriksson J, Åkerholm M (2004) Introducing a component technology for safety critical embedded real-time systems. In: Proceedings of the international conference on component-based software engineering, pp 194–208 Google Scholar
  21. Schmidt DC, Kuhns F (2000) An overview of the real-time CORBA specification. Computer 33(6):56–65 CrossRefGoogle Scholar
  22. Schmidt DC, et al. (2006) Real-time cORBA with TAO.
  23. Selic B, Motus L (2003) Using models in real-time software design. IEEE Control Syst 23(3):31–42 CrossRefGoogle Scholar
  24. Trowitzsch J, Zimmermann A, Hommel G (2005) Towards quantitative analysis of real-time UML using stochastic Petri nets. In: Proceedings of the 19th IEEE international parallel and distributed processing symposium, pp 139–145 Google Scholar
  25. Tsai JJP, Yang SJ, Chang YH (1995) Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications. IEEE Trans Softw Eng 21(1) Google Scholar
  26. Wang N et al. (2003) Total quality of service provisioning in middleware and applications. The Journal of microprocessors and microsystems 27(2):45–54 CrossRefGoogle Scholar
  27. Wirth N (1977) Toward a discipline of real-time programming. Commun ACM 20(8) Google Scholar
  28. Yeh WJ (1993) Controlling state explosion in reachability. PhD thesis, Purdue University Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  • Ho Kyoung Lee
    • 1
  • Woo Jin Lee
    • 2
  • Heung Seok Chae
    • 3
  • Yong Rae Kwon
    • 4
  1. 1.Network Infra Lab, KTSeoulSouth Korea
  2. 2.School of Electrical Engineering and Computer ScienceKyungpook National UniversityDaeguSouth Korea
  3. 3.Department of Computer Science and EngineeringPusan National UniversityPusanSouth Korea
  4. 4.Department of Electrical Engineering and Computer ScienceKAISTDaejonSouth Korea

Personalised recommendations