(H27.6.17-19開催)「スマートコミュニティJapan 2015」への出展について

*終了しました。多数のご来場ありがとうございました。

来る2015年6月17日(水)~6月19日(金)、東京ビッグサイトにて開催される「スマートコミュニティJapan 2015」に出展いたします。
地域イノベーション戦略支援プログラム「福岡次世代社会システム創出推進拠点」に関する取組について出展いたしますので、是非、弊財団のブースに足をお運びください。
 

開催概要


開催期間 : 2015年6月17日(水)~1月19日(金)

開催地 : 東京ビッグサイト

小間番号 : SC-13

主催 : 日刊工業新聞社

公式サイト : http://www.nikkan.co.jp/eve/smart/

入場料 : 無料(事前登録が必要)

【国立大学法人九州大学 システムLSI研究センター/株式会社スマートサービステクノロジーズ】
マイナンバー制度を見据えた新たな住民サービスとして、福岡県糸島市にて稼働中の災害避難支援システムと子ども・高齢者の見守りシステムの実例を紹介します。




【九州大学大学院システム情報科学研究院 福田研究室】
本ツールは、システム開発の上流工程で作成されるシステムモデル、起こりうる不具合の分析結果、不具合対策の解析結果などの設計資産から、資産間のトレーサビリティに基づいて、システムの不具合に対する対策不十分な箇所を形式的手法により自動的に検出します。
▸脆弱性検出ツール