课题基金 / 基金详情

可信分布式实时软件的非功能特性的连贯性分析、设计与验证

批准号：
90818008
项目类别：
重大研究计划
资助金额：
50.0 万元
负责人：
张立臣
依托单位：
广东工业大学
学科分类：
软件理论、软件工程与服务
结题年份：
2011
批准年份：
2008
项目状态：
已结题
项目参与者：
WolfgangA·Halang、刘富春、LuShourong、刘怡俊、唐平、LarsGollub、李代平、徐海水、邱卫根
关键词：
实时系统非功能特性连贯性可信性分布式系统

项目摘要

结项摘要

项目成果

张立臣的其他基金

相似基金

相关文献

中文摘要
非功能特性在分布式实时软件的分析与设计过程中起到非常重要的作用。本项目致力于建立非功能特性的连贯性分析、设计和验证方法，以提高分布式实时软件的可信性。连贯性分析和设计要求非功能特性必须在软件研制生命周期的所有阶段都被考虑，贯穿于软件规约到软件维护，特别是验证和确认阶段。项目通过提出基于模型驱动架构（MDA）的连贯性的面向方面的形式化开发方法来处理非功能特性，所采用的思想是把面向方面模型抽象成为形式化框架，即非功能特性的不同属性能够利用形式化技术来建模，能够产生规约驱动的设计，进行形式化验证及需求水平上的设计重用。特别是提出实时特性的连贯性的形式化的分析、设计、实现及验证的方法，确保可信分布式实时软件的实时特性需求被满足。将通过一个分布式多媒体系统的开发来验证所提出方法的有效性。本项目的研究工作将提高可信实时软件研究的水平，具有重大的科学意义和广阔的应用前景。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
对面向方面编程在.NET平台实现的研究
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
共 37 条
    复杂工业和社会环境下信息物理融合系统的多学科、多领域和多视图建模方法
    • 批准号：
      61873068
    • 项目类别：
      面上项目
    • 资助金额：
      63.0万元
    • 批准年份：
      2018
    • 负责人：
      张立臣
    • 依托单位：
      广东工业大学
    基于云平台的大数据驱动的信息物理融合系统建模方法
    • 批准号：
      61572142
    • 项目类别：
      面上项目
    • 资助金额：
      67.0万元
    • 批准年份：
      2015
    • 负责人：
      张立臣
    • 依托单位：
      广东工业大学
    移动信息物理融合系统的面向方面建模方法
    • 批准号：
      61370082
    • 项目类别：
      面上项目
    • 资助金额：
      79.0万元
    • 批准年份：
      2013
    • 负责人：
      张立臣
    • 依托单位：
      广东工业大学
    信息物理融合系统的多维分析与设计方法
    • 批准号：
      61173046
    • 项目类别：
      面上项目
    • 资助金额：
      58.0万元
    • 批准年份：
      2011
    • 负责人：
      张立臣
    • 依托单位：
      广东工业大学
    国内基金
    海外基金