Development of High Reliable Reactive System Using LTL Synthesis

LTL Synthesis를 통한 반응형 시스템의 신뢰성 향상

연구 과제번호 : 모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발

P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, 2008.
E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking, MIT Press, 1999.
D. Harel and A. Pnueli, "On the Development of Reactive Systems", NATO ASI Series, K. Apt, ed., vol. F-13, pp. 477-498. New York: Springer, 1985.
M. Broy, et. aI., Model-based Testing of Reactive Systems, Lecture Notes in Computer Science 3472, Springer, 2005.
K. Schneider, Verification of Reactive Systems: Formal Methods and Algorithms, Springer, 1998.
A. Pnueli and R. Rosner, "On the Synthesis of a Reactive Module", In the proceedings of 16th ACM Symposium Principles of Programming Language, pp.179-190, 1989.
N. Piterman, A. Pnueli, and Y. Saar, "Synthesis of Rective(1) Designs", In the proceedings of VMCAI, pp. 364-380, 2006.
T. wongpiromsam, U. Topcu, and R. M. murray, "Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems", In the proceedings of AAAI, 2011.
G. E, Fainekos, H. Kress-Gazit, and G. J. Pappas, "Temporal Logic Motion Planning for Mobile Robots", In the proceedings of ICRA, pp.2020-2025, 2005.
H. Kress-Gazit, Transforming High Level Tasks to Low Level Controllers, Ph. D. Dissertation, University of Pennsylvania, 2008.
http://ltlmop.github.com
Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas. "Translating Structured English to Robot Controllers", 2008, Advanced Robotics Special Issue on Selected Papers from IROS 2007