• 計量器のリスク対策の変化 スライド／渡邊宏（産業技術総合研究所）
• アシュランス議論のための6W1Hモデル スライド／木下修司（神奈川大学）
• IEC 62853 Open systems dependability 制定活動の最新動向 スライド／木下佳樹（神奈川大学）

変 化しつづけるシステムのディペンダビリティの好例として、特定計量器について産業技術総合研究所の渡邊宏主任研究員にご講演いただいた。特定計量器は型式 承認・検定を必要とするが、技術の進展に伴い、機械式から、電子化、ソフトウェア制御、ネットワーク接続、無線通信が導入されてきた。これらと共に型式承 認試験等の方法が変化し続けることとなり、新たな課題・リスクを生み、それへの対策が必要となる。特定計量器へ無線通信が導入されたことによるリスク対策 が紹介された。

木下修司RAより、自然言語で記述された平塚市地域防災計画をDEOSの枠組みによってアシュランス議論をするための6W1Hモデルが紹介された。地域防災計画をシステムとして捉える手法を模索する中で考案したこのモデルにより、アシュランスケースを記述中。地域防災計画というこれまでのアシュランスケースの対象とは異色であることから、今後の研究の成り行きが注目される。

講演概要：

講演１「計量器のリスク対策の変化」 スライド
講師：渡邊 宏／(国研)産業技術総合研究所 物質計測標準研究部門 主任研究員

講演２「アシュランス議論のための6W1Hモデル」 スライド
講師：木下 修司／神奈川大学 プログラミング科学研究所 リサーチ・アシスタント

システムが持つ性質に対する厳密な議論（アシュランス議論）を行うには、対象システムの厳密な記述が不可欠である。しかし、どのような手順と形式でシステムを記述すればよいかは必ずしも明らかではない。そこで、システムの記述を支援する枠組みとして、6W1Hモデルを提案する。事例研究として、神奈川県平塚市が実施する防災業務のディペンダビリティ議論にこの枠組みを適用し、その有効性を検討した。

講演３「IEC 62853 Open systems dependability 制定活動の最新動向」 スライド
講師：木下 佳樹／神奈川大学 理学部 教授、DEOS標準化部会 主査

DEOSプロジェクトの研究成果をもとに我が国が提案したIEC62853 Open systems dependability 策定は、2016-01-22付で3rd CD（Committee Draft 第3版）が各国委員会に回覧され、2016-04-15締切で意見が募集されているところである。2nd CDとの違いと草稿の今後の発展の可能性に焦点を当てて現状を解説する。