一种基于实时操作系统仿真的嵌入式系统设计和验证方法.pptVIP

An RTOS-Based Design and Validation Methodology for Embedded Systems 摘要：这篇论文展示了一个基于一种在嵌入式的设计和验证的方法之上的实时操作系统. 我们方法的核心是从很早系统设计阶段使用一个实时操作系统的仿真模型.一个jpeg解码的应用实例被用来展示我们方法的有效性. 关键词:RTOS,共仿真,嵌入式系统 实时嵌入式系统的函数已经被持续增加.例如,最近手机的功能已经远远不止是打电话了,现在的手机不仅能收发邮件,浏览网页,照相,录放电影.看电视节目.用GPS来显示使用者当前位置的地图.等等,在这样复杂的嵌入式系统里,实时操作系统在管理整个系统上起着一个十分重要的作用.包括软件和硬件.在这篇论文里,我们展示了一个实时操作系统为导向的方法,这个方法是在嵌入式平台的设计和验证.核心部分是用实时仿真模型在早期做的. 鉴于此,系统的当前和相互作用的行为可以被专门计算.验证的有效性和执行的平滑行.这种方法是基于一种灵活的仿真平台和一个标准实时操作系统的完整仿真模型,我们可以聚焦于合仿真的应用上.但是不去描述如何去在嵌入式系统设计的内容里使用它. 这篇论文,另一方面展示了一个在设计与验证嵌入式系统的实际方法. 这篇论文是按照下面所说的组织的.第二段说明了一些相对的工作.第三部分描述了我们的设计和验证方法,第四部分展示了一个研究的例子.第五部分包括这篇论文当前的地位和未来的发展工作. 在过去的研究中我们不难发现在进行软硬件统一设计和仿真时,我们很少注意到实时操作系统尽管他们在嵌入式系统里的重要作用.很多早期的研究表明统一设计是用系统专门写在像c,c++这样的软件程序语言. 然而单单用c在明确系统的功能是不够灵活性的,因为c/c++不能获取多任务的当前值而这个值是用来相互通信的.事实上,这些早期的研究努力假定了一个非常简单的系统模型包括一个信号和一些应用任务,并不考虑到实时操作系统.而其它的一些系统假设用一些像任务图表之类的抽象模型来代表系统参数. 使用这些模型可以不用实时操作系统就可以描述当前的状态. 大多数过去的抽象模型不能提供任何的仿真系统参数的实际解决办法.在复杂嵌入式设计中,广泛的仿真系统参数用来验证这功能校正是非常重要的. 一些最近的研究者们用了遗传实时操作系统模型,为系统水平设计和统一仿真.这种实时操作系统模型被用于应用软件的自然执行,这种软件包括实时操作系统服务的要求.在基于验证的仿真之后,实时操作系统指令被真正的实时操作系统指令所代替,他是用来在最后的执行器里去获取最终的软件代码.在第五部分,展示了一种自动的产生实时操作系统依靠的用c描述的软件的方法. 这种方法代替了c系统在同时性和与实时操作系统服务指令的通信的限制。 为了使得模型更加具有普遍性和独立于特定的实时操作系统.例如,在第三部分里提到的实时操作系统模型仅仅有十六条服务指令.然而,即使再小的实时操作系统内核也会提供更多的服务.例如μITRON标准指令集就是一种很流行的专门为小规模嵌入式系统设计的实时操作系统内核.有多于80条服务指令. 这些指令或许会被充分利用为了写一个高质量的软件.然而,很容易想到那些用以前的方法自动产生的软件的质量明显低于用这种经典的实时操作系统独立软件. 在这篇论文提到的设计和验证方法里,一个设计者首先选择了一种实时操作系统然后描述系统参数使用由实时操作系统提供的服务指令.因为这些规范取决于特定的实时操作系统,所以在不同的操作系统平台上移植是一件不易的事.根据我们的经验,然而,很多工厂设计团队并不会在实际中使用很多不同的实时操作系统.他们往往在几年里会使用一些非常有限的实时操作系统指令集为了可以重复利用已经有了的软件.我们的方法适用于这种设计团队或者这样的一些应用领域,在这里一个或很少的少时操作系统在很长的时间里用到,实际上,我们采用了一种标准化的实时操作系统. μITRON,来开发CAD工具(包括仿真平台和实时操作系统仿真模型)来支持我们的方法. μITRON,是一种从小到中型的嵌入式操作系统,它不是一种特殊的实时操作系统产品,但是是一个应用程序接口标准.他仅仅定义了一组API应用函数集.而且这些函数体的执行或许会因基于实时操作系统的μITRON,不同而不同.因此我们的方法是有效的只要设计者们使用符合μITRON标准的实时操作系统,注意到我们的方法不仅限于基于实时操作系统的μITRON,其它包括有仿真模型的实时操作系统也可以被使用. 在第六七部分,用了一种不同方法用来嵌入式软件设计,在他们的方法里,首先分析应用软件,并且在最终的实时操作系统里仅仅包括了在应用中使用到的实时操作系统服务部分,这种工作就像是我们的那些在应用软件中使用的服务指令集是提前定义的一样.主要的不同