MAST

Modeling and Analysis Suite for Real-Time Applications

Table of Contents

MAST 1.4.0.1 is now available. The main elements introduced by this version with respect to MAST 1.3.8.0 are:
For a more detailed description of the changes introduced please see mast-status.txt

Introduction

MAST defines a model to describe the timing behaviour of real-time systems designed to be analyzable via schedulability analysis techniques. MAST also provides an open-source set of tools to perform schedulability analysis or other timing analysis, with the goal of assessing whether the system will be able to meet its timing requirements, and, via sensitivity analysis, how far or close is the system from meeting its timing requirements. Tools are also provided to help the designer in the assignment of scheduling parameters. By having an explicit model of the system and automatic analysis tools it is also possible to perform design space exploration. A discrete event simulator is also provided to obtain statistical performance information of the modelled system.

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.

The MAST toolset includes the following tools:


An Event-driven simulation tool is available for MAST-2:
JSimMAST is able to simulate the temporal behaviour of real-time systems and is a very interesting complement to the worst-case schedulability analysis tools because it can provide average-case response times and other performance metrics.

An older version of the MAST simulator, only for version 1.2.2 of MAST, is still available from the SIM-MAST page.

The features that can be found in MAST are the following:

Documents

The following documents describing the MAST environment are available:

Downloading

To download, right-click on the link and choose "Save link as"