Towards Rapid Re-Certification Using Formal Analysis

Outline. 1. Problem Overview: Why is software (re)certification hard? What s the risk? 2. What kind of solution is needed? 3. Technical Background. 4. Approach, Running Example. Conflict Detection, Reconciliation. 5. Recertification Triggers. 6. Does it scale? 7. Future Work. Presented at the 12th A...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Smullen, Daniel, Breaux, Travis
Format:	Report
Sprache:	eng
Schlagworte:	AUTOMATION BRIEFING CHARTS Computer Programming and Software COMPUTER PROGRAMS CONFLICT DATA PROCESSING DETECTION Information Science RISK SCALE SOLUTIONS(GENERAL) SYMPOSIA
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Outline. 1. Problem Overview: Why is software (re)certification hard? What s the risk? 2. What kind of solution is needed? 3. Technical Background. 4. Approach, Running Example. Conflict Detection, Reconciliation. 5. Recertification Triggers. 6. Does it scale? 7. Future Work. Presented at the 12th Annual Acquisition Research Symposium held May 13-14, 2015 in Monterey, CA. Contains briefing charts only.