Tools for Critical Systems Development with UML (Tool Demo)

  • Jan Jürjens
  • Pasha Shabalin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3297)


The high quality development of critical systems (be it dependable, security-critical, real-time, or performance-critical systems) is difficult. Many critical systems are developed, deployed, and used that do not satisfy their criticality requirements, sometimes with spectacular failures. UML offers an opportunity for high-quality critical systems development that is feasible in an industrial context, if tools can be provided which automatically check important criticality requirements.

We present research on developing tool-support for critical systems development with UML. The developed tools can be used to check the constraints associated with UML stereotypes representing criticality requirements mechanically, based on XMI output of the diagrams from the UML drawing tool in use. We also explain a framework for implementing verification routines for the constraints associated with such stereotypes. The goal is that advanced users of the CSDUML approach should be able to use this framework to implement verification routines for the constraints of self-defined stereotypes.


Graphical User Interface Smart Card Security Requirement Analysis Suite Static Checker 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. JS04.
    Jürjens, J.: UMLsec: Extending UML for secure systems development. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 412–425. Springer, Heidelberg (2002)Google Scholar
  2. JSA+04.
    Jürjens, J., Shabalin, P., Alter, E., Gilg, A., Höhn, S., Kopjev, D., Lehrhuber, M., Meng, S., Schwaiger, M., Kokavecz, G., Schwarzmüller, S., Shen, S.: UMLsec tool, 2004. Accessible through a web interface via [Jür04] (available as open-source)Google Scholar
  3. Jür04.
    Jürjens, J.: UMLsec webpage (2002-04), accessible at:
  4. Jür04.
    Jürjens, J.: Secure Systems Development with UML. Springer, Heidelberg (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Jan Jürjens
    • 1
  • Pasha Shabalin
    • 1
  1. 1.Software & Systems Engineering, Dep. of InformaticsTU MunichGermany

Personalised recommendations