SCADE Suite in Space Applications

Size: px
Start display at page:

Download "SCADE Suite in Space Applications"

Transcription

1 SCADE Suite in Space Applications at EADS David Lesens 09/10/2008

2 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T preparing the future Model transformation Assessment of SCADE 6 Points to be improved Conclusion 29/04/2010 p2

3 Astrium: part of EADS, a global leader in aerospace and defence Commercial Aircraft No.1 Helicopters No.1 Missile Systems No.2 Astrium No.3 Military Transport Aircraft No.3 Military Air Systems No.4 29/04/2010 p3

4 Astrium s activities are based in three key areas Astrium Space Transportation The European prime contractor for civil and military space transportation and manned space activities Astrium Satellites A world leader in the design and manufacture of satellite systems Astrium Services At the forefront of satellite services in the secure communications, Earth observation and navigation fields 29/04/2010 p4

5 An impressive product and capability portfolio Launchers: Ariane, Soyuz, Rockot, Vega Ballistic missiles, missile defence Future launchers Orbital systems: Columbus, ATV, Operations, Atmospheric re-entry systems Propulsion & equipment System design, system integration & production 29/04/2010 p5

6 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T preparing the future Model transformation Assessment of SCADE 6 Points to be improved Conclusion 29/04/2010 p6

7 The classical V development cycle Late detection of errors GNC studies Data Spacecraft management Qualification Error Error detection Delay for the error detection Specification Validation Design Code Integration Unitary tests Delay for the error correction 29/04/2010 p7

8 Reduction of delays and costs GNC studies Data Spacecraft management Qualification Decrease the number of late errors Immediate correction Automatic test generation Test replay Early validation Simulation Proof Software Model Validation Unitary & integration testing at model level Automatic Code Generation Code Fusion of specification & design 29/04/2010 p8

9 Model Driven Engineering A model shall allow : The communication between the different teams System teams (GNC, vehicle, thermal, operations, ) Software teams (architect, specification, design, development, ) And also customers and external reviewers An early verification via a strong semantic, insuring Consistency Completeness Formal model, and possibility of proof Non ambiguity Model simulation And automatic code generation 29/04/2010 p9

10 Model or programming language? Abstraction & semantic Scade Ada C++ C Simulink Matlab or S_functions Assembly language Binary code 29/04/2010 p10

11 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T preparing the future Model transformation Assessment of SCADE 6 Points to be improved Conclusion 29/04/2010 p11

12 The Automated Transfer Vehicle (ATV) It supplies onward the following services to the ISS: Refuelling ISS orbit correction, Freight delivery, ISS trash destruction. The ATV mission in th of March Launch by Ariane 5 3 rd of April Automatic Docking on the ISS 5 th of September Dedocking from the ISS 29 th of September Deorbitation Safety software specified using SCADE V3 29/04/2010 p12

13 Static description Description of software architecture Description of types and constants 29/04/2010 p13

14 Behavioural description Description of (very) Simple automaton Description of sequences 29/04/2010 p14

15 Automatic documentation generation 29/04/2010 p15

16 Formal proofs on the ATV safety Software SCADE model Environment description LESAR tools Logical Property Exhaustive verification True property Diagnostic The LESAR tool is developed by the VERIMAG laboratory (the same results has now been reached with Prover) 29/04/2010 p16

17 Examples of proved properties Specification of the environment by regular expressions Use of the reglo tool cam_arm( on, arm, cam_cmd, tc, hltc ) = prefix( Properties [-on, -arm, -cam_cmd, -tc, -hltc]*. [ on, -arm, -cam_cmd, -tc, -hltc]. [-on, -arm, -cam_cmd, -tc, -hltc]*. ~~ ) ; (the same result has now been reached with SCADE 6 automata) A red button implies eventually a CAM triggering before 4 cycles Real time property The two MSU chains can not triggered both a CAM at the same time Mutual exclusion property 29/04/2010 p17

18 SCADE V3 on the ATV: Conclusion Improvement of the specification quality Suppression of ambiguity (formal semantics) Early detection of errors by simulation Exhaustive proofs of some critical properties Formal proof has allowed detecting errors (even if formal proof does not replace tests) Why shall we go further? Modelling limited to very simple automata The ATV code has not been automatically generated 29/04/2010 p18

19 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T preparing the future Model transformation Assessment of SCADE 6 Points to be improved Conclusion 29/04/2010 p19

20 Other uses SCADE V3 has also been used to formalize the specifications: Of the M51 software Of the Vega software 29/04/2010 p20

21 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T preparing the future Model transformation Assessment of SCADE 6 Points to be improved Conclusion 29/04/2010 p21

22 R&T: SCADE 6 for future projects Suborbital flight? ATV Evolution? 29/04/2010 p22

23 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T preparing the future Model transformation Assessment of SCADE 6 Points to be improved Conclusion 29/04/2010 p23

24 Astrium process GNC (*) prototype Matlab/Simulink Need of refinement GNC (*) System requirement capture Mission management KCG UML/SysML Rhapsody Need of refinement SCADE and Ada or C++ (*) Guidance, Navigation, Control 29/04/2010 p24

25 From SysML or AADL to SCADE AADL SCADE model automatically generated SCADE 29/04/2010 p25

26 From Simulink to SCADE Simulink SCADE model automatically generated SCADE 29/04/2010 p26

27 Conclusion: Will we use automatic model transformation? The tools work correctly but our process of use is today not clear! The software model (in SCADE) needs more details than the system model (in SysML/AADL/) Numerical protections Telemetry / Telecommand Real time aspects The software and system architectures are often different The use of automatic model transformation tools is not foreseen today (we remain today in a manual refinement process) 29/04/2010 p27

