Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams.
Hendrik KauschMathias PfeifferDeni RacoBernhard RumpePublished in: Software Engineering (Satellite Events) (2021)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- support systems
- nuclear power plant
- fault tolerant
- design methodology
- agent architecture
- knowledge based systems
- regulatory requirements
- real time
- management system
- formal specification
- adaptive systems
- model checking
- artificial intelligence
- software architecture
- control system
- information systems
- dynamic reconfiguration
- design process
- software engineering
- symbolic model checking
- fault model