A chain-based analysis model is presented that treats SIL constraints and BSW costs as first-class citizens, as well as an integrated toolchain that constructs job-level data-age constraints, forms SIL-compliant clusters, synthesizes multirate tasks, and maps application and BSW tasks to heterogeneous multicore platforms while checking timing and memory feasibility.
A dependency-aware OTA orchestration framework that addresses challenges in improving update success rates, efficiency in execution time and update requests through optimized scheduling, and feasibility in maintaining system-wide integrity by successfully reconciling stringent safety requirements and diverse update sen...
Juyeon Park, In-Young Ko· SIGSOFT FSE Companion· 0 citations
Results show that SAP-LCLS can jointly provide commit-path scalability, reduced recovery latency, and limited hardware overhead in cost-constrained automotive MCUs.
Seonghyeon Yang, Sewon Jung, Donggon Kang et al.· IEEE Access· 0 citations
An airborne software development approach for manned and unmanned aerial vehicles aimed at reducing inconsistencies across system, model-based functional, and embedded software domains is presented and a repository-centered implementation to address recurring failure modes is proposed.
Nils Schlautmann, V. Sinitsyn, Benjamin Engelhard et al.· 0 citations
The results indicate that language-model assistance can add value in regulated automotive requirements workflows when it is embedded in deterministic, provenance-rich, and expert-governed processes.
The proposed framework generates candidate mappings via hierarchical in-context learning, then fuses self-consistency and LLM-based evidence verification signals into a calibrated meta-model, which can support selective automation by isolating auto-confirmable mappings from those requiring analyst review.
Heeyun Heo, Sangmin Park, Huy Kang Kim et al.· arXiv.org· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
