Konfigurationsinformationen för Integrated Modular Avionics (IMA) system innehåller nästan alla detaljer om hela systemarkitektur, som används för att konfigurera hårdvarugränssnitt, operativsystem och interaktioner mellan applikationer för att få ett IMA-system att fungera korrekt och tillförlitligt. Det är mycket viktigt att säkerställa riktigheten och integriteten i konfigurationen i IMA-systemets konstruktionsfas. I detta dokument fokuserar vi på modellering och verifiering av konfigurationsinformation för IMA/ARINC653 system baserat på MARTE (Modellering och analys för realtid och inbyggda system). För det första definierar vi semantisk kartläggning från nyckelkoncept för konfiguration (såsom moduler, partitioner, minne, process och kommunikation) till komponenter i MARTE-element och föreslår en metod för modellomvandling mellan XML-formaterad konfigurationsinformation och MARTE-modeller. Därefter presenterar vi en formell verifieringsram för ARINC653 systemkonfiguration baserad på teoremproof tekniker, inklusive konstruktion av motsvarande REAL teorem enligt semantik av dessa nyckelkomponenter av konfigurationsinformation och formell kontroll av teorem för egenskaperna hos IMA, såsom tidsbegränsningar, rumslig isolering och hälsoövervakning. Därefter studeras en särskild fråga om schepulerbarhetsanalys av ARINC653-systemet. Vi utformar en hierarkisk schemaläggningsstrategi med hänsyn till tecken i ARINC653-systemet, och en schemaanalysator MAST-2 används för att implementera hierarkisk schemaanalys. Slutligen designar vi ett prototypverktyg, Configuration Checker for ARINC653 (CC653), och två fallstudier visar att de metoder som föreslås i detta dokument är genomförbara och effektiva.
Wang L, Chen M et al. REF fokuserar på modellering och verifiering av konfigurationsinformation för integrerade modulära avionik/ARINC653-system baserat på modellering och analys för realtids- och inbäddade system.
Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE
{'venue': None, 'journal': 'International Journal of Aerospace Engineering', 'mag_field_of_study': ['Engineering']}