Topics include: Applications of UML to real-time systems security-critical systems dependable / safety-critical systems performance-critical systems embedded systems hybrid systems reactive systems Extensions of UML (UML-RT, UMLsec, Automotive UML, Embedded UML, ...) Using UML as a formal design technique for the development of critical systems Critical systems development methods Modeling, synthesis, code generation, testing, validation, and verification of critical systems using UML Case studies and experience reports     «

Topics include: Applications of UML to real-time systems security-critical systems dependable / safety-critical systems performance-critical systems embedded systems hybrid systems reactive systems Extensions of UML (UML-RT, UMLsec, Automotive UML, Embedded UML, ...) Using UML as a formal design technique for the development of critical systems Critical systems development methods Modeling, synthesis, code generation, testing, validation, and verification of critical systems using UML Case studi...     »