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. © 2005 IEEE.
CITATION STYLE
Qiao, Y., Berzins, V., & Luqi. (2005). FCD: A framework for compositional development in open embedded systems. In International Conference on Information Technology: Coding and Computing, ITCC (Vol. 2, pp. 479–484). Institute of Electrical and Electronics Engineers Inc. https://doi.org/10.1109/itcc.2005.152
Mendeley helps you to discover research relevant for your work.