Problems of instrumental support for the development of distributed embedded real-time systems

Authors:
A. G. Bakhmurov;R. L. Smelyansky
Affiliations:
Department of Computational Mathematics and Cybernetics, Moscow State University, Moscow, Russia 119991;Department of Computational Mathematics and Cybernetics, Moscow State University, Moscow, Russia 119991
Venue:
Programming and Computing Software
Year:
2013

Citing 7
Cited 0

Model-checking in dense real-time

Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
The Problem of Schedule Construction in the Joint Design of Hardware and Software

Programming and Computing Software
DYANA: An Environment for Embedded System Design and Analysis

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Scaling down discrete-event simulation models

Programming and Computing Software
The worst-case execution-time problem—overview of methods and survey of tools

ACM Transactions on Embedded Computing Systems (TECS)
Integrated environment for the analysis and design of distributed real-time embedded computing systems

Programming and Computing Software
Scheduling algorithms for real-time computing systems admitting simulation models

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Distributed embedded real-time systems (DRTESs) are classified among objects that are complex in their development and crucial in their use. The problems of Instrumental Support and automation of development of DRTESs are still actual, even after more than 40 years of research. This paper refine the notion of DRTES. The shortcomings of traditional approaches to the design of DRTESs are considered and a model-oriented approach to the design is formulated. A concept of the instrumental environment supporting this approach has been proposed. Basic problems to be addressed when building such an environment are formulated. The current state of the art in solving these problems is described.