skip to main content
10.1145/3310273.3323436acmconferencesArticle/Chapter ViewAbstractPublication PagescfConference Proceedingsconference-collections
research-article

CERBERO: Cross-layer modEl-based fRamework for multi-oBjective dEsign of reconfigurable systems in unceRtain hybRid envirOnments: Invited paper: CERBERO teams from UniSS, UniCA, IBM Research, TASE, INSA-Rennes, UPM, USI, Abinsula, AmbieSense, TNO, S&T, CRF

Published: 30 April 2019 Publication History

Abstract

Cyber-Physical Systems (CPS) are embedded computational collaborating devices, capable of sensing and controlling physical elements and, often, responding to humans. Designing and managing systems able to respond to different, concurrent requirements during operation is not straightforward, and introduce the need of proper support at design-time and run-time. The Cross-layer modEl-based fRamework for multi-oBjective dEsign of Reconfigurable systems in unceRtain hybRid envirOnments (CERBERO) EU project has developed a design environment for adaptive CPS. CERBERO approach leverages on model-based methodologies including different technologies and tools developed to cover design and operation from user interactions down to low level computing layer implementation.

References

[1]
Performance API. 2019. http://icl.utk.edu/papi/
[2]
T. Bosse et al. 2017. Developing ePartners for human-robot teams in space based on ontologies and formal abstraction hierarchies. Journal of Agent-Oriented Software Engineering 5, 4 (2017), 366--398.
[3]
CERBERO Deliverable D6.10. 2018. Smart Travelling Demonstrator. https://www.cerbero-h2020.eu/wp-content/uploads/2018/12/D6.10.pdf
[4]
CERBERO Deliverable D6.8. 2018. Planetary Exploration Demonstrator. https://www.cerbero-h2020.eu/wp-content/uploads/2018/12/D6.8.pdf
[5]
CERBERO Deliverable D6.9. 2018. Ocean Monitoring Demonstrator. https://www.cerbero-h2020.eu/wp-content/uploads/2018/12/D6.9.pdf
[6]
Simon Dobson. 2005. Component-Oriented Approaches to Context-Aware Computing. In Object-Oriented Technology. ECOOP 2004 Workshop Reader, Jacques Malenfant and Bjarte M. Østvold (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 84--93.
[7]
T. Fanni et al. 2018. Multi-Grain Reconfiguration for Advanced Adaptivity in Cyber-Physical Systems. In International Conference on ReConFigurable Computing and FPGAs (ReConFig).
[8]
Reiner Hartenstein. 2001. Coarse grain reconfigurable architecture (embedded tutorial). In Cnf. of the Asia and South Pacific Design Automation.
[9]
J Heulot et al. 2014. SPIDER: A synchronous parameterized and interfaced dataflow-based RTOS for multicore DSPs. In EDERC.
[10]
L. Kaliciak et al. 2018. Searching of Self-similar Spaces. In Proc. of the Future Techn. Conf. (FTC 2018), Vol. 2. Springer, 1106--1124.
[11]
M. Lombardo et al. 2012. Power management techniques in an FPGA-based WSN node for high performance applications. In Workshop on Reconfigurable and Communication-Centric Systems-on-Chip.
[12]
F. D. Macías-Escrivá et al. 2013. Self-adaptive systems: A survey of current approaches, research challenges and applications. Expert Syst. Appl. 40, 18 (2013), 7267--7279.
[13]
D. Madroñal et al. 2018. Automatic Instrumentation of Dataflow Applications Using PAPI. In ACM International Conference on Computing Frontiers.
[14]
M. Masin et al. 2017. Cross-layer design of reconfigurable cyber-physical systems. In Design, Automation Test in Europe Conference Exhibition.
[15]
M. Narizzano et al. 2018. Consistency of property specification patterns with boolean and constrained numerical signals. In NASA Formal Methods Symposium. Springer, 383--398.
[16]
F. Palumbo et al. 2017. Challenging CPS Trade-Off Adaptivity with Coarse-Grained Reconfiguration. In Applications in Electronics Pervading Industry, Environment and Society, Lecture Notes in Electrical Engineering (2017-09-21), Vol. 512. Springer, 57--63.
[17]
F. Palumbo et al. 2017. Power-Awarness in Coarse-Grained Reconfigurable Multi-Functional Architectures: a Dataflow Based Strategy. Journal of Signal Processing Systems 87, 1 (01 Apr 2017), 81--106.
[18]
J. Parsons and Y. Wand. 2000. Emancipating Instances from the Tyranny of Classes. Information Modelling, ACM Transactions on Database Systems 25 (2000).
[19]
M. Pelcat et al. 2014. Preesm: A dataflow-based rapid prototyping framework for simplifying multicore DSP programming. In EDERC.
[20]
A. Rodríguez et al. 2018. FPGA-Based High-Performance Embedded Systems for Adaptive Edge Computing in Cyber-Physical Systems: The ARTICo<sup>3</sup> Framework. Sensors 18, 6 (2018).
[21]
C. Sau et al. 2015. Reconfigurable coprocessors synthesis in the MPEG-RVC domain. In International Conference on ReConFigurable Computing and FPGAs (ReConFig).
[22]
AV Simulation. 2019. https://www.avsimulation.fr/solutions/
[23]
C. J. van Leeuwen et al. 2014. Model-Based Architecture Optimization for Self-Adaptive Networked Signal Processing Systems. In SASO.
[24]
Xilinx 2017. Vivado Design Suite User Guide - Partial Reconfiguration UG909 (v2017.1). Xilinx.
[25]
A. Zadorojniy et al. 2012. Algorithms for Finding Maximum Diversity of Design Variables in Multi-Objective Optimization. In CSER.
[26]
R. Zamacola et al. 2018. IMPRESS: Automated Tool for the Implementation of Highly Flexible Partial Reconfigurable Systems with Xilinx Vivado. In International Conference on ReConFigurable Computing and FPGAs (ReConFig).

Cited By

View all
  • (2024)MYRTUS: Multi-layer 360° dYnamic orchestration and interopeRable design environmenT for compute-continUum SystemsProceedings of the 21st ACM International Conference on Computing Frontiers: Workshops and Special Sessions10.1145/3637543.3654618(101-106)Online publication date: 7-May-2024
  • (2021)SMT-Based Consistency Checking of Configuration-Based Components SpecificationsIEEE Access10.1109/ACCESS.2021.30859119(83718-83726)Online publication date: 2021
  • (2021)The Multi-Dataflow Composer toolMicroprocessors & Microsystems10.1016/j.micpro.2020.10332680:COnline publication date: 1-Feb-2021
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
CF '19: Proceedings of the 16th ACM International Conference on Computing Frontiers
April 2019
414 pages
ISBN:9781450366854
DOI:10.1145/3310273
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 April 2019

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. CPS
  2. HW adaptivity
  3. HW reconfiguration
  4. SW adaptivity
  5. self-adaptation
  6. verification

Qualifiers

  • Research-article

Funding Sources

Conference

CF '19
Sponsor:
CF '19: Computing Frontiers Conference
April 30 - May 2, 2019
Alghero, Italy

Acceptance Rates

Overall Acceptance Rate 273 of 785 submissions, 35%

Upcoming Conference

CF '25

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)7
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)MYRTUS: Multi-layer 360° dYnamic orchestration and interopeRable design environmenT for compute-continUum SystemsProceedings of the 21st ACM International Conference on Computing Frontiers: Workshops and Special Sessions10.1145/3637543.3654618(101-106)Online publication date: 7-May-2024
  • (2021)SMT-Based Consistency Checking of Configuration-Based Components SpecificationsIEEE Access10.1109/ACCESS.2021.30859119(83718-83726)Online publication date: 2021
  • (2021)The Multi-Dataflow Composer toolMicroprocessors & Microsystems10.1016/j.micpro.2020.10332680:COnline publication date: 1-Feb-2021
  • (2020)Feasibility Study and Porting of the Damped Least Square Algorithm on FPGAIEEE Access10.1109/ACCESS.2020.30253678(175483-175500)Online publication date: 2020
  • (2020)Automated Requirements-Based Testing of Black-Box Reactive SystemsNASA Formal Methods10.1007/978-3-030-55754-6_9(153-169)Online publication date: 11-May-2020
  • (2019)Hardware/Software Self-adaptation in CPS: The CERBERO Project ApproachEmbedded Computer Systems: Architectures, Modeling, and Simulation10.1007/978-3-030-27562-4_30(416-428)Online publication date: 7-Jul-2019

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media