28 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T preparing the future Model transformation Assessment of SCADE 6 Points to be improved Conclusion 29/04/2010 p28

29 Assessment of SCADE V6 on a case study Ada ATV main software SGS Our objectives Solar Generation System redeveloped in SCADE V6 (automata & data flows) Automatic code generation with KCG Test of the whole software on validation platform 29/04/2010 p29

30 Modelling of data flow architecture The initial architecture in SART The new architecture in SCADE V6 29/04/2010 p30

31 Modelling of Finite State Machine Initial representation of FSM Use of powerful hierarchical automata 29/04/2010 p31

32 Modelling of activation condition Specification of activation condition in SART (Process Activation Table) Formalization of activation condition by SCADE 6 automata 29/04/2010 p32

33 Modelling of simple mathematical equation Specification of simple monitoring Modelling of monitoring in SCADE V6 29/04/2010 p33

34 Assessment of SCADE 6: Conclusion A complete functionalities of the ATV has been redeveloped in SCADE V6 Architecture and data flows Complex hierarchical automata and sequences Verified by simulation (coverage checked by MTC) Remaining work for 2008 Test on validation platform Integration to our Software Development Environment (SDE) Configuration management, traceability Windows / Unix We will be ready to start an operational development in SCADE 6 in /04/2010 p34

35 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T preparing the future Model transformation Assessment of SCADE 6 Points to be improved Conclusion 29/04/2010 p35

36 SCADE 6 has very powerful automata 29/04/2010 p36

37 but not very intuitive for reviewers (*)! <SM1> (*) Non SCADE users State1 1 Strong without history State4 true 1 1 true State2 Weak without history true Synchronized without history 29/04/2010 p37 Weak with history State5 true State7 * * 1 1 true 1 true * State3 State6 Strong with history Synchronized with history

38 Graphical or textual? Some times a textual description is better than a graphical one z = (a * x) + (b * y) + c; But operators +, -, *, / can not be overloaded Equations with vectors and matrixes are not naturally written 29/04/2010 p38

39 The textual editor can be improved! The layout is modified after saving 29/04/2010 p39

40 SCADE generates today only C A textual description/programming language is needed SCADE and C are not enough Automatic Ada code generation would be a solution ACCELERATION POSITION Adapted to embedded software Would improve the typing? VELOCITY Name ACCELERATION POSITION VELOCITY Type T_ ACCELERATION T_POSITION T_ VELOCITY KCG for Ada is in the Esterel Technologies roadmap 29/04/2010 p40

41 Basic data types are missing! A library is supplied for integer 8, 16, 32 bits But the user shall developed its own library for simple and double float precisions 29/04/2010 p41

