【61471165】基于模型的安全关键的信息物理融合系统的设计方法中的软件综合国家自然基金项目 - 国家自然科学基金查询网

基于模型的安全关键的信息物理融合系统的设计方法中的软件综合

项目批准号： 61471165

批准年份： 2014

学科分类： F0102.信息系统与系统安全

项目负责人：曾海波

资助类别：面上项目

负责人职称：教授

依托单位：湖南大学

资助金额： 80万元

关键词：信息物理融合系统;软件综合;安全关键;同步反应性模型;基于模型的设计

起止时间： 2015-01-01到2018-12-31

中英文摘要
结题摘要
结题报告
项目成果
项目参与人

查看更多信息请先登录或注册

查看更多信息请先登录或注册

查看更多信息请先登录或注册

序号	标题	类型	作者
1	Cache-Partitioned Preemption Threshold Scheduling	期刊论文	Zonghua Gu;Chao Wang;Haibo Zeng
2	Design Optimization for AUTOSAR models with Preemption Thresholds and Mixed-Criticality Scheduling	期刊论文	Qingling Zhao;Zonghua Gu;Haibo Zeng
3	Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization	期刊论文	Chao Wang;Zonghua Gu;Haibo Zeng
4	Optimized Implementation of Multi-Rate Mixed-Criticality Synchronous Reactive Models	期刊论文	Qingling Zhao;Zonghua Gu;Haibo Zeng
5	HLC-PCP: A Resource Synchronization Protocol for Mixed Criticality Systems	期刊论文	Qingling Zhao;Zonghua Gu;Min Yao;Haibo Zeng
6	Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling	会议论文	Shamit Bansal;Yecheng Zhao;Haibo Zeng;Kehua Yang
7	Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines	会议论文	Yecheng Zhao;Chao Peng;Haibo Zeng;Zonghua Gu
8	Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems	期刊论文	Zonghua Gu;Gang Han;Haibo Zeng;Qingling Zhao
9	Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines	期刊论文	Yecheng Zhao;Chao Peng;Haibo Zeng;Zonghua Gu

查看更多信息请先登录或注册

相关项目

趋势报告

经验分享

年份:

项目负责人:

单位名称:

由于2020年国自然政策发生变化，若您身边有2020年获得过国自然的请提交一下