earticle

논문검색

Implementation of AADL Interpreter Based on K

원문정보

Fan Zhang, Weining Su, Yang Gang, Tianfang Wang

보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.8 No.4 2015.04 pp.177-184
피인용수 : 0건 (자료제공 : 네이버학술정보)

초록

영어

By using model-driven architecture (MDA), most of errors can be discovered and solved at the early stage of system design. AADL lacks formal semantics which are essential for real-time embedded systems with high safety requirements. In this paper, we design and implementation the AADL Interpreter based on K semantics framework, and this lays a solid foundation for formal analysis and verification of AADL model.

목차

Abstract
 1. Introduction
 2. Related Work
 3. AADL Interpreter
 4. Test of Interpreter
  4.1 Abstract Syntax Tree
  4.2 Eliminate Ambiguity
 5. Conclusion and Future Work
 Acknowledgements
 References

키워드

저자정보

  • Fan Zhang School of Computer Science and Engineering Northwestern Polytechnical University Xi’an China
  • Weining Su School of Computer Science and Engineering Northwestern Polytechnical University Xi’an China
  • Yang Gang School of Computer Science and Engineering Northwestern Polytechnical University Xi’an China
  • Tianfang Wang School of Computer Science and Engineering Northwestern Polytechnical University Xi’an China

참고문헌

자료제공 : 네이버학술정보

    함께 이용한 논문

      ※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.

      0개의 논문이 장바구니에 담겼습니다.