Search results for "avionics"

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