Simulator of MAST models (Version 1)
Table of Contents
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
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 JSimMAST tool has
been developed with the following use cases:
the behaviour of the modelled system in those situations in which no
alternative analytic tools are available.
- Providing information about:
- The satisfaction of the timing requirements specified in the model.
- The worst / average / best case timing responses
of end to end flow transactions.
- The percentage of resource utilitation.
- The evolution of the
system, through the generation of
- Validating analysis strategies under
development, identifying, if any, the failure situations they present.
- Evaluating the correctness and efficiency of other
available design and analysis methods and tools.
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.
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.
a detailed explanation about the GUI functionality, its controls
and its reactivity, please refer to section 4 of the JSimMAST user guide.
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.
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.
profile:Used to get the trace that describes one of the
possible scenarion of the system execution.
profile: Used in debugging for detailed
information data of the states in the simulator execution.
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..
To download, right-click on the link and choose "Save
You can visit the MAST Home Page to get a closer look
at what you can do with this tool.