Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Doug Locke
April 2009 - White Paper Risk Detection and Mitigation Metrics and Design Check Lists for Real Time and Embedded Systems

Authors: Doug Locke, Lui R. Sha

A whitepaper by Lui Sha of the University of Illinois and C. Douglass Locke of LC System Services Inc. The paper discusses risk detection and mitigation metrics and design check lists for real time and embedded systems.

December 1990 - Technical Report Generic Avionics Software Specification

Topics: Performance and Dependability

Authors: Doug Locke, Lee Lucas (Naval Weapons Center), John B. Goodenough

This 1990 report informally specifies the general functions, data interactions, and timing constraints for an avionics mission control computer system typical of those found in some existing U.S. Navy/Marine Corps aircraft.

March 1988 - Special Report A Practical Application of the Ceiling Protocol in a Real-Time System

Topics: Performance and Dependability

Authors: Doug Locke, John B. Goodenough

This paper discusses real-time design issues that arise when using the priority ceiling protocol for real-time systems.