Keyword : embedded software

A Method to Extract Failure Scenarios of Embedded Systems Using Analysis Matrix of Unexpected Phenomena
Toshiro MISE  Yasufumi SHINYASHIKI  Masaaki HASHIMOTO  Takako NAKATANI  Keiichi KATAMINE  Naoyasu UBAYASHI  Takaichi YOSHIDA 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2012/11/01
Vol. J95-D  No. 11  pp. 1897-1908
Type of Manuscript: PAPER
Category: 
Keyword: 
embedded software,  safety,  a method for extracting failure,  failure scenario,  requirements engineering, 
  Summary |  Full Text(in Japanese):PDF (884.9KB)
Case study of Modeling, Specification and Finite Model Checking for Preemptive Embedded Software
Shingo TAKINAI  Satoshi YAMANE 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2010/11/01
Vol. J93-D  No. 11  pp. 2403-2415
Type of Manuscript: PAPER
Category: 
Keyword: 
case study,  preemptive scheduling systems,  embedded software,  periodic tasks,  model checking, 
  Summary |  Full Text(in Japanese):PDF (474.7KB)
Modeling, Specification and Verification for Embedded Systems Using Probabilistic Timed Game
Satoshi YAMANE  Masashi HAYASHI 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2010/07/01
Vol. J93-D  No. 7  pp. 1214-1225
Type of Manuscript: PAPER
Category: 
Keyword: 
porbabilistic timed game theory,  probabilistic timed system,  embedded software,  specification,  verification, 
  Summary |  Full Text(in Japanese):PDF (343.3KB)