A RT-Maude-based framework for component installation

Authors:
Meriem Belguidoum;Faiza Belala;Fateh Latreche
Affiliations:
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
Venue:
International Journal of Critical Computer-Based Systems
Year:
2014

Citing 15
Cited 0

Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
The role of dependencies in component-based systems evolution

Proceedings of the International Workshop on Principles of Software Evolution
A conceptual foundation for component-based software deployment

Journal of Systems and Software
Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications
A formal framework for component deployment

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

Formal Methods in System Design
The rewriting logic semantics project

Theoretical Computer Science
Semantics and pragmatics of Real-Time Maude

Higher-Order and Symbolic Computation
Dependency Management in Software Component Deployment

Electronic Notes in Theoretical Computer Science (ENTCS)
Formalization of Component Substitutability

Electronic Notes in Theoretical Computer Science (ENTCS)
Formal modeling and analysis of the OGDC wireless sensor network algorithm in real-time maude

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Dynamic resource reallocation between deployment components

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Proceedings of the 13th international conference on Component-Based Software Engineering

CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Formal simulation and analysis of the CASH scheduling algorithm in real-time maude

FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Toward a rewriting logic framework for safe and distributed component installation

VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems

Quantified Score

Hi-index	0.00

Visualization

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.