Fast development. Fast delivery. Fast learning ... Continuous assurance.
Why?
Software-Defined-X - vehicles, trains, ... - enables continuous delivery of functionality and learning about the system from operations. This poses new challenges AND new opportunities for safety engineering and assurance, which need to be done continuously. We need an extensible workbench to experiment with maximizing the automation for continuous specification, analysis, and assurance of safety-critical systems.
What?
Model-driven engineering enables automation: blend informal text-based specs with more formal models.
requirements - textual specifications, natural language templates, or mixing text and formal models;
design - different views over the architecture;
safety analyses - model-based safety analyses STPA, FMEA, FTA;
assurance arguments - GSN modeling, integration with system and safety models, specification of confidence.
Integration: avoid islands of content and describe views about the same system model
deeply integrated system views;
typed traces between system, safety, and assurance models;
checkable consistency rules.
Agile development: iterative and incremental development of safety-critical systems
models as "code", and integrated in CI pipelines;
modern IDE automation for authoring the content;
live feedback about the integrity of the models;
distributed development with branching, merging, pull requests reviews,
... + many more common practices from software development.
Assurance cases drive the builds: continuous validity of the safety case
attach checks to claims or relations between claims in safety argument models;
manage the impact of changes in traced models on system safety;
safety case consistency as a first-class entity.
How?
Enabling Technology. FASTEN is built with JetBrains' MPS Language Workbench. It uses language engineering methods to build open and extensible domain-specific modeling languages and tooling.
For questions, please send an email to: fasten-support at googlegroups dot com