FCD: A framework for compositional development in open embedded systems

  • Qiao Y
  • Berzins V
  • Luqi
 et al. 
  • 3

    Readers

    Mendeley users who have this article in their library.
  • 1

    Citations

    Citations of this article.

Abstract

In open embedded systems, configuration changes are likely to have negative impact on the certified properties of existing component systems. Although many design methodologies have been proposed for building open embedded systems in recent years, none of them provides an efficient way to enable reuse of certified components of resource-sensitive systems without repeating the performance and scheduling analysis that guarantees critical timing and behavioral properties of systems. To tackle this problem, in this paper we present a framework for compositional development of open embedded systems, called FCD. This framework uses processor partition to reduce the interdependency of applications and provides a set of synthesis methods to isolate the certified properties of unchanged components of the system from configuration changes.

Author-supplied keywords

  • framework
  • open embedded systems
  • partition
  • schedule
  • synthesis

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Authors

  • Y Qiao

  • V Berzins

  • Luqi

  • H Selvaraj

  • P K Srimani

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free