October 4, 2001SIGAda 2001 Panel: Ada Experiences 1 Ada Experiences Panel Chair John McCormick, University of Northern Iowa Panelists Robert LockwoodAlliant.

Slides:



Advertisements
Similar presentations
Symantec 2010 Windows 7 Migration EMEA Results. Methodology Applied Research performed survey 1,360 enterprises worldwide SMBs and enterprises Cross-industry.
Advertisements

You have been given a mission and a code. Use the code to complete the mission and you will save the world from obliteration…
2017/3/25 Test Case Upgrade from “Test Case-Training Material v1.4.ppt” of Testing basics Authors: NganVK Version: 1.4 Last Update: Dec-2005.
2006 Pearson Education, Inc. All rights reserved Object-Oriented Programming: Polymorphism.
Computer Networks TCP/IP Protocol Suite.
Client Tools Explained EAE 3014
Advanced Piloting Cruise Plot.
Analysis of Computer Algorithms
Pricing for Utility-driven Resource Management and Allocation in Clusters Chee Shin Yeo and Rajkumar Buyya Grid Computing and Distributed Systems (GRIDS)
Chapter 1: The Database Environment
Remote Educational Programming Of Robots (REPOR) Tord Fauskanger Aurelie Aurilla Bechina Arntzen Dag Samuelsen Buskerud University College.
Introduction to Product Family Engineering. 11 Oct 2002 Ver 2.0 ©Copyright 2002 Vortex System Concepts 2 Product Family Engineering Overview Project Engineering.
Ada, Model Railroading, and Software Engineering Education John W. McCormick University of Northern Iowa.
By Rick Clements Software Testing 101 By Rick Clements
( , RF/RFID Technology & Commercialization Forum Technology Service Corporation Jitti Sukontasup ( ,
Business Transaction Management Software for Application Coordination 1 Business Processes and Coordination.
FANS (Future Air Navigation System) Flight Crew Procedures
Flexible Airborne Architecture
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Title Subtitle.
Determine Eligibility Chapter 4. Determine Eligibility 4-2 Objectives Search for Customer on database Enter application signed date and eligibility determination.
Custom Statutory Programs Chapter 3. Customary Statutory Programs and Titles 3-2 Objectives Add Local Statutory Programs Create Customer Application For.
My Alphabet Book abcdefghijklm nopqrstuvwxyz.
DIVIDING INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.
Addition Facts
1 Processes and Threads Creation and Termination States Usage Implementations.
Making the System Operational
Federal Aviation Administration International Flight Inspection Symposium June 24, 2008 James H. Washington Vice President, Acquisition and Business Services.
11 Auto Regression Analysis Shuang He Intel Linux Graphics Validation Team Open Source Technology Center
1 Evaluating a Complex System of Systems Using State Modeling and Simulation National Defense Industrial Association Systems Engineering Conference San.
Real Time Versions of Linux Operating System Present by Tr n Duy Th nh Quách Phát Tài 1.
Electric Bus Management System
Configuration management
Software change management
Debugging operating systems with time-traveling virtual machines Sam King George Dunlap Peter Chen CoVirt Project, University of Michigan.
Testing Workflow Purpose
ABC Technology Project
Describing Complex Products as Configurations using APL Arrays.
Square D Electrical Protection And Monitoring
© 2005 AT&T, All Rights Reserved. 11 July 2005 AT&T Enhanced VPN Services Performance Reporting and Web Tools Presenter : Sam Levine x111.
CS 6143 COMPUTER ARCHITECTURE II SPRING 2014 ACM Principles and Practice of Parallel Programming, PPoPP, 2006 Panel Presentations Parallel Processing is.
FAA-Qualifiable Ada Subset Compiler V. Santhanam Boeing.
Component-Based Software Engineering Main issues: assemble systems out of (reusable) components compatibility of components.
Page 1 October 31, 2000 An Introduction to Large-Scale Software Development Steve Varnau Core HP-UX Operation October 31, 2000.
Lets play bingo!!. Calculate: MEAN Calculate: MEDIAN
15 th Annual Tcl/Tk Conference October 2008 Timothy L. Tomkinson Fellow Software Engineer Northrop Grumman Electronic Systems Remote Control of Test Equipment.
Executional Architecture
Chapter 5 Test Review Sections 5-1 through 5-4.
SIMOCODE-DP Software.
Lockheed Martin Aeronautics Company © 2001 Lockheed Martin Corporation F-16 Modular Mission Computer Application Software Achieving Cross-Platform Compatibility.
Addition 1’s to 20.
25 seconds left…...
Copyright 2001 Advanced Strategies, Inc. 1 Data Bridging An Overview Prepared for DIGIT By Advanced Strategies, Inc.
©Ian Sommerville 1995/2000 (Modified by Spiros Mancoridis 1999) Software Engineering, 6th edition. Chapters 1,3 Slide 1 Software Engineering Software Engineering.
Week 1.
Chapter 10 Delivering the System Shari L. Pfleeger Joann M. Atlee 4 th Edition.
We will resume in: 25 Minutes.
©Brooks/Cole, 2001 Chapter 12 Derived Types-- Enumerated, Structure and Union.
1 © NOKIA A Process Model of Developing Micro- code for a Network Processor Jani Koski Author: Jani Koski Supervisor: Prof. Raimo.
Introduction to Ad-hoc & Sensor Networks Security In The Name of God ISC Student Branch in KNTU 4 th Workshop Ad-hoc & Sensor Networks.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 13 Slide 1 Application architectures.
14-1 © Prentice Hall, 2004 Chapter 14: OOSAD Implementation and Operation (Adapted) Object-Oriented Systems Analysis and Design Joey F. George, Dinesh.
These courseware materials are to be used in conjunction with Software Engineering: A Practitioner’s Approach, 6/e and are provided with permission by.
Introduction to ikhlas ikhlas is an affordable and effective Online Accounting Solution that is currently available in Brunei.
OPC and the 5000 Connections made even easier! Adrian Oliver iTools Development Team
Ada in the Avionics Industry George Romanski
March 2004 At A Glance NASA’s GSFC GMSEC architecture provides a scalable, extensible ground and flight system approach for future missions. Benefits Simplifies.
Using Ada-C/C++ Changer as a Converter Automatically convert to C/C++ to reuse or redeploy your Ada code Eliminate the need for a costly and.
Future Airborne Capability Environment (FACE™) Support
Presentation transcript:

October 4, 2001SIGAda 2001 Panel: Ada Experiences 1 Ada Experiences Panel Chair John McCormick, University of Northern Iowa Panelists Robert LockwoodAlliant Techsystems Bill RusinakLockheed-Martin David GlessnerRockwell-Collins Elizabeth TheesfeldHoneywell

October 4, 2001SIGAda 2001 Panel: Ada Experiences 2 Bob Lockwood Software Engineering Manager Alliant Techsystems – Integrated Defense Company 600 Second Street NE Hopkins, MN

October 4, 2001SIGAda 2001 Panel: Ada Experiences 3 Software Engineering Experience Applications: Military – Command, Control, Communications Primary Projects – Real-Time, Embedded Experience – 9 years hardware developer – 25 years software developer – 16 years working with Ada-83/Ada-95 Company Certifications – ISO9001, CP2 Platforms – Intel 80x86/i960, PowerPC 5xx, 6xx, 7xx Operating Systems – Bare Machine, VRTX, VxWorks, Nucleus, LynxOS

October 4, 2001SIGAda 2001 Panel: Ada Experiences 4 Project Military Vehicle Fire Control –Navigation –Communication –Ballistics –Weapon Control –Operator Interface Intel 80x86/i960 platforms Why Ada –First major vehicle project –Ada Mandate –Highly Embedded C3

October 4, 2001SIGAda 2001 Panel: Ada Experiences 5 Project (cont) Size –Tactical Software 200,000 sloc –Support Software 300,000 sloc Why Easy –Strongly typed –Compile-Time checks Why Hard –Lack of experienced programmers –Extensive training necessary

October 4, 2001SIGAda 2001 Panel: Ada Experiences 6 Project (cont) Comparisons (Ada vs. xyz) –Fewer dumb errors –More robust runtime code –Higher reliability (with same compiler) –More automated testing Lessons Learned –Advantage for multiple development groups –Limit language usage –Most errors found at compile time –Identify interfaces early in project

October 4, 2001SIGAda 2001 Panel: Ada Experiences 7 Sr Software Engineering Manager Lockheed Martin Tactical Defense Systems Eagan, MN Bill Rusinak

October 4, 2001SIGAda 2001 Panel: Ada Experiences 8 Application: Military embedded systems (Maritime Surveillance Aircraft (MSA)) Projects are real-time applications Experience: 23 years (12 years with Ada) Lockheed Martin TDS is CMM level 4, ISO 9001 Platforms: Sun/Unix host development targeted to several platforms (Motorola 680x0, PowerPC)

October 4, 2001SIGAda 2001 Panel: Ada Experiences 9 Ada Experiences in MSA Lockheed Martin Eagan supplies mission software for almost all of the worlds P-3 aircraft (US Navy, Japan, Australia, Norway, the Netherlands) Replacement of 1970s vintage hardware and software began in 1989 with the US Navy –First system had 3 Motorola processors –Mission and System Test software rewritten (Ada 83) –Evolving (e.g., X-Windows, Sparc) Ada software is 1 to 1.2 million lines of non-comment, non-blank code

October 4, 2001SIGAda 2001 Panel: Ada Experiences 10 Positive Experiences Ada tasking was used without problem –Task deadlocks were never encountered due to application of good design methodology Use of separates promotes design Ada code usable as PDL Original architecture has been flexible –Ported to different hosts –Maintained through different toolsets –Maintained by several customers

October 4, 2001SIGAda 2001 Panel: Ada Experiences 11 Negative Experiences Task stack sizing is risky in a limited memory system (only your linker knows for sure) Exceptions happen when you least expect them – it is easy to leave a semaphore seized Separates increase compilation time –Use a de-separatizer Overloading of names can be confusing Over and under use of types and exceptions –Takes experience to find the middle ground

October 4, 2001SIGAda 2001 Panel: Ada Experiences 12 Negative Experiences Ada 83 lacking protection mechanisms and multi-processor support Language needs space for stacks, exceptions, and can produce big programs Need more support/tooling

October 4, 2001SIGAda 2001 Panel: Ada Experiences 13 In General Define tasks up front Enforce concrete rules and use a few protection mechanisms Closely monitor dependencies during design Structure libraries properly Do it again (but with Ada 95)

October 4, 2001SIGAda 2001 Panel: Ada Experiences 14 Senior Software Engineer, Navigation and Control Group, Advanced Technology Center Rockwell Collins 400 Collins Road NE Cedar Rapids, Iowa David W. Glessner

October 4, 2001SIGAda 2001 Panel: Ada Experiences 15 Software Engineering Experience Rockwell Collins: Navigation systems (commercial and military) Pre-Rockwell Collins: Commercial RF systems (broadcast radio and TV, paging) 15 years in software, last 3 with Ada. Most of the rest with C. Some Assembly. Target platforms: Mostly custom boards (AAMP, 68302, 68HC16, 8088, Z-80), some PCs. Various commercial and custom RTOSes. Development platforms: Unix (Sun, HP, DEC), Windows, VAX (using Apex RCI).

October 4, 2001SIGAda 2001 Panel: Ada Experiences 16 SNIPER/SUOSAS Sensor Integration for robust navigation –GPS, IMU, Loran, barometric altimeter, TDOA radio, vision. –DARPA funded. Reused Ada software from earlier GPS/IMU projects. 80,000 LOC (38,000 non-comment non-blank) First exposure to Ada.

October 4, 2001SIGAda 2001 Panel: Ada Experiences 17 SNIPER/SUOSAS (cont) Good: –Package specs. Enumerations. Ranges. –Rational Apex. Rational Compilation Integrator (RCI). Bad: –Flaky hardware. –Tools. –Compile times. –Didn't "trust" the language. –Code bloat (possibly due to Ada 83 missing generic formal packages or pointers to subprograms). Result: Successful field trials for both projects. SUOSAS continuing.

October 4, 2001SIGAda 2001 Panel: Ada Experiences 18 Various GPS-related projects (Commercial GPS, Artillery) Ada chosen on a DARPA project in 1980s due to DOD mandate. Based on earlier Jovial development. Some parts of software still have a Jovial "feel" e.g., " for ii in " 102,000 LOC (44,000 non-comment, non-blank) Analysis and modifications of some pretty complicated code.

October 4, 2001SIGAda 2001 Panel: Ada Experiences 19 Various GPS-related projects (cont) Good –Apex browsing! –Types make modifications easier to analyze. Bad –Apex configuration control (Summit/CM). –Cumbersome to see differences between versions. (Local policies probably contributed to this.) Results: Successful lab trials.

October 4, 2001SIGAda 2001 Panel: Ada Experiences 20 Automatic Dependent Surveillance – Broadcast (ADS-B) New development integrated with existing Traffic Alert and Collision Avoidance System (TCAS). ADS-B: 8,000 LOC (4,400 non-comment, non- blank) –similar amount for additional analysis and simulation Mixture of Apex Ada 95 (Sun host) and DDC Ada 83 (AAMP-based TCAS target). –developed mainly on the Sun –late integration (risky, but worked quite well)

October 4, 2001SIGAda 2001 Panel: Ada Experiences 21 Automatic Dependent Surveillance – Broadcast (ADS-B) (cont) Good –Ada 95/83 portability. Ada 95 tasking. –GNAT for the PC. –Ada contributes to thoroughness; exposed some algorithm weaknesses. Bad –Ada design flaw? Cos(Long_Float(2.0*Pi/I)) –Stack alignment bug during integration. Result: Successful flight tests with other vendors. Work continuing.

October 4, 2001SIGAda 2001 Panel: Ada Experiences 22 Elizabeth Theesfeld 6 Black Belt/Principal Software Engineer Honeywell Commercial Aviation Products (CAP) 8840 Evergreen Blvd Coon Rapids, MN (763) Commercial Aviation Products

October 4, 2001SIGAda 2001 Panel: Ada Experiences 23 ( Background Information 14 Years of experience in real-time embedded software for both Military and Commercial Avionics. 7 Years of experience with Ada. Commercial Aviation Products

October 4, 2001SIGAda 2001 Panel: Ada Experiences 24 (CAP has only one program developed in Ada Secondary Attitude and Air Data Reference Unit (SAARU) for the Boeing 777 Aircraft 60,000 Lines of Code Real-Time embedded software on a processor Object Oriented Design using Booch Diagrams DO-178B Compliant Commercial Aviation Products

October 4, 2001SIGAda 2001 Panel: Ada Experiences 25 ( Positives for using Ada at CAP Eliminated the need for software-software integration Strong data typing Strong software architecture Was able to hand the program over to a new team that did not work on the original development for airline updates with minimal impact ( Negatives for using Ada at CAP Not many Ada programmers available Commercial Aviation Products

October 4, 2001SIGAda 2001 Panel: Ada Experiences 26 ( Reliability of SAARU software in the field The 777 was certified in 1995 To date we have had 0 software defects recorded Commercial Aviation Products