Mini Project ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August.

Slides:

Advertisements

Similar presentations

04/27/2006 Dr. Claudia Nowak Slide 1 Systems with safety-related software according to IEC – costs out of control? Experience from a development.

Advertisements

Report Writing for Business Students. Business School Report Writing Topics 1.Planning 2.Structure & Content 3.Style.

Dependability ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August.

Prepared By: Certified Compliance Solutions, Inc. August 2012

Fault Tolerance -Example TSW November 2009 Anders P. Ravn Aalborg University.

Real-Time Systems... And the Fine Print Real-Time Systems Anders P. Ravn Aalborg University September 2009.

Software Fault Tolerance – The big Picture RTS April 2008 Anders P. Ravn Aalborg University.

Final Report Document. Format Title Page Executive Summary Table of Contents Introduction Mission Statement Main PDS items Brief justification of the.

Pratt & Whitney National Workshop on Aviation Software Systems for the Second Century of Flight: Design for Certifiably Dependable Systems October 5-6,

Presentation : Analyzing Software Requirements Errors in Safety-Critical Embedded Systems.

Process ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August.

Software Engineering for Safety : A Roadmap Presentation by: Manu D Vij CS 599 Software Engineering for Embedded Systems.

Dependability ITV Real-Time Systems Anders P. Ravn Aalborg University February 2006.

Documentation ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August.

Strategic Directions in Real- Time & Embedded Systems Aatash Patel 18 th September, 2001.

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

Software Fault Tolerance – The big Picture mMIC-SFT September 2003 Anders P. Ravn Aalborg University.

Introduction ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August.

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

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

Test Design Techniques

COMPASS INTEGRATED STUDENT DATA MANAGEMENT SYSTEM.

Lesson 9: Evaluation 1. This Year - Structure A2 Philosophy: Life After Death Religious Experience Miracles Religious Language The Nature of God (Thursday,

Texas Tech University NSF-SFS Workshop on Educational Initiatives in Cybersecurity for Critical Infrastructure Course Flow Diagrams May 2-3, 2013 Support.

Dr Andy Brooks1 FOR0383 Software Quality Assurance Lecture 1 Introduction Forkröfur/prerequisite: FOR0283 Programming II Website:

18 September Licensing for Next Generation Signalling Buddhadev Dutta Chowdhury 27 th April 2012.

1 TRAINING METHODOLOGY & OBJECTIVES Feb. 9-10, 2010.

Safety Critical Systems ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University.

1 Space Communications Cross Support Architecture WG: Charter and Work Plan October, 2009 ESTEC, The Netherlands Takahiro Yamada, JAXA/ISAS.

Introduction to CS Senior Design Project I / II Prof. Dr. H. Altay Güvenir.

Replicated State Machines ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg.

1 Homologues Group Meeting Slovenia, October 2009 Republika SlovenijaEuropean Union Ljubljana, October 2009 Internal Quality Assessment Process Internal.

©Dr I M Bradley Doing the project and other things.

Open Platform for EvolutioNary Certification Of Safety-critical Systems Large-scale integrating project (IP) Nuanced Term-Matching to Assist in Compositional.

Fault Tolerance Mechanisms ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg.

Budapest, September 5th, 2002 DataGrid Accounting System DGAS Current status & plans Stefano Barale INFN Budapest, September.

Company LOGO Final Project Status Preview: LIMKOKWING STUDENT DB SYSTEM Date : 9 th October 2007 Presented By:

1 Barcelona May 2003 INFORMATICAL SYSTEM INTEGRATING THE RELIABILITY CENTERED MAINTENANCE THE SYSTEM IMPLEMENTATION.

IAEA International Atomic Energy Agency. IAEA Outline Learning Objectives Objectives and goals of a follow-up mission Requesting an IRRS follow-up mission.

Over View of CENELC Standards for Signalling Applications

A Fault Tolerant Control Approach to Three Dimensional Magnetic Levitation By James Ballard.

Task Analysis Exercise Project criteria Command term objectives Describe – give a detailed account of the PROBLEM and DESIGN NEED OR OPPORTUNITY (Page.

PSY 200 Principles of Psychology Fall 2006 Calendar.

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

12 ML X Welcome to the February 2001 Accredited Standards Committee X12 Meeting.

Welcome to De Anza!. Agenda Schedule Reflective Essays.

Q1.8 Monday, October 5 LA Agenda: Good Things Assignments: Introduction, counterargument, and conclusion for argument essay Raters Thought for the day:

WW Welcome Class of 2016!. Program Components Program Timeline – Term 1 Monday August 24Start FRST 555 Sunday August 31 – Saturday Sept 5 Field trip.

SOFTWARE TESTING Sampath Kumar Vuyyuru. INTRODUCTION Software Testing is a way of executing the software in a controlled manner to check whether the software.

Safety Assessment: Safety Integrity Levels

Research Report Writing Presentation

9/24/08 BR- How would you evaluate the class so far? What do you like or dislike? Do you have any recommendations? Today: Continuing to write your essay.

Plans for D7.7 The Security Report on the Final Project Release Linda Cornwall, RAL.

COMPUTER STUDIES Introduction. What is Computer Studies?  Many workplaces today utilise computers competencies  When applying for employment you may.

What is a software? Computer Software, or just Software, is the collection of computer programs and related data that provide the instructions telling.

About Us! Rob StockhamBA IEng MIEE General Manager Moore Industries-Europe, Inc MemberIEE Honorary Secretary ISA England Institute of Directors DirectorThe.

Introduction Intro Problem Materials Hypothesis Procedure Results

CWP: September 19, 2017 What types of citizen does a democracy need?

iTV Software Conformance Testing Basics

Agenda 10:00 Welcome & Introductions 10:15 Community Resource Team

Peer Review Agenda (Suggested).

NSG 4029Competitive Success/tutorialrank.com

NSG 4029 Education for Service-- tutorialrank.com.

VERMONT INFORMATION TECHNOLOGY LEADERS

Question: Using complete sentences, explain two safety practices that you must follow. Signal: When student has finished answering question, student will.

Fault Tolerance Distributed

May Liaison Report Date: Authors: May 2009

HLC TEAMS Work Plan Expectations Important Dates

PSS verification and validation

Tricky issues with your research

Presentation transcript:

Mini Project ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August 2011

Learning Goals Safety Integrity Levels (SIL) as described in the standard IEC The required processes for SIL level projects Recommended documentation for SIL level projects Safety assessment with Fault Trees Dependability, Fault Tolerance and Mechanisms for Fault Tolerance

Mini Project Suppose, that the software that you have designed and tested in the previous modules, is to be deployed in a system - a product: safety-integrity level development process documentation structure assessment procedures

Suggested Report structure Introduction to the system (2 pages) Safety Integrity Level with arguments for the placement. (3 pages) Development Process. (4 pages) Documentation Structure. (3 pages) Consider whether the structure allows tracability of requirements, and whether it is easy to use in reviews. Conclusion including an assessment of the required effort to get a process and documentation that leads to certification. (4 pages)

Schedule Monday 22 August – first draft to APR Monday 5 September – second draft Saturday 24 September – third draft Monday 3 October - final report