This page provides very brief overview of our research theme and various projects.
We have a wide range of activities for "Smart Systems and Smart Dependability Assurance"
We envision advanced application systems and investigate techqnieus of verification, reasoning, optimization, automated test genration, and self-adaptation by making use of a variety of models for requirements, specifications, and desitns.
Our present focus is dependability in Cyber-Physical Systems and Machine Learning Systems via techniques of formal methods and automated test generation.
Our group consists of members from different organizations and also promote international and industry-academia collaborations.
Techniques such as verification, reasoning, optimization, automated test generation, and self-adaptation by making use of a variety of models for requirements, specifications, and designs
Keyword: Formal Methods (Formal Specification, Refinement), Testing (Search-based Testing, Model-based Testing), Goal-Oriented Requirements Analysis, Self-Adaptation (Models@run.time), Machine Learning Systems Engineering
Advanced system paradigms to provide functionality and information in a flexible and agile way on the web and real world.
Keyword: Service-Oriented Computing (Service Composition), Cloud Computing (Resource Optimization), IoT: Internet of Things (Service Composition, Self-Adaptation), CPS: Cyber-Physical Systems (Automotive Systems)
The following information does often not reflect the latest topics.