Loading...
Please wait, while we are loading the content...
Similar Documents
Formal Methods
| Content Provider | Scilit |
|---|---|
| Author | Spitzer, Cary R. |
| Copyright Year | 2000 |
| Description | With each new generation of aircraft, the requirements for digital avionics systems become increasingly complex, and their development and validation consumes an ever-increasing percentage of the total development cost of an aircraft. The introduction of life-critical avionics, where failure of the computer hardware or software can lead to loss of life, brings new challenges to avionics validation. The FAA recommends that catastrophic failures of the aircraft be “so unlikely that they are not anticipated to occur during the entire operational life of all airplanes of one type” and suggests probabilities of failure on the order of per flight hour [FAA, 1988]. Book Name: Digital Avionics Handbook |
| Related Links | https://content.taylorfrancis.com/books/download?dac=C2009-0-16104-7&isbn=9780429124853&doi=10.1201/9781420036879-28&format=pdf |
| Ending Page | 356 |
| Page Count | 20 |
| Starting Page | 337 |
| DOI | 10.1201/9781420036879-28 |
| Language | English |
| Publisher | Informa UK Limited |
| Publisher Date | 2000-12-20 |
| Access Restriction | Open |
| Subject Keyword | Book Name: Digital Avionics Handbook Critical Care Medicine Flight Aircraft Hardware Digital Loss Avionics Catastrophic Recommends Airplanes Brings |
| Content Type | Text |
| Resource Type | Chapter |