Abstract
In this article, a new UML extension for the specification of hybrid systems, where observables may consist of both discrete and time-continuous parameters, is presented. Whereas hybrid modeling constructs are not available in standard UML, several specification formalisms for this type of system have been elaborated and discussed, among them the CHARON language of Alur et al. which possesses already several attractive features for modeling embedded real-time systems with hybrid characteristics. Adopting this as a basis, the profile inherits formal semantics based on CHARON, so it offers the possibility for formal reasoning about hybrid UML specifications. Conversely, the CHARON framework is associated with a new syntactic representation within the UML 2.0 world, allowing to develop hybrid specifications with arbitrary CASE tools supporting UML 2.0 and its profiling mechanism. The “look-and-feel” of the profile is illustrated by means of a case study of an embedded system controlling the cabin illumination in an aircraft. The benefits and weaknesses of the constructed hybrid UML profile are discussed, resulting in feed-back for the improvement of both UML 2.0 and the CHARON formalism.
Similar content being viewed by others
References
Alur, R., Courcoubetis, C., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comp. Sci. 138, 3–34 (1995)
Alur, R., Dang, T., Esposito, J., Fierro, R., Hur, Y., Ivančić, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical hybrid modeling of embedded systems. In: Proceedings of the 1st Workshop on Embedded Software (EMSOFT), LNCS 2211, pp. 14–31 (2001)
Alur, R., Dang, T., Esposito, J., Hur, Y., Ivančić, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical hybrid modeling and analysis of embedded systems. Proceedings of the IEEE 91(1), 11–28 (January 2003)
Alur, R., Grosu, R., Lee, I., Sokolsky, O.: Compositional refinement for hierarchical hybrid systems. In: Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, LNCS 2034, pp. 33–48 (2001)
Berkenkötter, K., Bisanz, S., Hannemann, U., Peleska, J.: Executable HybridUML and its Application to Train Control Systems. In: Integration of Software Specification Techniques for Applications in Engineering, LNCS 3147, pp. 145–173 (September 2004)
Berkenkötter, K.: Using UML 2.0 in real-time development– a critical review. SVERTS Workshop at the 〈〈UML〉〉 2003 Conference (October 2003). http://www-verimag.imag.fr/EVENTS/2003/SVERTS/
Bisanz, S., Ziemann, P., Lindow, A.: Integrated Specification, Validation and Verification with HybridUML and OCL applied to the BART Case Study. In: FORMS/FORMAT 2004. Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 191–203, Braunschweig (December 2004)
Damm, W., Josko, B., Hungar, H., Pnueli, A.: A compositional real-time semantics of STATEMATE designs. LNCS 1536, pp. 186–238 (1998)
Ericsson, IBM, FOKUS, Motorola, Rational, Softeam, and Telelogic. UML Testing Profile (Draft Adopted Specification) (July 2003)
Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS), pp. 278–292. IEEE Computer Society Press (1996)
Hamer, U., Peleska, J.: Z Applied to the A330/340 CIDS Cabin Communication System. In: Hinchey, M., Bowen, J. (eds.), Applications of Formal Methods, pp. 253–284. Prentice Hall International (1995)
Jacobson, I., Rumbaugh, J., Booch, G.: The Unified Modeling Language—Reference Manual. Addison-Wesley (1999)
OMG: UML Profile for Schedulability, Performance, and Time Specification, March 2002. http://www.omg.org/cgi-bin/doc?ptc/2003-03-02
OMG: Unified Modeling Language Specification (Action Semantics) (January 2002)
OMG: UML 2.0 Infrastructure Specification, OMG Adopted Specification. http://www.omg.org/cgi-bin/apps/doc?ptc/03-09-15.pdf (September 2003)
OMG: UML 2.0 Superstructure Specification, OMG Adopted Specification. http://www.omg.org/cgi-bin/apps/doc?ptc/03-08-02.pdf (August 2003)
Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall International (1997)
Selic, B.: Using UML for modeling complex real-time systems. In: Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES'98, Montreal, Canada, June 1998, Proceedings, LNCS 1474, pp. 250–260 (1998)
Winter, V.L., Bhattacharya, S.: High Integrity Software. Kluwer Academic Publishers Press (2001)
Zhou, C., Ravn, A.P., Hansen, M.R.: An extended duration calculus for hybrid real-time systems. In: Hybrid Systems, pp. 36–59. The Computer Society of the IEEE (1993)
Author information
Authors and Affiliations
Corresponding author
Additional information
The work presented in this article has been investigated by the authors in the context of the HYBRIS (Efficient Specification of Hybrid Systems) project supported by the Deutsche Forschungsgemeinschaft DFG as part of the priority programme on Software Specification - Integration of Software Specification Techniques for Applications in Engineering.
Rights and permissions
About this article
Cite this article
Berkenkötter, K., Bisanz, S., Hannemann, U. et al. The HybridUML profile for UML 2.0. Int J Softw Tools Technol Transfer 8, 167–176 (2006). https://doi.org/10.1007/s10009-005-0211-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-005-0211-z