位置：立项数据库 > 立项详情页
高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究
  • 项目名称：高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究
  • 项目类别：重点项目
  • 批准号：60736017
  • 申请代码：F0202
  • 项目来源：国家自然科学基金
  • 研究期限：2008-01-01-2011-12-31
  • 项目负责人：周兴社
  • 负责人职称：教授
  • 依托单位：西北工业大学
  • 批准年度：2007
中文摘要：

在当今网络时代，嵌入式系统成为一个将先进计算、网络通信、MEMS 和领域应用等技术高度融合的知识集成系统。随着嵌入式应用系统的平台化、网络化、智能化、普适化发展，嵌入式软件的系统功能比重不断增大，可靠性问题日益突出。本课题面向高可靠的关键嵌入式实时应用需求，针对嵌入式软件的固有特性和新型特征，重点研究构件化嵌入式软件设计与验证方法及其实现技术，突出解决适应构件化嵌入式软件非功能性描述的统一设计模型、适合嵌入式构件及其组合验证与确认的有效方法、可定制嵌入式软件运行环境与故障仿真、工具链一体化的集成环境设计等关键问题，研制面向高可靠构件化嵌入式软件的设计、验证、仿真与测试一体化的集成支撑环境，课题力求取得设计与验证方法及其工具的创新成果，取得重要的社会效益和经济效益。

中文主题词： 嵌入式软件；可靠性；构件化设计；形式化验证；环境仿真
结论摘要：

英文主题词Embedded software;Reliability;Component based design;Formal verification;Environment simulation

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 29
  • 37
  • 5
  • 0
  • 0
期刊论文
一种改进的基于构架的软件可靠性模型
一种面向AADL架构的模型测试方法
模型驱动的嵌入式仿真系统设计
基于CSP的构件化嵌入式软件能耗分析与评估方法研究
AADL软件容错系统建模与评估
结构分析和设计语言AADL研究
基于AADL的构架抽象工具设计
基于构件失效建模的软件架构安全性分析
构件化软件系统安全性分析技术研究
Connection between logical and algebraic approaches to concurrent systems
Recent advances in program verification through computer algebra
一种AADL系统可靠性模型转换方法
Symbolic decision procedure for termination of linear programs
AADL模型可靠性分析评估工具
一种智能家庭嵌入式系统的设计与实现
适应动态安全需求的实时任务调度算法研究
航空机载软件安全性测试技术研究
一种基于模型的可视化汽车电子软件需求表示方法
面向分布实时嵌入式系统的任务优化调度算法
基于Coq的微内核操作系统程序验证方法研究
基于扩展层次自动机的UML状态图完备性和一致性检验
基于AADL的软件重构工具设计与实现
Formalizing scheduling theories in duration calculus
基于子域的构件软件充分性测试样本生成策略
会议论文
The Research on Embedded Software Dynamic Reconfigurable Technology Based on Mode
Refinement of models of software components
Refinement of models of software components
A hierarchical verification procedure of timed Petri-Net model for real-time embedded systems
An integrated PLC smart home system in pervasive computing environment
Testing of component-based software: A metamorphic testing methodology
Implementing the compiler of AADL behavior annex using ANTLR
Studying on AADL-based architecture abstraction of embedded software
A MDA-based approach for general embedded software simulation platform
Consider of fault propagation in architecture-based software reliability analysis
A model-based testing for AADL model of embedded software
An improved path-based reliability prediction model for component-based embedded software
Model checking linear duration invariants of networks of automata
Research and assessment of the reliability of a fault tolerant model using AADL
Component publications and compositions
A novel model for component-based software reliability analysis
基于AADL 的智能家庭嵌入式软件模型设计与验证
On designing and verifying Smart Home embedded software model based on AADL
Timing properties analysis of real-time embedded systems with AADL model using model checking
Design and implementation of configurable simulation system for embedded software based on MDA
Experiments on test case reuse of test coverage criteria
Formal behavior specification for AADL
A calculus for hybrid CSP
Research on Safety Analysis and Verification for AADL Model
Modeling timing behavior for cyber-physical systems
Composition semantics for component-based embedded software
Checking timed büchi automata emptiness using LU-abstractions
A formal model for component-based embedded software development
On modeling and verifying of application protocols of TTCAN in flight-control system with UPPAAL
Program verification by reduction to semi-algebraic systems solving
A methodology of model-based testing for AADL flow latency in CPS
Electric energy management system based on PLC
Research on modeling and analysis of CPS
Cupping and diamond embeddings: A unifying approach
A study of the AADL mode based on timed automata
On partitioning the domain for test case reusability
On designing and verifying Smart Home embedded software model based on AADL
专利
一种基于模型的嵌入式系统流延时属性测试方法
一种基于AADL描述的可靠性模型向GSPN模型的转换方法
一种基于AADL模态时间自动机模型的嵌入式软件测试方法
一种嵌入式系统可靠性分析与评估方法
一种基于AADL模态蜕变关系的嵌入式软件测试方法
相关项目
大容量特种高性能电力电子系统理论与关键技术研究
期刊论文 58 会议论文 39 专利 10 著作 2
生物质复合材料性能的无损综合检测与安全评估
期刊论文 23 著作 1
纳米薄膜金属化层增强铜芯片超声键合性能的原理
期刊论文 7 会议论文 3 获奖 1 专利 3 著作 1
内存一致性模型的通用描述及验证框架
期刊论文 1 会议论文 8
纤维缠绕聚合物基复合材料压力容器可靠度设计研究
期刊论文 9
基于实时数据的道路网交通状态预测及其可靠性研究
期刊论文 16 会议论文 7
沥青路面模量反算的可靠性研究
期刊论文 16 著作 6
新型低压低功耗快闪存储器技术研究
期刊论文 7 会议论文 11
基于失效物理的小子样长寿命产品寿命预测理论
期刊论文 28 会议论文 5
周兴社的项目
　面向能力可信服务的自适应软件技术研究
期刊论文 8
网络化嵌入式计算模型研究
期刊论文 6
感知任务适应性分配策略与实现机制研究
期刊论文 37 会议论文 8
分布式多任务协同工作的原型研究
面向复杂分布实时应用的自适应资源管理模型与机制研究
期刊论文 3
面向老年人健康的非干预式感知与持续计算研究
期刊论文 1