大会名称 |
---|
2016年 総合大会 |
大会コ-ド |
2016G |
開催年 |
2016 |
発行日 |
2016/3/1 |
セッション番号 |
D-3 |
セッション名 |
ソフトウェアサイエンス |
講演日 |
2016/3/15 |
講演場所(会議室等) |
センター2号館 4F 2408 |
講演番号 |
D-3-1 |
タイトル |
関数型リアクティブプログラミングによる組込みシステムの実現 |
著者名 |
◎中野史彬, 大森健児, 佐々木 晃, |
キーワード |
Haskell, Functional reactive programming |
抄録 |
自動車の制御システムに代表される自動化システムは,近年複雑化しており,テストやデバッグ等が難しくなっている.安全性が求められるこのようなシステムではバグによる予期しない行動を起こさないよう細心の注意を払う必要がある.そこで,質の高いシステムを組みやすい関数型言語を用いて関数型リアクティブプログラミングによる組み込みシステムの実現を行った.FRPによって値や時間の変化に対しての処理が行いやすく,また未来に対する処理が実現できるようになったため,処理の記述が簡単になった. |
本文pdf |
PDF download
|