Published on September 20, 2016.

功能安全实操研讨会

2016年9月20日 上海(dSPACE 协办) 2016年9月23日 北京(南德公司协办)

如何动手把基于模型的开发和测试方法应用到
量产级安全关键系统(英中双语)

面向对象:

本研讨会被设计为面向于开发人员,测试人员,品控人员,项目经理及小团队组长,着重解说并演示基于模型开发方法在安全关键类嵌入式软件中的应用。研讨会中使用MATLAB®/Simulink®,dSPACE TargetLink及BTC Embedded Systems公司的软件进行演示,建议有Simulink® 和 Stateflow® 使用经验的人士参加,以获得更深理解。

摘要

  • 如果您考虑在新项目中遵循功能安全标准,但不知道如何着手时,您必得参加本研讨会了。
  • 由BTC Embedded Systems公司提供的1日研讨会主要介绍在实操层面上如何构建基于模型开发、测试流程,以及应用相应的工具Simulink,dSPACE TargetLink,BTC EmbeddedPlatform来完成安全关键类嵌入式软件的开发和测试。
  • 本研讨会的第一部分将概略性介绍软件需求创建、软件架构设计、模型构建、量产代码生成及测试流程等内容。第二部分将着重介绍对于功能安全中ASIL-A到ASIL-D的所有级别软件的验证与确认(Verification & Validation)的相关目标。由于功能安全标准的解释一般都比较抽象,仅仅阅读文档难以有所体会,本研讨会特意把理论与实践相结合,通过dSPACE和BTC Embedded Systems公司所提供的软件工具,现场演示为满足功能安全要求所需要进行的各个阶段的实际活动。
    本演示包含了一般性测试技术"功能测试或期望值测试"的方法介绍,也包含了面向于安全关键应用的高级测试技术“形式验证“方法。在进行工具认证的讨论后,本研讨会还将对工具自动化,第三方工具整合时的注意点及其对功能安全开发流程的影响进行总结。 

 

内容及议程:

时间

Time

时长

Duration

内容

Topic

8 – 9 a.m.

1h

注册登记

Registration

9 – 10 :30 a.m.

(1h30)

dSPACE,BTC及ISO26262介绍

Introduction to dSPACE, BTC and ISO 26262

10 :30 – 10 :45 a.m.

(15min)

茶歇

Break

10 :45 a.m. – 12 p.m.

(1h15)

需求&架构设计

Requirements & Architecture Design

12 – 1 :15 p.m.

(1h15)

午餐

Lunch

1 :15 – 2 p.m.

(45min)

软件单元设计&实现

Software Unit Design & Implementation

2 – 3 :30 p.m.

(1h30)

功能测试及等效性测试

Requirements-based Testing and Back-to-Back Testing

3 :30 – 3 :45 p.m.

(15min)

茶歇

Break

3 :45 – 4 :15 p.m.

(30min)

需求的形式记述及形式验证

Formal Specification and Formal Verification

4 :15 – 4 :45 p.m.

(30min)

软件集成测试

Software Integration Testing

4 :45 – 5 p.m.

(15min)

总结

Conclusion