FORECAST: Functional Properties and Dependability in Cyber-Physical Systems


Computer Hardware Design Computing Systems Engineering & Computer Science (General) Real-time & Embedded Systems

Safety-relevant applications have been traditionally built upon the KISS (Keep it simple stupid) principle as a way to ensure the dependability of those systems and at the same time control the costs of functional and dependabiliy properties verification. However, the traditional safety assessment approach that relies on system’s simplicity is being challenged these days by the increase in complexity and functionality requirements of new Cyber Physical Systems (CPS) applications (e.g autonomous transportation systems).

This workshop seeks innovative contributions in the area of complex safety-related systems that focus on the definition of new dependable CPS able to cope with the increased functionality demands of new applications. In particular, papers covering the following topics are welcome:

  • Fault-tolerant Computing systems:

    • Novel computing architectures with self-monitoring capabilities for safety and security, hardware and low-level software support for dependability, and cost-effective protection mechanism for complex computing systems.

  • Real-time Computing Systems

    • Hardware support for timing isolation and timing enforcement mechanisms, performance monitoring strategies for shared resources contention handling, performance monitoring for security and safety, quality of service support in complex processors.

    • Parallel-aware off-line and online analysis tools for dependability.

  • Battery operated systems and low-power computing

    • Low-power and reliable computing devices, in-sensor computing, power monitoring and verification, worst-case energy consumption estimation.

  • Specialized Hardware Designs

    • Dynamic Vision Sensors (DVS), ultra low-power systems, near threshold voltage computing, approximate computing

  • Novel Functional Safety Certification approaches

    • Methodologies and tools for certification and qualification of complex systems in the context of relevant functional safety standards (e.g ISO 26262 or IEC 61508).

This workshop is part of a three day segment at HiPEAC 2022 ( with spotlights on bridging between contributing communities of Cyber-Physical Systems. Comprising ENHANCE, FORECAST & STEADINESS, the Segment overview is presented in the programs tab. FORECAST encourages participation from communities representing system functional properties including Computation, Sensing, Physical Actions and Coordinated Collaboration. Product-side and market influencers, such as from product-lines and policy making, are also invited to participate.

Session chaired by: Martin Rönnback (CAES Gaisler)

Papers review led by: Carles Hernández (UPV)

Paper Submission Instructions:

  1. A 2 page extended abstract or a 4-page work in progress papers are invited. A work in progress must include some initial results. Use the instructions at for preparing your paper. You can find LaTeX templates for arxiv at

  2. In the submission system, under the “Topics” option, please select only 1 option, Select FORECAST to submit to this workshop.

  3. Please submit your papers at

  4. 2-page papers will be only for presentation at the workshop and 4-page accepted papers will also be published as an indexed proceedings on arxiv.

Important Dates

  • Submission date: November 22

  • Review dates: November 23 - December 10

  • Confirmation date: December 13

  • Final version date: January 7


10.00 Welcome, key note and general discussion on CPS

11.00 Refreshments

11.30 Functional property technologies bridging to dependability.

13.00 Lunch

14.00 Functional Properties for Intelligent Systems

15.30 Refreshments

16.00 Paper & Project presentations.

Supported through the projects:

This workshop is supported by the SELENE and FRACTAL projects. SELENE has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement no. 871467. FRACTAL has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 877056.