2013 NASA IV&V Workshop - Independent Formal Verification of Safety-Critical Systems' User Interface

preview_player
Показать описание
NASA IV&V 2013 Annual Workshop
Title: Independent Formal Verification of Safety-Critical Systems' User Interface: A Space System Case Study
Presenter: José Creissac Campos
Authors: Manuel Sousa, José Creissac Campos, Miriam Alves, and Michael D. Harrison
Date: September 11, 2013 @ 2:45pm EDT (Day 2 / Session 10)

  1. NASA IVV
  2. NASA IV&V Workshop
Рекомендации по теме
2013 NASA IV&V 0:32:33

2013 NASA IV&V Workshop - Architecture of the AMF

2013 NASA IV&V 0:34:02

2013 NASA IV&V Workshop - An Introduction to AMF

2013 NASA IV&V 0:29:57

2013 NASA IV&V Workshop - TraceLab Player: From Researchers to IV&Vers

2013 NASA IV&V 0:29:52

2013 NASA IV&V Workshop - IV&V of PSAP Radio System

2013 NASA IV&V 0:25:47

2013 NASA IV&V Workshop - IV&V Guidance for IV&V for Product Line Software

2013 NASA IV&V 0:34:53

2013 NASA IV&V Workshop - Practical Assurance Case Design

2013 NASA IV&V 0:29:34

2013 NASA IV&V Workshop - IV&V Techniques for Robotics on OSIRIS-REx

2013 NASA IV&V 0:31:40

2013 NASA IV&V Workshop - Independent Formal Verification of Safety-Critical Systems' User ...

2013 NASA IV&V 0:31:07

2013 NASA IV&V Workshop - NASA Operational Simulator (NOS)

2013 NASA IV&V 0:26:01

2013 NASA IV&V Workshop - SLS IV&V Analysis Processes within EA

2013 NASA IV&V 0:28:51

2013 NASA IV&V Workshop - Robustness of PSAP Radio System

2013 NASA IV&V 0:28:47

2013 NASA IV&V Workshop - Evidence-Based Assurance with the Analyst Workbench

2013 NASA IV&V 0:30:22

2013 NASA IV&V Workshop - NASA IV&V for the New York City E911 Program

2013 NASA IV&V 0:43:19

2013 NASA IV&V Workshop - Multimedia Steganalysis as Part of Mission Critical Software IV&V

2013 NASA IV&V 0:32:43

2013 NASA IV&V Workshop - Modeling the Image-Processing Behavior of the NASA Voyager Mission

2013 NASA IV&V 0:29:43

2013 NASA IV&V Workshop - Supporting Project Management with AMF

2013 NASA IV&V 0:26:48

2013 NASA IV&V Workshop - Scalable and Flexible Static Analysis of Flight-Critical Software

2013 NASA IV&V 0:40:10

2013 NASA IV&V Workshop - What's The Big Deal About CQCs?

2013 NASA IV&V 0:30:35

2013 NASA IV&V Workshop - MPCV IV&V with a Dynamic Twist

2013 NASA IV&V 0:26:38

2013 NASA IV&V Workshop - JAXA's IV&V Activity and Value Concept

2013 NASA IV&V 0:14:56

2013 NASA IV&V Workshop - NATO IV&V: Work in Progress

2013 NASA IV&V 0:18:41

2013 NASA IV&V Workshop - Semantic Knowledge Representation

2013 NASA IV&V 0:34:58

2013 NASA IV&V Workshop - Model-Based Testing of Spacecraft Flight Software

2013 NASA IV&V 0:28:18

2013 NASA IV&V Workshop - Model-Based Testing of NASA Systems