Jekyll2022-05-13T18:54:02+02:00http://localhost:4000/feed.xmlYAP Against PerilsOn this site, you will find material about the YAP research tool.YAP 0.8.1 released2022-05-09T15:00:00+02:002022-05-09T15:00:00+02:00http://localhost:4000/bugfix/2022/05/09/bugfix<p>Release <strong>YAP 0.8.1</strong> introduces minor feature enhancements, provides
an evaluation package (also available as a <a href="https://github.com/ytzemih/yap/blob/master/evaluate.md">Docker
setup</a>), and contains a
number of bug fixes.</p>
<p>Minor feature Enhancements:</p>
<ul>
<li><em>Controller Synthesis</em>: Added several settings to control various
parameters in the generated stochastic models.</li>
</ul>
<p>Supplementary material:</p>
<ul>
<li>This release contains <strong>an evaluation package</strong> on <em>supervisor
development for human-robot collaboration</em> for a recent
<a href="https://arxiv.org/abs/2203.08917">preprint</a>, our <a href="https://doi.org/10.1016/j.scico.2022.102809">SciCoP journal
paper</a>, and our
<a href="http://eptcs.web.cse.unsw.edu.au/paper.cgi?FMAS2021.7">FMAS’21
paper</a>. The
<a href="https://github.com/ytzemih/yap/blob/master/evaluate.md">Docker setup</a> allows
one to run all the stages of the experiment and check the analysis
and synthesis results.</li>
</ul>
<p>Bug fixes:</p>
<ul>
<li><em>Controller Synthesis</em>: Improved expression handling, corrected
synthesis of event predicates from factor dependencies.</li>
<li><em>Miscellaneous</em>: Improved model syntax debugging, somes fixes in
the interaction between Emacs yap-mode and the command-line tool.</li>
</ul>
<p>Miscellaneous:</p>
<ul>
<li>Parts of the tool have been further extended and refactored.</li>
<li><em>Please, note that at this stage in development, I will not be able
to maintain full downward compatibility with older model files and
the command-line and logging interfaces. The current <a href="/dl/yap-0.7-manual.pdf">manual</a> is out of date. I will do
my best to improve the documentation.</em></li>
</ul>Release YAP 0.8.1 introduces minor feature enhancements, provides an evaluation package (also available as a Docker setup), and contains a number of bug fixes.YAP 0.8 released2021-10-02T15:00:00+02:002021-10-02T15:00:00+02:00http://localhost:4000/release/2021/10/02/release<p>Release <strong>YAP 0.8</strong> contains new features and feature enhancements.</p>
<p>New features:</p>
<ul>
<li><em>Test Model Generation</em>: Added a new facility for the generation of
symbolic finite state machines to be used as reference models for
robustness-oriented conformance tests of generated controller
code. This facility comes with support for the
<a href="https://bitbucket.org/JanPeleska/libfsmtest">libfsmtest</a> input
format.</li>
</ul>
<p>Feature Enhancements:</p>
<ul>
<li><em>Code Generation</em>: Extended the existing facility with a new
generator for lean discrete-event safety supervisors written in
C++. The generated controller code is more agnostic about the
target platform and more efficient in comparison with the previous
code generator.</li>
</ul>
<p>Miscellaneous:</p>
<ul>
<li>Parts of the software have been further extended and refactored to
consolidate functionalities and feature prototypes. <strong>Downward
compatibility with older model files as well as command-line and
logging interface compatibility can be affected in the current
stages of development.</strong></li>
<li>This release contains the evaluation package for our <a href="http://eptcs.web.cse.unsw.edu.au/paper.cgi?FMAS2021.7">recent
paper</a>
accepted at <a href="https://fmasworkshop.github.io/FMAS2021/">FMAS</a></li>
<li>An updated <a href="/dl/yap-0.7-manual.pdf">manual</a> will
be provided as soon as possible.</li>
</ul>Release YAP 0.8 contains new features and feature enhancements.YAP 0.7.2 released2021-06-30T15:00:00+02:002021-06-30T15:00:00+02:00http://localhost:4000/release/2021/06/30/release<p>Release <strong>YAP 0.7.2</strong> contains minor feature enhancements.</p>
<p>New features:</p>
<ul>
<li><em>Synthesiser</em>: Added a new synthesiser for <em>translating
pre-synthesised MDPs into special pDTMCs</em> that parameterise any
non-deterministic choice of the controller in the original MDP.
Such parametric choice can then be resolved by evolutionary search
through a large parameter space with tools such as
<a href="https://www-users.cs.york.ac.uk/~simos/EvoChecker/">EvoChecker</a>. This
is an alternative to using standard policy synthesis algorithms,
e.g. as available in <a href="https://www.prismmodelchecker.org/">PRISM</a>,
with the advantage of allowing for the optimisation of more complex
multi-criteria objectives.</li>
</ul>
<p>This release contains the evaluation package for our <a href="https://arxiv.org/abs/2106.06604">recent working
paper</a>. See the sub-folder
<code class="highlighter-rouge">examples/hrc2</code> of the ZIP package available under <a href="/dl/">Downloads</a>.</p>
<p>This minor release focuses research demonstration. An
updated <a href="/dl/yap-0.7-manual.pdf">manual</a> will be
provided as soon as possible.</p>Release YAP 0.7.2 contains minor feature enhancements.YAP 0.7.1 released2021-05-22T15:00:00+02:002021-05-22T15:00:00+02:00http://localhost:4000/release/2021/05/22/release<p>Release <strong>YAP 0.7.1</strong> contains minor feature enhancements,
improvements, and further example files.</p>
<p>New features:</p>
<ul>
<li><em>Code generator</em>: Added generation of LTL property files for
run-time verification of controller behaviour</li>
<li><em>Generic generator</em>: Added template parameter for initial state
expressions</li>
<li><em>General</em>: Added list export for risk spaces and abstract states</li>
</ul>
<p>Improvements:</p>
<ul>
<li><em>Property pattern library</em>: Extended and improved pattern list</li>
<li><em>Code generator</em>: Adaptations to match the C#-based digital twin
platform</li>
</ul>
<p>Additional materials:</p>
<ul>
<li>A larger example demonstrating the use of YAP for <em>controller synthesis</em></li>
</ul>
<p>This release focuses experimentation and research demonstration. An
updated <a href="/dl/yap-0.7-manual.pdf">manual</a> will be
provided as soon as possible.</p>Release YAP 0.7.1 contains minor feature enhancements, improvements, and further example files.YAP 0.7 released2021-02-24T14:00:00+01:002021-02-24T14:00:00+01:00http://localhost:4000/release/2021/02/24/release<p>Release <strong>YAP 0.7</strong> contains new features and several improvements.</p>
<p>The list of new features includes …</p>
<ul>
<li>a <em>code generator</em> for a C#-based digital twin platform</li>
<li>a LaTeX exporter for the <em>visualisation</em> of PRISM simulation traces</li>
<li>an extension of <em>YAP Script</em> to support <em>enumerations</em></li>
</ul>
<p>This release also contains several improvements, including …</p>
<ul>
<li><em>DTMC/MDP generator</em>: improved parametric mishap modelling</li>
<li><em>DTMC/MDP generator</em>: refined reward calculation</li>
<li><em>Generic generator</em>: improved parameter substitution</li>
<li><em>YAP Script</em>: generalised and standardised handling of severity intervals</li>
</ul>
<p>This release focuses experimentation and research demonstration. An
updated <a href="/dl/yap-0.7-manual.pdf">manual</a> will be
provided as soon as possible.</p>Release YAP 0.7 contains new features and several improvements.Bug fix for 0.6.22021-01-11T13:00:00+01:002021-01-11T13:00:00+01:00http://localhost:4000/bugfix/2021/01/11/bugfix<p>A revision of Yap’s CLI has caused exceptions when using Yap’s simulation
facility with <code class="highlighter-rouge">--simulate</code>. This has been fixed in the 0.6.2+20210111
packages.</p>A revision of Yap’s CLI has caused exceptions when using Yap’s simulation facility with --simulate. This has been fixed in the 0.6.2+20210111 packages.YAP 0.6.2 released2020-12-10T20:00:00+01:002020-12-10T20:00:00+01:00http://localhost:4000/release/2020/12/10/release<p>This is a more formal release to provide easy access to the
supporting materials of our <a href="https://arxiv.org/abs/2007.03340">ICCECS’20 paper</a>.
<strong>YAP 0.6.2</strong> contains …</p>
<ul>
<li>a number of new features (asset and impact modelling)</li>
<li>extended contraint handling</li>
<li>simplified model grammar</li>
<li>an improved CLI</li>
</ul>
<p>Please, go to <a href="/dl/">Download</a>.</p>This is a more formal release to provide easy access to the supporting materials of our ICCECS’20 paper. YAP 0.6.2 contains …