42 Use of clock activate MODE MODE1 A1 2 Y1 MODE MODE2 Input1 A2 2 Y2 MODE Output1 The generated code is very good 29/04/2010 p42 MODE A3 MODE3 2 Y3 Too much variables shall be defined switch (MODE) { case MODE2 : Output1 = A2(Input1); break; case MODE1 : Output1 = A1(Input1); break; case MODE3 : Output1 = A3(Input1); break;

43 Frequency 10Hz No multithreading code generation A Rate Monotonic Scheduling is compatible with the synchronous approach and would be useful Frequency 20Hz Thread end Frequency 100 Hz Thread end Thread Thread end end Thread end Thread end Thread end 10 ms RDV 50 ms 29/04/2010 p43

44 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T preparing the future Model transformation Assessment of SCADE 6 Points to be improved Conclusion 29/04/2010 p44

45 Conclusion SCADE V3 has been successfully used in the past On a limited scope A full SCADE V6 development is foreseen for future projects Editor, Simulator Model Test Coverage (MTC) Design Verifier Qualified Code Generator (KCG) with the hope of some improvements / additional features in future versions! Especially Ada qualified code generator 29/04/2010 p45

46 Thank you for your attention Any question? 29/04/2010 p46

Propsim enabled Aerospace, Satellite and Airborne Radio System Testing

Propsim enabled Aerospace, Satellite and Airborne Radio System Testing www.anite.com Propsim enabled Aerospace, Satellite and Airborne Radio System Testing Anite is now part of Keysight Technologies Realistic and repeatable real-time radio channel emulation solutions for

More information

Certification of a Scade 6 compiler

Certification of a Scade 6 compiler Certification of a Scade 6 compiler F-X Fornari Esterel Technologies 1 Introduction Topic : What does mean developping a certified software? In particular, using embedded sofware development rules! What

More information

ESA s Data Management System for the Russian Segment of the International Space Station

ESA s Data Management System for the Russian Segment of the International Space Station iss data management system ESA s Data Management System for the Russian Segment of the International Space Station J. Graf, C. Reimers & A. Errington ESA Directorate of Manned Spaceflight and Microgravity,

More information

State of the art Software Modeling. Tony Elliston. SIGADA 2004 Atlanta

State of the art Software Modeling. Tony Elliston. SIGADA 2004 Atlanta State of the art Software Modeling Tony Elliston SIGADA 2004 Atlanta TNI Europe Limited Market our own software modelling tools: CP-Hood and Stood. Distributor for TNI Software range of products. TNI Europe

More information

USE OF SCILAB FOR SPACE MISSION ANALYSIS AND FLIGHT DYNAMICS ACTIVITIES

USE OF SCILAB FOR SPACE MISSION ANALYSIS AND FLIGHT DYNAMICS ACTIVITIES USE OF SCILAB FOR SPACE MISSION ANALYSIS AND FLIGHT DYNAMICS ACTIVITIES Thierry Martin CNES Scilabtec 09 Use of Scilab for space mission analysis Page 1 Use of Scilab in CNES Scilab is now widely used

More information

Kirsten Sinclair SyntheSys Systems Engineers

Kirsten Sinclair SyntheSys Systems Engineers Kirsten Sinclair SyntheSys Systems Engineers Kirsten Sinclair SyntheSys Systems Engineers Spicing-up IBM s Enterprise Architecture tools with Petri Nets On Today s Menu Appetiser: Background Starter: Use

More information

Real Time Developer Studio. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com

Real Time Developer Studio. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Real Time Developer Studio Emmanuel Gaudin emmanuel.gaudin@pragmadev.com PragmaDev French SME, Beneficiary since 2006. Dedicated to the development of a modelling tool for the development of Event driven

More information

Quality Assurance of Models for Autocoding

Quality Assurance of Models for Autocoding Quality Assurance of Models for Autocoding Ann Cass, Pierre Castori S YNS PACE AG Hardstrasse 11 CH - 4052 Basel ac@synspace.com, pc@synspace.com Abstract: Automatic Code Generation is an emerging technology

More information

Requirements Management John Hrastar

Requirements Management John Hrastar Requirements Management John Hrastar NASA Project Management Conference March 30-31, 2004 University of Maryland Conference Center Introduction Three aspects of requirements management Requirements in

More information

TOPO Trajectory Operations Officer

TOPO Trajectory Operations Officer ISS Live! was developed at NASA s Johnson Space Center (JSC) under NASA Contracts NNJ14RA02C and NNJ11HA14C wherein the U.S. Government retains certain rights. Console Handbook TOPO Trajectory Operations

More information

The Kiel Reactive Processor

The Kiel Reactive Processor The Kiel Reactive Processor Reactive Processing beyond the KEP Claus Traulsen Christian-Albrechts Universität zu Kiel Synchron 2007 29. November 2007 Claus Traulsen The Kiel Reactive Processor Slide 1

More information

F-22 Raptor. Agenda. 1. Motivation

F-22 Raptor. Agenda. 1. Motivation Model-Based Software Development and Automated Code Generation for Safety-Critical Systems F-22 Raptor for the Seminar Advanced Topics in Software Engineering for Safety-Critical Systems Cause: Bug in

More information

Atmospheric Reentry. Introduction, Mathematical Model and Simulation

Atmospheric Reentry. Introduction, Mathematical Model and Simulation Atmospheric Reentry Introduction, Mathematical Model and Simulation Julian Köllermeier Theodor-Heuss Akademie, August 23rd 2014 A short history of human spaceflight 1944 V2 is first rocket in space 1957

More information

Model-Based Testing of Spacecraft Flight Software

Model-Based Testing of Spacecraft Flight Software Model-Based Testing of Spacecraft Flight Software Maria Hernek Virtual 12/09/2013 Objective/Outline Objective: To present the result and achievements of ESA study Model Based Testing of flight SW and discuss

More information

Integrating Legacy Code / Models with Model Based Development Using Rhapsody

Integrating Legacy Code / Models with Model Based Development Using Rhapsody Integrating Legacy Code / Models with Model Based Development Using Rhapsody M.W.Richardson 28/11/06 1 Telelogic AB Model Driven Development Very few Green Field projects are started, nearly always there

More information

Mastering increasing product complexity with Collaborative Systems Engineering and PLM

Mastering increasing product complexity with Collaborative Systems Engineering and PLM Mastering increasing product complexity with Collaborative Systems Engineering and PLM Thierry Ambroisine Dassault Systèmes 10 rue Marcel Dassault, 78140 Vélizy Villacoublay, France thierry.ambroisine@3ds.com

More information

Technical Data Sheet SCADE Suite R16. Software Prototyping and Design. Technical Data Sheet SCADE Suite R16 1

Technical Data Sheet SCADE Suite R16. Software Prototyping and Design. Technical Data Sheet SCADE Suite R16 1 SCADE Suite R6 SCADE Suite is a product line of the ANSYS Embedded software family of products and solutions that empowers users with a Model-Based Development Environment for critical embedded software.

More information

Model-driven development solutions To support your business objectives. IBM Rational Rhapsody edition comparison matrix

Model-driven development solutions To support your business objectives. IBM Rational Rhapsody edition comparison matrix Model-driven development solutions To support your business objectives IBM Rhapsody edition comparison matrix IBM Rhapsody 7.5 edition: capabilities and comparisons The enclosed table compares the capabilities

More information

The Model Checker SPIN

The Model Checker SPIN The Model Checker SPIN Author: Gerard J. Holzmann Presented By: Maulik Patel Outline Introduction Structure Foundation Algorithms Memory management Example/Demo SPIN-Introduction Introduction SPIN (Simple(

More information

StateFlow Hands On Tutorial

StateFlow Hands On Tutorial StateFlow Hands On Tutorial HS/PDEEC 2010 03 04 José Pinto zepinto@fe.up.pt Session Outline Simulink and Stateflow Numerical Simulation of ODEs Initial Value Problem (Hands on) ODEs with resets (Hands

More information

Position Descriptions. Aerospace

Position Descriptions. Aerospace Position Descriptions Aerospace Aerospace Engineering? Aeromechanics / Flight Control / Flight Qualities Engineer Predict, analyze, and verify air vehicle flight dynamics including aircraft aerodynamics,

More information

Model Based System Engineering (MBSE) For Accelerating Software Development Cycle

Model Based System Engineering (MBSE) For Accelerating Software Development Cycle Model Based System Engineering (MBSE) For Accelerating Software Development Cycle Manish Patil Sujith Annamaneni September 2015 1 Contents 1. Abstract... 3 2. MBSE Overview... 4 3. MBSE Development Cycle...

More information

SysML Modelling Language explained

SysML Modelling Language explained Date: 7 th October 2010 Author: Guillaume FINANCE, Objet Direct Analyst & Consultant UML, the standard modelling language used in the field of software engineering, has been tailored to define a modelling

More information

SCADE System 17.0. Technical Data Sheet. System Requirements Analysis. Technical Data Sheet SCADE System 17.0 1

SCADE System 17.0. Technical Data Sheet. System Requirements Analysis. Technical Data Sheet SCADE System 17.0 1 SCADE System 17.0 SCADE System is the product line of the ANSYS Embedded software family of products and solutions that empowers users with a systems design environment for use on systems with high dependability

More information

ATV Data Link Simulator: A Development based on a CCSDS Layers Framework

ATV Data Link Simulator: A Development based on a CCSDS Layers Framework SpaceOps 2010 ConferenceDelivering on the DreamHosted by NASA Mars 25-30 April 2010, Huntsville, Alabama AIAA 2010-2089 ATV Data Link Simulator: A Development based on a CCSDS

More information

The Course. http://www.cse.unsw.edu.au/~cs3153/

The Course. http://www.cse.unsw.edu.au/~cs3153/ The Course http://www.cse.unsw.edu.au/~cs3153/ Lecturers Dr Peter Höfner NICTA L5 building Prof Rob van Glabbeek NICTA L5 building Dr Ralf Huuck NICTA ATP building 2 Plan/Schedule (1) Where and When Tuesday,

More information

Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification

Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification Introduction Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification Advanced Topics in Software Engineering 1 Concurrent Programs Characterized by

More information

Fixed-Point Design in MATLAB and Simulink

Fixed-Point Design in MATLAB and Simulink Fixed-Point Design in MATLAB and Simulink Gaurav Dubey Senior Team Lead - Pilot Engineering Gaurav.Dubey@mathworks.in 2013 The MathWorks, Inc. 1 What are you looking for? How can I convert an algorithm

More information

CORE STANDARDS, OBJECTIVES, AND INDICATORS

CORE STANDARDS, OBJECTIVES, AND INDICATORS Aerospace Engineering - PLtW Levels: 11-12 Units of Credit: 1.0 CIP Code: 14.0201 Core Code: 38-01-00-00-150 Prerequisite: Principles of Engineering, Introduction to Engineering Design Test: #967 Course

More information

Introduction to Simulink & Stateflow. Coorous Mohtadi

Introduction to Simulink & Stateflow. Coorous Mohtadi Introduction to Simulink & Stateflow Coorous Mohtadi 1 Key Message Simulink and Stateflow provide: A powerful environment for modelling real processes... and are fully integrated with the MATLAB environment.

More information

SOFTWARE DEVELOPMENT STANDARD FOR SPACECRAFT

SOFTWARE DEVELOPMENT STANDARD FOR SPACECRAFT SOFTWARE DEVELOPMENT STANDARD FOR SPACECRAFT Mar 31, 2014 Japan Aerospace Exploration Agency This is an English translation of JERG-2-610. Whenever there is anything ambiguous in this document, the original

More information

Best Practices for Verification, Validation, and Test in Model- Based Design

Best Practices for Verification, Validation, and Test in Model- Based Design 2008-01-1469 Best Practices for Verification, Validation, and in Model- Based Design Copyright 2008 The MathWorks, Inc. Brett Murphy, Amory Wakefield, and Jon Friedman The MathWorks, Inc. ABSTRACT Model-Based

More information

Engineering Internship Opportunities

Engineering Internship Opportunities Engineering Internship Opportunities Overview Summer 2015 Internship Locations Engineering Function Matrix Electrical Flight Industrial Materials Electrical System Design Wire Design, Install and Integration

More information

Digital Systems Based on Principles and Applications of Electrical Engineering/Rizzoni (McGraw Hill

Digital Systems Based on Principles and Applications of Electrical Engineering/Rizzoni (McGraw Hill Digital Systems Based on Principles and Applications of Electrical Engineering/Rizzoni (McGraw Hill Objectives: Analyze the operation of sequential logic circuits. Understand the operation of digital counters.

More information

Layered Approach to Development of OO War Game Models Using DEVS Framework

Layered Approach to Development of OO War Game Models Using DEVS Framework Layered Approach to Development of OO War Game Models Using DEVS Framework Chang Ho Sung*, Su-Youn Hong**, and Tag Gon Kim*** Department of EECS KAIST 373-1 Kusong-dong, Yusong-gu Taejeon, Korea 305-701

More information

Technical Data Sheet SCADE R17 Solutions for ARINC 661 Compliant Systems Design Environment for Aircraft Manufacturers, CDS and UA Suppliers

Technical Data Sheet SCADE R17 Solutions for ARINC 661 Compliant Systems Design Environment for Aircraft Manufacturers, CDS and UA Suppliers 661 Solutions for ARINC 661 Compliant Systems SCADE R17 Solutions for ARINC 661 Compliant Systems Design Environment for Aircraft Manufacturers, CDS and UA Suppliers SCADE Solutions for ARINC 661 Compliant

More information

Static analysis of numerical programs

Static analysis of numerical programs Sylvie Putot with Eric Goubault, Franck Védrine and Karim Tekkal (Digiteo) Laboratory for the Modelling and Analysis of Interacting Systems, CEA LIST RAIM 09: 3es Rencontres Arithmétique de l Informatique

More information

Rotorcraft Health Management System (RHMS)

Rotorcraft Health Management System (RHMS) AIAC-11 Eleventh Australian International Aerospace Congress Rotorcraft Health Management System (RHMS) Robab Safa-Bakhsh 1, Dmitry Cherkassky 2 1 The Boeing Company, Phantom Works Philadelphia Center

More information

Federated, Generic Configuration Management for Engineering Data

Federated, Generic Configuration Management for Engineering Data Federated, Generic Configuration Management for Engineering Data Dr. Rainer Romatka Boeing GPDIS_2013.ppt 1 Presentation Outline I Summary Introduction Configuration Management Overview CM System Requirements

More information

INDEPENDENT VERIFICATION AND VALIDATION OF EMBEDDED SOFTWARE

INDEPENDENT VERIFICATION AND VALIDATION OF EMBEDDED SOFTWARE PREFERRED RELIABILITY PRACTICES PRACTICE NO. PD-ED-1228 PAGE 1 OF 6 INDEPENDENT VERIFICATION AND VALIDATION OF EMBEDDED SOFTWARE Practice: To produce high quality, reliable software, use Independent Verification

More information

GNSS Verification, Validation and Security

GNSS Verification, Validation and Security Unclassified Nationaal Lucht- en Ruimtevaartlaboratorium National Aerospace Laboratory NLR Executive summary GNSS Verification, Validation and Security In Support of Satellite Navigation Infrastructure,

More information

PRESENTATION SPACE MISSIONS

PRESENTATION SPACE MISSIONS GENERAL PRESENTATION SPACE MISSIONS CONTENTS 1. Who we are 2. What we do 3. Space main areas 4. Space missions Page 2 WHO WE ARE GENERAL Multinational conglomerate founded in 1984 Private capital Offices

More information

Systems Engineering Tools Integration and Interoperability using OSLC in the SPRINT project

Systems Engineering Tools Integration and Interoperability using OSLC in the SPRINT project Systems Engineering Tools Integration and Interoperability using OSLC in the SPRINT project Andreas Keis, Parham Vasaiely (EADS Innovation Works, Newport) Uri Shani (IBM Israel Science and Technology Ltd.,

More information

Approaches to Improve System Dependability From Formal Verification to Model-Based Testing

Approaches to Improve System Dependability From Formal Verification to Model-Based Testing Approaches to Improve System Dependability From Formal Verification to Model-Based Testing Andreas Ulrich, Peter Amthor, Marlon Vieira Siemens AG, Corporate Technology, CT SE/SCR andreas.ulrich@siemens.com

More information

ANSYS SCADE Model-Based Development Solutions for Industrial Equipment and Energy. Critical Systems & Software Development Solutions

ANSYS SCADE Model-Based Development Solutions for Industrial Equipment and Energy. Critical Systems & Software Development Solutions ANSYS SCADE Model-Based Development Solutions for Industrial Equipment and Energy Critical Systems & Software Development Solutions Heavy Duty Industrial Equipment Applications Mechatronics Controls and

More information

Operability in the SAVOIR Context

Operability in the SAVOIR Context SAVOIR Avionics Reference Architecture Operability in the SAVOIR Context Avionics, Data Control & Software Systems Workshop 23/10/2012 Implementing Operability The CCN Standoff & the SOIRD SOIRD & Standarisation

More information

DEOS. Deutsche Orbitale Servicing Mission. The In-flight Technology Demonstration of Germany s Robotics Approach to Service Satellites

DEOS. Deutsche Orbitale Servicing Mission. The In-flight Technology Demonstration of Germany s Robotics Approach to Service Satellites DEOS Deutsche Orbitale Servicing Mission The In-flight Technology Demonstration of Germany s Robotics Approach to Service Satellites B. Sommer, K. Landzettel, T. Wolf, D. Reintsema, German Aerospace Center

More information

BENEFITS OF MODELING WITH A FORMAL LANGUAGE. Emmanuel Gaudin emmanuel.gaudin@pramadev.com

BENEFITS OF MODELING WITH A FORMAL LANGUAGE. Emmanuel Gaudin emmanuel.gaudin@pramadev.com BENEFITS OF MODELING WITH A FORMAL LANGUAGE Emmanuel Gaudin emmanuel.gaudin@pramadev.com PragmaDev French software editor based in Paris Dedicated to the development of RTDS: a modeling and testing tool

More information

Bremen City of Aerospace Technology PERMISSION TO DISCOVER

Bremen City of Aerospace Technology PERMISSION TO DISCOVER Bremen City of Aerospace Technology PERMISSION TO DISCOVER Aerospace Technology made PERMISSION TO DISCOVER PERMISSION TO DISCOVER International Space Station (ISS) The ISS is the biggest space station

More information

Synchronous programming

Synchronous programming Synchronous programming Critical Real Time Embedded Software David Lesens Wednesday, 06 October 200 Synchronous programming Eugene Asarin Mehdi Dogguy David Lesens 06/0/200 p2 Master 2 Critical System

More information

Automating Code Reviews with Simulink Code Inspector

Automating Code Reviews with Simulink Code Inspector Automating Code Reviews with Simulink Code Inspector Mirko Conrad, Matt Englehart, Tom Erkkinen, Xiaocang Lin, Appa Rao Nirakh, Bill Potter, Jaya Shankar, Pete Szpak, Jun Yan, Jay Clark The MathWorks,

More information

Formal verification of contracts for synchronous software components using NuSMV

Formal verification of contracts for synchronous software components using NuSMV Formal verification of contracts for synchronous software components using NuSMV Tobias Polzer Lehrstuhl für Informatik 8 Bachelorarbeit 13.05.2014 1 / 19 Problem description and goals Problem description

More information

An Automated Development Process for Interlocking Software that. Cuts Costs and Provides Improved Methods for Checking Quality.

An Automated Development Process for Interlocking Software that. Cuts Costs and Provides Improved Methods for Checking Quality. An Automated Development Process for Interlocking Software that Cuts Costs and Provides Improved Methods for Checking Quality and Safety Authors: Claes Malmnäs Prover Technology Rosenlundsgatan 54 118

More information

AEROSPACE ENGINEERING SERIES, GS-0861

AEROSPACE ENGINEERING SERIES, GS-0861 TS-124 May 1993 General Schedule Position Classification Flysheet AEROSPACE ENGINEERING SERIES, GS-0861 Theodore Roosevelt Building 1900 E Street, NW Washington, DC 20415-8330 Classification Programs Division

More information

Dynamic Concepts, Inc.

Dynamic Concepts, Inc. Dynamic Concepts, Inc. GENERAL SERVICES ADMINISTRATION Federal Acquisition Service 2015 Authorized Federal Supply Schedule Price List (In Accordance with Modification PS-0018 - Prices Effective 03/05/2015)

More information

Space Flight Project Work Breakdown Structure

Space Flight Project Work Breakdown Structure APPENDIX G. (WBS) Space Flight Project Work Breakdown Structure G.1 Introduction G.1.1 The Project Work Breakdown Structure (WBS) is a key element of project management. The purpose of a WBS is to divide

More information

Space Algorithm Testbeds - Small Business Pipeline for Technology Innovation

Space Algorithm Testbeds - Small Business Pipeline for Technology Innovation AIAA SPACE 2009 Conference & Exposition 14-17 September 2009, Pasadena, California AIAA 2009-6821 Space Algorithm Testbeds - Small Business Pipeline for Technology Innovation Roberta M. Ewart and Jie Z.

More information

Best practices for developing DO-178 compliant software using Model-Based Design

Best practices for developing DO-178 compliant software using Model-Based Design Best practices for developing DO-178 compliant software using Model-Based Design Raymond G. Estrada, Jr. 1 The MathWorks, Torrance, CA Eric Dillaber. 2 The MathWorks, Natick, MA Gen Sasaki 3 The MathWorks,

More information

Professional Organization Checklist for the Computer Science Curriculum Updates. Association of Computing Machinery Computing Curricula 2008

Professional Organization Checklist for the Computer Science Curriculum Updates. Association of Computing Machinery Computing Curricula 2008 Professional Organization Checklist for the Computer Science Curriculum Updates Association of Computing Machinery Computing Curricula 2008 The curriculum guidelines can be found in Appendix C of the report

More information

SCOPE PRESENTATION INTRODUCTION

SCOPE PRESENTATION INTRODUCTION SCOPE PRESENTATION INTRODUCTION Introduction My position within Airbus: Working in the Modeling and Simulation (EYYS) department of Engineering. In charge of the AP2633 standard and all the associated

More information

Model Based Software Development for DDG 1000 Advanced Gun System

Model Based Software Development for DDG 1000 Advanced Gun System BAE Systems Land & Armaments Model Based Software Development for DDG 1000 Advanced Gun System Dirk Jungquist BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution

More information

Model Checking based Software Verification

Model Checking based Software Verification Model Checking based Software Verification 18.5-2006 Keijo Heljanko Keijo.Heljanko@tkk.fi Department of Computer Science and Engineering Helsinki University of Technology http://www.tcs.tkk.fi/~kepa/ 1/24

More information

System Engineering Data Repository

System Engineering Data Repository System Data Repository 09:00 data in the MBSE life-cycle 09:20 EGS-CC in the system context 09:40 Conceptual Modelling and ECSS 10:00 ecascade 10:20 A snapshot of systems engineering data management in

More information

RATP safety approach for railway signalling systems

RATP safety approach for railway signalling systems RATP safety approach for railway signalling systems ReSIST summer School 007 Pierre CHARTIER Summary. Introduction. Hardware fault detection. 6 Introduction Global railway system Rolling stock Environment

More information

Technologies for Re-entry Vehicles. SHEFEX and REX FreeFlyer, DLR s Re-Entry Program. Hendrik Weihs. Folie 1. Vortrag > Autor > Dokumentname > Datum

Technologies for Re-entry Vehicles. SHEFEX and REX FreeFlyer, DLR s Re-Entry Program. Hendrik Weihs. Folie 1. Vortrag > Autor > Dokumentname > Datum Technologies for Re-entry Vehicles SHEFEX and REX FreeFlyer, DLR s Re-Entry Program Hendrik Weihs Folie 1 DLR`s Re-Entry Program, Why? Re-entry or return technology respectively, is a strategic key competence

More information

A Distributed Mission Programming and Evaluation Environment for Rapid Access to Space Vehicles

A Distributed Mission Programming and Evaluation Environment for Rapid Access to Space Vehicles A Distributed Mission Programming and Evaluation Environment for Rapid Access to Space Vehicles Donghui WANG 1, Fei XIAO 1, Min CHEN 1, Weihua ZHANG 1 1 College of Aerospace and Materials Engineering,

More information

Vdot A Revolutionary Tool for Space Logistics Campaign Planning and Simulation

Vdot A Revolutionary Tool for Space Logistics Campaign Planning and Simulation AIAA SPACE 2009 Conference & Exposition 14-17 September 2009, Pasadena, California AIAA 2009-6551 Vdot A Revolutionary Tool for Space Logistics Campaign Planning and Simulation Roger Herdy 1 Qualis Corporation,

More information

Israel s Aerospace Industry. Higher Faster Farther

Israel s Aerospace Industry. Higher Faster Farther Israel s Aerospace Industry Higher Faster Farther April 2013 Areas of Activity Civil/Commercial Aviation Space Applications Military & Defense Israel Aerospace Innovation Aviation Space UAV Gulfstream

More information

Motivations 1. What is (or should be) the essential preoccupation of computer scientists?

Motivations 1. What is (or should be) the essential preoccupation of computer scientists? Improving Systems Quality Challenges and Trends An Abstract Interpretation Perspective Patrick COUSOT École Normale Supérieure 45 rue d Ulm, 75230 Paris cedex 05, France Patrick.Cousot@ens.fr www.di.ens.fr/

More information

Vega VV02 a new chapter in a success story

Vega VV02 a new chapter in a success story Vega VV02 a new chapter in a success story ASI HQ, Tor Vergata, Rome 10th July 2013 Flight Program SW 2 ND Source (FPSA) Development/Validation and Qualification Programme The information contained in

More information

The European Satellite Navigation Programmes EGNOS and Galileo

The European Satellite Navigation Programmes EGNOS and Galileo The European Satellite Navigation Programmes EGNOS and Galileo Olivier Crop European GNSS Agency (GSA) Paris, 17 March 2014 20 March, 2014 The European GNSS Programmes 2 Basics of Satellite Navigation

More information

Fernando Aguado-Agelet University of Vigo - INTA

Fernando Aguado-Agelet University of Vigo - INTA Fernando Aguado-Agelet University of Vigo - INTA August 10th 2008 2008 Cubesat Summer Developer s Workshop 1 Project Presentation GENERAL DESCRIPTION University of Vigo: Leader Spanish university in R+D

More information

Testing Low Power Designs with Power-Aware Test Manage Manufacturing Test Power Issues with DFTMAX and TetraMAX

Testing Low Power Designs with Power-Aware Test Manage Manufacturing Test Power Issues with DFTMAX and TetraMAX White Paper Testing Low Power Designs with Power-Aware Test Manage Manufacturing Test Power Issues with DFTMAX and TetraMAX April 2010 Cy Hay Product Manager, Synopsys Introduction The most important trend

More information

Zhou Jianping. Chief Designer of China Manned Space Program. September 2013 Beijing

Zhou Jianping. Chief Designer of China Manned Space Program. September 2013 Beijing China Space Station Project Zhou Jianping Chief Designer of China Manned Space Program September 2013 Beijing Contents Introduction Overview of China space station Unique features of China space station

More information

The German interagency approach to SSA

The German interagency approach to SSA Lieutenant Colonel (GS) Karsten Auras, German Air Force Headquarters, 1 I b Space Concepts Presentation for the 2015 Japan Space Forum SSA Symposium, Tokyo, Japan The German interagency approach to SSA

More information

Electronic Concepts & Engineering, Inc. Developers of Embedded Electronics & Software. Automotive - Truck - Industrial

Electronic Concepts & Engineering, Inc. Developers of Embedded Electronics & Software. Automotive - Truck - Industrial Electronic Concepts & Engineering, Inc. Developers of Embedded Electronics & Software Automotive - Truck - Industrial ECE Programs have Included: Hybrid Electric Vehicle Control Systems Automated Manual

More information

Small Satellites: Chances and Challenges

Small Satellites: Chances and Challenges Small Satellites: Chances and Challenges 29 th March 2014 Do small satellites need insurance Cécile Gaubert Head of Legal and Claims Aviation and Space Dept - Marsh SAS Summary Summary 1. Introduction

More information

The National Strategy, Current Activities for Space Technology Development and Application

The National Strategy, Current Activities for Space Technology Development and Application 14-18 November 2011, Putrajaya, Malaysia The National Strategy, Current Activities for Space Technology Development and Application Lai Anh Khoi Space Technology Institute, VAST, Vietnam Bief History Space

More information

System Behaviour Analysis with UML and Ptolemy. Scope and goals

System Behaviour Analysis with UML and Ptolemy. Scope and goals Information included in this document are group's own property. These ones shall not be disclosed without the prior wirtten consent of Optronique. System Behaviour Analysis with UML and Ptolemy 4 th Biennal

More information

CLASSIFICATION OF AIRCRAFT AND SPACECRAFT

CLASSIFICATION OF AIRCRAFT AND SPACECRAFT TYPES OF AIRCRAFT CLASSIFICATION OF AIRCRAFT AND SPACECRAFT Aircraft can be classified into various types based on the mode of classification. In the following slide, a general classification of aircraft

More information

Computer Science Information Sheet for entry in 2016. What is Computer Science?

Computer Science Information Sheet for entry in 2016. What is Computer Science? Computer Science Information Sheet for entry in 2016 What is Computer Science? Computer Science is about understanding computer systems and networks at a deep level. Computers and the programs they run

More information

AN OBJECTIVELY OPTIMIZED SENSOR WEB

AN OBJECTIVELY OPTIMIZED SENSOR WEB E S T O / A I S T Sensor Web PI Meeting - February 13-14, 2007, San Diego AN OBJECTIVELY OPTIMIZED SENSOR WEB DAVID J. LARY, PRINCIPAL INVESTIGATOR NASA GSFC/UMBC GEST University of Maryland Baltimore

More information

Model based testing tools. Olli Pekka Puolitaival

Model based testing tools. Olli Pekka Puolitaival Model based testing tools Olli Pekka Puolitaival Index 1. Software testing evolution 2. model based testing (MBT): main idea 3. MBT: step by step 4. MBT: tools 5. Questions Software testing evolution model

More information

Propagation Channel Emulator ECP_V3

Propagation Channel Emulator ECP_V3 Navigation simulators Propagation Channel Emulator ECP_V3 1 Product Description The ECP (Propagation Channel Emulator V3) synthesizes the principal phenomena of propagation occurring on RF signal links

More information

The Software Development Process

The Software Development Process Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016 Lecture 03 (26.10.2015) The Software Development Process Christoph Lüth Jan Peleska Dieter Hutter Your Daily Menu Models of software

More information

Algorithmic Software Verification

Algorithmic Software Verification Algorithmic Software Verification (LTL Model Checking) Azadeh Farzan What is Verification Anyway? Proving (in a formal way) that program satisfies a specification written in a logical language. Formal

More information

Vorarlberg University of Applied Sciences - Dornbirn, Austria

Vorarlberg University of Applied Sciences - Dornbirn, Austria The Magellan Exchange GRADUATE/MASTER Course Offerings in English List is as up-to-date as possible as of 30 November 2015 (Variation may occur; please use this as a general guide only. Credits and course

More information

VDM vs. Programming Language Extensions or their Integration

VDM vs. Programming Language Extensions or their Integration VDM vs. Programming Language Extensions or their Integration Alexander A. Koptelov and Alexander K. Petrenko Institute for System Programming of Russian Academy of Sciences (ISPRAS), B. Communisticheskaya,

More information

Echtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur

Echtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur Echtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur 2015 The MathWorks, Inc. 1 Model-Based Design Continuous Verification and Validation Requirements

More information

Methods and Tools For Embedded Distributed System Scheduling and Schedulability Analysis

Methods and Tools For Embedded Distributed System Scheduling and Schedulability Analysis Methods and Tools For Embedded Distributed System Scheduling and Schedulability Analysis Steve Vestal Honeywell Labs Steve.Vestal@Honeywell.com 18 October 2005 Outline Background Binding and Routing Scheduling

More information

How to program a Zumo Robot with Simulink

How to program a Zumo Robot with Simulink How to program a Zumo Robot with Simulink Created by Anuja Apte Last updated on 2015-03-13 11:15:06 AM EDT Guide Contents Guide Contents Overview Hardware Software List of Software components: Simulink

More information

2. Typology of space value chain actors

2. Typology of space value chain actors Toulouse Space Show 2012 : IISL/IAA Space Law and Policy Symposium Session 1a : Towards effective sustainability for outer space activities ECONOMICAL SUSTAINABILITY OF THE SPACE VALUE CHAIN : ROLE OF

More information

Use of Graphical Programming Tools for Electrical Engineering and Technology Courses

Use of Graphical Programming Tools for Electrical Engineering and Technology Courses Use of Graphical Programming Tools for Electrical Engineering and Technology Courses Salahuddin Qazi and Naseem Ishaq School of Information Systems and Engineering Technology State University of New York

More information

A Static Analyzer for Large Safety-Critical Software. Considered Programs and Semantics. Automatic Program Verification by Abstract Interpretation

A Static Analyzer for Large Safety-Critical Software. Considered Programs and Semantics. Automatic Program Verification by Abstract Interpretation PLDI 03 A Static Analyzer for Large Safety-Critical Software B. Blanchet, P. Cousot, R. Cousot, J. Feret L. Mauborgne, A. Miné, D. Monniaux,. Rival CNRS École normale supérieure École polytechnique Paris

More information

AOE Graduate Level Course Prerequisites

AOE Graduate Level Course Prerequisites AOE Graduate Level Course Prerequisites AOE 5024: Vehicle AOE 5135 5136 (ME 5135 5136): Vehicle Propulsion Prerequisites: AOE 3114 and ME 3134 or Graduate AOE 5034 (ESM 5304): Mechanical and Structural

More information

Rapid Prototyping and Deployment of User-to-User Networked Applications

Rapid Prototyping and Deployment of User-to-User Networked Applications Rapid Prototyping and Deployment of User-to-User Networked Applications Wan-Teh Chang Department of Electrical Engineering and Computer Sciences University of California at Berkeley DSP SEMINAR, 3 MAY

More information

Software Engineering Reference Framework

Software Engineering Reference Framework Software Engineering Reference Framework Michel Chaudron, Jan Friso Groote, Kees van Hee, Kees Hemerik, Lou Somers, Tom Verhoeff. Department of Mathematics and Computer Science Eindhoven University of

More information

Software Verification/Validation Methods and Tools... or Practical Formal Methods

Software Verification/Validation Methods and Tools... or Practical Formal Methods Software Verification/Validation Methods and Tools... or Practical Formal Methods John Rushby Computer Science Laboratory SRI International Menlo Park, CA John Rushby, SR I Practical Formal Methods: 1

More information

SCADE SUITE SOFTWARE VERIFICATION PLAN FOR DO-178B LEVEL A & B

SCADE SUITE SOFTWARE VERIFICATION PLAN FOR DO-178B LEVEL A & B SCADE SUITE SOFTWARE VERIFICATION PLAN FOR DO-78B LEVEL A & B TABLE OF CONTENTS. INTRODUCTION..... PURPOSE..... RELATED DOCUMENTS..... GLOSSARY... 9.. CONVENTIONS..... RELATION WITH OTHER PLANS....6. MODIFICATION

More information

Building Confidence in the Quality and Reliability of Critical Software

Building Confidence in the Quality and Reliability of Critical Software Building Confidence in the Quality and Reliability of Critical Software Jay Abraham, MathWorks Jon Friedman, MathWorks Abstract. Software in critical civilian and military aerospace applications, including

More information