Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems
暫譯: 不確定性下的安全保證：從軟體到網路物理/機器學習系統
Hasuo, Ichiro, Ishikawa, Fuyuki
商品描述
Modern software systems operate under an unprecedented degree of uncertainties, making them hard to specify, model, test, analyze, and verify. Safety assurance of such systems requires efforts that unite different disciplines such as formal methods, software science, software engineering, control theory, machine learning.
商品描述(中文翻譯)
現代軟體系統在前所未有的不確定性下運作，使得它們難以進行規範、建模、測試、分析和驗證。這類系統的安全保證需要結合不同學科的努力，例如形式方法、軟體科學、軟體工程、控制理論和機器學習。
作者簡介
Ichiro Hasuo, Ph.D. (cum laude, Radboud University Nijmegen, 2008), is a Professor at National Institute of Informatics (NII), Tokyo, Japan. He is at the same time the Research Director of the JST ERATO "Metamathematics for Systems Design'' Project, and the Director of Research Center for Mathematical Trust in Software and Systems at NII. His research field is software science and his interests include formal verification, mathematical and logical structures, category theory, integration of formal methods and testing, and application to cyber-physical systems and systems with statistical machine learning components.
Fuyuki Ishikawa, Ph.D. (The University of Tokyo, 2007), is an Associate Professor in Information Systems Architecture Science Research Division and the Director of GRACE Center, at National Institute of Informatics (NII), Tokyo, Japan. His research focuses on software engineering, especially for dependability of emerging AI and smart cyber-physical systems, including test generation, fault analysis, automated repair, and formal verification for automated driving systems. He is leading relevant initiatives of the Japanese industry such as the QA4AI guidelines for quality assurance of AI systems.
作者簡介(中文翻譯)
長尾一郎，博士（以優異成績畢業，荷蘭奈梅亨大學，2008年），是日本東京國立資訊學研究所（NII）的教授。他同時擔任JST ERATO「系統設計的元數學」計畫的研究主任，以及NII數學信任於軟體與系統研究中心的主任。他的研究領域是軟體科學，興趣包括形式驗證、數學與邏輯結構、範疇論、形式方法與測試的整合，以及應用於網路物理系統和具有統計機器學習組件的系統。
石川冬樹，博士（東京大學，2007年），是日本東京國立資訊學研究所（NII）資訊系統架構科學研究部的副教授及GRACE中心的主任。他的研究專注於軟體工程，特別是新興人工智慧和智慧網路物理系統的可靠性，包括測試生成、故障分析、自動修復和自動駕駛系統的形式驗證。他正在領導日本產業相關的倡議，例如針對人工智慧系統的質量保證QA4AI指導方針。
