New Directions in Probabilistic Assessment Henk Roelant, LaRC Joanne Bechta Dugan, University of Virginia Kevin Sullivan, University of Virginia October.

Slides:

Advertisements

Similar presentations

Dependability analysis and evolutionary design optimisation with HiP-HOPS Dr Yiannis Papadopoulos Department of Computer Science University of Hull, U.K.

Advertisements

MICHAEL MARINO CSC 101 Whats New in Office Office Live Workspace 3 new things about Office Live Workspace are: Anywhere Access Store Microsoft.

On Representing Uncertainty In Some COCOMO Model Family Parameters October 27, 2004 John Gaffney Fellow, Software & Systems.

What’s New in Office Visio 2007 Microsoft Office Visio 2007 drawing and diagramming software makes it easy for IT and business professionals to.

SOUND METHODS and EFFECTIVE TOOLS for ENGINEERING MODELING and ANALYSIS _________________ by David Coppit, College of William and Mary, and Kevin J. Sullivan,

Software Engineering 1 Evolutionary Processes Lesson 11.

Microsoft Visio is diagramming software for Microsoft Windows. It uses vector graphics to create diagrams. The 2007 Standard and Professional editions.

Safety Analysis – A quick introduction RTS February 2006 Anders P. Ravn Aalborg University.

Safety Assessment (Fault Trees) ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg.

Ch9: Software Engineering Tools and Environments.

Summary and Safety Assessment mMIC-SFT November 2003 Anders P. Ravn Aalborg University.

West Virginia University A Bayesian Approach to Reliability Predication of Component Based Systems H. Singh, V. Cortellessa, B. Cukic, E. Gunel, V. Bharadwaj.

Quality Risk Management ICH Q9 Annex I: Methods & Tools

Testing safety-critical software systems

Automation for System Safety Analysis: Executive Briefing Jane T. Malin, Principal Investigator Project: Automated Tool and Method for System Safety Analysis.

Open and save files directly from Word, Excel, and PowerPoint No more flash drives or sending yourself documents via Stop manually merging versions.

Chapter 3 Software Processes.

Windows 2000 is a continuation of the Microsoft Windows NT family of operating systems, replacing Windows NT 4.0. Originally called Windows NT 5.0, then.

 Windows 2000 is a continuation of the Microsoft Windows NT family of operating systems, replacing Windows NT 4.0. Originally called Windows NT 5.0,

SEG Software Maintenance1 Software Maintenance “The modification of a software product after delivery to correct faults, to improve performance or.

Copyright Critical Software S.A All Rights Reserved. VAL-COTS Validation of Real Time COTS Products Ricardo Barbosa, Henrique Madeira, Nuno.

SAS 03/ GSFC/SATC-ERAU-DoC Fault Tree Analysis Application for Safety and Reliability Massood Towhidnejad Embry-Riddle University Dolores Wallace & Al.

Quality in Product and Process Design Pertemuan 13-14

Isograph Reliability Software RiskVu V3. Isograph Reliability Software ESSM – The first risk monitor ? Essential Systems Status Monitor Installed at Heysham.

 The software systems must do what they are supposed to do. “do the right things”  They must perform these specific tasks correctly or satisfactorily.

Software Testing. Introduction Testing is often left to the end of the project which is generally not a good idea. Testing should be conducted throughout.

1 CSE 2102 CSE 2102 CSE 2102: Introduction to Software Engineering Ch9: Software Engineering Tools and Environments.

University of Coimbra, DEI-CISUC

OSMA2003 Center for Reliability Engineering 1 Integrating Software into PRA Presented by C. Smidts Center for Reliability Engineering University of Maryland.

Software testing basic. Main contents  Why is testing necessary?  What is testing?  Test Design techniques  Test level  Test type  How to write.

Topic (1)Software Engineering (601321)1 Introduction Complex and large SW. SW crises Expensive HW. Custom SW. Batch execution.

Information Society Technologies in the 6th Framework Programme IST Work Programme S.O Software and Services.

©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 8 Slide 1 Software Prototyping l Rapid software development to validate requirements.

Software Measurement & Metrics

ECTL A Support to the Automated Safety Data Monitoring Indicator project.

4.2.1 Programming Models Technology drivers – Node count, scale of parallelism within the node – Heterogeneity – Complex memory hierarchies – Failure rates.

Basic of Software Testing Presented by The Smartpath Information System An ISO 9001:2008 Certified Organization

Chapter 9 Testing the System Shari L. Pfleeger Joann M. Atlee

University of Palestine software engineering department Testing of Software Systems Testing throughout the software life cycle instructor: Tasneem.

