×

MARTE公司

swMATH ID: 21826
软件作者: 对象管理集团。
描述: MARTE:实时和嵌入式系统的建模和分析。UML®概要文件的规范为UML添加了用于实时和嵌入式系统(RTES)的模型驱动开发的功能。这个扩展名为MARTE(简称MARTE)的UML概要文件,提供了对规范、设计和验证/验证阶段的支持。这个新的概要文件旨在取代现有的UML概要文件,以实现可调度性、性能和时间(formal/03-09-01)。MARTE包括为实时和嵌入式系统的基于模型的描述定义基础。然后对这些核心概念进行细化,以用于建模和分析关注点。建模部分提供了从系统实时和嵌入式特性的规范到详细设计所需的支持。MARTE还关注基于模型的分析。从这个意义上讲,目的不是定义用于分析实时和嵌入式系统的新技术,而是支持它们。因此,它提供了用执行特定分析所需的信息注释模型的工具。特别是,MARTE侧重于性能和可调度性分析。但是,它还定义了定量分析的一般框架,旨在细化/专门化任何其他类型的分析。
主页: http://www.omg.org/omgmarte网站/
相关软件: 系统建模语言;Uppaal公司;自旋蛋白;Matlab公司;TINA公司;Simulink公司;马戏团;大都市;托勒密;Modelica公司;状态流;纸莎草;拍打;罗密欧;HERBY公司;DaProS公司;UML秒;NuSMV公司;棱镜;沙尔米
引用于: 10文件

按年份列出的引文