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文件 全部的 前5名34位作者引用 1 埃尔梅森·安德拉德 1 埃蒂安·安德烈 1 卢西亚诺·巴雷西 1 穆罕默德·马赫迪·本穆萨 1 西蒙娜·伯纳迪 1 皮埃尔·博莱特 1 克里斯蒂安·布鲁内特 1 古斯塔沃·卡卢 1 陈德久 1 陈明帅 1 克莉丝汀,杂乱无章 1 菲利普·杜蒙特 1 冯磊 1 阿卜杜拉耶·加马蒂 1 蒂埃里·高蒂尔 1 Gianpaolo Giioosa 1 卡林·格利蒂亚 1 弗兰克·哈格尔 1 大卫·A·卡尼。 1 亨利克·洛恩 1 保罗·马西尔 1 何塞·梅尔塞格尔 1 布鲁诺·马加莱斯·诺盖拉 1 塔希尔·纳西尔·库雷希 1 安德斯·雷文(Anders P.Ravn)。 1 阿特雷夫斯达尔 1 罗西(Matteo A.C.Rossi)。 1 朗希尔德·科布罗·伦德 1 Stølen,凯蒂尔 1 Jean-Pierre塔宾 1 王淑玲 1 杨孟飞 1 詹乃军 1 周瑜 全部的 前5名8篇连载文章中引用 2 逻辑与代数程序设计杂志 1 信息处理信件 1 计算 1 计算机与系统科学杂志 1 计算机科学与技术杂志 1 计算的形式方面 1 多维系统及信号处理 1 离散事件动态系统 在3个字段中引用 8 计算机科学(68至XX) 三 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文