论文部分内容阅读
以应答器传输模块应用软件为例,介绍验证和确认人员参照EN 50128:2011标准,在整个软件开发生命周期中的各项验证和确认活动,为其他安全相关软件的验证确认活动提供参考。
安全软件验证确认在BTM开发中的应用
【摘 要】
：
以应答器传输模块应用软件为例,介绍验证和确认人员参照EN 50128:2011标准,在整个软件开发生命周期中的各项验证和确认活动,为其他安全相关软件的验证确认活动提供参考。
【机 构】
：
中国铁道科学研究院通信信号研究所
【出 处】
：
铁路技术创新
【发表日期】
：
2015年2期
其他文献
青帮"在西安之分布,似极普遍,开堂收徒者近千人,收徒在100人以上者亦有四五十人……三教九流无所不包,上至政府之中的职员,军人中之中下级干部,商人、工人乃至地痞、妓女,均
针对传统的微分法边缘检测技术存在边缘检测与噪声抑制的矛盾,文章提出了基于异尺寸多方向结构元素的形态学边缘检测方法,并将这一方法与微分法、多尺度结构元素和全方位结构
文章基于目前小区物业管理系统中计收费类型复杂多变的现状和需求,设计并实现了可以进行自由设置的通用物业计收费管理信息系统。该系统采用的结构全面灵活,可以与各类物业专
<正>■4月28日公司公告格力集团将10%股权转让■股价近一年来呈持续走高态势■格力电器致力于成为全球领先的专业化空调企业■当前股价:29.1元目标股价:36元■今日投资个股安
二胡音乐是中国民族音乐的重要组成部分,二胡是我国民族器乐最具代表性且最富表现力的乐器之一,创造高品位、高审美的"以情为本、心手一致、情理合一",艺术境界是一切二胡艺
浙江铀矿资源丰富 ,我国四大铀矿类型在省内均有发现。作为一种特殊的战略性矿产资源 ,在我国国防和核电工业具有重要的地位 ,研究铀矿石的溶浸特性 ,对于铀矿资源的科学利用
运用定位观察、杂交指数、花粉-胚珠比、套袋试验和重力玻片法等方法,对沙芥自然居群和人工栽培种群的开花日动态、繁育系统和传粉习性进行了研究。结果显示:沙芥在自然居群
<正> 文化产业是指专门从事文化产品生产、销售和服务的产业。主要包括报刊杂志业、影视音像业、出版发行业、旅游观光业、演出娱乐业、工艺美术业、会议展览业和教育培训业
当前我国已进入新型城镇化阶段,存量发展理念下的社区发展与更新成为城市再生的重要课题之一。重庆市在积极探索存量发展的过程中将突破口对准宜居社区建设。基于此,渝中区作
体育产业化发展已成为当今体育发展的一个必然趋势。我国体育产业伴随着经济的持续增长以及居民消费水平的提高和消费结构的变化,已进入快速发展的阶段,这是产业演进规律的必