A new framework called SafeDSE has been developed to address the challenges of integrating safety-critical functions with less critical ones on embedded platforms. This framework jointly explores safety architecture patterns, component placement, and scheduling to optimize for both safety and cost. SafeDSE aims to ensure that safety requirements are met while minimizing development expenses, with an independent verifier confirming each solution and generating evidence for safety arguments. AI
IMPACT This research could lead to more efficient and cost-effective development of safety-critical embedded systems.
RANK_REASON The cluster contains an academic paper detailing a new framework for safety-critical systems. [lever_c_demoted from research: ic=1 ai=0.4]
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →