Model Based Software Development for DDG 1000 Advanced Gun System



Similar documents
Software Production. Industrialized integration and validation of TargetLink models for series production

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

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

FASTEMS SOFTWARE. For maximum Performance

Software Safety Strategy for US Navy Gun System Acquisition Programs

Making model-based development a reality: The development of NEC Electronics' automotive system development environment in conjunction with MATLAB

Development of AUTOSAR Software Components within Model-Based Design

Virtual Integration and Consistent Testing of Advanced Driver Assistance Functions

Manage Software Development in LabVIEW with Professional Tools

R214 SPECIFIC REQUIREMENTS: INFORMATION TECHNOLOGY TESTING LABORATORY ACCREDITATION PROGRAM

Using TechExcel s DevSuite to Achieve FDA Software Validation Compliance For Medical Software Device Development

Model-based Testing of Automotive Systems

Hardware in the Loop (HIL) Testing VU 2.0, , WS 2008/09

1.2 Tools support for management of testing & tests

IEC Functional Safety Assessment. Project: K-TEK Corporation AT100, AT100S, AT200 Magnetostrictive Level Transmitter.

Agenda. Michele Taliercio, Il circuito Integrato, Novembre 2001

A User s Experience with Simulink and Stateflow for Real-Time Embedded Applications

Introduction to Functional Verification. Niels Burkhardt

Software Engineering Best Practices. Christian Hartshorne Field Engineer Daniel Thomas Internal Sales Engineer

Certification of a Scade 6 compiler

What is a life cycle model?

IBM Rational Rhapsody

TITLE: Control of Software

Certification Authorities Software Team (CAST) Position Paper CAST-26

SECTION 4 TESTING & QUALITY CONTROL

Performance Study based on Matlab Modeling for Hybrid Electric Vehicles

Software Engineering for LabVIEW Applications. Elijah Kerry LabVIEW Product Manager

Project Proposal PDT401: Automatic deployment of operating system, drivers and software using MDT, Chocolatey and Powershell.

ESE566 REPORT3. Design Methodologies for Core-based System-on-Chip HUA TANG OVIDIU CARNU

Example Software Development Process.

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

JOINT STRIKE FIGHTER PHM VISION

Automotive Software Engineering

Standard Glossary of Terms Used in Software Testing. Version 3.01

Model-Driven Software Development for Robotics: an overview

Dal software all automazione attraverso uno sviluppo integrato multidisciplinare Decisioni Intelligenti, Macchine dedicate, Prodotti Migliori

Customer Experience. Silicon. Support & Professional Eng. Services. Freescale Provided SW & Solutions

SCADE Suite in Space Applications

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

Real Time Developer Studio. Emmanuel Gaudin

Unit Testing webmethods Integrations using JUnit Practicing TDD for EAI projects

Software Test Plan (STP) Template

System-on. on-chip Design Flow. Prof. Jouni Tomberg Tampere University of Technology Institute of Digital and Computer Systems.

SoMA. Automated testing system of camera algorithms. Sofica Ltd

THEME Competence Matrix - Electrical Engineering/Electronics with Partial competences/ Learning outcomes

Software Development with Real- Time Workshop Embedded Coder Nigel Holliday Thales Missile Electronics. Missile Electronics

CrossChasm Embedded Control Systems Whitepaper For Powertrain Design Teams

Configuration & Build Management

Safety Requirements Specification Guideline

Introduction to RACE FUELS Hans-Christian von der Wense Munich, Germany

Appendix 2-A. Application and System Development Requirements

Certification Authorities Software Team (CAST) Position Paper CAST-13

IEC Overview Report

Electronic Concepts & Engineering, Inc. Developers of Electronic Systems & Software. Military & Aerospace

Eli Levi Eli Levi holds B.Sc.EE from the Technion.Working as field application engineer for Systematics, Specializing in HDL design with MATLAB and

Software Development Principles Applied to Graphical Model Development

IC 1101 Basic Electronic Practice for Electronics and Information Engineering

Model, Analyze and Optimize the Supply Chain

