使用SAFERTOS与LDRA工具套件提升功能安全

WITTENSTEIN high integrity Systems(WHIS)与LDRA合作，使结构覆盖实现变得更简单高效。通过将SAFERTOS与LDRA的TÜV认证工具套件集成，嵌入式开发人员可以自动化代码覆盖分析，加速关键标准（如IEC 61508、ISO 26262、DO-178C等）的认证过程。

SAFERTOS与LDRA的集成确保嵌入式开发人员能够：

• 在基于Eclipse的开发环境中执行静态和动态分析，以及单元测试和时序分析。

• 在虚拟和物理目标硬件上运行必要的覆盖测试。

• 通过消除繁琐的手动测试或内部工具开发需求，简化认证路径。

LDRA工具套件支持对在SAFERTOS之上运行的应用软件进行验证。通过将LDRA的Eclipse插件与WHIS的Eclipse插件结合使用，开发人员可以在Eclipse IDE内验证应用程序。此验证可以在主机上运行应用程序时、在模拟环境中运行以及在物理目标设备上运行时进行。使用网络通信将可执行文件下载到目标设备后，LDRA可以监控和分析执行历史记录及单元测试数据。借助统一平台的全面报告管理功能，可以进行全面的静态和动态分析。

观看视频了解SAFERTOS与LDRA集成的效果。

SAFERTOS是WHIS公司开发的用于嵌入式处理器的安全实时操作系统(RTOS)，通过ISO 26262 ASIL D和IEC 61508 SIL 3预认证，为开发安全关键系统提供卓越的性能和预先认证的可靠性。麦克泰技术是安全预认证操作系统SAFERTOS在中国的代理商，具有30年嵌入式实时操作系统和功能安全软件服务的市场、服务和培训经验，联系[e-mail]。

麦克泰技术走过了30年发展历程（1995-2025），秉承“让嵌入式软件开发更容易”的理念，致力于推广嵌入式软件开发工具、测试软件和嵌入式操作系统。麦克泰技术通过举办嵌入式软件和操作系统研讨会、开设培训课程、出版图书，撰写博客文章，倡导和宣传开放和开源的嵌入式软件、操作系统以及开发技术，包括VRTX（90年代）、µC/OS（2000年），Montavista Linux（2010年）和FreeRTOS（2010年）以及IAR/BDI/J-Link等知名的产品和技术。

麦克泰技术具有丰富嵌入式软件项目开发、行业应用与服务经验。今天，我们依托欧美嵌入式软件商业团队支持，提供嵌入式软件商业授权和服务。包括（不限于）SEGGER嵌入式软件开发和编程工具（J-Link/Flasher），OS分析工具Tracealyzer，WITTENSTEIN公司的SafeRTOS（FreeRTOS）、Flexible Safety RTOS（µC/OS-II MPU）以及新一代PX5 RTOS。麦克泰技术专注预认证功能安全操作系统在汽车、轨交、医疗和工业领域的应用以及RISC-V处理器嵌入式开发生态建设。