mirror of
http://172.16.200.102/MOISE/Timed-Altarica-To-Fiacre-Translator.git
synced 2025-12-21 23:13:57 +01:00
26 lines
944 B
TeX
26 lines
944 B
TeX
|
\section{Introduction}
|
||
|
|
\label{sec:intro}
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
% In the following, we first focus on the industrial needs of temporal
|
||
|
|
% properties that motivate our research. We then describe the
|
||
|
|
% representation languages to represent time as an intrinsic information
|
||
|
|
% of the system modelled, and their expressivity. On a simple study
|
||
|
|
% case, using constant-delays as the simplest timed interactions between
|
||
|
|
% elements of a system, we show how temporal properties are verified via
|
||
|
|
% the Tina model-checked, and how such analysis helps engineering design
|
||
|
|
% in its early-development phases. We conclude with a discussion on the
|
||
|
|
% state of the art, and comment on the future work and extensions of
|
||
|
|
% this approach.
|
||
|
|
% in AltaRica modelling language, and how an extended version of it
|
||
|
|
% allow us to express time intervals, where events occur
|
||
|
|
% non-deterministically.
|
||
|
|
|
||
|
|
|
||
|
|
%%% Local Variables:
|
||
|
|
%%% mode: latex
|
||
|
|
%%% TeX-master: "main"
|
||
|
|
%%% End:
|