Programming Dynamic Reconfigurable Systems

Ballouli, Rim El; Bensalem, Saddek; Bozga, Marius; Sifakis, Joseph

doi:10.1007/978-3-030-02146-7_6

Cited by 12 publications

(16 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Sources of uncertainty are multiple, including time-varying load, dynamic change due to mobility, bursty events, and most critical events such as failures and attacks. The Self-adaptation module generates objectives to cope with such situations involving imperfect knowledge and lack of predictability [2,5]. This can be achieved to some extent, using knowledge, e.g.…”

Section: Autonomic Complexitymentioning

confidence: 99%

“…Self-organization is the ability to adapt coordination rules to changing system dynamics. We have shown that all these types of architectures can be formalized as operators taking as arguments arbitrary numbers of instances of agent and objects types [3,4,5]. We badly need theory for studying their properties in a compositional manner.…”

Section: Architecture Complexitymentioning

confidence: 99%

See 1 more Smart Citation

Autonomous Systems – An Architectural Characterization

Sifakis

2019

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

The concept of autonomy is key to the IoT vision promising increasing integration of smart services and systems minimizing human intervention. This vision challenges our capability to build complex open trustworthy autonomous systems. We lack a rigorous common semantic framework for autonomous systems. It is remarkable that the debate about autonomous vehicles focuses almost exclusively on AI and learning techniques while it ignores many other equally important autonomous system design issues.Autonomous systems involve agents and objects coordinated in some common environment so that their collective behavior meets a set of global goals. We propose a general computational model combining a system architecture model and an agent model. The architecture model allows expression of dynamic reconfigurable multi-mode coordination between components. The agent model consists of five interacting modules implementing each one a characteristic function: Perception, Reflection, Goal management, Planning and Self-adaptation. It determines a concept of autonomic complexity accounting for the specific difficulty to build autonomous systems.We emphasize that the main characteristic of autonomous systems is their ability to handle knowledge and adaptively respond to environment changes. We advocate that autonomy should be associated with functionality and not with specific techniques. Machine learning is essential for autonomy although it can meet only a small portion of the needs implied by autonomous system design. We conclude that autonomy is a kind of broad intelligence. Building trustworthy and optimal autonomous systems goes far beyond the AI challenge.

show abstract

Section: Autonomic Complexitymentioning

confidence: 99%

Section: Architecture Complexitymentioning

confidence: 99%

Autonomous Systems – An Architectural Characterization

Sifakis

2019

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…For instance, in [40,41] L2C has been extended with reconfiguration capabilities for the specific case of high performance numerical simulations. Studies have also been conducted for reconfiguration mechanisms in BIP [42].…”

Section: Reconfigurations In the Literaturementioning

confidence: 99%

Toward safe and efficient reconfiguration with Concerto

Chardet

Coullon

Robillard

2021

Science of Computer Programming

View full text Add to dashboard Cite

For large-scale distributed systems that need to adapt to a changing environment, conducting a reconfiguration is a challenging task. In particular, efficient reconfigurations require the coordination of multiple tasks with complex dependencies. We present Concerto, a model used to manage the lifecycle of software components and coordinate their reconfiguration operations. Concerto promotes efficiency with a fine-grained representation of dependencies and parallel execution of reconfiguration actions, both within components and between them. In this paper, the elements of the model are described as well as their formal semantics. In addition, we outline a performance model that can be used to estimate the time required by reconfigurations, and we describe an implementation of the model. The evaluation demonstrates the accuracy of the performance estimations, and illustrates the performance gains provided by the execution model of Concerto compared to state-of-the-art systems.

show abstract

“…By doing so the authors also introduce their own policy model called UseCON. -The paper "Programming dynamic reconfigurable systems" by El Ballouli, Bensalem, Bozga, and Sifakis [18] is an extension of the ISoLA 2018 and FACS 2018 papers [16,17] by the same authors. The paper focuses on programming dynamic reconfigurable systems.…”

Section: This Issuementioning

confidence: 99%

On methods and tools for rigorous system design

Bliudze

Katsaros

Bensalem

et al. 2021

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

Full a posteriori verification of the correctness of modern software systems is practically infeasible due to the sheer complexity resulting from their intrinsic concurrent nature. An alternative approach consists of ensuring correctness by construction. We discuss the Rigorous System Design (RSD) approach, which relies on a sequence of semantics-preserving transformations to obtain an implementation of the system from a high-level model while preserving all the properties established along the way. In particular, we highlight some of the key requirements for the feasibility of such an approach, namely availability of (1) methods and tools for the design of correct-by-construction high-level models and (2) definition and proof of the validity of suitable domain-specific abstractions. We summarise the results of the extended versions of seven papers selected among those presented at the $$1\mathrm {st}$$ 1 st and the $$2\mathrm {nd}$$ 2 nd International Workshops on Methods and Tools for Rigorous System Design (MeTRiD 2018–2019), indicating how they contribute to the advancement of the RSD approach.

show abstract

Programming Dynamic Reconfigurable Systems

Cited by 12 publications

References 17 publications

Autonomous Systems – An Architectural Characterization

Autonomous Systems – An Architectural Characterization

Toward safe and efficient reconfiguration with Concerto

On methods and tools for rigorous system design

Contact Info

Product

Resources

About