FCD: a framework for compositional development in open embedded systems

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.