33 papers:
DATE-2015-KimAS #bound #composition #scheduling- Schedulability bound for integrated modular avionics partitions (JEK, TFA, LS), pp. 37–42.
- DATE-2015-WartelKGBSTQLMB #analysis #case study #hardware
- Timing analysis of an avionics case study on complex hardware/software platforms (FW, LK, AG, AB, ZRS, BT, EQ, CL, EM, IB, JA, LCG, TV, FJC), pp. 397–402.
AdaEurope-2015-BaldovinZNP #development #modelling- The CONCERTO Methodology for Model-Based Development of Avionics Software (AB, AZ, GN, SP), pp. 131–145.
SAC-2013-BaldovinGMV #kernel- Kernel-level time composability for avionics applications (AB, AG, EM, TV), pp. 1552–1554.
ICTSS-2013-StepienP #challenge #testing #using- Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3 (BS, LP), pp. 207–222.
SIGMOD-2012-AkogluCKKF #graph #mining #named #scalability #visualisation- OPAvion: mining and visualization in large graphs (LA, DHC, UK, DK, CF), pp. 717–720.
ICSE-2012-OuelletMSG #feature model- Locating features in dynamically configured avionics software (MO, EM, NS, MG), pp. 1453–1454.
PLEASE-2012-SozenM #adaptation #product line- Adapting software product lines for complex certifiable avionics software (NS, EM), pp. 21–24.
SIGAda-2011-Brosgol #named #safety #standard- Do-178c: the next avionics safety standard (BMB), pp. 5–6.
- SAC-2011-YuMGTBGGTL #using
- System-level co-simulation of integrated avionics using polychrony (HY, YM, YG, JPT, LB, TG, PLG, AT, OL), pp. 354–359.
SPLC-2011-DordowskyBT #implementation #product line- Implementing a Software Product Line for a Complex Avionics System (FD, RB, HT), pp. 241–250.
- DATE-2010-BauerSF #analysis #network #worst-case
- Worst-case end-to-end delay analysis of an avionics AFDX network (HB, JLS, CF), pp. 1220–1224.
- DATE-2010-Pignol
- COTS-based applications in space avionics (MP), pp. 1213–1219.
ICST-2010-Laurent #concept #formal method #process #testing #using #validation #verification- Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process (OL), pp. 1–10.
FM-2009-SouyrisWDD #verification- Formal Verification of Avionics Software Products (JS, VW, DD, HD), pp. 532–546.
- SPLC-2009-DordowskyH #product line
- Adopting software product line principles to manage software variants in a complex avionics system (FD, WH), pp. 265–274.
HIMI-IIE-2007-Sanchez-PueblaAD #evaluation #interface #parametricity #predict #validation- Validation of Critical Parameters for Predictive Evaluation of Notification System in Avionics Interfaces (MASP, IA, PD), pp. 1109–1118.
TestCom-FATES-2007-CebrianRC #automation #testing- Automation of Avionic Systems Testing (DC, VVR, FC), pp. 28–40.
- SIGAda-2005-Romanski #ada #industrial
- Ada in the avionics industry (GR), pp. 109–114.
GPCE-2004-GrayZLRWSGNSB #framework #modelling #program transformation #scalability- Model-Driven Program Transformation of a Large Avionics Framework (JGG, JZ, YL, SR, HW, RS, ASG, SN, FS, TB), pp. 361–378.
- ICSE-2004-HaRCRD #case study #composition #experience #induction #proving #realtime
- Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report (VH, MR, DDC, HR, BD), pp. 304–313.
PEPM-2003-HatcliffDDJRR #component #corba #design #partial evaluation #slicing- Slicing and partial evaluation of CORBA component model designs for avionics system (JH, WD, MBD, GJ, VPR, R), pp. 1–2.
LCTES-2003-AmeurBBPW #analysis #embedded #robust- Robustness analysis of avionics embedded systems (YAA, GB, FB, SP, VW), pp. 123–132.
- AdaEurope-2002-ParkinsonG #composition #development #using
- High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT (PP, FG), pp. 163–178.
ASE-2000-HillL #analysis- Non-Interference Analysis for Mixed Criticality Code in Avionics Systems (MGH, TWL), pp. 257–260.
- SPLC-2000-Sharp #component #development #product line
- Component-based product line development of Avionics Software (DCS), pp. 353–370.
- FM-v2-1999-RandimbivololonaSBPRS #approach #proving
- Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach (FR, JS, PB, AP, JR, DS), pp. 1798–1815.
- AdaEurope-1998-LewisVM #distributed #requirements
- Modern Avionics Requirements for the Distributed Systems Annex (BAL, SV, DJM), pp. 201–212.
- AdaEurope-1991-FernandezP #component #library
- Constructing a Pilot Library of Components for Avionic Systems (JLF, JAdlP), pp. 362–371.
- AdaEurope-1991-Rosskopf #ada #reuse
- Reusable Input/Output Packages for Ada Avionic Applications (AR), pp. 338–360.
SEI-1989-RomanowskyBJK #re-engineering- The Rockwell Avionics Group Software Engineering Training Program (HER, LAB, NWJ, CMK), pp. 131–140.
DAC-1978-ClemaZ #evaluation- ASCE Avionic System Configuration Evaluation (JC, SZ), pp. 380–385.
- ICSE-1978-DniestrowskiGM #re-engineering
- Software Engineering in Avionics Applications (AD, JMG, RM), pp. 124–131.
