Compass-announce

compass-announce@lists.rwth-aachen.de

9 discussions

by Thomas Noll

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

3 years, 3 months

COMPASS 3.0 released

by COMPASS Consortium

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

6 years, 3 months

Fwd: Invitation: Software Systems & Data Systems Division Final Presentation Days + Workshop on Model Based System and Software Engineering (MBSSE) – Future Directions

by Marco Bozzano

---------- 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…> ==============================================================================

6 years, 3 months

Preliminary workshop announcement: MBSSE – Future directions

by Marco Bozzano

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…> ==============================================================================

6 years, 6 months

xSAP 1.0.0 has been released

by Marco Bozzano

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

7 years, 11 months

Release of COMPASS 2.3

by COMPASS Consortium

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

9 years, 10 months

Release of COMPASS 2.2

by COMPASS Consortium

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

11 years, 9 months

Tutorial on "Safety, Dependability and Performance Analysis of Extended AADL Models" at FM 2011

by COMPASS Consortium

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

12 years

COMPASS Toolset Public Release Announcement

by 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

12 years, 3 months

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Compass-announce