A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase

Bureš, Tomáš; Nicola, Rocco De; Gerostathopoulos, Ilias; Hoch, Nicklas; Kit, Michał; Koch, Nora; Monreale, Giacoma Valentina; Montanari, Ugo; Pugliese, Rosario; Serbedzija, Nikola; Wirsing, Martin; Zambonelli, Franco

doi:10.1109/sasow.2013.23

Cited by 23 publications

(18 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To assess to which extent SCEL meets our expectations, we have used it to tackle a number of case studies from robotics [15,24,13,34], service provision domains [19,23], cloud-computing [36,38] and e-Mobility domains [12]. Moreover, to verify the impact of SCEL on autonomic programming we have shown how it can be used to model a key aspect such as self-expression [13] and how it can flexibly model different adaptation patterns [15].…”

Section: Discussionmentioning

confidence: 99%

The SCEL Language: Design, Implementation, Verification

Nicola

Latella

Lafuente

et al. 2015

Software Engineering for Collective Autonomic Systems

Self Cite

View full text Add to dashboard Cite

Abstract. SCEL (Service Component Ensemble Language) is a new language specifically designed to rigorously model and program autonomic components and their interaction, while supporting formal reasoning on their behaviors. SCEL brings together various programming abstractions that allow one to directly represent aggregations, behaviors and knowledge according to specific policies. It also naturally supports programming interaction, self-awareness, context-awareness, and adaptation. The solid semantic grounds of the language is exploited for developing logics, tools and methodologies for formal reasoning on system behavior to establish qualitative and quantitative properties of both the individual components and the overall systems.

show abstract

Section: Discussionmentioning

confidence: 99%

The SCEL Language: Design, Implementation, Verification

Nicola

Latella

Lafuente

et al. 2015

Software Engineering for Collective Autonomic Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…Moreover, we envision integrating the proposed technique into the existing ensemble development life cycle [23], which provides a systematic approach (i.e., methodology) towards engineering (ensemble-based) CPS. The presented work fits into the modeling part of that cycle, which is followed by verification performed on the basis of simulation techniques -similar to the procedure shown in this paper.…”

Section: Discussionmentioning

confidence: 99%

Towards Component-Based Design of Safety-Critical Cyber-Physical Applications

Masrur

Kit

Bure

et al. 2014

2014 17th Euromicro Conference on Digital System Design

Self Cite

View full text Add to dashboard Cite

Abstract-Cyber-physical systems typically involve a large number of mobile autonomous devices that closely interact with each other and their environment. Standard design and development techniques from the embedded domain fail to accurately model the dynamics of such systems and, hence, there is an increasing need for new programming models and abstractions. Component-based design approaches are a promising solution to manage the complexity of large-scale dynamic systems. However, existing such approaches either do not accurately model transitory interactions between componentswhich are typical of cyber-physical systems -or do not provide guarantees for real-time behavior which is essential in many safety-critical applications. To overcome this problem, in this paper, we present a component-based design technique based on DEECo (Dependable Emergent Ensembles of Components). The DEECo framework allows modeling large-scale dynamic systems by a set of interacting components. In contrast to other component-based design approaches from the literature, DEECo provides mechanisms to describe transitory interactions between components. We introduce necessary extensions to the DEECo design flow and integrate it with real-time analysis techniques that allow reasoning about timing behavior at the component-description level. Finally, we illustrate the simplicity and usefulness of our approach on a case study consisting of an intelligent crossroad system.

show abstract

“…Note that if required, the task can be formally defined, e.g. using the State Of The Affairs (SOTA, [Abeywickrama et al 2012]) methodology for describing states, requirements and tasks in combination with the Software Component Ensemble Language (SCEL, ), as seen in [Bures et al 2013]. In another paper we conducted a study in which we consider systems in which run time changes in task specification or objectives can occur.…”

Section: Modellingmentioning

confidence: 99%

Artificial Immunology for Collective Adaptive Systems Design and Implementation

Capodieci

Hart

Cabri

2016

ACM Trans. Auton. Adapt. Syst.

View full text Add to dashboard Cite

Distributed autonomous systems consisting of large numbers of components with no central control point need to be able to dynamically adapt their control mechanisms during run-time in order to deal with an unpredictable and changing environment. Existing frameworks for engineering self-adaptive systems fail to account for the need to incorporate self-expression, i.e. the capability of a system to dynamically adapt its coordination pattern during run-time. Although the benefits of incorporating self-expression are well-known, there is currently no principled means of enabling this during system design. We propose a conceptual framework for principled design of systems that exhibit self-expression, based on inspiration from the natural immune system. The framework is described as a set of design principles and customisable algorithms, and then instantiated in three case-studies, including two from robotics and one from artificial chemistry. We show that it enables self-expression in each case, resulting in systems that are able to adapt their choice of coordination pattern during run time to optimise functional and non-functional goals as well as to discover novel patterns and architectures.

show abstract

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase

Cited by 23 publications

References 15 publications

The SCEL Language: Design, Implementation, Verification

The SCEL Language: Design, Implementation, Verification

Towards Component-Based Design of Safety-Critical Cyber-Physical Applications

Artificial Immunology for Collective Adaptive Systems Design and Implementation

Contact Info

Product

Resources

About