 |
MAST
Modeling and Analysis
Suite for Real-Time Applications
|
Table of Contents
MAST 1.2.2 is now available.
This version introduces support for analysis of linear systems with offsets,
delays, or rate divisors. The tools supporting these features are the linear
analysis tools (offset-based, and holistic)
This version adds the following tools:
-
Classic_RM_Analysis
-
Varying_Priorities_Analysis
This version introduces a new format for the
results, and a gui tool to view those results (gmastresults)
Introduction
MAST is an open source set of tools that enables
modeling real-time applications and performing timing analysis of those
applications. The MAST model can be used in a UML design environment to
design real-time applications, representing all the real-time behavior
and requirements together with the design information, and allowing an
automatic schedulability analysis. Please visit MAST-UML
for additional information on this topic.
MAST is still under development. The MAST
analysis tools are listed below, with a "*"
marking those that are not yet available:
-
Worst-case response time schedulability analysis:
-
Offset Based
-
Holistic
-
Offset-Based Unoptimized
-
Classic Rate Monotonic
-
Varying Priorities
-
*Multiple Event
-
Calculation of blocking times
-
Single processor
-
Remote blockings for multi-processor
-
Assignment of optimum priority ceilings
-
Calculation of Slack Times
-
Transaction Slacks
-
System Slacks
-
Processing Resource Slacks
-
Operation Slacks
-
Optimized Priority Assignment Techniques
-
Single-processor
-
HOPA
-
Simulated Annealing
-
*Simulation
Tools:
-
*Monoprocessor
Simulation
-
*Distributed
Simulation
The new features that can be found in MAST
are the following:
-
A very rich model of the real time system
is used. It is an event-driven model in which complex dependence patterns
among the different tasks can be established. For example, tasks may be
activated with the arrival of several events, or may generate several events
at their output. This makes it ideal for analyzing real-time systems that
have been designed using UML or similar design tools, which have event-driven
models of the system. The current version only supports linear distributed
systems, but support for multiple-event systems will be available very
soon.
-
The latest offset-based analysis techniques
are used to enhance the results of the analysis. These techniques are much
less pessimistic than previous schedulability analysis techniques for distributed
systems.
-
The toolset is open source and fully extensible.
That means that other teams may provide enhancements. The first version
is intended for fixed priority systems, but dynamically scheduled systems
may be added in the future.
-
The tools will support the analysis of both
hard and soft timing requirements. The current version only supports hard
real-time requirements, but support for soft requirements will be added
soon.
Documents
The following documents describing the MAST
environment are available:
-
Getting Started:
-
MAST Object Hierarchy:
A listing of all
the objects currently supported in the MAST real-time system model (mast-hierarchy.html)
-
MAST Description:
-
MAST Example Results:
A description of the results of the examples
available in the MAST distribution (mast-examples.html)
-
MAST Tool Restrictions
-
README
-
MAST status
A text document
describing the current development status of MAST
-
MAST-UML
Describes the MAST
UML methodology and toolset
Downloading
To download, right-click
on the link and choose "Save link as"
-
Binary distributions:
-
Source Code: