↓上位設計からのコード生成系?ペトリネット援用ツールHiPS（各種解析器、モデル検査器、ラ?高水準ペトリネット援用ツールHiPS2（各種解析器、制御シス?UMLアクティビティ図からJava Servletコード自動生成系、高速?VDM++仕様記述とインタープリタ実行系、VDMJWeb分散モデル実?大規模高速な形式検証を実現するメタスケーラブル定理証明器?グリッド環境の定理証明器とモデル検査器をハードウェアコン?信州大学インターネット大学院におけるマルチメディア利用CAI電子情報67長野高専助手、信州大学工学部情報工学科助手、助教授、大学院工学系188bet体育_188bet备用网址科准教授を経て、2009年より現職。188bet体育_188bet备用网址分野は、並列分散システムのモデル化と解析、非同期回路の数学モデルと形式検証、モデル検査系、など。HiPSツール:階層型ペトリネットを設計?解析?シミュレーション実行する統合環境並列分散システムのモデル化http://sourceforge.net/projects/hips-tools/ SPINモデル検査ツール統合環境iSPINによる検証とランダムウォーク?シミュレーション実行の様子（通信プロトコル設計の検証中）↑OcamlベースHWコンパイラ系情報システムの「信頼性(Dependability)」に関して、ネットワークのQoS?暗号化通信に代表される「安全性(Safety)」とともに、システムの堅牢性(Reliability)を確保することが大変重要です。高い信頼性が要求される情報システムのために、可能な限り誤り（バグ）を排除した設計に仕上げていくことが重要な課題です。和﨑188bet体育_188bet备用网址室では、「100%バグフリー設計」を目指し、ソフトウェア分野で(1)特に並列システムを対象とした、設計の全網羅的な検査システムと検証ツールの開発と(2)上流工程からの一貫設計検証環境、などを188bet体育_188bet备用网址しています。イブラリ）テムモデル）?UMLステートマシン図＋構成図からSPINモデル検査器コードの自動生成系プロトタイピング行サービス?上位ハードウェアコンパイラMelasy+ : HDLコード自動生成系と並列モデル検査器の融合（科研費代表）パイラ融合した形式検証系（科研費代表）?関数型言語系とグリッド環境上のプルーフチェッカを融合した超並列演算器の設計検証法（科研費代表）システムの高度化188bet体育_188bet备用网址（科研費分担）?複合センサを用いた地域型独居高齢者生活サポ－トシステムの188bet体育_188bet备用网址開発（総務省SCOPE分担）ソフトウェアは目に見えず重さも無く、「情報（ビット）」という形で格納される、不思議な工業製品です。ソフトウェアの設計を検証することで、正しく動く信頼性の高い製品やサービスを提供することができます。高い信頼性を持つ情報システムの設計?開発や組み込みシステムに活かされます。【私の学問へのきっかけ】高校生の時、世間ではパソコンが発売され始めていて、一日中プログラミングができる仕事に就きたいと考え、情報工学分野への進学を決めました。私が学問の道を志すきっかけとなったのは、所属188bet体育_188bet备用网址室の指導教授から、情報システムと数学との深い繋がり、そして188bet体育_188bet备用网址活動の成果は特定の製品に留まらず、幅広い応用に活かされることを学んだからです。大学で学んだ知識や経験は、今の188bet体育_188bet备用网址の全てに繋がっています。学問の煌きを、皆さんも大学で体験して下さい。通信ネットワーク、ソフトウェア開発、システム設計エンジニア、クラウドサービス企業などに卒業生を輩出。自律的な論理的思考ができる技術者?188bet体育_188bet备用网址者の育成のため、日頃から188bet体育_188bet备用网址の議論?ゼミ活動を中心とした指導を行っています。188bet体育_188bet备用网址の成果は国内外の学会や論文で発表しています。教授和﨑克己188bet体育_188bet备用网址から広がる未来188bet体育_188bet备用网址シーズ共同188bet体育_188bet备用网址?外部資?獲得実績188bet体育_188bet备用网址キーワード高信頼ソフトウェア?設計検証技術?並列分散システム?モデル検査?形式手法卒業後の未来像最近の188bet体育_188bet备用网址トピックスシステム工学科★設計を検証するって、とっても重要★「100％バグフリー設計」を目指して!!
元のページ ../index.html#69