SW Integration Testing, Code Analysis Report, Code Level Hazard Analysis for a Eurofighter Rick Class 1 Navigation System – written in ADA.

The implementation, integration, testing and support of the communications protocol STANAG 3838(1553B Low Speed) and 3910 (EFABUS high speed) for the Cockpit Interface Unit of the Eurofighter, in a Risk Class 2* environment. The target HW was a PowerPC and the RTOS was Greenhills INTEGRITY(v11.4.4). The SW was implemented in C for the low-level drivers required for the FPGA and GHS Integrity. ADA 95 was the main language for the library.

This was programmed using the Simatic TIA portal V14  The communications protocol in use was PROFINET/PROFIsafe.
 
 
The development of a test system running on a Allen-Bradley/Rockwell  ControlLogix 5000 PLC (SPS) system for the testing of an EtherNet/IP,  (Common Industrial Protocol) CIP & CIP Safety related laser scanner. This was programmed using the Studio 5000 Logix development environment and consisted on a variety of programs running in the safe and no safe area of the controller. Communication to the PLC was via TCP/IP to the none safe area and over CIP Safety to the Laser scanner.
 
Execution and debugging of the ODVA (Open Device Vendor  

Association)  Protocol Conformance Test Software for CIP safety and Ethernet/IP networks.
 
Debugging of (Bugzilla Bug tracking) a multiprocessor Blackfin BF5xx family SICK sensor, specifically the TCP/IP networked aspects of the system. The SW was written in C and developed using the Cross Core Embedded Studio. Module Tests were also implemented using TESSY 3.1.
 
 
The porting/Integration of the Lightweight TCP/IP stack (lwLP 1.4.1) into an existing SICK product (MSC800). The subsequent debugging (JIRA Issues) and the activation of additional TCP/IP feature such as DNS, ARP static routing etc. Debugging of the ARM target was accomplished using the Lauterbach Trace 32 debugger and the Wireshark Network Protocol Analyser. The SW was written in C and development utilised the Eclipse IDE.

using approved algorithms: AES, DSA, RNG and SHA functions for the crypto functionality of the ND SatCom FIPS Module, This required using OpenSSl 1.0.1 and vxWorks.
 
Validation of the boot loader and the generation of all support tools required for the certification procedure.
 
Sustaining release for SKYWAN advanced MF-TDMA VSAT system for establishing wide area corporate networks.
 
The work consisted of addressing a variety of Defect Reports (HP Quality Center) and debugging/fixing these problems as well as adding a number of new features (Satellite TDMA, TCPIP, routing, gain control, Modem interfaces etc.)
 
The SW was written in C running on the vxWorks RTOS on PowerPC hardware.

on the Overspeed Protection Software (OPS) and the Operating System Software (OSS) which executed on the MTR390 Engine Control and Monitoring Unit (ECMU).
 
This work consisted of requirements capture using DOORS (Rational), Design, Coding and testing (dual Lauterbach TRACE32 emulator) of the Software written in ADA95 and assembler (Green Hills Compiler) for a double processor Freescale MPC 565 system.

The System was developed to RTC/DO 178B Level A standard and utilised Serena Dimensions for configuration control.

Development in C++ (Linux platform) of an application library to filter and smooth navigation data offline for a road mapping system.
 
Development of a PIC18F USB Flash Microcontroller application to read and program Flash over the I2C Master Mode MSSP I2C Interface.
 
Build-In-Test (BIT) verification for in house developed HW and SW using Lauterbach emulator TRACE32.
 
Requirements Capture (DOORS), Design and implementation (SPARK ADA - EuroFighter Risk Class 1) of a modification to an Inertial Navigation System
 
Flight Clearance simulations, evaluation and analysis for the SW (C and ADA).

Design, coding and testing of OSI layers 3 to 6 for a frequency hopping radio using a TDMA scheme (THALES Military Radio). THALES provided layers 1 & 2 and the interface bridged the layers to the application.

This was written in C & C++ using Microsoft Visual Studio C++ .NET. and was integrated into a Windows XP environment. The interface used a variety of MSDN Library System Services and was generated as a DLL.

The creation of a JAVA to C++ application interface for the above DLL. This interface was generated using the SWIG interface generator to assist in the generation of JNI code. The interface was tested within the JAVA environment using the Eclipse SDK.

