CIS 541/441: Embedded Software for Life-Critical Applications , Fall 2010

Home | Lectures | Reading List | Assignments | Projects

Reading List

Books

• Real-Time Systems: Design Principles for Distributed Embedded Applications. Hermann Kopetz. Kluwer Academic Publishers, 1997. (Chapters 3-5)
• Handbook of Real-Time and Embedded Systems, Edited by Insup Lee, Joseph Y-T. Leung and Sang Son, CRC Press, Boca Raton, FL., U.S.A., 2007. (Chapters 17, 18)
• Introduction to Embedded Systems: A Cyber-Physical Systems Approach, Edward Lee and , Snajit Sheshia, 2010 (available at http://leeseshia.org/releases/LeeSeshia_Digital_0_5.pdf)

Possible Term Projects

• Pacemaker Challenge Problem
• Generic Infusion Pump

Papers

Introduction

• John A. Stankovic et al., Challenges and Opportunities of Physical Computing Systems , IEEE Computer, Nov 2005.
• Insup Lee et al., High-Confidence Medical Device Software and Systems , IEEE Computer, April 2006.

Formal Methods

• Johan Benstsson and Wang Yi, Timed automata: Semantics, Algorithms and Tools
• Gerd Behrmann et al, A Tutorial on Uppaal, Nov 2004. (UPPAAL available at www.uuppaal.com)
• Anna Philippou and Oleg Sokolsky, Process-Algebraic Analysis of Timing and Schedulability Properties July 12, 2006.

Validation Techniques

• Runtime Verification
• Testing

Assurance Cases

• Charles B. Weinstock and John B. Goodenough, Towards an Assurance Case Practice for Medical Devices, October 2009. CMU/SEI-2009-TN-018.
• Karen M. Goertzel and Theodore Winograd, Enhacing the Development Life Cycle to Produce Secure Software: A Reference Guidebook on Software Assurance, DACS, Oct 2008.

Model-based Development

• Architecture Analysis and Design Language (AADL), www.aadl.info.
• Oleg Sokolsky, Insup Lee, and Duncan Clarke, Schedulability Analysis of AADL Models, 14th Int. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'06), April 25-26, 2006.

Real-Time Scheduling

• Jane W.S. Liu, Real-Time Systems, Prentice Hall, 2000.
• Insik Shin and Insup Lee, Compositional Real-Time Scheduling Framework with Periodic Model, ACM TECS, 7(3), April 2008.
• C.L. Liu and J.W. Layland, Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment, Journal of the ACM, Vol. 20 No. 1, pp. 40-61, 1973.
• Lui Sha et al. "Real Time Scheduling Theory: A Historical Perspective," Journal of Real-time Systems, December 2004.

Implementation: Programming Languages and Paradigms

• Sebastian Fischmeister and Insup Lee, Temporal Control in Real-time Systems: Langauge and Systems, Oct 2006.
• Christoph M. Kirsch and Raja Sengupta, The Evoluation of Real-Time Programming, Oct 2006.
• Timed Triggered Architecture

Mental Models and User Modeling

• Harold Timbleby, et al., Reducing number entry errors: solving a widespread, serious problem, Journal of the Royal Society, Mar 2010.

Feedback in Computer Systems

• Tarek Abdelzaher, et al., Introduction to Control Theory And Its Application to Computering Systems, Sigmetrics tutorial, June 2008.
• Dan Henriksson, et al., On Dynamic Real-Time Scheduling of Medel Predictive Controllers, CDC, Dec 2002.