摘要
根据嵌入式系统软件的特点和发展需求,设计了一种新的嵌入式软件组件模型SECOM,给出了模型的基本组成元素。同时,利用时间Petri网TPN建立一个TPN计时器timer,对该组件模型SECOM非功能性约束中的实时性进行建模与分析,形式化地验证了该组件的实时性。
This paper provides a new component model based on the characteristics and application requirements of embedded systems, the essential elements are also presented. At the same time, time Petri net is introduced. Especially, we set up a timer using time Petri net to model and analysis the non-functional constraints of SECOM ,which satisfies the real-time requirement of embedded component software.
出处
《电子技术应用》
北大核心
2009年第2期27-29,共3页
Application of Electronic Technique
基金
教育部科学技术研究重点项目(208148)