Correctness by construction for high-integrity real-time systems: A metamodel-driven approach

被引：0

作者：

Bordin, Matteo ^{[1
]}

Vardanega, Tullio ^{[1
]}

机构：

[1] Univ Padua, Dept Pure & Appl Math, Via Trieste 63, I-35121 Padua, Italy

来源：

RELIABLE SOFTWARE TECHNOLOGIES - ADA- EUROPE 2007, PROCEEDINGS | 2007年 / 4498卷

关键词：

model-driven architecture; metamodelling; correctness by construction; ravenscar profile;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business applications. Unfortunately, model-driven approaches as they presently stand focus more on attaining greater extents of automation than on warranting absolute end-to-end correctness for the target development process. This paper presents some elements of a novel approach that centres on a correctness-by-construction philosophy rooted on a domain-specific metamodel designed to formally define and constrain the design space and prove the allowable model transformations down to automated code generation.

引用

页码：114 / +

页数：3