This page provides an overview of our research theme and various projects.
We have intensive research and education activities for "Smart Systems and Smart Dependability Assurance"
My particularly interests are in modelling of "promises" such as requirements specification, contracts, SLA, laws, and policies as well as techniques and applications for model description, abstraction/refinement, verification, reasoning, and optimization.
We primarily target areas of software engineering, especially formal methods, and areas for autonomous and smart systems, but work not being closed within specific communities.
Our group consists of members from different organizations and also promote international and industry-academia collaborations.
Enable efficient development and operation of trustworthy software systems by modeling, analyzin, and verifying "promises" that software systems should satisfy as well as using the "promises" for program construction, testing, and runtime adaptation.
Keyword: Dependability, Formal Specification, Refinement, Testing, Goal-Oriented Requirements Analysis, Self-Adaptive Systems, CPS: Cyber-Physical Systems
Facilitate software systems to make use of various functions and information in the web and real world via "promises," and flexibly realize requirements by making use of them.
Keyword: Service Composition, Business Process, Quality of Service, Semantic Web Service, Self-Adaptive Systems, Multi-Agent Systems, Cloud, IoT: Internet of Things, CPS: Cyber-Physical Systems