发明名称 机载安全关键系统的安全性需求追踪链建立和维护的方法
摘要 本发明涉及一种机载安全关键系统的安全性需求追踪链建立和维护的方法,包括:从系统分配到软件时,预先定义软件高层安全性需求模板;基于所述软件高层安全性需求模板以及预定义的追踪实体之间的追踪关系,建立追踪链;本发明在系统安全性需求分配到软件高层安全性需求的过程中,保留了充足的信息;解决了当前软件高层需求模板没有对软件安全性要素进行描述的问题;提出了建立追踪链的模型,注意到了软件不同层次(高层到低层)的需求与需求之间的追踪关系,强调了分析过程中应当追踪的实体和关系;对于分析安全性需求的一致性和完整性、验证安全性需求是否得到满足提供了基础。
申请公布号 CN105955719A 申请公布日期 2016.09.21
申请号 CN201610248057.2 申请日期 2016.04.20
申请人 北京航空航天大学 发明人 刘超;邓明丽;杨海燕;吴际
分类号 G06F9/44(2006.01)I;G06F21/52(2013.01)I 主分类号 G06F9/44(2006.01)I
代理机构 北京天达知识产权代理事务所(普通合伙) 11386 代理人 马东伟;白海燕
主权项 一种机载安全关键系统的安全性需求追踪链建立和维护的方法,其特征在于,包括:从系统分配到软件时,预先定义软件高层安全性需求模板;基于所述软件高层安全性需求模板以及预定义的追踪实体之间的追踪关系,建立追踪链。
地址 100191 北京市海淀区学院路37号