Chapter 7 Interactive Design and Prototyping Human Performance Engineering Robert W. Bailey, Ph.D. Third Edition.

What is Software Engineering? The discipline of designing, creating, and maintaining software by applying technologies and practices from computer science,

Software Reliability Research Pankaj Jalote Professor, CSE, IIT Kanpur, India.

ICCS WSES BOF Discussion. Possible Topics Scientific workflows and Grid infrastructure Utilization of computing resources in scientific workflows; Virtual.

March 2004 At A Glance NASA’s GSFC GMSEC architecture provides a scalable, extensible ground and flight system approach for future missions. Benefits Simplifies.

Cmpe 589 Spring 2006 Lecture 2. Software Engineering Definition –A strategy for producing high quality software.

Introduction to Measurement. According to Lord Kelvin “When you can measure what you are speaking about and express it in numbers, you know something.

1 Software Reliability Analysis Tools Joel Henry, Ph.D. University of Montana.

Ensure that the right functions are performed Ensure that the these functions are performed right and are reliable.

SEN 460 Software Quality Assurance

1 NASA OSMA SAS02 Software Fault Tree Analysis Dolores R. Wallace SRS Information Services Software Assurance Technology Center

Testing Maturity Model (TMM). Introduction For the past decade, the software industry has put substantial effort in improving the quality of its products.

Software Engineering Saeed Akhtar The University of Lahore.

RLV Reliability Analysis Guidelines Terry Hardy AST-300/Systems Engineering and Training Division October 26, 2004.

Communication Model for Cooperative Robotics Simulator MSE Presentation 1 Acharaporn Pattaravanichanon.

Unclassified//For Official Use Only 1 RAPID: Representation and Analysis of Probabilistic Intelligence Data Carnegie Mellon University PI : Prof. Jaime.

Probabilistic Risk Assessment and Conceptual Design Bryan C Fuqua – SAIC Diana DeMott – SAIC

Safety Assessment: Safety Integrity Levels

Process of Diagnosing a Dynamic System Lab Seminar June 19th, 2007 Seung Ki Shin.

Team 8: SAE AADL Simulation and Modeling Tools. Members Chaz Beck Software Engineering Shaun Brockhoff Software Engineering Jason Lackore Software Engineering.

LOGO Combining Fault Trees and Event Trees Seung Ki, Shin.

Tool Support for Testing

NASA OSMA SAS '02 Software Fault Tree Analysis Dolores R. Wallace SRS Information Services Software Assurance Technology Center

Project 1 Introduction to HTML.

Environment Assessment

PROJECT LIFE CYCLE AND EFFORT ESTIMATION

Reverse Engineering: A Roadmap

Measurement What is it and why do it? 2/23/2019

How to stop C programming problems at the source

PPT and video are due no later than March 22, 2019

Fault Tree Analysis Summary Process Steps

Presentation transcript:

New Directions in Probabilistic Assessment Henk Roelant, LaRC Joanne Bechta Dugan, University of Virginia Kevin Sullivan, University of Virginia October 26, 2000

ASSAP: Advanced System Safety Assessment Program Dynamic Fault Tree analysis: a new approach to determining the probability of failure for complex systemsDynamic Fault Tree analysis: a new approach to determining the probability of failure for complex systems Galileo/ASSAP: a software tool for DFT analysis developed at University of Virginia under the sponsorship of LaRCGalileo/ASSAP: a software tool for DFT analysis developed at University of Virginia under the sponsorship of LaRC Galileo/ ASSAP analyzes the probability of failure for complex systems (i.e. the “P” in PRA)Galileo/ ASSAP analyzes the probability of failure for complex systems (i.e. the “P” in PRA)

ASSAP Development Being developed under NAS (UVA) - 32 month effort (March 1999-November 2001) -$675,000 provided by NASA Code Q -Builds on 10 years worth of academic research funded by NSF, NASA and industry Beta version of Galileo/ASSAP currently available for review. Integrated efforts in software engineering and reliability engineering Usable interoperable software environment using Commercial-Off-The-Shelf (COTS) components such as MS Word, MS PowerPoint and Visio Demonstration of capabilities...

User Interface

Textual Editing

Rendering Graphical View

Low-Level Editing

Sensitivity Analysis

High-Level Editing

Send To New Page

Connect Gates

Select Subtree

Render To Textual

Save & Close

Analyze Sage III

Galileo/ASSAP Galileo/ASSAP is a promising new approach to probabilistic analysis of critical systems Sets a new standard for the “P” in PRA Interested in reviewing the Beta version? Looking for beta testers (a few initially) Contact Henk Roelant at NASA Langley