3 papers
cs.SE2021★ 7 cited
Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems
Alexander Weiss, Smitha Gautham, Athira Varma Jayakumar +4
Understanding fault types can lead to novel approaches to debugging and runtime verification. Dealing with complex faults, particularly in the challenging area of embedded systems,…
cs.AR2020
Using DSP Slices as Content-Addressable Update Queues
Thomas B. Preußer, Monica Chiosa, Alexander Weiss +1
Content-Addressable Memory (CAM) is a powerful abstraction for building memory caches, routing tables and hazard detection logic. Without a native CAM structure available on FPGA d…
cs.SE2018
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…