X hits on this document

Powerpoint document

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

73 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 views73
Page views73
Page last viewedMon Jan 16 15:05:03 UTC 2017
Pages24
Paragraphs420
Words1674

Comments