---
authors:

  - "Taylor, Max"
  
  - "Amorim, Arthur"
  
citekey: "taylorEnhancingCyberPhysicalSystem2025"
alias: "taylorEnhancingCyberPhysicalSystem2025"
publish_date: 2025-06-23
location: "Naples, Italy"
last_import: 2025-07-30
---

# Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions

## Indexing Information
Published: 2025-06




#InFirstPass



>[!seealso] Related Papers
>

## Annotations
### Notes
![[Zettelkasten/Literature Notes/Notes on Papers/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions-notes.md]]

### Highlights From Zotero
>[!done] Important
> By formally designing safety and liveness requirements and synthesizing software that adheres to these specifications, unsafe behaviors can be prevented from the very beginning of system development.
> 2025-05-06 4:37 pm
>

>[!warning] Dubious
> Preventing unsafe behaviors is achievable by meticulously engineering control software to prevent such behaviors. However, software often contains bugs that adversaries can exploit. Preventing bugs involves specifying the correct behavior of the system and proving that the software implementation adheres to the specification. However, these program verification-based approaches are challenging to apply [5], [9], [24].
> 2025-05-06 4:44 pm
>
> *Bugs r bad. Basically the main point.


These citations don't really support the claim that they're attached to.*



### Follow-Ups