Accession Number:

ADA276640

Title:

Modechart Toolset User's Guide

Descriptive Note:

Interim rept.

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC

Report Date:

1994-02-14

Pagination or Media Count:

141.0

Abstract:

This document describes how to use the Modechart Toolset MT. MT is a set of tools designed to facilitate the specification, modeling, and analysis of real-time embedded systems using the Modechart language. MT supports the creation, modification, and storage of Modechart specifications. It also supports the analysis of Modechart specifications via a consistency and completeness checker, a simulator and a verifier. Modechart ToolsetMT, Simulation, Verification, Real-time systems consistency and completeness.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE