HOME
Welcome to EasySafe!
EasySafe helps you to manage your safety critical development process!
How?
Start to code your requirements like you code your sourcecode in VS Code!
EasySafe helps you to manage your safety critical development process!
How?
Start to code your requirements like you code your sourcecode in VS Code!
Feature
Available now
- Mostly based on opensource software
- No database required, data stored on GIT
- Requirements management replacing other expensive and complicated requirement tools
- Full forwards and backwards traceability
- Simplistic tool chain
Short term
- User Manual
- Integration of Capella
- Dynamic data exchange between Capella and VS Code editor
Medium term
- Git-Bug integration
- Explanation videos in development
- Safety analysis partially (FHA) implemented
- Integration of formal verification based on human readable text specifications
- Formal verification of software based on human readable requirement description
Long term
- Tool qualification artefacts for
- aeronautic standards (ARP4754A, ARP4761A, DO178C, DO254) in development and on demand (paid license)
- automtove standard ISO 26262
- several other safety critical standards
Your benefit
Available now
- Affordable pricing
- Human readable
- Complainant to safety critical standards
- Easy handling with minimum pain
Short term
- Model-based system design
- Not effort exchange requirements between tools
Medium term
- Connection to any version control system (e.g. Github, Gitlab, …)
- High money saving through autmated test generation
- High quality code through formal verification
