18.10.MoDELS.SCTutorial/main.tex

\documentclass[conference]{IEEEtran}
\usepackage{url}
\usepackage{hyperref}
\usepackage{amssymb,amsfonts,amsmath}
\usepackage{xspace}
\usepackage{graphicx}

\begin{document}
\title{Statecharts Modelling and Simulation}
\author{\IEEEauthorblockN{Simon Van Mierlo} \and \IEEEauthorblockN{Hans Vangheluwe}}

\maketitle

\section*{Presenters}
\textbf{\uppercase{Simon Van Mierlo}} is a post-doctoral researcher at the University of Antwerp (Belgium).
He is a member of the Modelling, Simulation and Design (MSDL) research lab.
For his PhD thesis, he developed debugging techniques for modelling and simulation formalisms by explicitly modelling their executor's control flow using Statecharts.
He is the main developer and maintainer of SCCD~\cite{VanMierlo_SCCD}, a hybrid formalism that combines Statecharts with class diagrams.
His e-mail address is \url{Simon.VanMierlo@uantwerpen.be}.
\\

\textbf{\uppercase{Hans Vangheluwe}} is a Professor at the University of Antwerp (Belgium), an Adjunct Professor at McGill University (Canada) and an Adjunct Professor at the National University of Defense Technology (NUDT) in Changsha, China.
He heads the Modelling, Simulation and Design (MSDL) research lab.
In a variety of projects, often with industrial partners, he develops and applies the model-based theory and techniques of Multi-Paradigm Modelling (MPM).
His current interests are in domain-specific modelling and simulation, including the development of graphical user interfaces for multiple platforms.
To model such reactive systems, he advocates the use of Statecharts to describe their behaviour.
His e-mail address is \url{Hans.Vangheluwe@uantwerpen.be}.

\section*{Abstract}
\input{abstract.tex}

\section*{Keywords}
Statecharts, reactive systems, testing, Yakindu

\section*{Length}
The proposed length of the tutorial is three hours.

\section*{Level of the Tutorial}
Introductory. No knowledge of Statecharts or the tool (Yakindu) is necessary.

\section*{Target Audience}
Modellers with an interest in specifying the behaviour of reactive systems using Statecharts.

\section*{Novelty}
This tutorial has previously been given (in 2017) at the Spring Simulation Multi-Conference (SpringSim)\footnote{\url{http://scs.org/springsim}}.
Due to the success of this tutorial, a second edition of the tutorial is scheduled for the 2018 edition of this conference.
Since this conference is mainly targeted at an audience with a simulation background, the tutorial focuses on the introduction of Statecharts as a modelling formalism for specifying reactive systems, and covers the basics of Statecharts.
For the audience at the MoDELS conference, we will discuss Statecharts more extensively and in-depth, focusing on the applicability to more complex systems than the running example.

\section*{Description of the Tutorial and Intended Outline}
\input{tutorial_description.tex}

\section*{Required Infrastructure}
A data projector is required.

\section*{Sample Slides}
A number sample slides of the previous versions of the tutorial are attached.

\bibliographystyle{IEEEtran}
\bibliography{bibliography}

\end{document}