A Middleware for Reconfigurable Distributed Real-Time Embedded Systems

Krichen, Fatma; Zalila, Béchir; Jmaïel, Mohamed; Hamid, Brahim

doi:10.1007/978-3-642-30460-6_6

Cited by 6 publications

(12 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [6], [7], the authors present a novel middleware that supports reconfiguration of Distributed Real-Time and Embedded (DRE) systems, and a way for using Model-Driven Engineering (MDE) to create multiple possible configurations at design time such that the system can be reconfigured from one configuration to another based on events depicted using state diagrams. The actual transition from one configuration to another is performed via model to model (M2M) transformations.…”

Section: Related Workmentioning

confidence: 99%

Towards a resilient deployment and configuration infrastructure for fractionated spacecraft

et al. 2013

View full text Add to dashboard Cite

Abstract-Fractionated spacecraft are clusters of small, independent modules that interact wirelessly to realize the functionality of a traditional monolithic spacecraft. System F6 (F6 stands for Future, Fast, Flexible, Fractionated, Free-Flying spacecraft) is a DARPA program for fractionated spacecraft. Software applications in F6 are implemented in the context of the F6 Information Architecture Platform (IAP), which provides component-based abstractions for composing distributed applications. The lifecycle of these distributed applications must be managed autonomously by a deployment and configuration (D&C) infrastructure, which can redeploy and reconfigure the running applications in response to faults and other anomalies that may occur during system operation. Addressing these D&C requirements is hard due to the significant fluctuation in resource availabilities, constraints on resources, and safety and security concerns. This paper presents the key architectural ideas that are required in realizing such a D&C infrastructure.Index Terms-D&C for CPS, reconfiguration, failures.I. INTRODUCTION System F6 [1] (F6 stands for Future, Fast, Flexible, Fractionated, Free-Flying spacecraft) is a highly resourceconstrained, dynamic system which consists of a cluster of satellites forming the 'fractionated spacecraft', which provides a distributed computing platform in space. Each satellite module communicates wirelessly with others in the same cluster and with resources located on the ground. F6 clusters may host multiple applications, which share available resources to accomplish their mission objectives through collaboration. It is a distributed cyber-physical system (CPS) because the cyber infrastructure that is responsible to support mission critical applications must be aware of all physical constraints and physical dynamics when operating a computing cluster platform in space.The F6 Information Architecture Platform (IAP) provides infrastructure to build and manage applications that are created using software components with well-defined interfaces. These components conform to a novel component model called F6COM [2], which allows developers to design various software components that can operate in the real-time embedded environment of a fractionated spacecraft.Managing the lifecycle of an application on the F6 Platform is the responsibility of the deployment and configuration (D&C) infrastructure. The F6 D&C infrastructure is based on the OMG Deployment and Configuration for Componentbased Application specification [3], [4]. A typical F6 application will consist of several interconnected components.

show abstract

Section: Related Workmentioning

confidence: 99%

Towards a resilient deployment and configuration infrastructure for fractionated spacecraft

et al. 2013

View full text Add to dashboard Cite

show abstract

“…To verify in the next step the non-functional properties, the architectural style should be allocated on the hardware architecture. As the hardware architecture is unchanged, the allocation is made from software architecture models to execution supports using well-defined allocation policies (as already detailed in a previous work [1]). …”

Section: A Modeling Of Reconfigurable Dre Systemsmentioning

confidence: 99%

“…To illustrate our verification approach, we consider as a classical case study: a GPS (Global Positioning System) [4]. The satellite sends to earth an encrypted signal which contains various information useful for localization and synchronization.…”

Section: Case Studymentioning

confidence: 99%

Towards a verification approach for reconfigurable embedded systems

Krichen

Gassara

Zalila

et al. 2012

2012 IEEE Symposium on Computers and Communications (ISCC)

Self Cite

View full text Add to dashboard Cite

Abstract-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.

show abstract

“…To perform the code generation, these models will be transformed to implementation models. The implementation models allow to generate code using the routines of our proposed reconfigurable component execution support for real-time embedded systems (RCES4RTES) middleware [4].…”

Section: An Model-driven Engineering Based Approach To Reconfigurablementioning

confidence: 99%

“…Reconfiguration policies should be also specified to select the target mode. This model is conform to RCA4RTES meta-model [5]. Specification of software model: modeling of the system MetaModes where each MetaMode is composed of a set of structured components, connectors as well as non-functional and structural constraints.…”

Section: An Model-driven Engineering Based Approach To Reconfigurablementioning

confidence: 99%

Development of reconfigurable distributed embedded systems with a model‐driven approach

Krichen

Hamid

Zalila

et al. 2013

Concurrency and Computation

Self Cite

View full text Add to dashboard Cite

OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. SUMMARYIn this paper, we propose a model-driven approach allowing to build reconfigurable distributed real-time embedded (DRE) systems. The constant growth of the complexity and the required autonomy of embedded software systems management give the dynamic reconfiguration a big importance. New challenges to apply the dynamic reconfiguration at model level as well as runtime support level are required. In this direction, the development of reconfigurable DRE systems according to traditional processes is not applicable. New methods are required to build and to supply reconfigurable embedded software architectures. In this context, we propose an model-driven engineering based approach that enables to design reconfigurable DRE systems with execution framework support. This approach leads the designer to specify step by step his/her system from a model to another one more refined until the targeted model is reached. This targeted model is related to a specific platform leading to the generation of the most part of the system implementation. We also develop a new middleware that supports reconfigurable DRE systems.

show abstract

A Middleware for Reconfigurable Distributed Real-Time Embedded Systems

Cited by 6 publications

References 10 publications

Towards a resilient deployment and configuration infrastructure for fractionated spacecraft

Towards a resilient deployment and configuration infrastructure for fractionated spacecraft

Towards a verification approach for reconfigurable embedded systems

Development of reconfigurable distributed embedded systems with a model‐driven approach

Contact Info

Product

Resources

About