SIM-MAST

JSimMAST is a tool for simulating the temporal behaviour of real-time systems that have been previously modelled according to the MAST 2 meta-model (*). The simulator is implemented in the Java programming language using the Eclipse platform.

JSimMAST takes as input the MAST(*) model (serialized in XML format conform to Mast2_Model_JSimMAST.xsd) of the analyzed system and after setting the configuration parameters (simulation profile, time units, limit time, etc.) the simulation may be executed. Depending on the selected simulation profile, this execution generates different information about the system, e.g. a results data (serialized in XML format conform to Mast_Result.xsd) or a traces data (serialized in XML format Mast_Traces.xsd) . In addition, relevant data are live displayed on the simulator GUI.

The following sections presents briefly several aspects of JSimMAST. For a more detailed information about the simulator, please refer to the JSimMAST user guide.

(*) JSimMAST simulates models built according to the structure and semantics defined in the MAST 2.0 meta-model. The current version of the simulator is subject to some functional as well as structural restrictions on the MAST 2.0 meta-model definition, i.e. the MAST 2.0 models representing the systems to simulate must satisfy some restrictions in order to be valid for JSimMAST. The complete list of restrictions can be found in section 2 of the user guide.

User Interface

The JSimMAST simulator is launched and managed through a GUI window that allows the specification of the MAST model that is going to be analyzed and the names of the output files that the simulation can produce. The GUI also allows the specification of the start-up parameters and the execution of the simulation.

For a detailed explanation about the GUI functionality, its controls and its reactivity, please refer to section 4 of the JSimMAST user guide.

Profiles

The JSimMAST execution profiles define coherent sets of configuration parameters of the simulator, based on the objetives sought in the simulation. They are:

SCHEDULABILITY profile: Used when the objetive of the simulation is to determinate the scdulability or not of the rea-time system.
PERFORMANCE profile: Used when the objective of the simulation is to determine the range of the response times and the percentage of use of the resources in the execution of the system.
TRACES profile:Used to get the trace that describes one of the possible scenarion of the system execution.
VERBOSE profile: Used in debugging for detailed information data of the states in the simulator execution.

For a detailed explanation about the different profile options, e.g. the results generated by the simulation under each of them as well as the ending conditions that apply, please refer to section 5 of the JSimMAST user guide..

JSimMAST_1

Java Simulator of MAST models (Version 1)

Table of Contents

Overview

User Interface

Profiles

Downloads

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

Mast Page