嵌入式软件组件模型的研究与设计

根据嵌入式系统及其应用的需求,分析了当前嵌入式软件组件技术的发展现状,设计一种新的嵌入式组件模型SECOM,给出了模型的组成元素及其形式化定义,并对组件组合进行详细的描述。同时,通过分析,总结了SECOM模型的多样性、语言无关性和可扩展性等优点,且指出下一步的工作目标。

基于Petri网的嵌入式软件组件的实时性研究

根据嵌入式系统软件的特点和发展需求,设计了一种新的嵌入式软件组件模型SECOM,给出了模型的基本组成元素。同时,利用时间Petri网TPN建立一个TPN计时器timer,对该组件模型SECOM非功能性约束中的实时性进行建模与分析,形式化地验证了该组件的实时性。

嵌入式软件组件的实时性研究

设计了一种新的基于嵌入式系统软件特点和应用需求的嵌入式软件组件模型SECOM。同时,利用时间Petri网TPN建立了一个TPN计时器timer,对该组件模型SECOM非功能性约束中的实时性进行了建模与分析,结果满足嵌入式软件组件的实时性要求。