%0 Conference Proceedings
%T Towards Energy-, Time- and Security-Aware Multi-core Coordination
%+ University of Amsterdam [Amsterdam] = Universiteit van Amsterdam (UvA)
%+ University of Augsburg (UNIA)
%A Roeder, Julius
%A Rouxel, Benjamin
%A Altmeyer, Sebastian
%A Grelck, Clemens
%Z Part 2: Coordination Languages
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 22th International Conference on Coordination Languages and Models (COORDINATION)
%C Valletta, Malta
%Y Simon Bliudze
%Y Laura Bocchi
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-12134
%P 57-74
%8 2020-06-15
%D 2020
%R 10.1007/978-3-030-50029-0_4
%K Cyber-physical systems
%K Non-functional properties
%K Real-time
%K Energy
%K Security
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03273984/document
%2 https://inria.hal.science/hal-03273984/file/495623_1_En_4_Chapter.pdf
%L hal-03273984
%U https://inria.hal.science/hal-03273984
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-12134