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.
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 Access for subscribers Purchase this article Comment on this article