Dependable System

Research Staff

  • Professor Michiko INOUE

    Professor
    Michiko INOUE

  • Affiliate　Professor Fukuhito OOSHITA

    Affiliate Professor
    Fukuhito OOSHITA

  • Adjunct Associate Professor Michihiro SHINTANI

    Affiliate Associate
    Michihiro SHINTANI

  • Assistant Professor Ryouta EGUCHI

    Assistant Professor
    Ryota EGUCHI

E-mail dsl-contact@is.naist.jp
To the site http://dslab.naist.jp/en/

Research Areas

Fig.1 Mobile robots

Fig.1 Mobile robots

Fig.2 Various types of distributed systems

Fig.2 Various types of distributed systems

Fig.3 Hardware security (Recycled FPGA detection)

Fig.3 Hardware security (Recycled FPGA detection)

Fig.4 Power device modeling

Fig.4 Power device modeling

Distributed algorithms

We focus on designing algorithms to improve the dependability and performance of various distributed systems such as the Internet, ITS, IoT, blockchain (bitcoin), sensor networks, and nano-scale systems.

  • Fault-tolerant distributed systems
  • Wait-free distributed algorithms
  • Self-stabilizing algorithms
  • Mobile agent and robot algorithms
  • Population protocols for nano-scale systems
  • Dynamic distributed algorithms

Hardware Design

We are conducting research on hardware dependability which ranges broadly across robust computing, VLSI design, CAD, testing, photovoltaic systems, security, and power converters using new wide-bandgap semiconductors.

  • VLSI design for testability
  • Test optimization through machine-learning-based analysis
  • Dependability of neuromorphic computers
  • Dependability of ReRAM based systems
  • Hardware Security (Counterfeit and Trojan detection, PUF)
  • Power device modeling
  • Optimization of photovoltaic system power generation
  • Decimal computing

Key Features

Today's information society is supported by various levels of advanced technology such as applications, systems, computers and VLSIs. The Dependable System Laboratory is pursuing research on safe and secure systems including distributed systems with hundreds of computers and VLSIs with billions of transistors. "Dependability" is a concept from the user's point of view, when systems can be used reliably and securely.

In order to achieve dependable systems, we need to consider various aspects of these systems from the user's point of view. For example, whether all the systems are completely tested before shipping, whether the systems can function correctly in the presence of faults, whether the systems can predict and avoid system failure caused by transistor aging, whether the system can handle malicious users, and whether the photovoltaic systems can efficiently generate power with partial shade or faulty cells. This laboratory performs research to improve dependability through various approaches.

The Dependable System Lab also fosters skills for logical thinking, presentation, design and analysis of algorithms, CAD tools, machine learning, software programming (C/C++, Java, Python etc.) and hardware programming (Verilog/VHDL) through our research.

Research