Departmental Papers (CIS)

Date of this Version

12-2015

Document Type

Conference Paper

Comments

IEEE Real-Time Systems Symposium (RTSS 2015). San Antonio, Texas, U.S.A., Dec 2015.

Abstract

Many safety-critical real-time embedded systems need to meet stringent timing constraints such as preserving delay bounds between input and output events. In model-based development, a system is often implemented by using a code generator to automatically generate source code from system models, and integrating the generated source code with a platform. It is challenging to guarantee that the implemented systems preserve required timing constraints, because the timed behavior of the source code and the platform is closely intertwined. In this paper, we address this challenge by proposing a model transformation approach for the code generation. Our approach compensates the platform-processing delays by adjusting the timing parameters in system models, based on an Integer Linear Programming problem formulation. We demonstrate the usefulness of our approach via a case study of infusion pump systems. Experimental results show that the code generated using our approach can better preserve the timing constraints.

Subject Area

CPS Medical, CPS Model-Based Design

Publication Source

IEEE Real-Time Systems Symposium (RTSS 2015)

Copyright/Permission Statement

© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Share

COinS
 

Date Posted: 16 October 2015

This document has been peer reviewed.