Earticle

초록

영어

At present, embedded system development establishes embedded component model (ECM) with informal and unstructured methods, and the dependencies among components are implicit and lack rigorous semantic. This paper presents a formal model for specification, verification, and composition of embedded system. In this paper, we provide a rigorous and compact description of the modeling elements of ECM and define component combination operations based on formal semantics which is feasible and effective both theoretically and practically. The corresponding techniques such as component property, connection constraints and ECM hierarchy are also discussed in this paper. Based on this model, DTSED component production toolkit is developed as the support platform for the ECM. Finally, a case study is introduced to explain how the above ECM can be used.

목차

Abstract
 1. Introduction
 2. The Embedded Component Model
  2.1. Components
  2.2. Component Operations
  2.3. Hierarchy of ECM
 3. Platform and a Case Study
 5. Conclusion
 Acknowledgements
 References

키워드

저자

• Ruiqin Sun [ College of Computer Science and Electronic Engineering, Hunan University ]
• Guanzhong Yang [ College of Computer Science and Electronic Engineering, Hunan University, Changsha, 410082, China ]
• Dafang Zhang [ College of Computer Science and Electronic Engineering, Hunan University, Changsha, 410082, China ]
• Bowen Yang [ School of Information Science and Engineering, Central South University, Changsha, 410082, China ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Control and Automation

• 간기

  월간

• pISSN

  2005-4297

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605