The model-integrated computing toolsuite: Metaprogrammable tools for embedded control system design

被引：0

作者：

Karsai, Gabor ^{[1
]}

Ledeczi, Akos ^{[1
]}

Neema, Sandeep ^{[1
]}

Sztipanovits, Janos ^{[1
]}

机构：

[1] Vanderbilt Univ, Inst Software Integrated Syst, Nashville, TN 37235 USA

来源：

2006 IEEE CONFERENCE ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, VOLS 1 AND 2 | 2006年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Model-Integrated Computing is a development approach that advocates the use of Domain-Specific Modeling throughout the system development process and fifecycle. This paper describes and summarizes the generic and reusable software tools that support ABC and which can be tailored to solve a wide variety of modeling, analysis, and generation problems in an engineering process.

引用

页码：50 / +

页数：2

共 15 条

[1]

AGRAWAL A, 2003, 18 ANN ACM SIGPLAN C

[2]

BAKAY A, UDM FRAMEWORK

[3]

BORGER E, 2003, ABSTR STATE MACHINES

[4]

BRYANT R, 1992, CMUCS92160

[5]

CHEN K, 2005, IN PRESS 5 ACM INT C

[6]

GU Z, 2003, 24 IEEE INT REAL TIM

[7] The theory of hybrid automata [J].

Henzinger, TA .

11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, :278-292

[8] Model-integrated development of embedded software [J].

Karsai, G ;

Sztipanovits, J ;

Ledeczi, A ;

Bapty, T .

PROCEEDINGS OF THE IEEE, 2003, 91 (01) :145-164

[9]

KARSAI G, UNPUB J SOFTWARE SYS

[10]

Karsai G., 2003, J UNIVERSAL COMPUTER, V9

← 1 2 →