高信頼性組み込みソフトウェア開発-最新技術動向と取り組み:2.形式的手法による高信頼性組み込みソフトウェア開発

• 青木, 利晃

書誌事項

タイトル別名

• 形式的手法による高信頼性組み込みソフトウェア開発
• ケイシキテキ シュホウ ニ ヨル コウシンライセイ クミコミ ソフトウェア カイハツ
• Highly Reliable Embedded Software Development- Cutting Edge and Case Studies - : Highly Reliable Embedded Software Development by Formal Methods

抄録

組み込みソフトウェアには高い信頼性が要求されるため，それを実現することができる形式的手法に対する期待が高まっている．形式的手法にはさまざまなものがあり，古くから研究されてきた．そこで，本稿では，まず，形式的手法の概要について紹介する．そして，それらの中でも組み込みソフトウェア開発に有望と思われるモデル検査手法に焦点を当てて，その詳細を具体例を示しながら解説する．

収録刊行物

• 情報処理

  情報処理 47 (5), 491-497, 2006-05-15

  東京 : 情報処理学会 ; 1960-

キーワード

• 特集

詳細情報

• CRID: 1050564287851403008
• NII論文ID: 110004720794
• NII書誌ID: AN00116625
• ISSN: 04478053
• NDL書誌ID: 7958126
• Web Site: http://id.nii.ac.jp/1001/00065618/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7958126
• 本文言語コード: ja
• 資料種別: departmental bulletin paper
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles