You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
944 B
26 lines
944 B
6 years ago
|
\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:
|