FORECAST: Functional Properties and Dependability in Cyber-Physical Systems

FORECAST


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



**********************************************************************************

** FORECAST - Functional Properties and Dependability in Cyber-Physical Systems **

**********************************************************************************



** FORECAST @ HiPEAC 2022 **



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. 



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.



** WORKSHOP FOCUS & TOPICS OF INTEREST **



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).

* Physical action functionality for systems, including

 - Connecting physics models of system dynamics with higher level digital twin integrations for instance dependability responses.

 - Actuator advances, such as connecting with AI communities for smart actuators.



** 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

- The 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: March 31

- Review dates: April 01 - 15

- Confirmation date: April 18

- Final version date: May 9



** 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.



** ORGANIZERS **



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

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



** SUPPORT THROUGH PROJECTS **

This workshop is supported by the SELENE and FRACTAL projects:

- The SELENE project (selene-project.eu) has received funding from the European Union’s Horizon 2020 research and innovation programme

  under grant agreement no. 871467.

- The FRACTAL project (fractal-project.eu) has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 877056. 

  The JU receives support from the European Union’s Horizon 2020 research and innovation programme and Spain, Italy, Austria, Germany, Finland, Switzerland.