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...
An initial characterization of LLM-supported design in self-adaptive systems is contributed, which outlines research directions, and aims to stimulate discussion within the community on advancing LLM-supported architectural design for self-adaptive and autonomous software systems.
A safety-oriented architectural framework that constrains how AI-enabled functions may be integrated into fail-operational by-wire systems and clarifies trade-offs among safety isolation, latency, and AI performance while preserving braking safety guarantees under continuous software evolution is proposed.
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
