Departmental Papers (CIS)

Document Type

Conference Paper

Date of this Version

10-2012

Comments

Kim, B., Phan, L. T. X., Lee, I., & Sokolsky, O. (2012). A model-based I/O interface synthesis framework for the cross-platform software modeling. 23rd IEEE International Symposium on Rapid System Prototyping (RSP), Tampere, Finland, October 11 - 12. doi: 10.1109/RSP.2012.6380685
Held as part of Embedded Systems Week, 2012 http://www.esweek.org/

© 2012 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.

Abstract

In model-based development, executable software (e.g., C or Java code) can be generated from a high-level model using a code generator. However, the execution of the generated software on a target platform remains a challenge due to a mismatch in communication semantics assumed by the model and the platform-dependent software (e.g., sampling/actuation routines). This paper proposes an input/output (I/O) interface module that bridges this semantic gap by means of buffers and interface policies, which explicitly capture the information required to adapt the model’s communication semantics to that of the platform. We present a framework that can be used to systematically synthesize – directly from the model – the I/O interfaces and accompanying APIs that the generated software and the platform-dependent software need to communicate with one another. Our interface policies can also encode relaxations of a model semantics that may not be implementable, thus making derivations of the implemented systems from the model traceable. We illustrate the applicability and the benefits of our framework with a case study of an infusion pump.

Keywords

PRECISE_paper, PRECISE_CPS_Medical

Share

COinS
 

Date Posted: 15 January 2013

This document has been peer reviewed.