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

基本信息
批准号:61203324
项目类别:青年科学基金项目
资助金额:24.00
负责人:唐亮
学科分类:
依托单位:中国舰船研究设计中心
批准年份:2012
结题年份:2015
起止时间:2013-01-01 - 2015-12-31
项目状态: 已结题
项目参与者:李维林,宁小敏,董晓明,杨子晨,廖备水,潘树文,许剑新,陈皞
关键词:
安全关键系统时序一致性船舶信息系统可靠配置网构体系
结项摘要

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.

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

项目摘要

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

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

基于分形L系统的水稻根系建模方法研究

基于分形L系统的水稻根系建模方法研究

DOI:10.13836/j.jjau.2020047
发表时间:2020
2

硬件木马:关键问题研究进展及新动向

硬件木马:关键问题研究进展及新动向

DOI:
发表时间:2018
3

拥堵路网交通流均衡分配模型

拥堵路网交通流均衡分配模型

DOI:10.11918/j.issn.0367-6234.201804030
发表时间:2019
4

卫生系统韧性研究概况及其展望

卫生系统韧性研究概况及其展望

DOI:10.16506/j.1009-6639.2018.11.016
发表时间:2018
5

面向云工作流安全的任务调度方法

面向云工作流安全的任务调度方法

DOI:10.7544/issn1000-1239.2018.20170425
发表时间:2018

唐亮的其他基金

批准号:71871038
批准年份:2018
资助金额:48.00
项目类别:面上项目
批准号:81500280
批准年份:2015
资助金额:19.00
项目类别:青年科学基金项目
批准号:31301747
批准年份:2013
资助金额:22.00
项目类别:青年科学基金项目
批准号:31201158
批准年份:2012
资助金额:25.00
项目类别:青年科学基金项目
批准号:51708068
批准年份:2017
资助金额:22.00
项目类别:青年科学基金项目
批准号:51578195
批准年份:2015
资助金额:61.00
项目类别:面上项目
批准号:51108134
批准年份:2011
资助金额:25.00
项目类别:青年科学基金项目
批准号:71201106
批准年份:2012
资助金额:21.00
项目类别:青年科学基金项目
批准号:81400099
批准年份:2014
资助金额:24.00
项目类别:青年科学基金项目
批准号:51605032
批准年份:2016
资助金额:20.00
项目类别:青年科学基金项目
批准号:41661010
批准年份:2016
资助金额:38.00
项目类别:地区科学基金项目

相似国自然基金

1

面向嵌入式系统的网构软件分析方法集成技术研究

批准号:61100002
批准年份:2011
负责人:陈湘萍
学科分类:F0203
资助金额:24.00
项目类别:青年科学基金项目
2

网构软件的协同化动态配置关键技术研究

批准号:61063012
批准年份:2010
负责人:陈宁江
学科分类:F0203
资助金额:22.00
项目类别:地区科学基金项目
3

面向网构软件的环境显式化与处理技术研究

批准号:60903024
批准年份:2009
负责人:黄宇
学科分类:F0203
资助金额:17.00
项目类别:青年科学基金项目
4

基于网构代数模型的网构软件体系结构可靠演化方法和技术研究

批准号:61370051
批准年份:2013
负责人:赵会群
学科分类:F0203
资助金额:75.00
项目类别:面上项目