Skip to main content

Midas Design Document

Stephen Wright, Midas Design Document. CSTR-06-014, Department of Computer Science. April 2008. PDF, 144 Kbytes.

Abstract

MIDAS (Microprocessor Instruction and Data Abstraction System) is an implementation of a virtual computing machine, designed specifically for use in real-time, safety-critical control applications.

This document describes the MIDAS virtual machine features and instruction set.

Bibtex entry.

Contact details

Publication Admin