|
|||||||||||
| 対象応用分野 | |||||||||||
|
|||||||||||
| 出展の見どころ | |||||||||||
| プログラムがバグって困っていますか？メモリリークにうんざりしていませんか？FPGAハードウェアをもっとお気楽に使いたいですか？スマホの消費電力が大きくて困ってませんか？こんな悩みを解決するために，京都大学では日々研究をしています． 今回は (1) プログラムの形式検証手法（プログラムが正しく動作することを数理的手法によって保証する手法）を用いたプログラム検証ツール，と (2) 組込みリアルタイムシステムのための設計支援環境について，デモと動作説明を行います．形式手法に興味のある方，組込みシステムの設計環境に興味のある方，産学連携に興味のある方，大学の研究って役に立つの？と思われている方のご来場をお待ちしています． 見られるもの： ・Cプログラムのメモリリークを検出するためのツール ・サイバーフィジカルシステムのための形式検証ツール ・SWORDS：プログラマブルSoCのためのソフトウェア志向の協調システム設計環境 ・big.LITTLEアーキテクチャにおける組込み消費電力管理手法の実機評価環境 ・[番外編] LED-Camp：若手組込み技術者のための合宿型教育実習 
|
|||||||||||
| 【close】 |