Modechart Toolset User's Guide

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 Toolset(MT), Simulation, Verification, Real-time systems consistency and completeness.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 14, 1994
Accession Number
ADA276640

Entities

People

  • Anne T. Rose
  • Manuel A. Perez
  • Paul C. Clements

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • C4I
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Abstracts
  • Computations
  • Computers
  • Consistency
  • Embedded Systems
  • Engineering
  • Language
  • Navigation
  • Operating Systems
  • Simulations
  • Simulators
  • Software Development
  • Specifications
  • Standards
  • Systems Engineering
  • User Interface
  • Verification

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.