A Model-Based Approach to Document Software Toolchains for Supporting a Safety Analysis.
Stephan BaumgartYin ChenRasmus HamrénSasikumar PunnekkatPublished in: SysCon (2021)
Keyphrases
- safety analysis
- safety critical
- nuclear power plant
- control system
- fault model
- symbolic model checking
- formal methods
- software development
- software systems
- decision making
- support systems
- user interface
- agent architecture
- embedded systems
- reliability analysis
- software architecture
- source code
- software engineering
- real time