FORECAST: Functional Properties and Dependability in Cyber-Physical Systems

by David Pereira, Nov. 9, 2021

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 in HiPEAC 2022 (https://www.hipeac.net/2022/budapest/#/) with spotlights on bridging between contributing communities of Cyber-Physical Systems. Comprising ENHANCE, FORECAST & STEADINESS, the Segment overview is presented in the programs tab. STEADINESS encourages participation from system level communities including system modelling, validation and verification and the product lifecycle. 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

  • 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 https://arxiv.org/help/submit for preparing your paper. You can find LaTeX templates for arxiv at https://www.overleaf.com/gallery/tagged/arxiv
  • In the submission system, under the “Topics” option, please select only 1 option, Select FORECAST to submit to this workshop.
  • Please submit your papers at https://easychair.org/conferences/?conf=sccs2022
  • 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
  • Workshop: Januray 18

Agenda

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.