上海联铪泰电子有限公司

KEIL-MDK开发工具是基于ARM的微控制器的最全面的软件开发解决方案。包括您需要创建，构建所有的组件以及调试嵌入式应用。KeilMDK开发套件包括Windows平台的IDE、编辑器、高性能的编译器、调试器、软件包管理器、CMSIS标准接口库及中间件等。这一系列工具使得您的嵌入式软件开发项目更加迅捷。

AnsysSCADEArchitect为高度可靠的嵌入式产品提供基于模型的图形化系统和软件架构设计环境。AnsysSCADEArchitect专为系统工程师而开发。它可以为工业系统工程流程（如ARP4754A、ISO26262和EN50126）提供全面支持。SCADEArchitect在基于SysML的环境中提供功能和架构系统建模与验证。

AnsysSCADEVision是一款AV嵌入式感知软件。AnsysSCADEVision可自动识别自动驾驶车辆感知系统中的潜在漏洞，从而降低基于AI嵌入式感知软件的测试和安全工作成本。由Hologram提供支持的SCADEVision是一款功能强大的软件工具，可通过快速、经济地方法找出数百个潜在的边缘案例来解决人工智能感知系统中的固有缺陷。

AnsysSCADELifeCycle嵌入式软件解决方案可为应用程序生命周期管理提供专业的技术支持。它通过应用程序生命周期管理(ALM)工具、可追溯性模型、配置和变更管理以及自动生成文档来实现对可追溯性的需求。SCADELifeCycle通过附加模块增强了AnsysSCADE解决方案的功能，这些模块可连接SCADE解决方案和需求管理工具或产品生命周期管理/应用程序生命周期管理(PLM/ALM)工具。借助SCADELifeCycle，涉及关键应用程序开发的所有系统和软件团队都可在SCADE应用程序的全生命周期内管理和控制他们的设计和验证操作。

AnsysSCADETest是一个完整的测试环境，用于需求验证以及测试案例的创建和管理。您可在主机和目标端为任何SCADE应用程序自动执行测试案例、测量覆盖范围和管理测试结果。测试创建和维护以及测试的执行和覆盖分析，都是十分耗时的工作。针对检验和验证(V&V)的SCADETest可提供基于模型、经济高效的测试环境领域内的一流技术，帮助您显著减少测试工作。

AnsysSCADESuite是一个基于模型的关键嵌入式软件开发环境。SCADESuite具有本地集成的形式化Scade语言，是用于关键应用的集成设计环境，涵盖需求管理、基于模型的设计、仿真、验证和可限制/认证级代码生成，能够与其他开发工具和平台进行交互操作。