Title: A RT-Maude-based framework for component installation

Authors: Meriem Belguidoum; Faiza Belala; Fateh Latreche

Addresses: Computer Science Department, University of Constantine 2, Constantine, Algeria ' Computer Science Department, University of Constantine 2, Constantine, Algeria ' Computer Science Department, University of Constantine 2, Constantine, Algeria

Abstract: Real-time systems are considered in most cases as critical systems because they must strictly satisfy expected requirements in respect to giving timing constraints. The best way to develop and deploy these complex systems is the component-based software engineering. Traditionally, software components are developed independently and often considered as black boxes. However, they might be dependent from each other at assembly and deployment stages and used by a third party in various environments. In a previous work (Belguidoum et al., 2011), we have proposed a Maude-based framework for safe component installation. In this paper, we extend this work by taking into account real-time constraints for installation operation. This framework is implemented using Real-Time Maude system enabling both the real-time installation execution and its formal analysis using its LTL model checker.

Keywords: critical systems; component deployment; real-time installation; formal specification; rewriting logic; Real-Time Maude; component-based software engineering; software components.

DOI: 10.1504/IJCCBS.2014.059590

International Journal of Critical Computer-Based Systems, 2014 Vol.5 No.1/2, pp.103 - 126

Published online: 21 Oct 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article