FAA+RTS is a novel solution as it integrates previously-isolated methods for dealing with multiple constraints into a single framework, presenting a single overview of all possible trade-offs to the application designer, resulting in a robust and reliable system.
We give the first theoretical characterization, and the first algorithm, for continuous monitoring of a distributed Cyber-Physical System (CPS) against a dense-time temporal logic specification. A distributed CPS is composed of multiple agents, each with a local clock; these clocks drift from each other, so there is no...
Software-defined vehicle (SDV) platforms are reshaping safety-critical system design by consolidating braking and other motion-control functions on centralized heterogeneous edge compute that also executes physical-AI workloads. This consolidation breaks traditional assumptions of fixed ECUs and simple timing envelopes...
Soumyasudharsan Srinivasaraghavan· SAE technical paper series· 0 citations
Currently, the prevalence of heterogeneous multicore architectures even in real-time safety-critical embedded systems is rising, as an increasing number of applicationspecific accelerators are introduced into the core architecture to tackle more and more complex problems. This does create a challenge for the modern dev...
Jonas Hollmann, Jakob Arndt, Holger Blume· IEEE International Conferenc...· 0 citations
This special issue aims to demonstrate how AI can overcome existing limitations in time-critical computing systems and applications, and to advance the state of the art in AI techniques for these systems.
Long Cheng, Xiaomin Chen, Zhiming Zhao· 0 citations
