Tools
FASTEN
About: FASTEN is an open source environment for the specfication, verification and assurance of critical systems. We use JetBrains' Meta Programming System to experiment with multi-paradigm, high-level modeling and specification abstractions that are rigorous yet easy to understand by practitioners. More here ...
Main Features:
Specification of requirements (textual specs, temporal logics)
Hazards analysis (using STAMP)
Specification of architecture and contracts
Creation and maintenance of safety case models
My Contribution:
Modeling safety models (hazards, safety requirements, STPA, safety cases)
Integration of safety and engineering models
Automated consistency checks between safety case models and other engineering models
AutoFOCUS3
About: AutoFOCUS3 is a model-based tool and research platform for safety-critical embedded systems. It builds on a generic Eclipse-based tooling framework, is open source (Apache 2.0 license), and is released biannually for the Windows, Linux, and macOS 64-bit platforms. More here ...
watch screencasts
Main Features:
Requirements modeling
System design modeling and simulation
Deployment and code generation
Design Space Exploration (DSE)
Assurance Case Modeling
My Contribution:
Safety case modeling in compliance with the Goal Structuring Notation (GSN)
Tool-support for quantitative confidence assessment
Tool-support for change impact analysis