Supplementary Material on "Early timing analysis based on scenario requirements and platform models"

This dataset provides supplementary material on the submission “Early timing analysis based on scenario requirements and platform models” to the SoSyM theme issue on Model-Driven Requirements Engineering. It provides software and models for illustrating the paper's example application results as well as more detailed evaluation data.

MSD-CCSL-TimingAnalysis.zip contains our approach and encompasses the following artifacts (Java 8 and not later required; if needed modify the GemocStudio.ini and point the vm to a corresponding Java version via "-vm \jre\bin"):

Development workspace:

ECL specification under /de.fraunhofer.iem.swt.msd.tam.dse/ecl/MSDLanguage.ecl

MoCCML constraints under /de.fraunhofer.iem.swt.msd.tam.mocc/mocc/MSDLanguageComplete.moccml

TAM profile under /de.fraunhofer.iem.swt.msd.tam.tamProfile/model/tam.profile.uml

Runtime workspace:

Models under "01_ExampleModels"

Exemplary traces under "02_ExampleTraces"

QVT-O Transformations (e.g., Preprocessing) needed when modifying the models

Papyrus-CCSLEditor-Measurement.zip contains the plugins and artifacts that we used for measuring the particular modeling operations for the evaluation of the hypothesis H2 (see further documents below). It requires Java 11; if needed modify the eclipse.ini and point the vm to a corresponding Java version via "-vm \jre\bin". Contained plugins and artifacts:

Development workspace:

is.ru.cs.PapyrusActivityLogger: Our adapted version of ModRec, particularly extended by an Xtext document listener

org.eclipse.gemoc.moccml.*: MoCCML editor prerequisites for the CCSL runtime model

org.scenariotools.msd.profile and de.fraunhofer.iem.swt.msd.tam.tamProfile: Profiles that we partially use in the Papyrus runtime model

Runtime workspace:

CCSL Measuring Project: Measuring project for CCSL models

Papyrus Measuring Project: Measuring project for Papyrus models

Further documents:

MSD-CCSL-TimingAnalysisTutorial.pdf: Tutorial on starting the simulative timing analysis

EvaluationData_H1_TimingEffectTestResults: Test results for the particular timing effects based on several models for hypothesis H1

Files for hypothesis H2:

EvaluationData_H2.xlsx: Spreadsheet containing the particular model element amounts of MSD-spec-1--4 and CCSL-model-1--4, the measurements for the categorized atomic model operation kinds, the multiplication scheme for predicting the raw overall effort, and the measured transformation execution times

EvaluationData_H2_MSD-specification-effort.pdf: PDF extract of the spreadsheet contents for the MSD specification effort and computation

EvaluationData_H2_CCSL-model-effort.pdf: PDF extract of the spreadsheet contents for the CCSL model effort and computation

EvaluationData_H2_transformationExecTimes.pdf: PDF extract of the spreadsheet contents for the transformation execution times

EvaluationData_H2_MSD-specification_measurement-timestamps.txt: Raw timestamp logs for the conducted measurements for model operations on MSD specifications

EvaluationData_H2_CCSL-model_measurement-timestamps.txt: Raw timestamp logs for the conducted measurements for model operations on CCSL models