Requirements specification for the application message exchanges in order to integrate the radio system into a graphical navigation command and control system.

Coding and testing of parts of this application protocol in JAVA.

Requirements capture using Telelogics DOORS for a variety of system specifications. These consisted of documents such as Built-In-Test (BIT), Maintenance specifications (fault isolation/BIT fault reporting) and Line Replacement Item (LRI) software specifications.
 
The update of a north indicating navigational platform to enable it for usage in worldwide operation using a wander azimuth navigational reference frame. The testing of this new implementation in a flight clearance environment.
 
Development of a series of tools for use in a flight clearance environment. These tools included implementing a flight profile generator using the Euler angles, Latitude, Longitude and altitude for an WGS84 earth model, a profile transformation tool to move existing profiles to any point on the earth and other tools to smooth/modify (i.e. adding wind ) to existing flight profiles.
 
 
Flight clearance activities comprising an analysis of the performance and signal characterisation of a Navigation/Flight control Safety Critical (Class 1) unit for the Eurofighter. This involved running series of fault injection tests over various flight profiles and correlating data such as signal transients, time to detection, transient probability this was to support the generation of an Output Characteristic document (for Rates, Accelerations, Pitch, Bank, Heading, Alpha, Beta, True Air Speed, Barometric Height and Height Rate). This required developing a variety of analysis tools in C and also various UNIX tools such as bash, awk, bison, flex etc.
 
Specification of Software Acceptance tests from Requirements documents, implementing, testing and debugging of the tests and/or the application itself.
 
Development of a Unit/Integration test system to enable the LDRA Testbed to be used to test software. This system comprise of a MVME 133 target processor board (for running the tests), MVME 374 Ethernet board (for communication to the VAX debugger) and MVME 162 acting as a file server between the target processor and itself for the data generated by the testbed. This involved rewriting ADA TEXT_IO on the target processor to use a data transfer protocol to communicate with the file server software. The data generated was then uploaded via FTP from the MVME 162.
 
Responsible for the requirements, design & coding of an in-house high integrity data collection and control system. The system consists of a number of synchronised processors (2 * MVME 162 Embedded Controllers with IndustryPack interfaces) controlling the various interfaces. These run as a variety of application specific tasks under the VxWorks (with VxMP & VxVMI) and are connected to UNIX workstations via the IP socket interfaces. The system itself supports a variety of hardware modules for Discrete IO, 1553B Milbus Communications & numerous IO channels via a 68360 processor (IP-Comm360).
 
Feasibility study porting a VxWorks application to Embedded Linux.
 
SW Requirement/Detailed Design and code level Hazard analysis performed according to MIL-STD-882B.

UNIX System programming of a job controller (SUSE Linux) to schedule, execute, delete simulation jobs on a series of networked PCs.
 
Porting from VAX ADA an analytical navigation platform used to calculate Heading, Attitude, True Air Speed, sideslip, angle of attack and other flight control signals to the gnat ADA compiler. The goal was to create a simulator based on the target application code which could run on a number of PCs.
 
Responsible for the requirements analysis (from CORE/EPOS decomposition’s) of all aspects of the low level software required for the Eurofighter Inertial Measurement Unit (IMU) (classified as risk class 1). This unit is a quadruplex redundant system, each lane containing a dual processor based MC68020 and TMS 320 communicating over a Dual Ported Ram interface.  The refinement of the requirements into a HOOD design, coding, SPARK annotations, testing and system integration of the software. The software was written in XD ADA, MC68020 assembler.

These gateways bridge the in-house developed network (ISO layers 1,2,3,4 and 7) to a variety of different protocols and devices.
 
Responsible for the design using HOOD style OOD, coding, testing of two of the gateways which connect the track-side communications system (radio comms based) to the trackside network and the other with the train borne radio comms system with the trains internal network. The radio communications system required the design of a suitable TDMA scheme.
 
The target hardware has a multiprocessor architecture based on the 68000 family of processors i.e. 68030, 68302 running on a VME bus.
 
The software was written in ADA (Alsys) and tested using AdaTEST and support from a variety of in circuit emulators.
 
The integration of the communications platform for the above project. The communications platform is triplex redundant and has being developed in house due to the safety related aspects of the project. It is however based on a variety of standard protocols HDLC data link layer, IP Network layer and UDP transport layer.

These included IBM AIX, SunOs, Solaris, DEC ULTRIX and HPUX. These drivers were predominately SCSI device related.
 
