Integrating Physical Systems in the Static Analysis of Embedded Control Software
No abstract available.
Related papers
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software SAS 2018
- Using C language extensions for developing embedded software: a case study OOPSLA 2015
- The Embedded Machine: Predictable, Portable Real-Time Code PLDI 2002
- The embedded machine: Predictable, portable real-time code TOPLAS 2007
- PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report GPCE 2020
- A compiler for cyber-physical digital microfluidic biochips CGO 2018
- NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems CAV 2020