CIS 480/CIS 899: Embedded and Cyber Physical Systems, Spring 2009

Home | Lectures | Reading List  | Assignments  | Projects

Reading List

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.

Applications

• Pacemaker Challenge Problem: http://sqrl.mcmaster.ca/pacemaker.htm

Formal Methods

• Anthony Hall, Seven Myths of Formal Methods, IEEE Computer, Sep 1990.
• 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

High-Confidence Software Engineering

• Charles B. Weinstock and John B. Goodenough, "Assurace Cases for Medical Devices", Sep 2008. CMU/SEI-2008-TN-014.
• 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

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.