Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Peter D. DeVries |
Boeing 787 Dreamliner: avionics and electronic flight bag. |
Int. J. Serv. Stand. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Werner Damm |
Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat |
Safety and Security Architectures for Avionics. |
DCSOFT |
2008 |
DBLP BibTeX RDF |
|
17 | Redge Bartholomew |
Evaluating a Networked Virtual Environment for Globally Distributed Avionics Software Development. |
ICGSE |
2008 |
DBLP DOI BibTeX RDF |
|
17 | J. L. Leray |
Effects of atmospheric neutrons on devices, at sea level and in avionics embedded systems. |
Microelectron. Reliab. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | E. Scanff, K. L. Feldman, S. Ghelam, Peter Sandborn, M. Glade, B. Foucher |
Life cycle cost impact of using prognostic health management (PHM) for helicopter avionics. |
Microelectron. Reliab. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ronald M. Frazzini |
Historical Risk Mitigation in Commercial Aircraft Avionics as an Indicator for Intelligent Vehicle Systems. |
ISTAS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Murali Rangarajan, Darren D. Cofer |
Computing Worst-Case Response Times in Real-Time Avionics Applications. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
Model checking, real-time, software verification, flight control |
17 | Patrick Cousot |
Proving the absence of run-time errors in safety-critical avionics code. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
|
17 | William A. Blake, Kai Siegele, Robert Burns |
A UAV avionics system to facilitate VHF depth sounding and SAR. |
IGARSS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Lui Sha, Chang-Gun Lee |
Real-time virtual machines for avionics software migration. |
Int. J. Embed. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Krishnakumar Balasubramanian 0001, Arvind S. Krishna, Emre Turkay, Jaiganesh Balasubramanian, Jeff Parsons, Aniruddha S. Gokhale, Douglas C. Schmidt |
Applying model-driven development to distributed real-time and embedded avionics systems. |
Int. J. Embed. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Russ Duren |
Options For Upgrading Legacy Avionics Systems. |
J. Aerosp. Comput. Inf. Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels |
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Peter H. Schmitt, Isabel Tonin, Claus Wonnemann, Eric Jenn, Stéphane Leriche, James J. Hunt |
A case study of specification and verification using JML in an avionics application. |
JTRES |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Erik Yu-Shing Hu, Eric Jenn, Nicolas Valot, Alejandro Alonso |
Safety critical applications and hard real-time profile for Java: a case study in avionics. |
JTRES |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jason Baker, Antonio Cunei, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbruster, Edward Pla, David Holmes |
A Real-time Java Virtual Machine for Avionics - An Experience Report. |
IEEE Real Time Technology and Applications Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Carlos C. Insaurralde, Miguel A. Seminario, Juan F. Jiménez, Jose M. Giron-Sierra |
IEC 61499 Model for Avionics Distributed Fuel Systems with Networked Embedded Holonic Controllers. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Vladimiro Vacca |
Quality of service control for real-time task scheduling in space avionics. |
|
2006 |
RDF |
|
17 | Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel |
Safe Allocation of Avionics Shared Resources. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Trautmann |
Integration of auto-coded Field Loadable Software for the Airbus A380 Integrated Modular Avionics (IMA). |
MBEES |
2005 |
DBLP BibTeX RDF |
|
17 | Christophe Honvault, Marc Le Roy, Pascal Gula, Jean-Charles Fabre, Gérard Le Lann, Eric Bornschlegl |
Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems. |
EDCC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Pascal Pampagnin |
Trends and Challenges in Avionics Electronics. |
FDL |
2005 |
DBLP BibTeX RDF |
|
17 | Albert D. Helfrick |
Educating the Avionics Professional in the 21st Century. |
J. Aerosp. Comput. Inf. Commun. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ellis F. Hitt |
Network Centric Operations Impact on Avionics. |
J. Aerosp. Comput. Inf. Commun. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Leanna K. Rierson, John Lewis |
Certification Concerns with Integrated Modular Avionics Projects. |
J. Aerosp. Comput. Inf. Commun. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Yamine Aït Ameur, Remi Delmas, Virginie Wiels |
A framework for heterogeneous formal modeling and compositional verification of avionics systems. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Serge Goiffon, Pierre Gaufillet |
Linux: A multi-purpose executive support for civil avionics applications? |
IFIP Congress Topical Sessions |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jean Souyris, Denis Favre-Felix |
Proof of properties in avionics. |
IFIP Congress Topical Sessions |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Samar Dajani-Brown, Darren D. Cofer, Amar Bouali |
Formal Verification of an Avionics Sensor Voter Using SCADE. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat 0001, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert |
Towards the verification of real-time systems in avionics: the Cotre approach. |
FMICS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard |
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. |
SLAP |
2003 |
DBLP DOI BibTeX RDF |
|
17 | John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby |
Slicing and partial evaluation of CORBA component model designs for avionics system. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
distributed systems, designs, real-time systems, model-checking, embedded systems, verification, components, CORBA, partial evaluation, slicing |
17 | Philippa Conmy, Mark Nicholson 0001, John A. McDermid |
Safety Assurance Contracts for Integrated Modular Avionics. |
SCS |
2003 |
DBLP BibTeX RDF |
|
17 | Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt |
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Chris Mattmann, Dana Freeborn, Daniel J. Crichton |
Towards a Distributed Information Architecture for Avionics Data. |
ICWI |
2003 |
DBLP BibTeX RDF |
|
17 | David Sharp |
Variable Aspects And Models For Reusable Component-Based Avionics Systems. |
Middleware Workshops |
2003 |
DBLP BibTeX RDF |
|
17 | Jiang Zhen, Dingrong Shao, Xu Yanjing, Huagang Xiong, Deng Yiming |
Using OPNET to Evaluate SCI as An Avionics Real-time Network. |
LCN |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Mohammad F. Alam, Mohammed Atiquzzaman, Bradley D. Duncan, Hung Nguyen, Richard Kunath |
Fibre-optic network architectures for on-board digital avionics signal distribution. |
Int. J. Commun. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jeanna M. Gossett, Dennis Noll, David Corman |
Experiences in a Distributed, Real-Time Avionics Domain-Weapons System Open Architecture. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
QoS, Real-time, Middleware, CORBA, Distributed |
17 | Jack L. Meier, S. Kim, Alan D. George, Sarp Oral |
Gigabit COTS Ethernet Switch Evaluation for Avionics. |
LCN |
2002 |
DBLP DOI BibTeX RDF |
|
17 | David C. Sharp |
Object-Oriented Real-Time Computing for Reusable Avionics Software. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Philippa Conmy, John A. McDermid |
High Level Failure Analysis for Integrated Modular Avionics. |
SCS |
2001 |
DBLP BibTeX RDF |
|
17 | Savio N. Chau, Joseph Smith, Ann T. Tai |
A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Garry Brannum |
Capability packages for avionics software (CPAS). |
ACM SIGSOFT Softw. Eng. Notes |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Mike G. Hill, Thomas W. Lake |
Non-Interference Analysis for Mixed Criticality Code in Avionics Systems. |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
17 | David C. Sharp |
Component-based product line development of Avionics Software. |
SPLC |
2000 |
DBLP BibTeX RDF |
|
17 | R. J. Bluff |
Integrated modular avionics: system modelling. |
Microprocess. Microsystems |
1999 |
DBLP DOI BibTeX RDF |
|
17 | David C. Sharp |
Component based product line development of avionics software. |
Microprocess. Microsystems |
1999 |
DBLP DOI BibTeX RDF |
|
17 | M. W. Beranek, E. Y. Chan, H. E. Hager, Q. N. Le, J. S. Wilgus |
Emerging opportunities for applying COTS optoelectronics in avionics fiber-optic networks. |
Microprocess. Microsystems |
1999 |
DBLP DOI BibTeX RDF |
|
17 | C. S. Dyer, P. R. Truscott |
Cosmic radiation effects on avionics. |
Microprocess. Microsystems |
1999 |
DBLP DOI BibTeX RDF |
|
17 | M. J. Harris |
ATM for legacy aircraft avionics. |
Microprocess. Microsystems |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Christian Fraboul, Frank Martin |
Modeling advanced modular avionics architectures for early real-time performance analysis. |
PDP |
1999 |
DBLP DOI BibTeX RDF |
|
17 | François Clouté, Jean-Noël Contensou, Daniel Esteve, Pascal Pampagnin, Philippe Pons, Yves Favard |
Hardware/software codesign of an avionics protocol interface system. |
ICECS |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Oded Tal |
Software dependability demonstration for safety-critical military avionics systems by statistical testing. |
|
1999 |
RDF |
|
17 | Todd Carpenter |
Avionics Integration for CNS/ATM. |
Computer |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Christian Fraboul, Frank Martin |
Modeling and simulation of integrated modular avionics. |
PDP |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Gerd Urban, Hans-Joachim Kolinowitz, Jan Peleska 0001 |
A Survivable Avionics System for Space Applications. |
FTCS |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Yann-Hang Lee, Daeyoung Kim 0001, Mohamed F. Younis, Jeffrey X. Zhou |
Partition Scheduling in APEX Runtime Environment for Embedded Avionics Software. |
RTCSA |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Lutz Twele, Holger Schlingloff, Helena Szczerbicka |
Performability analysis of an avionics-interface. |
SMC |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Lance Sherry, Arturo Suarez, Phil Wolfe |
Application of CASE tools in the development of commercial avionics software. |
SMC |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Ulf Nilsson, S. Streiffert, Anders Törne |
Detailed Design of Avionics Control Software. |
RTSS |
1998 |
DBLP DOI BibTeX RDF |
|
17 | W. Lam |
Process reuse using a template approach: a case-study from avionics. |
ACM SIGSOFT Softw. Eng. Notes |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Allan S. Wake, P. R. Miller, P. Moxon, M. A. Fletcher |
Modular avionics operating system - software concept. |
Microprocess. Microsystems |
1997 |
DBLP DOI BibTeX RDF |
|
17 | C. E. Hudgins, J. E. Schroeder |
Applying commercial real-time data networks to future military avionics. |
Microprocess. Microsystems |
1997 |
DBLP DOI BibTeX RDF |
|
17 | W. Lam |
Achieving requirements reuse: A domain-specific approach from avionics. |
J. Syst. Softw. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Baufreton, Xavier Méhaut, Éric Rutten |
Embedded Systems in Avionics and the SACRES Approach. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
17 | B. Earl Wells, Christian Tournes, Lee Young |
A Case Study: In Support of Employing a Transputer-Style Architecture for Avionics Mission and Information Processing. |
PDPTA |
1997 |
DBLP BibTeX RDF |
|
17 | Darren D. Cofer |
Reliable Implementation of Hybrid Control Systems for Advanced Avionics. |
Hybrid Systems |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Martin L. Shooman |
Avionics software problem occurrence rates. |
ISSRE |
1996 |
DBLP DOI BibTeX RDF |
|
17 | C. Stephen Kuehl |
Applying emerging digital video interface standards to airborne avionics sensor and digital map integrations: benefits outweigh the initial costs. |
Visual Information Processing |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Ching-Shan Peng, Kwei-Jay Lin, Carolyn Boettcher |
Real-Time Database Benchmark Design for Avionics Systems. |
RTDB |
1996 |
DBLP BibTeX RDF |
|
17 | T. Burrage, S. Ward |
Adaptive priority timer control of the SAE LTPB for fair prioritization in military avionics networks. |
Comput. Commun. |
1995 |
DBLP DOI BibTeX RDF |
|
17 | H. H. Hesselink |
A comparison of standards for software engineering based on DO-178B for certification of avionics systems. |
Microprocess. Microsystems |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Don K. Silvasi-Patchin |
Real-time avionics in Ada 83. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed Romdhani, P. Chambert, Alain Jeffroy, Pierre de Chazelles, Ahmed Amine Jerraya |
Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics. |
EURO-DAC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed Romdhani, Alain Jeffroy, Pierre de Chazelles, Abd-El-Kader Sahraoui, Ahmed Amine Jerraya |
Modeling and rapid prototyping of avionics using STATEMATE. |
RSP |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Tatsuhiro Torii, Michael Singh Chelian |
A new fault-tolerant multitransputer configuration for avionics two-lane systems. |
Microprocess. Microsystems |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Mary M. Bernstein, Chulsoo Kim |
AOS: an avionics operating system for multi-level secure real-time environments. |
ACSAC |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Peter W. Pruyn, Donald P. Greenberg |
Exploring 3D computer graphics in cockpit avionics. |
IEEE Computer Graphics and Applications |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Russell J. Wagner, Joel A. Jorgenson |
Design-For-Test Techniques Utilized in an Avionics Computer MCM. |
ITC |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Alfred Anderman |
Real Time Aspects of Manned Space Flight Avionics Computing. |
NATO ASI RTC |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Alfred Anderman |
A New Specification/Design/Implementation Paradigm for Real-Time Avionics Architecture and Systems. |
NATO ASI RTC |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Donald A. Bertke, Mark E. Minges |
The use of timing simulation in air force integrated avionics. |
Annual Simulation Symposium |
1991 |
DBLP DOI BibTeX RDF |
|
17 | James E. Lumpp Jr., Roger K. Shultz, Thomas L. Casavant |
Design of a system for software testing and debugging for multiprocessor avionics systems. |
COMPSAC |
1991 |
DBLP DOI BibTeX RDF |
|
17 | C. Douglass Locke, David R. Vogel, T. J. Mesler |
Building a Predictable Avionics Platform In Ada: A Case Study. |
RTSS |
1991 |
DBLP DOI BibTeX RDF |
|
17 | C. Douglass Locke, David R. Vogel, T. J. Mesler |
Predictable real-time avionics design using Ada tasks and Rendezvous study. |
IRTAW |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Robert E. Davis |
The selection of an Ada compiler for a real-time embedded avionics application. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
17 | K. N. Rao |
Security audit for embedded avionics systems. |
ACSAC |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Marc Pitarys |
Real-time Ada-observations & experiences with respect to avionics. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
17 | A. Garcia-Ortiz, P. A. Cundiff |
Applying Evidential Reasoning to Avionics Troubleshooting. |
IEA/AIE (Vol. 2) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Alper K. Caglayan, Paul R. Lorczak, Dave E. Eckhardt |
A Experimental Investigation of Software Diversity in a Fault-Tolerant Avionics Application. |
SRDS |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Nancy Leveson |
A scary tale - Sperry avionics module-testing bites the dust? |
ACM SIGSOFT Softw. Eng. Notes |
1987 |
DBLP DOI BibTeX RDF |
|
17 | M. Cohn |
The Applicability of the Emerging American National Standard Fiber Distributed Data Interface (FDDI) for a Distributed Avionics Architecture. |
COMPCON |
1987 |
DBLP BibTeX RDF |
|
17 | Drew Dowling, Timothy L. Rupinski |
Avionics Maintenance 2010. |
IEEE J. Sel. Areas Commun. |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Jock A. Rader |
Experiences Building and Using a Software Development Environment for Avionics Software. |
COMPCON |
1985 |
DBLP BibTeX RDF |
|
17 | Gene D. Carlow |
Architecture of the Space Shuttle Primary Avionics Software System. |
Commun. ACM |
1984 |
DBLP DOI BibTeX RDF |
|
17 | Lance M. Roark, James K. Feldman, James N. Bexfield |
B-1B avionics/automatic test equipment: Maintenance queueing analysis. |
WSC |
1984 |
DBLP BibTeX RDF |
|
17 | Samuel Kitces, John E. Bauer |
Parametric Relationships for Self-Contained Test for Digital Avionics Functions. |
ITC |
1981 |
DBLP BibTeX RDF |
|
17 | A. Dniestrowski, J. M. Guillaume, R. Mortier |
Software Engineering in Avionics Applications. |
ICSE |
1978 |
DBLP BibTeX RDF |
|