UML offers an unprecedented opportunity for
high-quality critical systems development that is feasible in
an industrial context.
- As the de-facto standard in industrial modeling, a
large number of developers is trained in UML.
- Compared to previous industrial notations with a
user community of comparable size, UML is relatively
- A number of tools are being developed to assist the
every-day work using UML.
This tutorial aims to give background knowledge on using UML
for the formal development of critical systems and to
contribute to overcoming these challenges.
example application domain, we focus on security-critical
systems. We also show how to generalize the approach to the
other application domains mentioned. The tutorial includes a
demo of a prototypical tool for the formal analysis of UML
models for critical requirements, which is based on XMI.