Emerging verification methods for complex hardware in avionics

Karlsson, K.; Forsberg, Håkan

doi:10.1109/dasc.2005.1563385

Cited by 5 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The author claims that the demonstrated methods are not only feasible but also scale up to realistic system sizes, allowing development of such safety-critical software-hardware systems to the levels required by current safety standards. Karlsson and Forsberg (2005) discuss the additional design assurance strategies stated in DO-254, appendix B -''Design assurance considerations for level A and level B functions.'' In particular, the use of formal specification languages such as the property specification language (PSL) in combination with dynamic (simulation) and static (formal) verification methods for programmed logic devices are addressed.…”

Section: Historical Perspectivementioning

confidence: 99%

Hardware certification for real-time safety-critical systems: State of the art

Kornecki

Zalewski

2010

Annual Reviews in Control

View full text Add to dashboard Cite

This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airborne Electronic Hardware and its consequences for hardware certification. In particular, problems related to circuits' compliance with DO-254 in avionics and other industries are considered. Extensive literature review of the subject is given, including current views on and experiences of chip manufacturers and EDA industry with qualification of hardware design tools, including formal approaches to hardware verification. Some results of the authors' own study on tool qualification are presented.

show abstract

Section: Historical Perspectivementioning

confidence: 99%