可信分布式实时软件的非功能特性的连贯性分析、设计与验证
结题报告
批准号:
90818008
项目类别:
重大研究计划
资助金额:
50.0 万元
负责人:
张立臣
依托单位:
学科分类:
F0203.软件理论、软件工程与服务
结题年份:
2011
批准年份:
2008
项目状态:
已结题
项目参与者:
WolfgangA·Halang、刘富春、LuShourong、刘怡俊、唐平、LarsGollub、李代平、徐海水、邱卫根
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
客服二维码
微信扫码咨询
中文摘要
非功能特性在分布式实时软件的分析与设计过程中起到非常重要的作用。本项目致力于建立非功能特性的连贯性分析、设计和验证方法,以提高分布式实时软件的可信性。连贯性分析和设计要求非功能特性必须在软件研制生命周期的所有阶段都被考虑,贯穿于软件规约到软件维护,特别是验证和确认阶段。项目通过提出基于模型驱动架构(MDA)的连贯性的面向方面的形式化开发方法来处理非功能特性,所采用的思想是把面向方面模型抽象成为形式化框架,即非功能特性的不同属性能够利用形式化技术来建模,能够产生规约驱动的设计,进行形式化验证及需求水平上的设计重用。特别是提出实时特性的连贯性的形式化的分析、设计、实现及验证的方法,确保可信分布式实时软件的实时特性需求被满足。将通过一个分布式多媒体系统的开发来验证所提出方法的有效性。本项目的研究工作将提高可信实时软件研究的水平,具有重大的科学意义和广阔的应用前景。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
DOI:--
发表时间:--
期刊:计算机工程
影响因子:--
作者:高娜;张立臣;刘东星
通讯作者:刘东星
DOI:--
发表时间:--
期刊:电脑知识与技术
影响因子:--
作者:张艺超;张立臣;周程
通讯作者:周程
DOI:--
发表时间:--
期刊:现代计算机(专业版)
影响因子:--
作者:罗艺;张立臣
通讯作者:张立臣
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
部分观测的非确定性离散事件系统的双相似控制和测试算法
DOI:10.1016/j.automatica.2011.01.066
发表时间:2011-04
期刊:Automatica
影响因子:6.4
作者:Liu, Fuchun;Dziong, Zbigniew;Lin, Hai
通讯作者:Lin, Hai
DOI:--
发表时间:--
期刊:计算机科学
影响因子:--
作者:邓建波;邓惠敏;张立臣
通讯作者:张立臣
复杂工业和社会环境下信息物理融合系统的多学科、多领域和多视图建模方法
  • 批准号:
    61873068
  • 项目类别:
    面上项目
  • 资助金额:
    63.0万元
  • 批准年份:
    2018
  • 负责人:
    张立臣
  • 依托单位:
基于云平台的大数据驱动的信息物理融合系统建模方法
  • 批准号:
    61572142
  • 项目类别:
    面上项目
  • 资助金额:
    67.0万元
  • 批准年份:
    2015
  • 负责人:
    张立臣
  • 依托单位:
移动信息物理融合系统的面向方面建模方法
  • 批准号:
    61370082
  • 项目类别:
    面上项目
  • 资助金额:
    79.0万元
  • 批准年份:
    2013
  • 负责人:
    张立臣
  • 依托单位:
信息物理融合系统的多维分析与设计方法
  • 批准号:
    61173046
  • 项目类别:
    面上项目
  • 资助金额:
    58.0万元
  • 批准年份:
    2011
  • 负责人:
    张立臣
  • 依托单位:
异构的动态分布式实时系统的面向方面的软件开发方法论
  • 批准号:
    60774095
  • 项目类别:
    面上项目
  • 资助金额:
    31.0万元
  • 批准年份:
    2007
  • 负责人:
    张立臣
  • 依托单位:
网格环境下异构的动态分布式实时系统的集成化开发方法论
  • 批准号:
    60474072
  • 项目类别:
    面上项目
  • 资助金额:
    22.0万元
  • 批准年份:
    2004
  • 负责人:
    张立臣
  • 依托单位:
可扩展的动态分布式实时系统的分析与设计方法
  • 批准号:
    60174050
  • 项目类别:
    面上项目
  • 资助金额:
    19.0万元
  • 批准年份:
    2001
  • 负责人:
    张立臣
  • 依托单位:
实时系统设计方法的系统集成的研究
  • 批准号:
    69874024
  • 项目类别:
    面上项目
  • 资助金额:
    12.0万元
  • 批准年份:
    1998
  • 负责人:
    张立臣
  • 依托单位:
国内基金
海外基金