Avionic Systems B:
WARNING: These pages are under permanent reconstruction

Home

Advanced Systems Administration.

Architecture of CPUs & VHDL

Assignments : Current & past.

Avionic Systems B

Computer Nets & O/S

Command line and shell script resources.

Embedded Co-design(VHDL & C)

Operating Systems & Systems Administration.

Project suggestions.

VHDL for Real-time Systems..

Worksheets.

********

Timetable 2011 - 2012.

Reference styles & related matters.

Cycling in Bristol.

Propaganda.

 
  Module outline UFMEWF-20-3:

Avionic Systems B is in two parts:

Semester 1 has both lectures and laboratory sessions. The lectures will cover a wide range of topics including

  • interfacing sensors and actuators,
  • communication protocols for avionic systems,
  • avionic systems architectures and operating systems,
  • standards for safety critical systems
  • systems development

There will be a January exam covering the theoretical work.

The labs will consist of a series of practical exercises to provide you with an introduction to the principles of the software underlying avionic systems. this will include an introduction to C programming along with the software tools used. The semester 1 lab work is not directly assessed but the knowledge gained will be required for success in semester 2.

Semester 2 will consist of laboratory sessions only, in the form of 'labtorials'. These will further investigate the use of high level languages, Real Time Operating Systems (RTOS) and embedded systems within avionic systems. The sessions will be based around a group coursework developing the core for an avionic system.

The link to the marking guidelines is here.

Module Outline

Reading Strategy

Free Books

Labs

Lecture notes

C programming

RTOS.

Odds & Ends

Page Top

Home


  Reading Strategy:

Reference will be made to a number of online papers and documents. The following texts may also be of benefit

  • Barry, R. (2009) Using The FreeRTOS Real Time Kernel, Wiltshire: Real Time Engineers Ltd.
  • Peckol, J. (2008). Embedded Systems, A Contemporary Design Tool, Hoboken: Wiley
  • Storey, N. (1996). Safety Critical Computer Systems, Harlow, UK: Pearson/Prentice Hall
  • Collinson, R. (2002). Introduction to Avionic Systems, Dordrecht: Kluwer Academic Publishers
  • Spitzer, C. (2000). The Avionics Handbook, London: CRC Press

Module Outline

Reading Strategy

Free Books

Lecture slides

Lab sessions.

Odds & Ends

Page Top

Home


  Free Books:

The following are stocked in the Bolland Library. ( Free if they go back on time )

  • Peckol, J. (2008). Embedded Systems, A Contemporary Design Tool, Hoboken: Wiley
    • 3 copies: shelf mark 004.16 PEC

  • Storey, N. (1996). Safety Critical Computer Systems, Harlow, UK: Pearson/Prentice Hall
    • 2 copies: shelf mark 004.0289 STO

  • MISRA-C:2004 : guidelines for the use of the C language in critical systems: MIRA
    • 2 copies: shelf mark 005.133 C MOT

  • Spitzer, Cary R (Ed). (2007). Digital Avionics Handbook, London, UK: CRC
    • 1 copy: shelf mark 629.135 SPI

  • RTCA (Firm). SC 167: (1992) Software considerations in airborne systems and equipment certification: RTCA, Inc
    • 2 copies: shelf mark 629.1345 RAD

Module Outline

Reading Strategy

Free Books

Lecture slides

Lab sessions.

Odds & Ends

Page Top

Home


  Real-time Operating Systems:

There are a number of real-time operating systems in current use, of which some are certified for use in safety critical systems. We will be considering FreeRTOS®, an open source example. This is functionally similar to SafeRTOS®, a SIL3 RTOS from the same company and IEC 61508 certified.

Further information can be obtained from FreeRTOS. I am negotiating a discount for the electronic version of the manual, £10 instead of £17.

See the worksheets section for more on FreeRTOS

ARINC 653

Although not strictly an RTOS, ARINC 653 defines a software interface for space and time partitioning of multiple operating systems on a single hardware platform. The multiple operating systems may be of differing safety standards.

As with many of the ARINC specifications, 653 is not freely available however the following source material provides a good starting point:

Module Outline

Reading Strategy

Free Books

Lecture slides

Lab sessions.

Odds & Ends

Page Top

Home


  Lab notes & references:

Worksheets

Working with an RTOS

  • Revised worksheet for setting up RTOS
    • download the revised worksheet rtos_worksheet1.1
    • Follow the instructions on the worksheet
  • Adding the General Purpose Interface Board (GPIB).
    • Download the install script for the Cyclone III boards into your home folder (not the desktop) and execute it on the command prompt.
    • At the command prompt type ./gpib_setup.sh
    • If all goes well you should be able to import a new project into the nios2-ide in the same fashion as previously. The system.stf file will need editing to adjust the path to the hardware ptf file.
    • Connect a board and download the hardware image from the quartus project found in the Avionics_B_lab/Gpib_v2_from/ folder. You can do this either via quartus or by cd'ing into the project folder and doing the following at the command prompt
      • quartus_pgm -l
      • this will list the available download interfaces, it should include USB-Blaster
      • quartus_pgm -c USB-Blaster gpib_edm1.cdf
      • This will configure the hardware image on the board
      • Start up the nios2-ide and run the project
    • If you ran this script during the week beginning 24/01/11 then there is an updated hardware project that now includes the DAC. interface1_with_dac.qar. Don't rerun the script from above as it will wipe any software development that you have done to date.
    • Script to add example c code with adc task, dac task and queue between them. This script assumes that you have already setup the gpib project.

Documentation for the Daughter Board

  • Documentation for the GPIB. This contains the pin assignments and relayed documentation.
  • The ADC is an Analog Devices AD7918. Data sheet
  • The DAC is an Analog Devices AD5318. Data sheet

