May 17th, 2012 – General Meeting (Peter Seiler – U of M)

The next general meeting of the ION North Star Section will be Thursday May 17th in Mechanical Engineering Building Room 1130 at the University of Minnesota ( The keynote speaker at this meeting will be a presentation on the Design and Analysis of Safety Critical Systems by Peter Seiler from the University of Minnesota.

Please email us at, if you plan to attend.

  6:00 Meet and Greet
  6:30 Keynote Speaker
  7:45 Section Business
  8:00 Closing remarks

Sandwiches and beverages will be served during the Meet and Greet portion of the meeting.

The keynote presentation will be:

Title: Design and Analysis of Safety Critical Systems

Presenter: Peter Seiler (University of Minnesota)

Abstract: The FAA (US) and JAA (European) certification authorities impose high demands on the reliability of safety-critical aircraft systems.  The high degree of reliability is typically achieved through the use of physically redundant components. Commercial aircraft such as the Boeing 777  have redundant control surfaces, sensors, processors, hydraulic lines, and communication networks. This talk will first review the design challenges associated with redundancy management for commercial aircraft.  One drawback of physical redundancy is the increased size, cost, weight, and power requirements.  Some aircraft, e.g. UAVs, cannot be designed to meet the conflicting design requirements imposed by the use of physical redundancy for reliability. Model-based fault detection provides an alternative means to achieve high levels of reliability without using redundant physical hardware.  These analytical methods detect faults using dynamic models to relate the behavior of various subsystems and sensor measurements.

Systems that use analytical redundancy must also demonstrate the required levels of reliability to certification authorities. A major obstacle to the use of analytical fault detection in aerospace systems is the lack of appropriate tools to analyze and certify the performance of these systems. The second part of the talk will describe a mathematical framework that can be used to analyze the performance of systems that rely on analytical redundancy.