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 applications.
基于网构体系的信息一体化是未来舰船信息系统发展的趋势,其中最为核心的难点问题是实现普通网构服务与构件化实时安全关键系统动态耦合的可靠配置问题。本项目拟研究构建可靠、安全、支持服务冗余的船舶网构式混合安全关键系统的可靠配置模型和体系方法。旨在已有的面向服务的网构软件体系结构及其相关技术的基础上,研究扩展建立同时支持船舶实时运行安全关键系统应用和标准网构服务应用的可靠配置模型,重点解决系统实时可靠性评判指标、构件动态协同及自适应演化、安全关键系统时序一致性、资源访问控制等问题。本项目的研究可为网构式混合安全关键系统的船用实践提供前期理论研究支持和部分实现技术探索。
基于网构体系的信息一体化是未来船舶信息系统发展的趋势,其中最为核心的难点问题是实现普通网构服务与构件化实时安全关键系统动态耦合的可靠配置问题。本项目在已有的面向服务的网构软件体系结构及其相关技术的基础上,研究构建可靠、安全、支持服务冗余的船舶网构式混合安全关键系统的可靠配置模型和体系方法。研究工作扩展建立了同时支持船舶实时运行安全关键系统应用和标准网构服务应用的可靠配置模型,重点解决系统实时可靠性评判指标、构件动态协同及自适应演化、安全关键系统时序一致性、资源访问控制等问题,为网构式混合安全关键系统的船用实践提供前期理论研究支持和部分实现技术探索。
{{i.achievement_title}}
数据更新时间:2023-05-31
基于分形L系统的水稻根系建模方法研究
硬件木马:关键问题研究进展及新动向
拥堵路网交通流均衡分配模型
卫生系统韧性研究概况及其展望
面向云工作流安全的任务调度方法
ADTRP基因剪切位点变异c.154-18delT与静脉血栓形成的关联及其导致易栓状态的分子机制研究
面向嵌入式系统的网构软件分析方法集成技术研究
网构软件的协同化动态配置关键技术研究
面向网构软件的环境显式化与处理技术研究
基于网构代数模型的网构软件体系结构可靠演化方法和技术研究