登陆
注册
嵌入式软件测试技术巅峰：基于形式化的形式验证技术
有1931人正在学习
上海控安
2021-07-13 11:43
无论是ASPICE还是功能安全，都着重强调需求是产品开发的基石，需求工程是保证项目成功的关键要素
刘春晓
嵌入式软件需求工程，基于模型开发及测试和ISO26262及ASPICE流程融合的资深专家。曾在日本担任dSPACE和MathWorks的工具链部署技术咨询工程师，在日华人汽车工程师协会（JCSAE）理事，现为是德国顶级嵌入式软件测试公司BTC中国分公司的负责人。他在面向于日本及国内的核心主机厂和供应商提供技术服务工作近14年，在安全关键系统的嵌入式软件特别是需求工程，开发和自动化测试工程方面积累了丰富的电控产品量产经验。他对项目的热情主要反映在着眼于客户痛点，基于精选的先进方法论，与客户共同探究最佳方案。
