Software Tools for Safety-Critical Systems According to DO-254.
The article focuses on the development of safety-critical systems that comply with the U.S. Federal Aviation Administration's Advisory Circular AC-20-152 standard and the Radio Technical Commission for Aeronautics' (RTCA) DO-254 certification guideline for software. The discussion includes: programm...
| Publicado en: | Computer (00189162) Vol. 41; no. 12; pp. 112 - 116 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
IEEE
Dec2008
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=35777244&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 35777244 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Dec2008 vid: 41 iid: 12 pid: 13605 pub: IEEE artinfo: ui: 35777244 10.1109/MC.2008.503 ppf: 112 ppct: 4 formats: tig: atl: Software Tools for Safety-Critical Systems According to DO-254. aug: au: Kornecki, Andrew Bulka, Brian Zalewski, Janusz affil: Professor, Department of Computer and Software Engineering, Embry-Riddle Aeronautical University, Daytona Beach, Florida. Associate professor, Department of Electrical and Systems Engineering, Embry-Riddle Aeronautical University. Professor of computer science and engineering, School of Engineering, Florida Gulf Coast University, Fort Myers, Florida. su: Aeronautical systems engineering Safety regulations United States. Federal Aviation Administration Standards Avionics Guidelines Safety System safety Industrial surveys United States sug: subj: United States Aeronautical systems engineering Safety regulations United States. Federal Aviation Administration Standards Avionics Guidelines Safety System safety Industrial surveys ab: The article focuses on the development of safety-critical systems that comply with the U.S. Federal Aviation Administration's Advisory Circular AC-20-152 standard and the Radio Technical Commission for Aeronautics' (RTCA) DO-254 certification guideline for software. The discussion includes: programmable logic devices, field-programmable gate arrays, and application-specific integrated circuits; RTCA DO-178B standard for avionic systems; a Web site where information about industry practices and compliance with DO-254 guidelines is available; a survey of industry and certification authorities concerning the use of programmable logic tools for verifying hardware compliance; and the criteria for tool selection in DO-254 projects. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2008 holdings: @attributes: islocal: N |
|---|