Masahiro MATSUBARA


Model Checking of Automotive Control Software: An Industrial Approach
Masahiro MATSUBARA Tatsuhiro TSUCHIYA 
Publication:   
Publication Date: 2020/08/01
Vol. E103-D  No. 8  pp. 1794-1805
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approaches)
Category: Formal Approaches
Keyword: 
model checkingprogram slicingautomotive control systemsSPIN model checker
 Summary | Full Text:PDF

Voting Sharing: An Approach to Reducing Computation Time for Fault Diagnosis in Time-Triggered Systems
Kohei SAKURAI Masahiro MATSUBARA Tatsuhiro TSUCHIYA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/02/01
Vol. E97-D  No. 2  pp. 344-348
Type of Manuscript:  LETTER
Category: Information Network
Keyword: 
time-triggered systemsfaultsmembership
 Summary | Full Text:PDF