FORECAST 2022 : Functional Properties and Dependability in Cyber-Physical Systems
Call For Papers
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. 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.
** 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.
** Program **
10.00 Welcome, key note and general discussion on CPS
11.30 Functional property technologies bridging to dependability.
14.00 Functional Properties for Intelligent Systems
16.00 Paper & Project presentations.
*** Support Through Projects **
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.