|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-2016 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/13505
|
完全登録情報レコード
| ダブリン･コア･フィールド | 値 | 言語 |
|---|
| contributor.author | Aoki, Toshiaki | en_US |
| contributor.author | Satoh, Makoto | en_US |
| contributor.author | Tani, Mitsuhiro | en_US |
| contributor.author | Yatake, Kenro | en_US |
| contributor.author | Kishi, Tomoji | en_US |
| date.accessioned | 2016-05-24T02:55:55Z | - |
| date.available | 2016-05-24T02:55:55Z | - |
| date.issued | 2016-05-23 | en_US |
| identifier.uri | http://hdl.handle.net/10119/13505 | - |
| description | リサーチレポート（北陸先端科学技術大学院大学先端科学技術研究科情報科学系） | en_US |
| description.abstract | The safety and reliability of automotive systems are becoming a big concern in our daily life. Recently, a functional safety standard which specializes in automotive systems has been proposed by the ISO. In addition, electrical throttle systems have been inspected by NHTSA and NASA due to the unintended acceleration problems of Toyota’s cars. In light of such recent circumstances, we are researching practical applications of formal methods to ensure the high quality of automotive operating systems. An operating system which we focus on is the one conforming to the OSEK/VDX standard. This paper shows a case study where model checking is applied to a commercial automotive operating system. In this case study, the model checking is combined with testing in order to efficiently and effectively verify it. As a result, we acquired the confidence that the quality of the operating system is very high. | en_US |
| format.extent | 125334 bytes | - |
| format.mimetype | application/pdf | - |
| language.iso | en | en_US |
| publisher | 北陸先端科学技術大学院大学先端科学技術研究科情報科学系 | en_US |
| subject | automotive operating systems | en_US |
| subject | model checking | en_US |
| subject | testing | en_US |
| subject | design verification | en_US |
| subject | test case generation | en_US |
| title | Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System | en_US |
| type.nii | Technical Report | en_US |
| identifier.niiissn | 0918-7553 | en_US |
| identifier.jtitle | Research report (School of Information Science, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology) | en_US |
| identifier.volume | IS-RR-2016-002 | en_US |
| identifier.spage | 1 | en_US |
| identifier.epage | 11 | en_US |
| rights.textversion | publisher | en_US |
| language.iso639-2 | eng | en_US |
| 出現コレクション: | IS-RR-2016
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IS-RR-2016-002.pdf | | 122Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
