This paper proposes a verification approach of reconfigurable Distributed Real-time Embedded (DRE) systems. Since dynamic reconfiguration significantly complicates the execution of such a system, it is necessary to ensure the preservation of non-functional properties after applying a such reconfiguration. The proposed approach allows thus verifying non-functional properties at design time. Using our verification approach, the designer can easily verify these properties without deep knowledge of existing verification techniques. © 2012 IEEE.
CITATION STYLE
Krichen, F., Gassara, A., Zalila, B., & Jmaiel, M. (2012). Towards a verification approach for reconfigurable embedded systems. In Proceedings - IEEE Symposium on Computers and Communications (pp. 000750–000752). https://doi.org/10.1109/ISCC.2012.6249388
Mendeley helps you to discover research relevant for your work.