［チュートリアル］アシュアランスケース演習～ツールを使って書いてみよう！！


          

刊名：電子情報通信学会技術研究報告
作者：松野裕（電気通信大学大学院情報システム学研究科）
刊号：734D0133-45
ISSN：0913-5685
出版年：2014
年卷期：2014, vol.114, no.66
页码：37-40
总页数：4
分类号：TP31
语种：jpn
文摘：近年システムの安全性やディペンダビリティを、さまざまなステークホルダに保証することが重要になっている。システム保証の手法として、近年アシュアランスケース（アシュアランスケース）が欧米で注目を集めている。しかし、航空管制システムなどの高安全システムなどをこれまで対象としてきたこと、英語による専門書しかなかったことから、日本での普及は初期段階にある。筆者らは、JSTCREST DEOSプロジェクトなどにおいて、ディペンダブルな組込みシステムの開発を目指してきた。ディペンダブルなシステムのためには、システム保証は本質であると考え、アシュアランスケースを日本で先駆けて研究開発をおこなってきた（詳細はww.dcase.jp を参照）。今回は、ツールを用いた実践的なチュートリアルを行う。



©2016机械工业出版社（机械工业信息研究院） 京ICP备05055788号-35