Towards Energy-, Time- and Security-Aware Multi-core Coordination

Abstract

Coordination is a well established computing paradigm with a plethora of languages, abstractions and approaches. Yet, we are not aware of any adoption of the principle of coordination in the broad domain of cyber-physical systems, where non-functional properties, such as execution/response time, energy consumption and security are as crucial as functional correctness.We propose a coordination approach, including a functional coordination language and its associated tool flow, that considers time, energy and security as first-class citizens in application design and development. We primarily target cyber-physical systems running on off-the-shelf heterogeneous multi-core platforms. We illustrate our approach by means of a real-world use case, an unmanned aerial vehicle for autonomous reconnaissance mission, which we develop in close collaboration with industry.

Performance Analysis of Fault-Tolerant Multiagent Coordination Mechanisms

“…A control-based approach that allows coordination under intermittent Denial-of-Service (DoS) attacks is presented in [21]. A coordination language that focuses on quantitative aspects (e.g., energy consumption and security) is defined in [22], but it is not complemented with an analysis tool. Task completion time and overall system performance efficiency is evaluated in [23], in particular reward-based task offloading schemes regulate the collaboration among nearby robots.…”

PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report

“…At the heart of our generative approach, component coordination uses a declarative DSL that defines the external behaviour of the components and their orderly interaction [29]. The coordination DSL code describes the application architecture at a high level of abstraction.…”

“…In addition to the code of each task, our tool requires a specification of the tasks and their interactions (the edges in a DAG-based task model). To this end, we reuse our coordination DSL, first described in [29]. We show an example program and its graphical illustration in Fig.…”

“…PReGO is based on the TeamPlay component-based architecture and declarative specification language, which were previously described in terms of general principles and the concept of energy-, time-, and security-aware scheduling [29]. This paper investigates the practice of applying this approach to a Linux-based system, presents the PReGO methodology for systematically applying TeamPlay to COTS-based systems, and is the first reported experimental evaluation of the TeamPlay component-based architecture and specification language.…”

“…We present a generative, component-based methodology to pragmatically providing real-time guarantees for embedded systems under real-world constraints: TeamPlay Real-time Guarantees for COTS-based Systems (PReGO). PReGO includes the identification of realtime properties in the software, guidelines for taming a Linux OS, engineering principles to use the TeamPlay 1 componentbased architecture and declarative specification language [29], and methods for applying the generative steps performed by our tool. We provide a systematic approach that can be applied to a wide range of Commercial-Off-The-Shelf (COTS) platforms running COTS Operating Systems (OS).…”