X hits on this document

Powerpoint document

Flight Critical Systems Software Certification Initiative A Presentation to SAE Aerospace Control ... - page 21 / 24

64 views

0 shares

0 downloads

0 comments

21 / 24

TASS SBIR Efforts

Barron Associates

Run-time monitor to check system behavior with fail-safe controller for recovery – demonstration based on UAV flight control.

EDAptive

Specification and Requirements languages along with “formal methods” to streamline V&V process.

Scientific Monitoring

Model-based software development used to generate and test flight critical code.

WW Technology

create an embedded “fault detector” and formal transformation of control system to fail-safe control system, includes partitioning using a middleware approach.

Document info
Document views64
Page views64
Page last viewedFri Dec 09 11:40:30 UTC 2016
Pages24
Paragraphs420
Words1674

Comments