[Om-announce] Book Announcement: Design and Safety Assessment of Critical Systems
*** Apologies for multiple copies *** We are glad to announce the publication of the following book: Design and Safety Assessment of Critical Systems by Marco Bozzano and Adolfo Villafiorita CRC Press (Taylor and Francis Group), November 2010. An introduction to the area of design and verification of safety-critical systems, the book covers traditional notations, techniques, and procedures, including Fault Tree Analysis, FMECA, HAZOP, and Event Tree Analysis, and explains in detail how formal methods can be used to realize such procedures. It looks at the development process of safety-critical systems, and highlights influential management and organizational aspects. Finally, it describes verification and validation techniques and new trends in formal methods for safety and concludes with some widely adopted standards for the certification of safety-critical systems. For further information please visit: http://www.safety-critical.org. Sincerely Marco Bozzano Adolfo Villafiorita == Marco Bozzano, PhD, Researcher at FBK Via Sommarive 18, Povo, 38123 Trento (Italy) ph.: +39-0461-314367, mobile ph.: +39-328-8453534 bozz...@fbk.eu, http://es.fbk.eu/people/bozzano/ == ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] xSAP 1.0.0 has been released
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 x...@fbk.eu The list of xSAP users is open for registration and discussion xsap-us...@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 ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] xSAP 1.1.0 has been released
The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy is happy to announce the availability of xSAP 1.1.0 This is a major release, containing new features, and a few bug fixes. The documentation has been updated to cover the new features. -- * New features -- o Fault library - The library has been extended with new fault modes: random, erroneous, delta-in and delta-out o Fault Tree Analysis - Probability computation using 'anytime' feature has been improved - FT viewer export functionality has been improved o FMEA analysis - Output of FMEA table in XML format has been added o TFPG analyses - New analyses are available: tightening and tightness checking - Synthesis of TFPGs has been improved o Examples - Some new examples have been added to the distribution -- * Bug fixes -- * The check_installation script and list of installation requirements have been revised * Various minor bugs have been fixed -- * Known issues -- * Under Windows OS, export of a Fault Tree from the FT Viewer (both image and pdf formats) produces a blank image/corrupted pdf. Issue will be investigated for the next release OVERVIEW 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 x...@fbk.eu The list of xSAP users is open for registration and discussion xsap-us...@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 ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] xSAP 1.2.0 has been released
The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy is happy to announce the availability of xSAP 1.2.0 Visit http://xsap.fbk.eu for more detailed information and download. This is a major release, containing new features. -- * New features -- o Diagnosability analysis - Diagnosability analysis has been updated. Now it supports specification of an LTL diagnosis condition, alarm specification language (ASL) for exact delay, bounded delay and finite delay patterns, and an LTL diagnosis context. A script has been added to access this functionality. o Generation of minimum observables set - Generation of minimum observables set has been updated to match the updates in diagnosability analysis. A script has been added to access this functionality. o Diagnoser Synthesis - Added support for Context specificaiton and Fairness in the synthesis algorithms. - Top-level commands for synthesis have been simplified and a new script (synthesise_fd.py) has been added. o Antlr 3.4 - xSAP now fully supports a more recent (3.4) version of antlr -- * Bug fixes -- * Various minor bugs have been fixed -- * Known issues -- * Under Windows OS, export of a Fault Tree from the FT Viewer (both image and pdf formats) produces a blank image/corrupted pdf. Issue will be investigated for the next release -- * Superseded Commands -- The following commands have been removed: - synth_set_composition_semantics: replaced by the environment variable synth_asynchronous_composition_semantics; - synth_edit_observables has been replaced by the option -o in synth_FD; - synth_edit_alarms_spec has been replaced by the option -f in synth_FD. - compute_optimal_observables has been replaced by diag_optimize_observables_asl OVERVIEW 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) * Common Cause Analysis (CCA) * Fault propagation analysis based on Timed Failure Propagation Graphs (TFPG) * Fault Detection and Isolation (FDI) xSAP is currently licensed in binary form, for non-commercial or academic purposes. Inquiries about other usages of xSAP should be addressed to x...@fbk.eu The list of xSAP users is open for registration and discussion xsap-us...@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 == Marco Bozzano, PhD, Researcher at FBK Via Sommarive 18, Povo, 38123 Trento (Italy) ph.: +39-0461-314367, mobile ph.: +39-328-8453534 bozz...@fbk.eu, http://es.fbk.eu/people/bozzano/ == ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] 1st CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment
, at least one author of each accepted paper has to participate at the conference. Submission page: https://easychair.org/conferences/?conf=imbsa2017 Important Dates Abstract submission: 31 January 2017 Full paper submission: 28 February 2017 Notification of acceptance: 8 May 2017 Camera-ready submission: 12 June 2017 Conference: 11-13 September, 2017 Co-located Events IMBSA will be co-located with the following events: - SEFM (International Conference on Software Engineering and Formal Methods): 5-8 September 2017 - SAFECOMP (International Conference on Computer Safety, Reliability and Security): 13-15 September 2017 It is planned to have a joint session with SAFECOMP on Wednesday, 13 September. Committees General Chairs Marco Bozzano (FBK, IT) Yiannis Papadopoulos (University of Hull, GB) PC-Chairs Marco Bozzano (FBK, IT) Antoine Rauzy (Norwegian University of Science and Technology, NO) Tools & Tutorials Chairs Leila Kloul (Universite de Versailles, FR) Christel Seguin (ONERA, FR) Industrial Chairs Jean-Paul Blanquart (Airbus Defence and Space, FR) Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE) Organizing Committee Annalisa Armani (FBK, IT) Francesca Guerzoni (FBK, IT) Silvia Malesardi (FBK, IT) Program Committee Jean-Paul Blanquart (Airbus Defence and Space, FR) Marc Bouissou (EDF, FR) Marco Bozzano (FBK, IT) Jean-Charles Chaudemar (ISAE, FR) Regis de Ferluc (Thales Alenia Space, FR) Jana Dittmann (Otto-von-Guericke University of Magdeburg, DE) Marielle Doche-Petit (Systerel, FR) Peter Feiler (CMU, US) Francesco Flammini (University of Naples, IT) Lars Fucke (Boeing, ES) Lars Grunske (Humboldt University Berlin, DE) Matthias Guedemann (Diffblue, UK) Brendan Hall (Honeywell, US) Kai Hoefig (Siemens, DE) Michaela Huhn (Ostfalia, DE) Tim Kelly (University of York, UK) Leila Kloul (Universite de Versailles, FR) Agnes Lanusse (CEA LIST, FR) Timo Latvala (Space Systems Finland, FI) Till Mossakowski (Otto-von-Guericke University of Magdeburg, DE) Juergen Mottok (University of Regensburg, DE) Thomas Noll (RWTH Aachen University, DE) Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE) Yiannis Papadopoulos (University of Hull, UK) Antoine Rauzy (Norwegian University of Science and Technology, NO) Wolfgang Reif (Augsburg University, DE) Jean-Marc Roussel (LURPA, ENS Cachan, FR) Christel Seguin (ONERA, FR) Pascal Traverse (AIRBUS, FR) Elena A. Troubitsyna (Abo Akademi, FI) Marc Zeller (Siemens, DE) ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] Call for participation: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment
[Apologies if you receive multiple copies] = IMBSA 2017 - Call for participation International Symposium on Model-Based Safety and Assessment Trento, Italy, 11-13 September 2017 http://imbsa2017.fbk.eu = CO-LOCATED EVENTS - SEFM (International Conference on Software Engineering and Formal Methods): 4-8 September 2017 - SAFECOMP (International Conference on Computer Safety, Reliability and Security): 12-15 September 2017 A joint session IMBSA/SAFECOMP will be held on September 13. REGISTRATION Early registration is available until July 2 (11.30 pm, Italian time). Late registration is available until August 30 (11.30 pm, Italian time). On-site registration is available on September 11-13. Special fees are available for joint participation in IMBSA 2017 and SAFECOMP 2017. Full details at imbsa2017.fbk.eu/registration. ACCEPTED PAPERS, PRELIMINARY PROGRAM See http://imbsa2017.fbk.eu/accepted-papers and http://imbsa2017.fbk.eu/program KEYNOTE SPEAKERS Marcel Verhoef (European Space Agency, NL) "From Documents to Models: Towards Digital Continuity" (speaker to be announced) "MBSA in the Aeronautic Safety Standard ARP4761" ABOUT IMBSA The 5th International Symposium on Model Based Safety and Assessment (IMBSA 2017) will be held in Trento, Italy. IMBSA is the key event in the field of MBSA bringing together the latest developments in model-based engineering, formal techniques, probabilistic analyses and cutting edge optimisation to address hard problems in the design of safe complex systems including software intensive and open cyber-physical systems. The symposium provides a dedicated forum, where state-of-the-art research, leading edge technology and industrial experiences are brought together. The objectives are to present experiences and tools, to share ideas, and to consolidate and grow the community. THE IMBSA APPROACH IMBSA is looking back at a rich tradition of successfully combining research with a high number of industrial contributions. It shows that bridging the gap between basic research and industrial practice can be done effectively through interactive presentation of tools and methods. To take this into account, the conference will feature: - A scientific part, where newest findings are presented by renown scientists - A poster/demo session, in which consolidated research achievements are interactively demonstrated - Presentation of experiences and hot challenges in industrial practice of safety critical systems This way, participants from the industry learn about new tools and techniques, while research groups and spin-off companies can present their achievements to an interested audience. Also industrial contributors and young spin-offs can convince future customers of their tools in this mixed environment. We believe, that this mixture of conventional talks about newest achievements, presentation of practical experiences and interactive learning allows for fruitful discussions, exchange of information as well as future cooperation. COMMITTEES General Chairs Marco Bozzano (FBK, IT) Yiannis Papadopoulos (University of Hull, GB) PC-Chairs Marco Bozzano (FBK, IT) Antoine Rauzy (Norwegian University of Science and Technology, NO) Tools & Tutorials Chairs Leila Kloul (Universite de Versailles, FR) Christel Seguin (ONERA, FR) Industrial Chairs Jean-Paul Blanquart (Airbus Defence and Space, FR) Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE) Organizing Committee Annalisa Armani (FBK, IT) Marco Bozzano (FBK, IT) Francesca Guerzoni (FBK, IT) Silvia Malesardi (FBK, IT) Program Committee Jean-Paul Blanquart (Airbus Defence and Space, FR) Marc Bouissou (EDF, FR) Marco Bozzano (FBK, IT) Jean-Charles Chaudemar (ISAE, FR) Regis de Ferluc (Thales Alenia Space, FR) Jana Dittmann (Otto-von-Guericke University of Magdeburg, DE) Marielle Doche-Petit (Systerel, FR) Peter Feiler (CMU, US) Francesco Flammini (University of Naples, IT) Lars Fucke (Boeing, ES) Lars Grunske (Humboldt University Berlin, DE) Matthias Guedemann (Diffblue, UK) Brendan Hall (Honeywell, US) Kai Hoefig (Siemens, DE) Michaela Huhn (Ostfalia, DE) Tim Kelly (University of York, UK) Leila Kloul (Universite de Versailles, FR) Agnes Lanusse (CEA LIST, FR) Timo Latvala (Space Systems Finland, FI) Till Mossakowski (Otto-von-Guericke University of Magdeburg, DE) Juergen Mottok (University of Regensburg, DE) Thomas Noll (RWTH Aachen University, DE) Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE) Yiannis Papadopoulos (University of Hull, UK) Antoine Rauzy (Norwegian University of Science and Technology, NO) Wolfgang Reif (Augsburg University, DE) Jean-Marc Roussel (LURPA, ENS Cachan, FR) Christel Seguin (ONERA, FR) Pascal Traverse (AIRBUS, FR) Elena A. Troubitsyna (Abo Akademi, FI) Marcel Verhoef (European Space Agency,