admin 管理员组文章数量: 887031
2024年1月18日发(作者:verilog语言wait语句)
广州虹科电子科技有限公司实时开发工作室(RTDS:RealTimeDevelopmentStudio)一个好的模型要足够抽象以便使创造力不会因过多的细节而减慢,但是要有足够的精度以便能够开展讨论和验证。这说明有几种水平的建模:非常不正式的模型以表达一个想法或一个概念,半正式模型以连接想法和实施,以及正式模型以便实施前可做全面验证。无论你对模型驱动开发有多么熟悉,实时开发者工作室(RTDS)将为您提供所有方法,从非正式模型的新手,经过半正式模型的一般水平,到成为完全正式模型的高级专家。实时开发者工作室(RTDS)基于公认的国际标准,并且把它们组合起来为您提供一个一致性的和完美无缺的方案,应用于实时和嵌入式系统。主要优点:●标准的面向对象图形化模型表示因为采用图形化的模型表示关系到和团队其他成员,和客户,或者和分包商之间的通讯,在RTDS中使用的标准化图形模型表示足够精确并可避免模棱两可。因为非常少的项目是从草稿起步的,因此重复可用性具有顶级优先权,以便集成遗留代码和编写重复可用的组件。●从规格到目标开发流程从规格和设计到集成于目标不能存在缺口或不一致。规格要随设计而更新以减轻往返工程。●自述文档和遗留代码软件文档从高水平规格更新到最终代码,并且整个团队都可用。●保持控制当开始项目设计时,实时设计者能够始终控制该工具做的事情,以及如何做的,因为嵌入式软件常常有优化问题。●测试模型RTDS支持专用的测试语言,并且该测试案例可在代码生成前运行于你的模型。●集成第三方工具该开发环境是开放的,可在开发流程中某些点访问所有第三方工具。●保护你的投资当今,没有人有时间去验证投资某个工具或某项技术的所有方面,并且历史已经表明即使从主流厂商购买也有可能导致灾难。因此,在下决定之前,有几项需要检查以保护您的投资:1、实时开发者工作室(RTDS)完全基于国际标准2、它是市场上最便宜的工具3、只要求很少的培训4、没有隐藏的成本因为我们的业务模式是100%基于产品1)建模RTDS支持几种建模级,从非常不正式模型以表达一个想法或者一个概念,半正式模型以实现从概念到实施之间的连接,以及正式模型可在实施之前进行全面验证。模型越正式,所做的验证越多。非正式模型开发流程的最早期,概念还没有确定。此时建模要求非常开放并且要把细节放在一边。此时是建档的时候,是用高水平情节表达使用案例的时候,是专注于“什么”取代专注于“如何”的时候,是建立一套依存关系以保证需求的可追溯性的时候。
广州虹科电子科技有限公司使用案例图演员被确认,也包括他们如何同该系统交互。
广州虹科电子科技有限公司序列图序列图或报文序列表提供详细的情节说明。每个对象,信号或任务在图上显示为一条线,时间从高向低走。系统中的关键事件有一个图形化表示,例如:内部状态修改;输入和输出;
广州虹科电子科技有限公司定时器操作;信号操作(获取和给出);任务生成。序列图可用于指定一个行为或追踪系统的执行。半正式模型半正式模型适用于心中有一个目标的开发者。这种基本的想法是把代码和图形化模型混合在一起。这样就很容易掌握因为它是模型内的传统代码。并且能够保证模型和代码始终同步因为一个嵌入到另一个。全正式模型
广州虹科电子科技有限公司对于那些需要在进行下一步之前全面验证他们的模型的开发者,正式建模是必需的。适合这种情况:证明,安全鉴定系统,或者当该系统外包给二级承包商时。系统的顶层架构可设计出草稿,也包括它们的界面。
广州虹科电子科技有限公司2)归档自动文档生成RTDS可以自动生成你的系统的全部文档,以使文档,模型,和代码始终保持同步。图形的每个部分(图形符号,转换,状态,划分,整个图形)可以出版的形式输出。文本与出版相关联,可在图形化之前或之后显示:生成出版物该出版然后被组织到文档中,该文档定义所输出的组织和文档的类型:
广州虹科电子科技有限公司在文档中组织出版该文档可被自动生成为RTF,OpenDocument,HTML,或SGML格式:自动生成的OpenOffice文档3)仿真:RTDS-模拟正式和半正式模型可通过模拟来验证它们。半正式模型模拟可在主机平台上执行生成的代码,而正式模型将使用内置的模拟内核。
广州虹科电子科技有限公司●半正式模拟是基于所选目标模拟器语义,它可以是一个RTOS模拟器或者一个处理器模拟器(ISS)●正式模拟提供全面控制系统的执行,从个别时间执行到实时执行,改变状态,改变变量值,生成信号,删除信号,等等模型调试器
广州虹科电子科技有限公司可通过该界面获得内部信息:设置中断点和进行图化设置●系统信息○运行进程列表○待定报文列表○重新组织那些使模拟不能确定的待定报文的排序●处理时间○查看待定定时器列表○个别时间运行该系统○有一个实时系统行为●查看本地变量
广州虹科电子科技有限公司●观察远程变量●设置图形中断点●在模型中进行图形化设置动态图形踪迹该模拟器和调试器可生成一个图形化执行踪迹,可详细查看系统的行为。系统内的关键事件都有一个图形化表示例如:内部状态修改,带结构参数的报文输入和输出,定时器,进程生成或删除...MSCDiffMSCDiff可检查两个情节之间的不同之处:●一个系统是否符合它的要求●系统的新版本的行为是否还象老版本(非回归测试)该差异检查功能可设置过滤掉某些元素。引起的情节会以黑色显示常规信息,蓝色显示差异,或者根据符号来自哪个图显示红色。一个执行的踪迹
广州虹科电子科技有限公司相对另一个轨迹或另一个要求进行对比4)验证:RTDS-验证实时开发者工作室提供几种途径来验证一个系统:SDL-RT代码覆盖范围在某个调试阶段的任何时间,可在所有架构层图形化查看模型覆盖范围。你可以看到某个转换有多少次被实施,某个状态有多少次被达成,以及某个符号有多少次被执行。
广州虹科电子科技有限公司覆盖范围查看窗口针对需求因为实时开发者工作室(RTDS)支持图形表示需求,所以可以验证针对需求的一致性。
广州虹科电子科技有限公司追踪器可以比较需求与踪迹来检查一致性。
广州虹科电子科技有限公司利用一个原型因为实时开发者工作室(RTDS)有一个内置的原型化GUI设计工具以便与模型轻松交互。原型化GUI编辑器用一个最终用户界面执行该模型看起来像真实系统,让开发者验证模型行为是否是你客户期望的。原型化GUI运算器针对不期望的情节因为实时开发者工作室(RTDS)集成全面的模拟和验证正式模型,正式模型基于开放的主流的第三方技术。观察者描述静态和动态规则,在所有可能情况下进行系统内验证。无论某个规则被认为违反或得到验证-根据该规则的对象-就会生成一个图形化的情节用于以后分析。
广州虹科电子科技有限公司在所有可能情节下验证静态规则在所有可能情节下验证动态规则5)代码生成:RTDS-代码生成无论模型有多么正式,都能够生成代码。代码生成适用于整个系统或者它的子部分,例如一个类,一个块,或者一个任务。生成的代码是清晰明了的因为它没有被仪表化。可定制代码生成流程以适合目标开发环境。集成于最主流操作系统的模板为标准组件。主机上模型层上的图形化调试和目标也可能带有内置调试器和混合调试器。图形化的踪迹可用在调试模式,也用在发布模式。支持RTOS和调试器用于下列RTOS的模板以源代码的形式包含在工具内:●ThreadX●VxWorks●OSE●CMXRTX●Posix●Win32●uITRON●Nucleus生成的代码被全面文档化并且任何公司的RTOS或调度器都可被集成。调度器也包含
广州虹科电子科技有限公司在代码生成器内以便系统的全部或部分能够在一个任务上被映射。所以也可以在一个空白目标上无需任何RTOS就可以实现集成。可以在模型内或者生成的源代码内对目标进行模拟或调试。因此实时开发者工作室(RTDS)集成了专业和混合调试器,例如:●Tornado●TaskingCrossViewPro●Multi2000●gdb○Linux○Solaris○Windows调试器GUI为了提供图形化调试,该工具使用一个C调试环境作为背景。RTOS系统调用已经集成在生成的代码内并且要启动调试器只需点击鼠标那么简单。调试器显示主要内部信息例如:●任务列表,带有它们的优先级,报文队列地址,报文队列内的报文数量,内部状态,RTOS任务状态,●活动定时器列表带有timeleft和启动它的任务名称,●信号量列表带有它们的状态和被阻塞的任务列表,●观察窗以跟随全部变量进展,●在当前堆栈帧内的本地变量在步入时会自动更新,●Shell提供主要事件的文本踪迹和直接进入gdb.控制执行模型调试器提供执行踪迹,步骤分为3层穿越整个模型:●从一个主要事件到另一个主要事件的步骤,例如:○发送一个报文○接收一个报文○改变状态○获取或释放一个信号量○生成一个新任务○操作一个定时器●在图表内的图形化步骤●在生成的C代码中的步骤
广州虹科电子科技有限公司模型调试器显示所有相关的内部信息
广州虹科电子科技有限公司在模型内或在生成的C代码内可图形化分步走并且可从一个表示形式切换到另一个:从模型向生成的代码的切换可前可后
广州虹科电子科技有限公司可生成一个活执行踪迹以便能够看到正在测试的系统:目标上的执行踪迹
版权声明:本文标题:通讯系统及其它嵌入式实时系统开发软件工具RTDS 内容由网友自发贡献,该文观点仅代表作者本人, 转载请联系作者并注明出处:http://www.freenas.com.cn/free/1705574489h490591.html, 本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容,一经查实,本站将立刻删除。
发表评论