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

 

Author: 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

 

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

 

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: http://dx.doi.org/10.1504/IJCCBS.2014.059590

 

Available online 02 Mar 2014

 

 

Editors Full Text AccessAccess for SubscribersPurchase this articleComment on this article