百科释义
报错MARTE（Modeling and Analysis of Real-Time and Embedded Systems）是国际对象管理组织（OMG）于2008年制定的开放式建模规范。作为UML-SPT的继承者，该规范通过引入时钟概念、硬件资源建模和软件资源建模机制，弥补了传统UML在嵌入式实时领域非功能属性表达能力的不足。其技术架构包含时间模型、硬件资源模型和软件资源模型三个核心组件，支持从系统建模到部署映射的全生命周期开发。在安全性验证方面，通过与SysML等建模语言结合，可转换为时间自动机、AltaRica等分析模型，应用于航空电子、工业控制等安全关键领域。 查看百科
注：百科释义来自于百度百科，由网友自行编辑。