Architecting Safety-Critical Systems for AI-Enabled Software-Defined Vehicles: A Compute, Timing, and Isolation Framework with a Brake System Case Study
Sep 2026· SAE technical paper series· 0 citations· 10 references
Abstract
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, complicating assurance of determinism, isolation, and fail-operational behaviour for ASIL-D brake functions. Building on a decentralized brake-by- wire (BbW) architecture with dual controllers, redundant low-voltage power grids, and smart electromechanical brake corner actuators, this paper proposes a systems-level framework for architecting safety-critical functions in AI-enabled SDVs along three dimensions: compute, timing, and isolation. The framework classifies conventional and AI-based functions and maps them to heterogeneous compute classes; defines architectural patterns that combine safety islands, power-domain redundancy, and hardware partitioning to support freedom from interference; and formalizes timing domains and contracts that bound latency, jitter, and failover dynamics across sensors, centralized controllers, and decentralized actuators. The contribution is not a new AI algorithm, but a safety-oriented architectural framework that constrains how AI-enabled functions may be integrated into fail-operational by-wire systems. A BbW case study with edge-resident AI observers and anomaly detectors shows how the framework complements System Analysis Tool (SAT)– based failure modelling and clarifies trade-offs among safety isolation, latency, and AI performance while preserving braking safety guarantees under continuous software evolution.
This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.
P. Abrahamsson, O. Salo, Jussi Ronkainen et al.· arXiv.org· 727 citations· ⚡54
The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.
M. Pikkarainen, Jukka Haikara, O. Salo et al.· Empirical Software Engineeri...· 401 citations· ⚡48
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
The perception of the impact of agile methods is predominantly positive, and several challenge areas were discovered, but based on this study, agile methods are here to stay.
M. Laanti, O. Salo, P. Abrahamsson· Information and Software Tec...· 260 citations· ⚡20
Biology doesn't operate in silos, and neither should the AI representation of it. Quine is an early-stage research effort to create a multimodal world model of biology. By connecting insights across biological scales and modalities, Quine helps scientists computationally search a space far larger than intuition allows and prioritize hypotheses before they reach the lab. Experimental results provide important feedback, helping researchers sharpen future research directions. The post Introducing Q…