x86 ISA Modifications to support Virtual Machines

INDEPENDENT VERIFICATION AND VALIDATION OF EMBEDDED SOFTWARE

AC REUSABLE SOFTWARE COMPONENTS

Trends in Embedded Software Development in Europe. Dr. Dirk Muthig

Project Management Planning

CONFIGURATION MANAGEMENT PLAN GUIDELINES

Software Engineering. Software Processes. Based on Software Engineering, 7 th Edition by Ian Sommerville

Power inverters: Efficient energy transformation through efficient TargetLink code

Software testing. Objectives

Testing of safety-critical software some principles

A DIFFERENT KIND OF PROJECT MANAGEMENT

Model-based Testing of Automotive Systems

WIND RIVER RTCA DO-178 SOFTWARE CERTIFICATION SERVICES

Predictive Analytics

-171- XA TEST PROCEDURES ON THE OBJECT CODE OF I&C SAFETY SYSTEMS SOFTWARE. E-U. MAINKA, D. HAAKE TUV Nord, Hamburg Germany

F15. Towards a More Mature Test Process. Anne Mette-Hass. P r e s e n t a t i o n

WebSphere Business Modeler

Building a Simulink model for real-time analysis V Copyright g.tec medical engineering GmbH

OpenControl. Utilization

Model-Based Development of Safety-Critical Software: Safe and Effi cient

The SPES Methodology Modeling- and Analysis Techniques

Release & Deployment Management

Efficient Verification for Avionic Product Development

RG-RIIL-RMC Service Request Management. Solution Datasheet V1.1

AUTOSAR Seminar WS2008/ Assignment: Simulation of Automotive Systems in the Context of AUTOSAR

Design of automatic testing tool for railway signalling systems software safety assessment

An Increase in Software Testing Robustness: Enhancing the Software Development Standard for Space Systems

find model parameters, to validate models, and to develop inputs for models. c 1994 Raj Jain 7.1

Electrics & Electronics

Software in safety critical systems

Medical Device Design: Shorten Prototype and Deployment Time with NI Tools. NI Technical Symposium 2008

Evaluation of Real-time Emulators for Future Development of Fire Control Applications

Your Software Quality is Our Business. INDEPENDENT VERIFICATION AND VALIDATION (IV&V) WHITE PAPER Prepared by Adnet, Inc.

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

The MILS Component Integration Approach To Secure Information Sharing

Verification by. Simulation. Verification by. Simulation. Verification by. Simulation / Model Check. Validation and Testing.

Converting Models from Floating Point to Fixed Point for Production Code Generation

Introducing the Dezyne Modelling Language

DS1104 R&D Controller Board

Transcription:

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 is unlimited 21 May 2012 1

Advanced Gun System on the Zumwalt DDG 1000 AGS Key Features 155 mm / 62 caliber vertical load mount 10 rounds per min continuous rate-of-fire (2) 300 round magazines Replenishment at-sea or in-port Fully-automated unmanned operation AGS MT62 Gun Mount AGS MT61 Gun Mount AGS Propelling Charge AGS LRLAP AGS Pallet AGS MT62 Magazine AGS MT61 Magazine BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution is unlimited 21 May 2012 2

AGS Overview Advanced Gun System (AGS) is a 155 mm vertical load gun employing a fully automated magazine and gun loading system 84 electric brushless DC drives Largest motor - 250 HP 850 KW Peak power draw per gun mount 4 VME Chassis with 15 Single Board Computers 100 lb cased propellant 220 lb, 14.5 cal (88 ) LRLAP BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution is unlimited 21 May 2012 3

Application Trade Study Trade criteria of hand code versus model based design (Matlab/Simulink) Cost / Risk / Performance Model Based Design Selected: Control systems Logic diagrams / state machines Sensor filtering Sequencing, BIT, fault handling Hand Code Selected: Queuing problems Linked lists Database applications Operating system interface Hardware drivers Costs Safety critical code compliance ODP process compliance Design Design Development Effort Design review / verification Requirements traceability Configuration management SW Test Unit level code & test SCI level test (host) Test vector development HW/SW Integraton Integration against emulated environment Integration test (HW/SW integration) Maintenance (LCC) Training / Tools (Resource availability) Risk Ability to meet schedule Ability to meet cost Technical performance (Design intent implementation (reqmts interpretation)) Performance (of end product) Reliability BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution is unlimited 21 May 2012 4

