Art

J-GLOBAL ID：201402207768725603   Reference number：14A1500431

Code Synthesis for LEGO Mindstorms EV3 Using UPPAAL

UPPAALを用いたLEGO mindstorms EV3制御プログラムの合成

Author (2)： ARAKAWA MITSURU (名古屋大 大学院情報科学研究科) ,  YUEN SHOJI (名古屋大 大学院情報科学研究科)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 114  Issue： 271(SS2014 25-32)  Page： 41-46  Publication year： Oct. 16, 2014 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *robot ,  control program ,  *automatic programming ,  automaton ,  time dependence ,  C language ,  constraint condition(restriction) ,  *software development
Semi thesaurus term： *program synthesis ,  timed automata ,  time constraint ,  *LEGO robot

JST classification (1)： System programmings in general  (JD03010Y)

Reference (5)：

• LEGO.com Education Home, http://education.lego.com/.
• David L Dill Rajeev Alur. A theory of timed automata. Theoretical computer science 126. 1994. pp.182-235.
• 中田明夫. 時間オートマトンによる実時間システムの形式的検証. 計測と制御, 第48巻, 第11号. 計測自動制御学会, 11, 2009. pp.1-7.
• UPPALL. http://www.uppaal.org/.
• Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee. A Safety-Assured Development Approach for Real-Time Software. RTCSA. August, 2010. pp.133-142.

Terms in the title (1)： 制御プログラム