位置：成果数据库 > 会议 > 会议详情页
Design and implementation of configurable simulation system for embedded software based on MDA
  • 所属机构名称：西北工业大学
  • 会议名称：2010 3rd International Conference on Advanced Computer Theory and Engineering, ICACTE 2010
  • 成果类型：会议
  • 会场：Chengdu
  • 相关项目：高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究
作者： Ji, Xiang|Wang, Yuying|Dong, Yunwei|Zhao, Hong Bing|
同会议论文项目
高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究
期刊论文 29 会议论文 37 专利 5
同项目会议论文
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
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