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

2024-10-17 東京都地域防災計画データベースが公開されました

東京都立産業技術大学院大学と東京都総務局総合防災部との共同プロジェクトで開発されたWebサービス「東京都地域防災計画データベース」が本日一般公開されました。本プロジェクトの研究代表者である木下修司助教は、本研究所プロジェクト研究員を兼務しています。プレスリリースはこちらです。（サービスはこちら）

2024-09-27 平塚市災害対策課との共同研究成果をまとめた論文が公開されました

本研究所の木下佳樹所長、武山プロジェクト研究員、木下修司プロジェクト研究員による、平塚市災害対策課との共同研究成果をまとめた論文「地域防災計画業務記述5原則の提言」が、日本ソフトウェア科学会の論文誌「コンピュータソフトウェア」2024年41巻3号（7月発行）に掲載されました。このたびJ-STAGEでも公開され、こちらからダウンロード可能です。

2023-05-09 木下所長が（一社）情報処理学会 情報規格調査会の国際規格開発賞を受賞しました

本研究所所長の木下佳樹（理学部情報科学科 教授）が、昨年11月に国際標準化機構(ISO)から発行された国際標準ISO/IEC/IEEE 15026-2:2022 Systems and software engineering -- Systems and software assurance -- Part 2: Assurance caseのProject editorとしての貢献から、情報処理学会 情報規格調査会の国際規格開発賞を受賞しました。（本学お知らせ）

2022-02-10 平塚市災害対策課に提出した提言書を公開しました

2021年9月に、2014年から地域防災計画について共同研究を継続している平塚市災害対策課に、これまでの研究成果をまとめた提言書「地域防災計画業務記述 4 原則の提言」を提出いたしました。このたび、本ウェブサイトにも掲載いたしました。こちらからお読みいただけます。

2021-12-21 木下所長が（一社）情報処理学会 情報規格調査会の国際規格開発賞を受賞しました

本研究所所長の木下佳樹（理学部情報科学科 教授）が、9月に国際標準化機構(ISO)から発行された国際標準ISO/IEC/IEEE 15026-4:2021 Systems and software engineering -- Systems and software assurance -- Part 4: Assurance in the life cycle のProject editorとしての貢献から、情報処理学会 情報規格調査会の国際規格開発賞を受賞しました。（本学お知らせ）

2021-09-24 木下所長がIEC TC 56 Dependability Chairに指名されました

本研究所所長の木下佳樹（理学部情報科学科 教授）が、IEC TC 56 Dependability (国際電気標準会議 第56技術委員会[総合信頼性]) のchair（議長）に指名されました。2021年9月から6年間の任期です。（本学お知らせ）

2021-04-16 DEOS協会からの受託研究成果物

• 2020年度に実施しました、一般社団法人ディペンダビリティ技術推進協会（DEOS協会）からの受託研究につきまして、成果物を提出いたしました。以下よりご覧いただけます。

  • 開放系総合信頼性(OSD)解説 〜その考え，国際標準 IEC 62853，展開の枠組〜

  • 開放系総合信頼性のためのライフサイクルモデルと証憑体系