【摘 要】
：
依据软件可靠性特征，提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义，以及一种基于“任务-事件-功能”的软件体系结构准
【机 构】
：
华东理工大学自动化研究所,总参通信部驻上海地区军事代表室
论文部分内容阅读
依据软件可靠性特征，提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义，以及一种基于“任务-事件-功能”的软件体系结构准则，进行了形式化描述和理论证明。阐述从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法，在建模中融合了软件可靠性设计以及软件测试和管理。
其他文献
光伏产业对调整能源结构、推进能源生产和消费方式变革、促进生态文明建设具有重要意义。但是,光伏产业中的企业也会基于自身利益考虑,为获得政策红利、投资者支持,或者管理
《天马-曲村》是由北京大学考古学系商周组和山西省考古研究所编著的一部考古报告，一套四本，科学出版社2000年出版。我在阅读这部著作时，明显地感觉到这部报告与众不同，具有鲜明
为了对铁路危险货物运输过程中存在的风险因子进行危害辨识,降低风险指数,基于铁路危险货物运输的作业流程,采用危险与可操作性（HAZOP）分析,针对铁路危险货物运输的发送作业、
细胞生物与遗传学混合式教学改革中考试题库建设工作是重要的教学资源,它对教学的过程性、结果性评估起到重要支撑作用。我们充分利用学校的优慕课平台初步构建了测试范围广
目的建立桦褐孔菌中总黄酮含量测定方法,以评价不同地区的桦褐孔菌质量。方法桦褐孔菌中总黄酮的含量测定采用分光光度法;总黄酮抗氧化活性测定采用羟基自由基(-OH)的方法。
20世纪初,至少有三部英国人撰写的中国西南地区旅行记相继出版,系统讨论川西、滇西北与滇东北等地的少数民族。这三部旅行记分别是担任威海卫殖民地官员庄士敦(Reginald Flem
随着居民生活水平逐步提高,汽车数量的增加给道路交通带来了巨大压力。道路建设的挑战不仅在于机动车数量的增加,还在于公路施工及运营对环境的影响较大,因此在公路施工中应
为研究综采放顶煤高位钻孔瓦斯抽采前后采空区瓦斯浓度分布及运移规律,采用FLUENT数值模拟软件,以兖矿新疆硫磺沟煤矿9-15(06)工作面为试验原型开展数值模拟研究。模拟结果表
目的:了解3家三级甲等医院经营状况。方法:通过收集该3家医院2年来的相关数据,采用对比分析法了解该3家医院的经营状况。结果:A医院盈利能力最强,其净资产收益率最高;C医院资
关于海运出口危险货物包装标记的正确标注和使用汤礼军按照《国际海运危险货物规则》（以下简称《国际危规》）的要求，每个拟装危险货物的包装都应标注耐久、易辩认、与容器相比位