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