共 15 条
- [1] CERTIFICATION CONCERNS OF INTEGRATED MODULAR AVIONICS (IMA) SYSTEMS DASC: 2008 IEEE/AIAA 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1 AND 2, 2008, : 181 - +
- [2] ARINC 653 ROLE IN INTEGRATED MODULAR AVIONICS (IMA) DASC: 2008 IEEE/AIAA 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1 AND 2, 2008, : 218 - 227
- [3] Incremental Assurance of Multicore Integrated Modular Avionics (IMA) 2021 IEEE/AIAA 40TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2021,
- [4] An Ontology for System Reconfiguration: Integrated Modular Avionics IMA Case Study RECENT TRENDS AND ADVANCES IN MODEL BASED SYSTEMS ENGINEERING, 2022, : 189 - 198
- [6] Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 321 - 331
- [7] Formal Verification of Integrated Modular Avionics (IMA) Health Monitoring using Timed Automata 2015 INTERNATIONAL SEMINAR ON INTELLIGENT TECHNOLOGY AND ITS APPLICATIONS (ISITIA), 2015, : 291 - 295
- [8] An Enhanced Reconfiguration Method for the second Generation Integrated Modular Avionics 2015 11TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2015, : 433 - 436
- [10] System architecture for a modular and distributed solution for next generation car infotainment systems ICCE: 2007 DIGEST OF TECHNICAL PAPERS INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS, 2007, : 175 - +