Dear COMPASS-interested,
the COMPASS team consisting of RWTH Aachen University and Fondazione
Bruno Kessler is announcing a new public release of the COMPASS toolset.
Version 3.1 is now freely available for download at
http://www.compass-toolset.org/tools-download/
to anyone within the member states of the European Space Agency.
With respect to COMPASS version 3.0, this release contains an updated
version of the xSAP engine and includes several bug fixes both in the
software and the accompanying documentation.
If you have any questions, you can contact us at
compass-support(a)lists.rwth-aachen.de (or simply reply to this e-mail).
Sincerely,
The COMPASS team
--
Thomas Noll http://moves.rwth-aachen.de/people/noll/
Software Modeling and Verification Group noll(a)cs.rwth-aachen.de
RWTH Aachen University Phone +49/241/80-21213
Ahornstr. 55, 52056 Aachen, Germany Fax +49/241/80-22217
Dear COMPASS-interested,
The COMPASS team consisting of RWTH Aachen University and Fondazione
Bruno Kessler is announcing a new public release of the COMPASS toolset
and an updated website. COMPASS can now be found via
http://www.compass-toolset.org/
Version 3.0 is now freely available for download on our website to
anyone within the member states of the European Space Agency via
http://www.compass-toolset.org/tools-download/
With respect to the previous COMPASS release, significant advancements
have been made. COMPASS 3.0 is the outcome of a significant re-factoring
carried out with ESA funding in the last year. It incorporates features
from past projects such as AUTOGEF, FAME, HASDEL and CATSY, including:
* A modeling language (called SLIM 3.0) that is very close to AADL;
* Improved GUI for property specification and fault injection;
* TFPG (Timed Failure Propagation Graph) Analysis;
* Mission Specification;
* Contract based Validation;
* Hierarchical Fault Tree Generation;
* Monte Carlo Simulation;
* and more.
If you have any questions, you can contact us at
compass-support(a)lists.rwth-aachen.de (or simply reply to this e-mail).
Sincerely,
The COMPASS team
---------- Forwarded message ----------
From: <Marcel.Verhoef(a)esa.int>
Date: Fri, Nov 11, 2016 at 4:37 PM
Subject: Invitation: Software Systems & Data Systems Division Final
Presentation Days + Workshop on Model Based System and Software Engineering
(MBSSE) – Future Directions
To:
Dear all,
Please find enclosed the announcement of the ESA final presentation days
and the annex workshop on MBSSE - as discussed.
Look forward to see you at ESTEC on Dec 6,7 and/or 8 (do not forget to
register for *both* events in case you are attending or presenting).
Regards,
ESA - European Space Agency
Marcel Verhoef
Software Engineer - Directorate of Technical and Quality Management
Software Systems Division (TEC-SWE)
ESTEC
Keplerlaan 1, PO Box 299, NL - 2200 AG Noordwijk, The Netherlands
Marcel.Verhoef(a)esa.int | www.esa.int | T +31 71 565 4662
-----Forwarded by Marcel Verhoef/estec/ESA on 11/11/2016 04:25PM -----
Dear colleague,
You are invited to attend the
· *Software Systems Division & Data Systems Division Final Presentation
Days* on* Tuesday 06 December 2016 & Wednesday 07 December 2016 *
and the
· *Workshop on Model Based System and Software Engineering (MBSSE) –
Future Directions* on *Thursday 08 December 2016*
Location: conference room *Newton 2*
More information can be found by clicking on the following links:
· Final Presentation Days <https://indico.esa.int/indico/event/146/>
· MBSSE Workshop <https://indico.esa.int/indico/event/161/>
Registration to both events shall be done via the websites (*closing date –
Friday 02 December*).
*Feel free to forward this invitation to anybody who might be interested in
attending one or both event(s).*
Kind regards,
Kathleen Gerlo & Bertilla Sinka
on behalf of
Mr. Kjeld Hjortnaes & Mr. Philippe
Armbruster
Head of the Software Systems Division Head of the Data Systems
Division
this message and any attachments are intended for the use of the
addressee or addressees only.
The unauthorised disclosure, use, dissemination or copying (either in
whole or in part) of its
content is not permitted.
If you received this message in error, please notify the sender and
delete it from your system.
Emails can be altered and their integrity cannot be guaranteed by the sender.
Please consider the environment before printing this email.
--
==============================================================================
Marco Bozzano, PhD, Researcher at FBK
Via Sommarive 18, Povo, 38123 Trento (Italy)
ph.: +39-0461-314367, mobile ph.: +39-328-8453534
bozzano(a)fbk.eu, http://es.fbk.eu/people/bozzano/
<https://webmail.fbk.eu/owa/redir.aspx?C=xZDWhuuKg02qWPBzu5P3JCwla0ZLJdEIaRD…>
==============================================================================
Please find attached below the preliminary announcement for the Model Based
System and Software Engineering (MBSSE) Workshop (Thursday 8 December 2016,
ESA-ESTEC, Noordwijk).
Best regards,
Marco Bozzano
==============================================================================
Marco Bozzano, PhD, Researcher at FBK
Via Sommarive 18, Povo, 38123 Trento (Italy)
ph.: +39-0461-314367, mobile ph.: +39-328-8453534
bozzano(a)fbk.eu, http://es.fbk.eu/people/bozzano/
<https://webmail.fbk.eu/owa/redir.aspx?C=xZDWhuuKg02qWPBzu5P3JCwla0ZLJdEIaRD…>
==============================================================================
The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy
is happy to announce the availability of
xSAP 1.0.0
xSAP is a tool for safety assessment of synchronous finite-state and
infinite-state systems, based on symbolic model checking techniques.
xSAP provides the following main capabilities:
* Library-based specification of faults, fault effects, and fault
dynamics
* Automatic model-extension with fault specifications
* Fault Tree Analysis (FTA) and generation of Minimal Cut Sets (MCS)
for dynamic systems, for both the monotonic and non-monotonic case
* Failure Modes and Effects Analysis (FMEA)
* Fault propagation analysis based on Timed Failure Propagation Graphs
(TFPG)
* Common Cause Analysis (CCA)
xSAP is currently licensed in binary form, for non-commercial or
academic purposes.
Inquiries about other usages of xSAP should be addressed to
xsap(a)fbk.eu
The list of xSAP users is open for registration and discussion
xsap-users(a)list.fbk.eu
Visit http://xsap.fbk.eu/ for more detailed information and download.
Other useful links:
* Feature requests and bug reports: http://es.fbk.eu/tools/xsap/index.php?n=BugReport.Home
Dear COMPASS-interested,
The COMPASS team consisting of RWTH Aachen University and Fondazione Bruno Kessler is announcing a new public release of the COMPASS toolset. Version 2.3 is now freely available for download on our website to anyone within the member states of the European Space Agency. The URL is
http://compass.informatik.rwth-aachen.de/download.html
The download also includes a new version of the COMPASS Graphical Modeller developed by Ellidiss Technologies. It provides a userfriendly click-and-draw interface for creating SLIM models visually.
With respect to COMPASS version 2.2, this release includes several bugfixes and includes the following new modeling features: alarms; passive event port connections.
Sincerely,
The COMPASS team
Dear COMPASS-interested,
The COMPASS consortium consisting of RWTH Aachen University, Fondazione
Bruno Kessler and Thales Alenia Space is announcing a new public release
of the COMPASS toolset. Version 2.2 is now freely available for download
on our website to anyone within the member states of the European Space
Agency. The URL is
http://compass.informatik.rwth-aachen.de/download.html
With respect to version 2.1, this release includes several bugfixes and
includes a new feature, Compact FMEA table generation.
In addition, the consortium is organising a half-day tutorial about
COMPASS at the 17th International Symposium on Formal Methods on the
21st of June 2011 at Limerick, Ireland. Senior project members are
present and available for any question. Late registration is still open.
Sincerely,
The COMPASS team
Tutorial announcement
---------------------
"Safety, Dependability and Performance Analysis of Extended AADL Models"
Presenters: M. Bozzano, A. Cimatti, J.-P. Katoen, T. Noll
in conjunction with the 17th Int. Symposium on Formal Methods (FM 2011)
June 21, 2011, Lero, Limerick, Ireland.
The tutorial will present a component-based modeling approach to
system-software co-engineering of real-time embedded systems, in
particular aerospace systems, and will be accompanied by a demo of the
COMPASS toolset.
Fore more information on the tutorial, please visit:
http://sites.lero.ie/fm2011/Tutorial6.html
and the web site of the FM 2011 Symposium:
http://sites.lero.ie/fm2011
Best regards,
The COMPASS Consortium
Dear COMPASS-interested,
You receive this mail because you have shown interest in the COMPASS toolset.
With this email, the COMPASS consortium consisting of RWTH Aachen University, Fondazione Bruno Kessler and Thales Alenia Space is announcing the first public release of the COMPASS toolset. Version 2.1 is now freely available for download on our website to anyone within the member states of the European Space Agency. The URL is
http://compass.informatik.rwth-aachen.de/download.html
The COMPASS project started in 2008 and has been active since then. This release is the result of a nearly three-year joint academic-industrial research and development effort in state of the art model checking, requirements validation, performance evaluation, safety & dependability analysis and architectural modelling. The details about this are elaborated in our journal paper titled "Safety, Dependability and Performance Analysis of Extended AADL models" published in Oxford's Computer Journal of March 2010:http://comjnl.oxfordjournals.org/content/early/2010/03/17/comjnl.bxq024
As recipients of this email you are automatically subscribed to announcement mailinglist of the COMPASS project. To unsubscribe, please visit https://mailman.rwth-aachen.de/mailman/listinfo/compass-announce
Sincerely,
The COMPASS team