情報通信技術● 暗号通貨の資金洗浄の追跡● 匿名化ネットワークにおける利用者や Web サーバの特定85【最近の研究テーマ】産業界へのアピールポイント実用化例・応用事例・活用例吉浦 紀晃（ヨシウラ ノリアキ） 教授大学院理工学研究科 数理電子情報部門 情報領域リアクティブシステムとはソフトウェア検証での仕様とはキーワード 仕様 検証 ソフトウェア 自動合成 安全性● ソフトウェア仕様を検証することにより、システム設計段階での仕様の不備や欠陥の検出し、ソ● ソフトウェアの検証をより有効なものとすることができる。● ソフトウェア仕様からソフトウェアの自動合成を実現することで、ソフトウェアの生成コストを● 仕様のプログラム化可能性判定システムの構築● 仕様からのソフトウェア自動合成システムの構築● 仕様の不備の検出システムの構築飛行機の制御プログラムや銀行の ATM など社会インフラであるソフトウェアは、ユーザとやりとりをしながらサービスを提供するシステムです。このようなシステムはリアクティブシステムと呼ばれています。リアクティブシステムの構築や検証にはその設計図となる仕様が重要です。仕様通りにソフトウェアが稼働するかを検証することでソフトウェアの安全性を確保します。しかし、仕様自体に不備や不整合があると、検証自体無駄になってしまいます。そこで、仕様自体に誤りがないかを調べる研究を行っています。特に、仕様に様々なソフトウェアに対する要求が含まれてしまうと、ソフトウェアが存在しないこともあります。そこで、仕様通りに稼働するソフトウェアが存在するかを調べる研究も行っています。その発展として、仕様からソフトウェアを自動合成する 研 究 も 行 な っ て い ま す。自動合成することで効率的に安全なソフトウェアを作ることができます。フトウェア開発の効率化が可能となる。下げることができる。さらに安全なソフトウェアを作ることができる。ソフトウェア仕様の安全性検査とソフトウェアの自動合成
元のページ ../index.html#94