神奈川大学 プログラミング科学研究所



  • 講演予定: "オープンシステム・ディペンダビリティのアシュランス議論と ディペンダビリティケース ~IEC62853のアプローチ~" オープンシステム・ディペンダビリティのアシュランス議論とディペンダビリティケース ~IEC62853のアプローチ~木下佳樹ベリサーブ アカデミック イニシアティブ「ソフトウェアと品質を考える」にて講演予定.2016-09-08 東京都千代田区大手町2-6-1 朝日生命大手町ビルにて
    投稿: 2016/07/22 0:37、木下佳樹
  • 講演予定: "The 6W1H Model as a Basis for Systems Assurance Argument" The 6W1H Model as a Basis for Systems Assurance Argument Shuji Kinoshita and Yoshiki Kinoshita4th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2016), September 20, 2016, Trondhei , Norway にて発表予定.
    投稿: 2016/07/21 23:28、木下佳樹
  • プロジェクト「オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク」(IPA RISE制度による委託研究)終了 プロジェクト「オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク」(IPA RISE制度による委託研究, 2014-06-02 - 2016-02-12)が終了し,成果報告書が公開されました.
    投稿: 2016/07/21 23:24、木下佳樹
  • 第5回システムアシュランス研究会・第4回DEOS標準化部会講演会報告 主 催:神奈川大学総合理学研究所神奈川大学プログラミング科学研究所社)ディペンダビリティ技術推進協会(標準化部会) 日 時:2016年3月16日(火) 16:00~18:00会 場:KUポートスクエア(横浜みなとみらい)演題・講演者:計量器のリスク対策の変化 スライド/渡邊宏(産業技術総合研究所アシュランス議論のための6W1Hモデル スライド/木下修司(神奈川大学)IEC 62853 Open systems dependability 制定活動の最新動向 スライド/木下佳樹(神奈川大学)参加者合計:11名内 容:変 化しつづけるシステムのディペンダビリティの好例として、特定計量器について産業技術総合研究所の渡邊宏主任研究員にご講演いただいた。特定計量器は型式 承認・検定を必要とするが、技術の進展に伴い、機械式から、電子化、ソフトウェア制御、ネットワーク接続、無線通信が導入されてきた。これらと共に型式承 認試験等の方法が変化し続けることとなり、新たな課題・リスクを生み、それへの対策が必要となる。特定計量器へ無線通信が導入されたことによるリスク対策 が紹介された。木下修司RAより、自然言語で記述された平塚市地域防災計画をDEOSの枠組みによってアシュランス議論をするための6W1Hモデルが紹介された。地域防災計画をシステムとして捉える手法を模索する中で考案したこのモデルにより、アシュランスケースを記述中。地域防災計画というこれまでのアシュランスケースの対象とは異色であることから、今後の研究の成り行きが注目される。 木下佳樹教授よりIEC62853の状況と、それを取り巻く状況が報告された。IEC628533rdCD(委員会原案)の内容が紹介された。次は6月にCDV(国際規格原案)配布、その次は来年1月にFDIS(最終国際規格案)配布の予定で、来年10月出版を予定しているとのこと。また、ISO/IEC 15026-4 Assurance in the life cycleOSDの考えが埋め込まれているとの紹介があった。全体に聴講者から活発な意見・質問がなされた。
    投稿: 2016/03/24 23:39、奥野康二
1 - 4 / 22 件の投稿を表示中 もっと見る »
研究所内部用ページ