世界ーの組込みシステムを開発ずる

摘要

大規模情報システム、特に社会に重大な影響を与えることが想定される「重要インフラ」と呼ばれるシステムrn（航空・宇宙こ鉄道、電力・ガス、医療、水道、物流などを支える情報システム）があり、これらシステムの開発にrnは高しⅥ言頼性が要求される。高い信頼性を確保するためには、システム開発のかなり早い段階での詳細な検討が求rnされる。どのようなシ系責ムを開発し、どのように信頼性を確保するのか、そのための技術は古典的なものが多い。rn今臥紹介する信頼性確保のための技術は、情報システム開発以外の分野でも利用されているものである。このようrnな技術を適用するための方法論と技術の事例について紹介する。最後に、大規模情報システム開発の今後の展望につrnいて述べる。