posted by organizer: drp || 246 views || tracked by 1 users: [display]

FORECAST 2022 : Functional Properties and Dependability in Cyber-Physical Systems

FacebookTwitterLinkedInGoogle

Link: https://www.hipeac.net/2022/budapest/#/program/sessions/7938/
 
When Jan 18, 2022 - Jan 18, 2022
Where Budapest, Hungary
Submission Deadline Nov 22, 2021
Notification Due Dec 13, 2021
Final Version Due Jan 7, 2022
Categories    fault-tolerant systems   real-time computing systems   low-power computing   specialized hardware designs
 

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

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

Related Resources

STEADINESS 2022   System Engineering and Dependability in Cyber-Physical Systems
ENHANCE 2022   Enabling Technologies and Dependability in Cyber-Physical Systems
CPSIOT 2021   2021International Conference on Cyber Physical Systems and IoT(CPSIOT 2021)
RTAS 2022   28th IEEE Real Time Technology and Applications Symposium
SI-Frontiers-Robotics-AI-MCPC 2022   Special Issue @ Frontiers in Robotics and AI: Mobile Cyber-Physical Collectives
ACM SaT-CPS 2022   ACM Workshop on Secure and Trustworthy Cyber-Physical Systems
RTNS 2022   International Conference on Real-Time Networks and Systems
RTEST 2022   The CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST)
ICPS 2022   5th IEEE International Conference on Industrial Cyber-Physical Systems
ICCPS 2022   13th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2022)