Background Information: FreeRTOS installation instructions for the NiosII port.

Module Outline

Reading Strategy

Free Books

Lab sessions.

Odds & Ends

Page Top

Home


  Lectures:

Introductory slides, contact details etc.


Analogue to Digital to Analogue

Analogue to digital conversion slides.


Real-time Operating Systems

New RTOS slides. Useful background reading can be found at the following links


Embedded systems webcast from lecture

Best practices for embedded system design in aeronautics and space

T Pardessus

Presentation from DATE 2007: Acropolis, Nice, France Speaker: Th. Pardessus, VP Head of Systems and Integration Test Research and Technology, Airbus SAS

2007-04-19 12:00:00.0 Electronics Channel

>> go to webcast>> recommend to friend

See also C programming.


Hazard Analysis and System Safety

Lecture Slides

Slides in pdf format, as 4 slides per page, one slide per page and dynamic (as per lecture)

  • Hazards and Safety 4up saves paper (8 pages)
  • Hazards and Safety static slide per page (30 pages)
  • Hazards and Safety dynamic DON'T PRINT (115 pages)

Suggested reading: the following chapters from the United States Federal Aviation Authority website:

The Fault Tree handbook from NASA is a very thorough discussion of the topic. I would recommend reading chapter 4 at least.

There is also a good overview of hazard analysis techniques on Wikipedia.

Tutorial exercise


Communications Protocols

The three primary communications protocols are ARINC 429, the point-to-point protocol,AFDX/ARINC 664 and the US military standard MIL-STD 1553B data bus: ARINC 429 and ARINC 664 will be studied.

  • Detailed discussion of ARINC 429 can be found here
    • Along with an example of the hardware interface, the HI-3585 IC data-sheet
  • The Avionics Full DupleX switched ethernet or AFDX, also referenced as ARINC 664.
    • A detailed discussion of Avionics Full DupleX switched ethernet (AFDX)/ ARINC 664
    • and a shorter overview here.
    • Another AFDX/ARINC 664 tutorial with more detail on message structure here. In particular chapter 12 on the protocol stack
    • A glossary to help with all the TLAs that abound in network speak.
  • MIL-STD 1553B detailed tutorial paper.
  • The Controller-Area Network or CANbus as used in industrial control and motor vehicles is also starting to make an appearance in the aerospace industry. CANaerospace protocol .

Avionics Architectures

Integrated Modular Avionics (IMA) have been gaining ground in recent years. The following articles and papers should be reviewed:

  • IEEE paper explaining IMA architectures, AFDX/ARINC 664 and ARINC 653 and the way that they inter-operate. Three for the price of one!
  • Slides from an Airbus presentation with some excellent diagrams and photographs of the advantages of IMA.
  • An overview and comparison of the A380 and 787 systems. Very readable.
  • A more detailed outline of the IMA for the Airbus 380 can be found here

Systems Life Cycles

Lecture Slides

PDFs available as 4 slides per page, 1 per page and dynamic

  • Lifecycles 4up saves paper (9 pages)
  • Lifecycles static slide per page (35 pages)
  • Lifecycles dynamic DON'T PRINT (179 pages)

Suggested reading

This paper, from the Software Engineering Institute, is an example of developing the specification for an imaginary mission control computer for a U.S. Naval aircraft. Ties in nicely with the RTOS issues as it includes an assessment of critical timing. It represents an early stage in the software development process.

The IEC provides a wide range of standards documents and guidelines such as IEC 61508, referenced below, which can be applied to aspects of avionics systems. An interesting and detailed example uf using IEC61499 for controlling an avionic distrbuted fuel system . Access this from within the UWE network if you want to read the whole paper. Recommended.

The Safety Critical Software Standards Survey from 1996 provides a comparison of the many standards.

An example development life cycle for combined hardware and software

DO-178B lists the stages as

  • Planning: documents covering software standards, verification, certification; Analysis and capture of requirements, development of design spcification.
  • Development: design, code, integration of code. Use of approved design method, eg waterfall model, V model, spiral model
  • Verification: code coverage / static analysis; code reversal eg code -> flowchart. verification of requirements. Black/white box testing.

All stages should also be covered by a configuration management system that tracks all changes, documentation etc. Will also include an archive of all the test and development tools

Quality assurance documentation must also be provided for each stage of development

DO-178B / EUROCAE ED-12B

The full document is available from the Library

The US standards document for software development in an avionic environment. The following are material from a company specialising in training for DO-178B development so should be read in this light. However they are still a useful source and discuss the pertinant issues.

  • A useful overview of DO-178B in the form of questions and answers.
  • A whitepaper from the same company discussing development costs for compliant software
  • Another overview
  • Site dedicated to DO-178B. Registration required.

IEC 61508

"Functional safety of electrical/electronic/programmable electronic safety-related systems". IEC 61508 defines the standards for land based systems however the principles and requirements are very similar. It specifies a complete safety life cycle for the development of systems for motor vehicles, plant and machinery. The following links and papers provide a useful overview and comparison with DO-178B. Note that the IEC lists "fly-by-wire controls of flight surfaces" as an example of a system covered by IEC 61508.

The full documentation is available electronically from the Library

  • Paper on suggested changes to IEC 61508.
  • IEC main site for 61508 information and documentation.
Module Outline

Reading Strategy

Free Books

Lab sessions.

Odds & Ends

Page Top

Home


  C Programming:

C programming resources

C Programming reminders and hints

Slides

Module Outline

Reading Strategy

Free Books

Lab sessions.

Odds & Ends

Page Top

Home