Med den ökande komplexiteten och tilliten till säkerhetsrelaterade elektriska/elektroniska (E/E) system inom fordonssektorn rekommenderas starkt att man utvecklar ett explicit säkerhetsfall för att ge garantier till de olika intressenter som är intresserade av fordonens funktionssäkerhet. Utarbetandet av ett säkerhetsfall är uttryckligen påbjudet av utkastet till fordonsfunktionssäkerhetsstandard ISO26262. Ett säkerhetsfall bör beakta alla organisatoriska och tekniska faktorer som kan bidra till säkerheten. Den bör till exempel ge garantier för ett visst systems säkra beteende och för den process genom vilken detta system utvecklas, drivs och underhålls. I detta dokument tar vi upp en del av det övergripande säkerhetsfallet, nämligen garantin för funktionssäkerhetskonceptet. I synnerhet undersöker vi hur modelldriven utveckling och bedömning kan utgöra en grund för systematisk generering av funktionssäkerhetskrav. Vi visar hur ett fordonssäkerhetsfall kan utvecklas strukturellt och spårbart, vilket motiverar varför och hur de definierade funktionssäkerhetskraven på ett tillfredsställande sätt kan minska risken för de identifierade farorna till en acceptabel nivå. En fallstudie presenteras också i hela detta dokument, där man diskuterar exempel och lärdomar från utvecklingen av ett säkerhetsfall för ett luftfjädringssystem.
Ett annat dokument värt att nämna är REF som beskriver utvecklingen av ett fordonsfunktionssäkerhetsfall i SysML- och Målstrukturerade Notation-miljöer.
Model-Based Assurance for Justifying Automotive Functional Safety
{'venue': 'SAE Technical Paper Series', 'journal': 'SAE Technical Paper Series', 'mag_field_of_study': ['Computer Science']}