Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

1329341

biblio

(Submitted) Improving Run-Time Bug Detection in CPS Software Using Program Slicing

Submitted by el_wehby on Mon, 06/04/2018 - 4:53pm

1329341

biblio

Improving Run-Time Bug Detection in Aviation Software Using Program Slicing

Submitted by el_wehby on Mon, 06/04/2018 - 4:53pm

1329341

biblio

Applying Machine Learning for Run-time Bug Detection in Aviation Software

Submitted by el_wehby on Mon, 06/04/2018 - 4:52pm

1329341

biblio

Comparison of Fault-Tree Models for Fault Detection, Isolation, and Recovery Algorithms

Submitted by el_wehby on Mon, 06/04/2018 - 4:52pm

1329341

biblio

Refining fault trees using aviation definitions for consequence severity

Submitted by el_wehby on Mon, 06/04/2018 - 4:52pm

1329341

video

CPS: Synergy: Collaborative Research: Managing Uncertainty in the Design of Safety-Critical Aviation Systems

Submitted by jhrife on Tue, 01/09/2018 - 4:12pm

file

CPS: Synergy: Collaborative Research: Managing Uncertainty in the Design of Safety-Critical Aviation Systems

Submitted by jhrife on Wed, 11/29/2017 - 4:21pm. Contributors:

Our results concern using program-slicing to model software components in a CPS, with applications to verification of aviation software.

Terms of Use | ©2023. CPS-VO