System Maintenance:
There may be intermittent impact on performance while updates are in progress. We apologize for the inconvenience.
By Topic

A compiler-based approach to design and engineering of complex real-time systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Bakic, A.M. ; Dept. of Comput. Sci. & Eng., Michigan State Univ., East Lansing, MI, USA ; Mutka, Matt W.

We present a compiler-based approach to the design and engineering of complex real-time systems. The systems are built from computation, communication and I/O subsystems, based on different extant real-time models and schemes. We have defined a high-level system specification language, called Real-Time System Markup Language (RTSML), for integration of model-specific subsystems. We have developed a prototype extensible compiler from RTSML to a Constraint Logic Programming (CLP) language. Model-specific compiler modules can be added that generate CLP code for subsystems based on the corresponding real-time models and schemes, and their integration with other subsystems of a complex real-time system being specified. We specify an example system consisting of dozens of communicating real-time tasks that share real-time computation and communication resources, and map it to two problem solving approaches. The first one is the conventional CLP search, while the second one is suitable for system reconfiguration when system parameters change dynamically. We compare the two approaches and present their timings for the example system. Based on the results obtained, and potentials of the software technologies used in our compiler-based approach, it appears promising for large-scale complex real-time systems

Published in:

Distributed Computing Systems, 1999. Proceedings. 19th IEEE International Conference on

Date of Conference: