Yasutaka Michiura

Functional safety analysis of SAE conditional driving automation in time-critical situations and proposals for its feasibility

Tetsuo Sawaragi, Takayuki Hirose, Yasutaka Michiura, 2020, Cognition, Technology & Work.

Functional Analysis of Law of Requisite Variety: Envisioning How Systems Variety Affects Their Resilience Based on FRAM

Shota Iino, Takayuki Hirose, Hideki Nomoto, 2022, IFAC-PapersOnLine.

Time-series anomaly detection in telemetry of ISS providing the reasons with FRAM and SpecTRM

Shota Iino, Miki Sasaki, Takayuki Hirose, 2023, IEEE Aerospace Conference.

Explainable symptom detection in telemetry of ISS with Random Forest and SpecTRM

Shota Iino, Miki Sasaki, Yukako Ishitsuka, 2022, 2022 IEEE Aerospace Conference (AERO).

Verification Model Translation Method toward Behavior Model for CAST

Akira Fukuda, Bo Wang, Kenji Hisazumi, 2018, 2018 5th International Conference on Dependable Systems and Their Applications (DSA).

ela Verification Model Translation Method based on Relative SysML State Machine Diagra m s

Akira Fukuda, Bow-Yaw Wang, Takahiro Ando, 2017 .

SysML State Machine Diagra m to Si m ple Pro m ela Verification Model Translation Method

Hirokazu Yatsu, Akira Fukuda, Takahiro Ando, 2016 .