Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

타임드 오토마타 모델 기반 코드 자동 생성 기술 현황 및 분석

  • Published : 2014.04.16
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. Selic, B., "The pragmatics of model-driven development," IEEE Software Vol. 20, No.5, pp.19-25, 2003. https://doi.org/10.1109/MS.2003.1231146
  2. Alur, R. and Dill, D. L., "A theory of timed automata," Theoretical Computer Science, Vol. 126, pp.183-235, 1994 . https://doi.org/10.1016/0304-3975(94)90010-8
  3. Larsen, K. G., Pettersson, P. and Yi, W., "UPPAAL in a nutshell," International Journal on Software Tools for Technology Transfer, Vol. 1, No. 1, pp. 134-152, 1997. https://doi.org/10.1007/s100090050010
  4. Waez, M. T. , Dingel, J. and Rudie, K., "A survey of timed automata for the pevelopment of real-time systems," Computer Science Review, Vol. 9, pp.1-26, 2013. https://doi.org/10.1016/j.cosrev.2013.05.001
  5. Amnell, T, Fersman, E., Pettersson, P., Sun, H. and Yi, W., "Code synthesis for timed automata," Nordic Journal of Computing, Vol. 9, No.4, pp.269-200, 2003.
  6. Wulf, M. D., Doyen, L. and Raskin, J.-F., "Systematic implementation of real-time models," in FM, ser. Lecture Notes in Computer Science, J. Fitzgerald, I. J. Hayes, and A Tarlecki, Eds., Vol. 3582. Springer, pp.139-156, 2005.
  7. Maquet, N., "Provably Correct Code Generation of Real-Time Controllers," Master's thesis, Universif'e Libre de Bruxelles, 2006.
  8. Altisen, K. and Tripakis, S., "Implementation of timed automata: an issue of semantics or modeling?" in Proc. 3rd Int. Conf. Formal Modelling and Analysis of Timed Systems (FORMATS05), Lecture Notes in Computer Science, Springer, pp.273-288, 2005.
  9. Hakimipour, N., Strooper, P. and Wellings, A, "TART: Timed-Automata to Real-Time Java Tool," in Proc. of the 8th IEEE Conference on Software Engineering and Formal Methods (SEFM'10), pp.299-309, 2010.
  10. Sentilles, S., Pettersson, A, Nystrom, D., Nolte, T, Pettersson, P. and Crnkovic, I., "Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems," in Proc. of the Research Demo Track of the 31th International Conference on Software Engineering (ICSE'09), pp. 607-610, 2009.
  11. Kuera, P., Hynica, O. and Honzk, P., "Implementation of timed automata in a real-time operating system," in Proc. of World Congress on Engineering and Computer Science, Vol. 1, pp. 56-60, 2010.
  12. Nielsson, S., "Introduction to the legOS kernel," 2000. http://legos.sourceforge.net/docs/kerneldoc.pdf
  13. Potop-Butucaru, D., Simone, R. D. and Talpin, J.-P., "The synchronous hypothesis and synchronous languages," in The Embedded Systems Handbook, R. Zurawski, Ed. CRC Press, 2005.
  14. Wulf, M. D., Doyen, L. and Raskin, J.-F., "Almost ASAP semantics: from timed models to timed implementations," Formal Aspects of Computing, Vol. 17, No.3, pp.319-341, 2005. https://doi.org/10.1007/s00165-005-0067-8
  15. Alur, R., "Timed automata," In Proc. of the 11th Int'I Conf. on Computer-Aided Verification (CAV'99), Lecture Notes in Computer Science, Vol 1633, Springer, pp.8-22, 1999.
  16. Fersman, E., Pettersson, P. and Yi, W., "Timed automata with asynchronous processes: Schedulability and decidability," In Proc. of TACAS 2002, Springer-Verlag, pp.67-82, 2002.
  17. Amnell, T, Fersman, E., Moktushin, L., Pettersson, P. and Yi, W., "Times: A tool for schedulability analysis and code generation of real-time systems," in FORMATS, ser. Lecture Notes in Computer Science, Vol. 2791. Springer, pp. 60-72, 2003.
  18. Henzinger, T, Ho, P.-H. and Wong-Toi, H., "HyTech: the next generation," In Proc. 16th IEEE Real-Time Systems Symposium, pp.56-65, 1995.
  19. Milano, P. D., "RTAI - the real-time application interface for linux," https://www.rtai.org/.
  20. Wellings, A. J.. "Concurrent and Real-Time Programming in Java," John Wiley and Sons Ltd, 2004.
  21. Alur, R, Ivancic, F., Kim, J., Lee, I. and Sokolsky, O., "Generating embedded software from hierarchical hybrid models," In Proc. of the ACM SIGPLAN Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES'03), pp. 171-182, 2003.
  22. Henzinger, T. A., Kirsch, C. M., Sanvido, M. A. and Pree, W., "From control models to real-time code using GIOTTO," IEEE Control Systems Magazine, Vol. 23, No.1, pp. 50-64, 2003.
  23. Boston Scientific, "PACEMAKER System Specification," Jan 2007, http://sqrl.mcmaster.ca/SQRLDocuments/PACEMAKER.pdf.