Implementation Trade Studies Mix hand code and auto generated code? Selected a separation where all the application functions on the processor are in the model Simplified team organization and integration Interface directly to operating system? Chose to use a OE layer which separates the application from the operating system Embed hand code into models? Not required based on application requirements Limit to interfaces Interface generated code only through a top level generated subroutine call? Used direct OE calls through s-functions Top level model called by frequency based scheduler Processor Software Stack Code Wrapper Matlab Generated Code Operating Environment SCI COTS Operating System BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution is unlimited 21 May 2012 5

Software Safety Implications The AGS is the first weapon system for which the U.S. Navy Weapon System Explosives Safety Review Board (WSESRB) Software Systems Safety Technical Review Panel (SSSTRP) gave concurrence for using a model based software development approach Several possible approaches evaluated including certified code generators To meet safety expectations a software safety process is required Qualification approach chosen with native Matlab code generator Code generator treated like a new compiler Limited set of base library blocks used Usage enforced through automated script checking Style guide checks also enforced through automatic scripts BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution is unlimited 21 May 2012 6

Matlab Autocode Qualification Process Steps 1. Identify Core Building Blocks Only those building blocks necessary for AGS. 2. Unit Test Complete Model Coverage No Dead Code All Logic Tested 3. Peer Review Review Core Block Construction Verify Safe Construction Eliminate Unnecessary Blocks Confirm Coverage and Results 4. Code Generation Inspection Code Generate Models and Test Vectors Inspect Code Tailored AGS Coding Standards Verify Generated Code Correctness No Dead Code Generated 5. Target Compile And Execute Compile Generated Code On Target Execute Test Results 6. Validate Test Results Validate results with those from graphical model-base testing. BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution is unlimited 21 May 2012 7

Product Development Flow Concept Pro-E, Dynamics Sensors, Electronics Environment M&S VIL Software Development Environment Computing/ Implementation Environment Modeling Performance, Concept Modeling Physical Plant Design Modeling Control System, Sequencers Automatic Code Generation Simulation Timeline, Error Budgets Analysis Performance, Controllability Simulation & Test non-realtime Verification Prototype Verification Production Simulation SIL Emulation Prototype - HIL Production 21 May 2012 BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution is unlimited 8

Development Artifacts Generic model library components Unit level tests Model based with execution in simulation and on target processor Coverage analysis Peer review with SME Automatic script checks for block usage and style guide Code review if safety critical Independent test team Integration functional testing against requirements Configuration management in Clearcase Models, unit tests, coverage analysis BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution is unlimited 21 May 2012 9

Benefits of Model Based Design Subject matter expert direct implementation Less detailed requirement decomposition No algorithm translation issues Subject matter expert review of graphical logic Design accessible by system, electrical and mechanical engineers Powerful automation tools available Model style checking, unit test development, coverage analysis, regression testing and code generation Cost and schedule savings Prototype applications five times less costly than traditional hand code AGS objective production code actual costs were two times less than traditional hand code estimates Improved performance expected as processes mature BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution is unlimited 21 May 2012 10

Advantages of Graphical Logic BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution is unlimited 21 May 2012 11

Challenges to a Model Based Design Estimating project cost Functional based estimates Calibrating SEER-SEM Scaling for project size Reporting development progress SLOC is meaningless metric Artifacts for independent test teams Design can be performed with higher level requirements Specific documents only for testing may be required BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution is unlimited 21 May 2012 12

Contact Info Dirk Jungquist BAE Systems Land and Armaments 763-572-5312 Dirk.Jungquist@baesystems.com BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution is unlimited 21 May 2012 13