由于嵌入式系统功能的复杂性和需求的多样性,使得在工程上进行嵌入式系统的设计成为难题建立一个良好的形式化系统模型,在系统设计的初级阶段对系统进行模拟和仿真,对系统的有效性、稳定性和可靠性进行分析,及时对系统设计进行相应的优化并且及时发现系统级的逻辑和时序错误,可以避免不必要的损失,也可以增强设计过程的规范性。应用Pet ri网对嵌入式系统进行高级综合建模是近年来发展的一个新技术。Petri网的概念最早是由西德的CA.Pet ri博士于1962年提出来的,70年代以后,Pet ri网理论在欧美一些国家得到了迅速的发展,并被广泛应用于计算机科学技术和其他许多学科领域但单纯的Petri网在表达嵌入式系统上有不足之处,因此人们根据嵌入式系统的实际应用提出了多种扩充的Pet ri网模型。扩展的时间Pet ri网EPTN能够描述时间信息,并可以清楚地表现出数据和控制的流向,缺点是将数据和控制分别用2个图表示,即控制用时间Petri网表示,数据用有向图表示,不利于对数据和控制流的综合分析!PR ESI-是专门为嵌入式系统提出的Petri网模型,它可以表示复杂的数据运算,准确地分析系统的时间特性,并支持对系统不同层次的抽象,缺点是弱化了对控制流的表达。双变迁Petri网f DTPN)用不同的变迁分别表示对数据和控制的处理,但它在描述数据操作时不能表示较复杂的运算,对时间约束的描述和分析也不充分盯。
本文针对嵌入式系统提出了一种改进的Pet ri网模型 EPRES f extended Petri net based rep res en to tion for emb ed ded svstem).可以对系统的功能实现资源洳内存、带宽能量等消耗、时间约束等做出较充分的刻画。
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
全部0条评论
快来发表一下你的评论吧 !