Ishikawa Lab. 日本語 >

This page provides an overview of our research theme and various projects.

Trustworthy & Smart Software Engineering

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.

Formal Methods

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

Autonomous and Smart 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

MMSD: MetaMathematics for Systems Design

See the project web site

REFENG: Formalizing and Supporting Consistency Assurance and Complexity Mitigation in Stepwise Refinement

Refinement figure

ClouT: Integration of Internet of Things and Clouds for Smart Cities

See the project web site

JSTM: Refining Specification and Testing through Example Generations

JSTM figure

PerQAS: Assurance and Self-Adaptation of Functionality and Quality in Service Composition

PerQAS figure

LIMT: Modeling and Analysis of Laws and Legal Interpretations

LIMT figure

Smartive: Service-Oriented Cooperative Multi-Mobile Agents

Smartive figure