嵌入式软件组件的实时性研究-甘肃科技.PDF

第２９卷　第６期 甘肃科技 Ｖｏｌ２９　Ｎｏ６ ２０１３年３月 ＧａｎｓｕＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ Ｍａｒ　２０１３ 嵌入式软件组件的实时性研究 刘　爽 （西北师范大学 数学与信息科学学院，甘肃 兰州７３００７０） 摘　要：设计了一种新的基于嵌入式系统软件特点和应用需求的嵌入式软件组件模型ＳＥＣＯＭ。同时，利用时间Ｐｅｔｒｉ 网ＴＰＮ建立了一个ＴＰＮ计时器ｔｉｍｅｒ，对该组件模型ＳＥＣＯＭ非功能性约束中的实时性进行了建模与分析，结果满足 嵌入式软件组件的实时性要求。 关键词：Ｐｅｔｒｉ网；ＴＰＮ；嵌入式组件；ＳＥＣＯＭ；非功能性约束 中图分类号：ＴＰ３９１ 统的动态模型，可进一步将系统中事件从发生到结 １　引言 束所需的时间描述出来。时间网假定任何系统都有 目前，随着科技的发展，大多数的电子系统和产 一个统一的全局时间，虽然这种假定与Ｐｅｔｒｉ网中的 品含有特定的硬件器件和特定的功能模块，显然这 局部时间的基本观点不一致，但在许多实际应用问 些系统是多种类，嵌入式的。嵌入式的软／硬件设计 题的建模中还是可以找到它的用途。 是一项复杂工作，为了满足系统的可靠性、运行效 时间网ＴＰＮ中表示事件的持续时间的方法有 果、内存受限等要求，嵌入式系统除了需要实现功能 两种：一种是将各事件的持续时间标在库所的旁边， 需求外，非功能性的约束（Ｎｏｎ－ｆｕｎｃｔｉｏｎａｌｃｏｎ 表示库所中产生的托肯要经过一定的时间后才能参 ｓｔｒａｉｎｔｓ）也是非常重要的方面。非功能性约束包括 与网中的运行；另一种方法是将时间标注在变迁的 实时性、程序性能、稳定性、可靠性、安全性、内存限 旁边，表示当该变迁具有发生条件时要延迟一段时 ［１，２］ 间后才能发生，或该变迁发生后，立即从相应的输入 制、存储空间限制等 。 对于非功能性约束的考虑方法可以分为两大 库所中移走相应的托肯，但要延迟一段时间后才在 类：面向过程（ｐｒｏｃｅｓｓ－ｏｒｉｅｎｔｅｄ）的方法和面向产品 相应的输出库所中产生相应的托肯［５，６］。在下面的 的方法（ｐｒｏｄｕｃｔ－ｏｒｉｅｎｔｅｄ）。 时间Ｐ／Ｔ网定义中采用的是后一种方法。 面向过程的方法指：使用非功能性约束信息指 为了定义时间Ｐ／Ｔ网ＴＰＮ，先给出如下２个预 导软件的开发过程。 备定义： 面向产品的方法指：在组件内部描述非功能性 定义１：当某一变迁的发生条件满足时，若该变 约束信息，并检查组件构成的产品的非功能性约束 迁要延迟一段时间后才从相应的输入库所中移走相 信息判断软件是否满足要求的非功能性约束。 应的托肯并得到发生后果，或该变迁发生后，立即从 将对提出的ＳＥＣＯＭ（ＳｉｍｐｌｅＥｍｂｅｄｄｅｄＣｏｍｐｏ 相应的输入库所中移走相应的托肯，但要延迟一段 ｎｅｎｔＯｂｊｅｃｔＭｏｄｅｌ）嵌入式组件模型的非功能性约 时间后才得到发生后果，则称这样的变迁为时间变 束，考虑使用面向产品的方法，在组件内部采用Ｐｅ 迁。 ｔｒｉ网方法描述非功能性约束信息。 定义２：当某一变迁的发生条件满足时，若该变 迁立即从相应的输入库所中移走相应的托肯，且立 ２　时间Ｐｅｔｒｉ网 即得