Research Group Software Engineering
for Critical Systems
Prof. Dr. Jan Jürjens
Our main research topic, is model-based development of critical software. In particular we are focussing on
technologies such as e.g. cloud
computing, in which "best practices" for secure software development do not yet exist. These are in particular:
- Methods and Tools for Modelling and Verification of Security
Properties
(see Ten Year Most Influential Paper at UML 2002):
- Modelling Languages (UMLsec) and
Verification (CARiSMA)
of Security Properties in UML
- Extension of Domain-Specific Languages (e.g. BPMN) for Modelling
Security Properties (CARiSMA)
- Secure Software Engineering subject to Evolution (SecureChange,
EU-FET)
- Environment-Driven Knowledge Evolution (SecVolution,
DFG-SPP 1593 "Design for Future")
- Security for Business Processes (APEX,
Fraunhofer-Attract)
- Security in Cloud-Computing Environments (SecureClouds
(BMBF) and ClouDAT
(IKT.NRW))
- Modelling and Analysis of Economical Aspects of Security Measures (SECONOMICS,
EU)
- Visual Privacy Management in User Centric Open Environments (Vision, EU)
Current information about teaching of the working group can be found at the
UniCMS of University of Koblenz-Landau.
News