.png){kind=icon}
返回
Model-integrated development of embedded software
.png){kind=icon}
PRE
AI
DOI：10.1109/JPROC.2002.805824.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple-view models used in all phases of the development process. Models explicitly represent the embedded software and the environment it operates in, and capture the requirements and the design of the application, simultaneously. Models are descriptive, in the sense that they allow the formal analysis, verification, and validation of the embedded system at design time. Models are also generative, in the sense that they carry enough information for automatically generating embedded systems using the techniques of program generators. Because of the widely varying nature of embedded systems, a single modeling language may not be suitable for all domains; thus, modeling languages are often domain-specific. To decrease the cost of defining and integrating domain-specific modeling languages and corresponding analysis and synthesis tools, the model-integrated approach is applied in a metamodeling architecture, where formal models of domain-specific modeling languages-called metamodels play a key role in customizing and connecting components of tool chains. This paper discusses the principles and techniques of model-integrated embedded software development in detail, as well as the capabilities of the tools supporting the process. Examples in terms of real systems will be given that illustrate how the model-integrated approach addresses the physical nature, the assurance issues, and the dynamic structure of embedded software.
Keyword:
automated software engineering
design-space exploration
embedded systems
model verification
model-based development
model-integrated computing
software generators
system and software engineering
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
25.9
论文数:
9.9K
被引数:
4.5W
机构
暂无机构信息
引用论文
Solvent-free cascade reaction: direct multicomponent assembling of 2-amino-4H-chromene scaffold from salicylaldehyde, malononitrile or cyanoacetate and nitroalkanes.png)
Tetrahedron
TetrahedronIF0
PREAI
分享收藏Development of a candidate stabilizing formulation for bulk storage of a double mutant heat labile toxin (dmLT) protein based adjuvantVaccine
OAAI
VaccineIF0
OAAI分享收藏
查看更多内容