Integration of the drivers with their respective Motif (X11) applications. This involved the debugging and adding of additional features to the GUI applications.
 
The software was written in C (device drivers) and C++ (applications). The application GUIs were developed with the assistance of ISTs’ X-Designer GUI builder.

This protocol ran on a high speed link ( 4 lines at 20Mbits/Sec ) making use of a transputer based architecture to achieve the required speed.
 
The gateway was developed in C and targeted to run on a RTVAX processor running VAXELN (DIGITALS real time OS) connecting on one side to a UNIX host and the other to the customers board.
 
The software provided a unique insight into VAXELN because large sections of the software required a detailed understanding of the internals of the VAXELN kernel i.e. access to kernel data structures , kernel debugging etc.
 
The writing of a suit of test software (in C) to test and to integrate a TURBOChannel device driver, application library and board firmware running on DEC workstation with ULTRIX. This application was required to transfer data at high speed to a variety of devices i.e. disk , memory & Ethernet.

The software provided the interfaces required for the systems message handler for X25, X400 and TELEX drivers. This provided the support for Message Submission, Message Cancellation, Message Status Enquiry, Enhanced Group Calls ( EGC ) and Polling. The software was written in XD ADA, made extensive use of VAX/VMS System Services ( AST's,QIO's,DECNET etc. )  and was targeted to run on a clustered VAX/VMS network.
 
Integration of the Standard-C system involving debugging and fixing problems in the  X25 and  X400 terrestrial drivers, satellite redundancy management. The system configuration consisted of groups of dual redundant VAXELN (DIGITALS real time OS) front end processors, controlling hardware and peripheral devices, with a VAX based cluster for back end message processing.

The software was developed using TEAMWORK ( DeMarco ) and written in ADA using a TELEGEN 2 ADA cross compiler which included the Ready Systems real Time ADA executive ARTX. The system was developed using a SUN UNIX network. The software Involved writing extensions to the Ready Systems Board Support Package ( BSP ) for the ADA/ARTX environment to run on the VME bus on a Motorola MVME 147 card (68030). Device drivers for hardware/periphery connected on the VME bus and modifications to the SUN OS kernel i.e. the writing of Unix device drivers to support the debugging and downloader tools.
 
Responsible for the design, coding and integration of a multiprocessor (68000) main computer for a howitzer. The system was designed with the aid of CADRE'S TEAMWORK design tool, using DeMarco's structured design techniques.
 
The system consisted of two M68000 processors, one controlling communications and the other tank operational software.  The software comprised of a Board Support package (BSP) incorporating Ready Systems VRTX32 real time operating system and RTSCOPE the associated  debugger, communications drivers consisting of  both HDLC and 1553 and finally the application software running as a variety of tasks under VRTX.
 
The software was written in C and assembler on an HP development system.

The system had three modes of opera­tion fixed frequency, Automatic Channel Selection (ACS) and a random hopping mode. This made extensive use of an ARQ cycle for the data protection.
 
The system consisted of a main communications processor (68000) and an 8085 for the modem and other peripheral devices.
 
Responsible for the implementation from the CCIR recommendation (476-3) of a communi­cations protocol for the International Telegraph Alphabet NO.2. (ITA2). This data transmissions protocol transmitted ITA2 codes by means of HF radio 1.5 to 30 MHz using either an ARQ cycle or a broadcast forward error correcting protocol.
 
The software was written in C and assembler.

The software was written in C and FORTRAN on a PC.  The FORTRAN component being then ported and integrated onto a PDP II.

My area consisted of the System Executive (i.e. a primitive scheduler) and drivers for a 1553 B Bus Master and PANAVIA interface.
 
The software was written in C and 68000 assembler under UNIX.
 
Module and system testing for the software used in  the fast data processor (TMS 320) of an aircraft motion sensor system.

This was written in CORAL and developed on a VAX(VMS) and cross compiled for a M68000 target.
 
Design coding and integration of a driver for a tape based information recorder. The software was written in C and as­sembler.
 
Integration of software comprising of a MILBUS 1553 B driver (on a Z80) and a M68000 for tactical control.
 
Responsible for software modifications ( adding a Kalman filter ) to two TMS 320 processor systems during trials peri­ods.  These systems were used for high speed processing in electronic angle tracking and pulse repetition tracking radar applications.