Vi rapporterar om en modellbaserad strategi för system-programvara coengineering som är anpassad till de specifika egenskaperna hos kritiska ombordsystem för flyg- och rymdområdet. Metoden stöds av ett system-nivå Integrerad Modellering (SLIM) Språk genom vilket ingenjörer förses med praktiska sätt att beskriva nominell hårdvara och programvara drift, (probabilistiska) fel och deras spridning, fel återvinning, och försämrade driftssätt. Korrektionsegenskaper, säkerhetsgarantier och prestanda- och tillförlitlighetskrav ges med hjälp av egendomsmönster som fungerar som parameteriserade "mallar" till ingenjörerna och därmed erbjuder en begriplig och lättanvänd ram för kravspecifikation. Direkta egenskaper kontrolleras på SLIM-specifikationen med hjälp av toppmoderna formella analysmetoder såsom begränsad SAT-baserad och symbolisk modellkontroll, och probabilistiska varianter därav. Den exakta karaktären hos dessa tekniker tillsammans med den formella SLIM semantik ger en tillförlitlig modellerings- och analysram för system- och programvaruingenjörer som stödjer bland annat automatiserad härledning av dynamiska (dvs. slumpvis timade) felträd, FMEA-tabeller, bedömning av FDIR och automatiserad härledning av observerbarhetskrav.
I COMPASS-projektet REF baseras den modellbaserade probabilistiska säkerhetsbedömningen på designspråket SLIM (System-Level Integrated Modeling).
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
{'venue': 'SAFECOMP', 'journal': None, 'mag_field_of_study': ['Computer Science']}