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.  

Integration: avoid islands of content and describe views about the same system model 

Agile development: iterative and incremental development of safety-critical systems 

Assurance cases drive the builds: continuous validity of the safety case


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