面向舰船应用的网构式安全关键系统可靠配置研究

项目名称： 面向舰船应用的网构式安全关键系统可靠配置研究

项目编号： No.61203324

项目类型： 青年科学基金项目

立项/批准年度： 2013

项目学科： 自动化学科

项目作者： 唐亮

作者单位： 中国舰船研究设计中心

项目金额： 24万元

中文摘要： 基于网构体系的信息一体化是未来舰船信息系统发展的趋势，其中最为核心的难点问题是实现普通网构服务与构件化实时安全关键系统动态耦合的可靠配置问题。本项目拟研究构建可靠、安全、支持服务冗余的船舶网构式混合安全关键系统的可靠配置模型和体系方法。旨在已有的面向服务的网构软件体系结构及其相关技术的基础上，研究扩展建立同时支持船舶实时运行安全关键系统应用和标准网构服务应用的可靠配置模型，重点解决系统实时可靠性评判指标、构件动态协同及自适应演化、安全关键系统时序一致性、资源访问控制等问题。本项目的研究可为网构式混合安全关键系统的船用实践提供前期理论研究支持和部分实现技术探索。

中文关键词： 网构体系；安全关键系统；可靠配置；时序一致性；船舶信息系统

英文摘要： Internetware based architecture is the future trend of total ship information systems, and it is the most challenge to realize reliable configuration on the dynamic coupling among the non-real-time internetware based services and the real-time safety-critical systems. In this proposal, we try to carry out the research on how to build safety, redundant supported reliable configuration models and methods for internetware based hybrid safety-critical systems in ship applications. The research in this project is based on the existing service-oriented architecture, internetware configuration software architecture and other related techniques, and intends to study how to establish a reliable configuration model that supports both real-time safety-critical system applications and the standard internetware based service applications in ship applications. The research will also focus on developing reliability evaluation indicators for real-time systems, dynamic collaborative and adaptive evolution among both real-time and non-real-time components, temporal consistency in safety-critical system, safe resource access control polices etc. The research results in this project will provide a primeval theoretical supporting and technical exploring for internetware based hybrid safety-critical systems implementing in ship appli

英文关键词： Internetware；Safety critical Systems；Reliable Configration；temporal consistency；Ship Information System