Ishikawa Lab. 日本語 >

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

Trustworthy & Smart Software Engineering

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.

Software Engineering

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

Autonomous and Smart Systems

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.

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