 |
MAST
Modeling
and
Analysis
Suite for Real-Time Applications
|
Table of Contents
MAST 1.3.8.0 is now available. The main
elements introduced by this version with respect to MAST 1.3.7.8 are:
- Implementation of new tools: Holistic EDF for distributed systems
with local and global EDF scheduling, and the asssociated scheduling
parameters asisgnment tools: HOSDA, proportional deadline, and
normalized proportional deadline distributions
- Improved treatment of systems with utilization over 100%.
Analysis is now allowed and slack times are calculated to provide
information on how much does the system need to change to meet
schedulability
- Implementation of the RT-EP network driver in the schedulability
analysis
- Implementation of the coupled model of network driver overhead
For a more
detailed description of the changes introduced please see mast-status.txt
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 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 (RTA):
- Offset Based RTA for fixed
priorities
- Holistic RTA for fixed priorities
- Holistic RTA for Local EDF
- Holistic RTA for global EDF
- Offset-Based Optimized RTA for
fixed
priorities
- Classic Rate Monotonic RTA for
fixed
priorities
- Varying Priorities RTA
- EDF Monoprocessor RTA
- EDF-Within-Priorities RTA, for
hierarchical scheduling
- *Multiple
Event
- Calculation of blocking times
- Single processor
- Remote blockings for
multi-processor
- Assignment of optimum priority
ceilings and preemption levels
- Sensitivity analysis through the
calculation of Slack Times
- Transaction Slacks
- System Slacks
- Processing Resource Slacks
- Operation Slacks
- Optimized Priority Assignment
Techniques
- Single-processor
- HOPA
- HOSDA
- Proportional deadline distribution
- Normalized proportional deadline
distribution
- Simulated Annealing
An Event-driven simulation tool is
available for version 1.2.2 of MAST from the SIM-MAST page. A new
simulator is being developed to support version 2 of MAST.
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. This contains a
full support for fixed priority systems, and limited support for EDF
scheduling (no shared resouces in distributed systems yet). Mixed
scheduled systems, time partitioned scheduling, AFDX networks and
switches, and other dynamically scheduled systems
will be added in the future.
- The tools support the analysis of
both
hard and soft timing requirements, respectively through the response
time analysis tools, and the event-driven simulation tool.
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:
The MAST format for describing models
of real-time applications, with a few examples (mast_description.pdf)
- MAST
Analysis Techniques:
- MAST
Example
Results:
A description of the results of the
examples
available in the MAST distribution (mast-examples.html)
- MAST Tool
Restrictions
This document
describes
the restrictions that must be observed for using the MAST tools (mast-restrictions.pdf)
- README
- MAST
status
A text
document
describing the current development status of MAST
- MAST-UML
Describes the MAST
UML methodology and toolset
- MAST XML
schemas
Downloading
To download, right-click
on the link and choose "Save link as"