Phil Koopman: Embedded Computer Systems

THIS PAGE IS NO LONGER MAINTAINED

Dependable Embedded Systems Research:

• Low Cost Embedded Network Message Authentication
• Embedded Network Gateway Survivability
• Invariant-Based Embedded System Safety Monitor
• Shared Hardware Support for Mixed Task Criticality Levels

• Topics in Dependable Embedded Systems (43 original papers and presentations)

• February 2001 talk: Challenges in Embedded Systems Research and Education
• DIPES 2000 paper: A product family based approach to graceful degradation
• 2000 DAC panel talk: embedded systems education at Carnegie Mellon
• 1999 CASES talk: Problems Facing Embedded Systems (discussion of open problems)
• Obstacles to Using CAD Tools for Embedded System Design: a case study, Integrated Computer Aided Engineering, 1998.
• 1996 ICCD Tutorial: Embedded System Design Issues: the Rest of the Story
• 1995 Design Automation Conference Tutorial: CAD for Digital Embedded Systems
• Embedded System CAD Issues: a case study
• 1996 Hardware/Software Codesign Workshop Poster
• Perils of the PC Cache
• Design Constraints on Embedded Real Time Control Systems, May 1990.

UCITA & Embedded Software Licensing

• My presentation "Embedded Software Licensing?" at the Federal Trade Commission Workshop on Warranty protection for high-tech products and services.

Philip Koopman: