EAST-ADL
型号:MetaEdit+
价格:电话咨询
产地:芬兰
MetaEdit+ 介绍
使用MetaEdit+进行特定领域建模已被广泛用于各个领域和行业,以实现生产率和质量的根本改善。下面列出的示例仅代表受益于这种方法的数百个域中的一小部分。请通过页脚的联系方式,或https://www.metacase.com/company/与我们联系,以更详细地了解这些案例,并讨论DSM如何使您在您的域中受益。
1.物联网(Internet of Things)设备开发
一种将应用程序定义到物联网设备中的特定领域建模语言。
图1、将IoT应用定义到设备中
图1-2、MetaEdit+中定义IoT设备及生成的JSON代码
图一为用于将IoT应用程序定义到嵌入式设备的DSM。建模语言遵循状态机,并直接使用IoT服务和设备传感器作为建模结构体。生成器可以直接生成JSON代码,并在IoT设备中上传并执行。
此示例在MetaEdit+的评估版(示例存储库中的“ IoT”项目)中可用。
2.自适应系统
一种DSM语言,用于指定自适应系统(如无人机,无人驾驶火车系统或自动驾驶汽车)的DSM。DSM涵盖系统概念,相关的行为规则和概率分布。模型用于首先指定本体,然后指定相关行为。最后,将代码生成到知识推理框架。
图2、定义自适应系统的概念树
3.批处理控制(ISA88)
用于定义批处理过程控制程序和方法的DSM。生成器以标准的或供应商特定的格式/扩展,生成控制逻辑。
图3、批处理控制
4.多视图移动应用程序开发
图示展示MetaEdit+为不同的利益相关者使用同一模型的多个视图的能力(例如,详细视图和用户视图)。
图4-1、视图移动应用程序开发
图4-2、MetaEdit+中定义视图移动应用程序的代码
4.1 移动应用规范语言
MetaEdit +支持创建同一模型的多个视图,使各个涉众可以看到最适合他们的视图。
使用者视图:
图4-3、用户视图
详细视图:
图4-4、细节视图
5.汽车EE架构
一种DSM语言,用于指定汽车嵌入式体系结构(EAST-ADL)。
图5-1、汽车EE架构
图5-2、汽车EE架构图的代码
5.1 用于汽车嵌入式架构的EAST-ADL语言
EAST-ADL是一种特定领域建模(DSM)语言,可满足工业规模汽车嵌入式系统基于模型的开发需求。它涵盖了车辆功能,功能架构和硬件架构的规范-所有这些都与可追溯的需求有关。
MetaEdit +提供了一个多用户开发环境,其基于存储库的体系结构可扩展到大型系统和模型-每个项目最多40亿个模型元素。由于MetaEdit +是DSM工具,因此EAST-ADL元模型可以适应(参见https://www.metacase.com/products.html)特定需求,并且可以完全访问生成器并与其他模型和工具链接(参见https://www.metacase.com/webcasts/DSM_Integration.html)。
EAST-ADL的模型以抽象级别构建,其中每个子模型在相关的详细级别代表完整的嵌入式系统。EAST-ADL的抽象级别映射到ISO 26262中给出的抽象级别。体系结构模型可以转换为各种软件体系结构,包括AUTOSAR,JasPar和内部框架。建模功能包括:
*需求及其可追溯性,以及与外部需求管理工具(ReqIF,Excel导入和导出)的集成
*产品变型计划的功能和功能依赖性
*分析和设计级别的功能架构
*硬件架构及其功能分配
*可靠性和错误建模(ISO 26262安全设计流程)。通过从标称功能架构自动创建可靠性和错误模型来支持安全设计
*通过时间,因果和计算约束的系统行为
建模工具为各种视图和级别提供集成的建模支持。根据正确性,一致性和完整性规则检查模型。经过验证和有效的模型可用于各种生成器和转换,其中许多是与我们的合作伙伴合作开发的。当前,发电机可用于:
*Simulink:导入,导出,检查
*SoftwareComponent到软件平台的映射,例如AUTOSAR
*HIPHOPS:(FMECA)故障分析
*文档生成(RTF,WORD,HTML等)
*要求(ReqIF)
*功能模型接口(FMI),用于模型交换
*转换也可用于外部需求管理工具(例如Excel),导入现有定义(例如数据类型),以及使用XML格式在工具之间交换模型和元模型。使用API,可以从外部分析工具和IDE工具(例如Visual Studio和Eclipse)完全访问MetaEdit +中的模型并对其进行动画处理。
*与我们合作,客户创建了生成器来支持其内部流程和目标,例如:
*AUTOSAR
*Modelica
*SPIN
*Stateflow
*UPPAAL
*Testing environments
完整版本作为MetaEdit +用户的存储库提供,并且单独获得许可。要获得完整版本的建模和生成器支持,请致电13391680017或email:info@yeerichtek.com。
更多的相关信息有:
*EAST-ADL教程
*EAST-ADL的建模编辑器上的幻灯片
*关于使用MetaEdit +定义生成器的白皮书
*联系我们安排会议或演讲
5.2 EAST-ADL建模示例
车辆特点:
图5-3、车辆特点
体系结构:
图5-4、体系结构
功能和硬件分配:
图5-5、功能和硬件分配
功能行为:
图5-6、功能行为
故障建模:
图5-7、故障建模
安全设计流程:
图5-8、安全设计流程
6.金融服务
一种DSM语言,用于使用静态声明性模型指定保险产品。用于使用静态声明性模型指定保险产品的DSM。保险专家(非程序员)绘制模型以定义不同的保险产品,然后生成器为J2EE网站生成所需的保险数据和代码。
图6、金融服务
7.汽车信息娱乐系统
一种基于汽车信息娱乐系统的用户界面概念的建模语言,例如应用程序,显示器,按钮和菜单。利用这些概念,开发人员可以通过将建模概念连接在一起来设计应用程序的逻辑和流程。该解决方案允许可用性专家和开发人员使用相同的模型,并最终生成HMI代码。这不仅使开发任务自动化,而且改善了沟通,反馈和可测试性。
下面的建模语言说明了创建动态交互式模型的能力,这些模型会根据布局的更改自动更新。MetaEdit+的评估版中提供了此示例。
图7-1、汽车信息娱乐系统
图7-2、导航系统
8.铁路系统的轨道控制
DSM解决方案,用于设计铁路系统的轨道控制。语言概念是铁路轨道的概念,例如路段,信号,开关,灯,车站等。解决方案包含用于合法轨道配置,轨道设计分析和轨道控制代码生成的规则。
图8、铁路系统的轨道控制
9.PLC加热应用
DSM解决方案,用于对加热系统(结构和性能)进行建模并生成PLC软件。
图9、PLC加热应用及MetaEdit+中定义加热应用程序的代码
9.1 加热系统的PLC应用
此示例显示了用于开发加热系统和生成PLC代码的DSM。有两种集成的特定领域建模语言,可以指定系统的结构和行为。使用这些语言,开发人员可以直接使用领域的领域概念(例如管道,泵,阀门,压力传感器)及其相关行为(例如打开或关闭阀门)来设计供热应用。生成器用于生成可执行代码,并集成到PLC软件开发环境中。生成器还用于生成安装指南,文档和模型检查。
系统结构:管道和相关仪器:
图9-1、系统结构:管道和相关仪器
系统行为:
图9-2、系统行为
生成的PLC代码示例显示了状态机的实现:
该示例包含在MetaEdit+的评估版中,并在以下指南中进行了描述:加热系统:管道和使用PLC的仪表。
图9-3、生成的PLC代码
10.呼叫处理语言
用于创建呼叫处理系统的DSM解决方案。DSM解决方案允许使用电话呼叫服务概念轻松指定呼叫处理服务。在特定领域建模:启用完整代码生成的第5章中可以进行进一步的讨论。
图10-1、呼叫处理语言
图10-2、MetaEdit+中定义呼叫处理语言的代码
11.Web应用程序
用于开发Web应用程序的DSM解决方案。
该Web应用程序示例说明了如何使用UML(和滥用UML)来指定Web应用程序,以及如何从这些模型中生成完整的工作应用程序。为此,在MetaEdit+中实现了特定于域的生成器。与只能创建类和方法框架的UML工具提供的标准生成器不同,此生成器生成我们为每个应用程序所需的完整代码。
使用该示例,开发人员可以使用熟悉的UML核心概念设计简单的数据库Web应用程序。我们还将看到,超越简单的示例,如何需要增加对UML语义的扭曲和重新定义,从而导致一种难以使用的语言,而不再是除符号外的“ UML”。完整说明见《WEB应用例子说明》。
图11-1、Web应用程序
图11-2、Web应用程序的HTML界面
12.工业机器控制
用于液压机控制的DSM解决方案。
一种DSM解决方案,用于为液压臂杆控制器创建软件。该解决方案包含预配置的曲线,自学习阀控制器以及与液压阀有关的速度反馈控制。还包括减振和避免刺激。
图12-1、工业机器控制
图12-1、MetaEdit中定义工业机器控制代码
13.文档工程
用于文档工程的DSM解决方案可以在特定领域的概念的高度抽象级别上指定以文档为中心的系统的静态和动态特性。该解决方案包括四种用于广告建模的语言,适当的文档,工作流控制和布局模式,以及支持特定于领域的框架和代码生成器。
图13、文档工程
为了解决非常频繁的规范改进问题,引入了增量文档规范和增量文档渲染的概念。语言的表达能力可以在文档工程的代表性示例(包括文档内容规范,工作流控制和应用程序生成)上看到。所有上述语言都集成到单个元模型DVDocLang中,由于其简单性,它非常适用于用户驱动的概念建模。
生成的模型和生成的代码在DVDoc文档工程环境中使用。
14.RTOS配置
用于指定和生成实时操作系统(基于ITRON)的配置的DSM解决方案。该模型显示了任务及其属性(任务ID,优先级,参数等),中断,调度程序和处理程序。由于建模语言直接使用这些领域概念并遵循相关规则,因此可以防止进行非法配置。可以使用专用检查报告对配置进行分析和检查,并最终生成最终配置。
图14-1、RTOS配置
图14-2、MetaEdit中定义RTOS配置代码
15.微控制器产生8位汇编器的应用
一种DSM解决方案,用于为8位微控制器开发语音菜单系统。该模型显示了菜单系统的类似流程的执行。生成器产生具有语音菜单域内所需的存储器寻址,计算和操作所需功能的汇编器。
特定领域建模:启用完整代码生成的第7章中提供了进一步的讨论。
图15-1、微控制器产生8位汇编器的应用
图15-2、MetaEdit中定义微控制器产生8位汇编器应用的代码
版权所有© yeerichtek.北京怡然瑞丰科技有限公司
地址:北京市昌平区回龙观镇北京骏一人工智能产业园一层1021室