Date of this Version
BaekGyu Kim, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky, "A Model-Based I/O Interface Synthesis Framework for the Cross-Platform Software Modeling", 23rd IEEE International Symposium on Rapid System Prototyping (RSP) , 16-22. October 2012. http://dx.doi.org/10.1109/RSP.2012.6380685
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.
CPS Model-Based Design
23rd IEEE International Symposium on Rapid System Prototyping (RSP)
© 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.
Date Posted: 15 January 2013
This document has been peer reviewed.