お知らせ
2018-12-03
講演：「IEC 62853 Open systems dependability について」木下佳樹．JASPAR 機能安全WG. |
| 添付ファイル:
20181203JASPAR講演.pdf
2018-10-22 IEC 62853 制定報告会
IEC 62853 Open systems dependability 制定報告会で木下佳樹が IEC 62853 を概説しました． |
| 添付ファイル:
20181022DEOS講演final.pdf
IEC1906賞受賞
木下佳樹（所長）がIEC1906賞を受賞し，2018-10-02に経済産業省主催の表彰式が執り行われました． Open systemsに関する標準活動が評価されたものです． The International Electrotechnical Commission experesses its sincere appreciation of the valuable and sustainable conribution by Dr Yoshiki Kinoshita Exprert of the IEC Technical Committee No. 56, Dependability Nominated by the Chair and Secretary of IEC TC 56 In recognition of his instrumental role as project leader and expert in the development of a new Standard on open systems.   |
講演予定: "オープンシステム・ディペンダビリティのアシュランス議論と ディペンダビリティケース ～IEC62853のアプローチ～"
オープンシステム・ディペンダビリティのアシュランス議論とディペンダビリティケース ～IEC62853のアプローチ～ 木下佳樹 2016-09-08 東京都千代田区大手町2-6-1 朝日生命大手町ビルにて |
講演予定: "The 6W1H Model as a Basis for Systems Assurance Argument"
The 6W1H Model as a Basis for Systems Assurance Argument Shuji Kinoshita and Yoshiki Kinoshita 4th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2016), September 20, 2016, Trondhei , Norway にて発表予定． |
プロジェクト「オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク」（IPA RISE制度による委託研究）終了
プロジェクト「オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク」（IPA RISE制度による委託研究, 2014-06-02 - 2016-02-12）が終了し，成果報告書が公開されました． |
第5回システムアシュランス研究会・第4回DEOS標準化部会講演会報告
主 催：神奈川大学総合理学研究所 日 時：2016年3月16日(火) 16:00~18:00 会 場：ＫＵポートスクエア（横浜みなとみらい） 演題・講演者：
内 容： 変 化しつづけるシステムのディペンダビリティの好例として、特定計量器について産業技術総合研究所の渡邊宏主任研究員にご講演いただいた。特定計量器は型式 承認・検定を必要とするが、技術の進展に伴い、機械式から、電子化、ソフトウェア制御、ネットワーク接続、無線通信が導入されてきた。これらと共に型式承 認試験等の方法が変化し続けることとなり、新たな課題・リスクを生み、それへの対策が必要となる。特定計量器へ無線通信が導入されたことによるリスク対策 が紹介された。 木下修司RAより、自然言語で記述された平塚市地域防災計画をDEOSの枠組みによってアシュランス議論をするための6W1Hモデルが紹介された。地域防災計画をシステムとして捉える手法を模索する中で考案したこのモデルにより、アシュランスケースを記述中。地域防災計画というこれまでのアシュランスケースの対象とは異色であることから、今後の研究の成り行きが注目される。
木下佳樹教授よりIEC62853の状況と、それを取り巻く状況が報告された。IEC62853の3rdCD（委員会原案）の内容が紹介された。次は6月にCDV（国際規格原案）配布、その次は来年1月にFDIS（最終国際規格案）配布の予定で、来年10月出版を予定しているとのこと。また、ISO/IEC
15026-4 Assurance in the life cycleへOSDの考えが埋め込まれているとの紹介があった。全体に聴講者から活発な意見・質問がなされた。 |
3月16日講演会スライドの掲載
3月16日にKUポートスクエアで開催しました第5回システムアシュランス研究会・第4回DEOS標準化部会講演会のスライドを、同講演会開催案内の講演概要に掲載しましたのでご覧ください。 |
「第5回システムアシュランス研究会・第4回DEOS標準化部会講演会合同開催」のご案内
主 催：神奈川大学総合理学研究所 日 時：2016年3月16日(火) 16:00~18:00 会 場：ＫＵポートスクエア（横浜みなとみらい） 定 員：50名(先着順) 参加費：無料 プログラム： 16:00～16:05 ご挨拶（木下佳樹/神奈川大学） 16:05～16:35 「計量器のリスク対策の変化」（渡邊宏/産業技術総合研究所） 16:45～17:15 「アシュランス議論のための6W1Hモデル」（木下修司/神奈川大学） 17:25～17:55 「IEC 62853 Open systems dependability 制定活動の最新動向」（木下佳樹/神奈川大学） 18:15～ 懇親会 （場所：会場周辺、費用：4,000円） お申込み：ここからお申し込みください。 上記リンクからお申し込みできない場合は、下記問合せ先までメールにて、お名前、ご所属機関、ご所属部署、懇親会参加可否をご連絡ください。 お問合せ：deos-standard@progsci.info.kanagawa-u.ac.jp講演概要： 講演１「計量器のリスク対策の変化」 スライド 技術の変化、進展にともなって、リスクおよびリスク対策が変化していくようすの具体例として、特定計量器のソフトウェアおよび無線通信の例を紹介する。 講演２「アシュランス議論のための6W1Hモデル」 スライド システムが持つ性質に対する厳密な議論（アシュランス議論）を行うには、対象システムの厳密な記述が不可欠である。しかし、どのような手順と形式でシステムを記述すればよいかは必ずしも明らかではない。そこで、システムの記述を支援する枠組みとして、6W1Hモデルを提案する。事例研究として、神奈川県平塚市が実施する防災業務のディペンダビリティ議論にこの枠組みを適用し、その有効性を検討した。 講演３「IEC 62853 Open systems dependability 制定活動の最新動向」 スライド DEOSプロジェクトの研究成果をもとに我が国が提案したIEC62853 Open systems dependability 策定は、2016-01-22付で3rd CD（Committee Draft 第3版）が各国委員会に回覧され、2016-04-15締切で意見が募集されているところである。2nd CDとの違いと草稿の今後の発展の可能性に焦点を当てて現状を解説する。 |
1-10 of 26