科研之友
微信
新浪微博
Facebook
分享链接
摘要
本发明公开了一种基于形式化的汽车电子系统安全目标确认方法,本发明是基于ISO 26262《道路车辆功能安全》国际标准的,首先按照标准对项目进行定义,确认项目所包含的子系统和环境的接口；其次结合故障树分析识别出项目所有可能产生的危害,对每个危害进行ASIL定级,根据ASIL等级评估出能使项目正常运行的安全目标；然后对项目安全目标采用SOFL形式化语言进行建模；最后利用已有的辅助工具对SOFL进行语义分析并生成XML文件供支持其他软件开发活动。本发明能够有效地确认一种汽车各电子系统的代码级安全目标。
- 单位
