Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,163,567 papers from all fields of science
Search
Sign In
Create Free Account
Avionics
Known as:
Aeroelectronics
, Aviation electronics
Avionics are the electronic systems used on aircraft, artificial satellites, and spacecraft. Avionic systems include communications, navigation, the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ARINC 818
Air data computer
Air gap (networking)
Air traffic control radar beacon system
Expand
Broader (1)
Electrical engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Self-Aware and Self-Expressive Systems
Jim Tørresen
,
Christian Plessl
,
Xin Yao
Computer
2015
Corpus ID: 14191435
Systems that gather unpredictable input data while responding and self-adapting in uncertain environments are transforming our…
Expand
Review
2012
Review
2012
Pseudolite Alternatives for Alternate Positioning, Navigation, and Timing (APNT)
S. Lo
2012
Corpus ID: 17965548
The Federal Aviation Administration (FAA) has initiated an APNT program to research various alternative strategies that will…
Expand
2011
2011
Dynamic power distribution management for all electric aircraft
Xiu-Xian Xia
2011
Corpus ID: 115581364
...................................................................................................................... I…
Expand
2007
2007
Test Automation Meets Static Analysis
J. Peleska
,
H. Löding
,
T. Kotas
GI Jahrestagung
2007
Corpus ID: 1893769
In this article we advocate an integrated approach for the automation of module or software integration testing and static…
Expand
Review
2006
Review
2006
Antenna-based Multipath and Interference Mitigation for Aeronautical Applications: Present and Future
Oriol Esbri Rodriguez
,
Felix Antreich
,
A. Konovaltsev
,
Mike Philipakkis
,
David Moore
,
C. Martel
2006
Corpus ID: 17118766
Vulnerability to radio interference and multipath is a wellknown drawback of satellite-based navigation systems. This is widely…
Expand
2004
2004
Causal Analysis of the ACAS/TCAS Sociotechnical System
P. Ladkin
Australian Workshop on Safety Critical Systems…
2004
Corpus ID: 2542247
Sociotechnical systems are those which rely not only on technology but on humans and social organisation for their adequate…
Expand
2003
2003
Applicability of COSMIC Full Function Points in an administrative environment Experiences of an early adopter
F. Vogelezang
2003
Corpus ID: 7137020
Rabobank is reshaping its systems portfolio of Rabobank from dedicated product systems to a network of generic services with a…
Expand
2002
2002
Automating Embedded Software Construction and Analysis with Design Models ∗
Shige Wang
,
S. Kodase
,
K. Shin
2002
Corpus ID: 18982548
The design and construction of Embedded SoftWare (ESW) has become critically important to the development of widely and rapidly…
Expand
1998
1998
Formal methods in the development of safety critical Knowledge-Based components
G. Dondossola
European Symposium on Validation and Verification…
1998
Corpus ID: 10576113
The work reported in this paper is part of the ongoing Esprit project Safe-KBS n. 22360∗. A main objective of the project is the…
Expand
1992
1992
Thoughts on a Larch/ML and a New Application for LP
Jeannette M. Wing
,
Eugene J. Rollins
,
Amy Moormann Zaremski
International Workshop on Larch
1992
Corpus ID: 15210302
We describe a preliminary design for a Larch interface language for the programming language ML. [Since this design covers only a…
Expand