摘要： Model Examiner - 功能安全解决方案（以下简称MXAM）测试套件是您进行全面静态模型分析的首选工具。MXAM提供了一种简单的方法来检查建模规范、分析模型结构和评估模型指标，所有这些功能都可以通过模型静态测试工具软件MXAM来完成。 MXAM通过自动运行模型规范检查以及自动修复或引导用户 阅读全文

摘要： 嵌入式系统是当今安全技术的关键 嵌入式系统是一种在大型设备内执行特定任务的专用计算机系统。它们被设计成小型且高效，同时极其可靠的控制器，能够执行原本需要复杂和昂贵解决方案的任务。嵌入式控制器广泛应用于航空航天、能源、交通、安全系统、消费电子和医疗诊断设备等多个行业。 由于需要高性能、安全、可靠、节能 阅读全文

摘要： 今天的汽车行业面临最大的挑战之一，就是从过去基于硬件的车辆过渡到软件定义汽车的时代。当软件成为造车行业发展的主要领域，越来越多的OEM和零部件供应商逐步转型为软件公司。汽车也单纯的从出行工具变成了移动的计算机，汽车的开发越来越像在四个轮子上去开发车载电脑。 随着智能网联汽车的快速发展，新技术不断涌现 阅读全文

摘要： 在基于模型的开发中，优质的模型架构是生成优质代码的必要前提。静态模型分析对于模型的质量保证有着至关重要的作用，同时建模规范已在业内有着广泛而成熟的应用。然而建模规范并非模型设计原则合规性的唯一考量标准，仍有许多方面，需要根据具体的模型属性加以改善。模型结构质量作为反映建模质量的重要方面，可通过一系列 阅读全文

摘要： 为了保证软件整体质量，软件测试和初始质量保证是必须的但并非唯一任务。在高质量软件的开发过程中，功能需求也至关重要。基于功能需求开发的软件模型在部分自动化的过程中进行测试和优化。近期，MES的专家正在为林德物料搬运有限公司（以下简称林德公司）的以上测试步骤进行优化。林德公司已将MES的两个软件质量工具 阅读全文

摘要： 作为由德国联邦教育和研究部（BMBF）资助的研究项目，协同嵌入式系统（CrESt）专注于复杂的嵌入式系统的开发，这些系统须在不同背景下与不同成员有效合作以完成给定任务。该项目的目标是使用基于模型的系统和系统上下文描述，为动态和可扩展的应用定义方法和架构。协同嵌入式系统（CES）和适应性系统架构将在不 阅读全文

摘要： 泰雷兹德国公司-运输系统部门与MES模赛思签订合同达成合作，以促进其基于模型的铁路信号和安全设备的系统开发。 泰雷兹作为世界领先的铁路信号解决方案供应商之一，为干线和城市轨道提供尖端的铁路信号解决方案，保证乘客和货物运输的安全、可靠、便捷和高效。泰雷兹德国-运输系统部门包括铁路信号和安全系统两大创新 阅读全文

摘要： SOTIF很快将会取代ISO 26262？为您详细解读SOTIF标准ISO/PAS 21448 根据MES模赛思对其全球客户的问卷调查表明， 尽管有相当一部分的参与者（35%）认为SOTIF在功能安全相关系统开发方面显示出了重要意义，SOTIF对于绝大部分参与者（79%）来说仍然陌生，目前绝大部分从 阅读全文

摘要： 简化Simulink的建模与模型重构 模型重构 Simulink作为汽车和自动化领域中经典的模型工程必备工具，不管是专业的汽车控制器的开发还是自动化控制的专业应用编程，都会使用到Simulink进行图形化编程、代码生成等等。为了实现这些，一个布局雅观、结构清晰、可读性高、容易理解又不易出错的模型至关 阅读全文

摘要： 奔驰北美研发中心通过汽车软件质量工具提升嵌入式软件的安全性 梅赛德斯-奔驰北美研发中心（MBRDNA）是如何运用MES M-XRAY®工具软件来提升其基于模型的软件设计流程的。 作为世界上最著名的汽车制造商之一的研发部门，MBRDNA的开发团队一直以来在不断寻找最高效和最有效的方法和流程，为其开发用 阅读全文