Tools for Critical Systems Development with UML (Tool Demo)
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.
KeywordsGraphical User Interface Smart Card Security Requirement Analysis Suite Static Checker
Unable to display preview. Download preview PDF.
- 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
- 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
- Jür04.Jürjens, J.: UMLsec webpage (2002-04), accessible at: http://www.umlsec.org
- Jür04.Jürjens, J.: Secure Systems Development with UML. Springer, Heidelberg (2004)Google Scholar