Model-integrated embedded systems

Authors:
Akos Ledeczi;Arpad Bakay;Miklos Maroti
Affiliations:
-;-;-
Venue:
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Year:
2000

Citing 5
Cited 1

The XML Companion

The XML Companion
Model-Integrated Computing

Computer
A Model-Based Approach to Self-Adaptive Software

IEEE Intelligent Systems
An Architecture-Based Approach to Self-Adaptive Software

IEEE Intelligent Systems
Model-based engineering of large-scale real-time systems

ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems

Formal methods for modeling, refining and verifying autonomic components of computer networks

Transactions on Computational Science XV

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the development of dynamic embedded systems. This paper describes a paradigm-independent, general infrastructure for the design and implementation of model-integrated embedded systems that is highly applicable to self-adaptive systems.