Improving the Efficiency of Dislocality Constraints for an Automated Software Deployment in Safety-Critical Systems.
Robert HilbrichMichael BehrischPublished in: Software Engineering (Workshops) (2018)
Keyphrases
- safety critical
- formal methods
- embedded systems
- safety analysis
- fault tolerant
- support systems
- agent architecture
- nuclear power plant
- adaptive systems
- software systems
- regulatory requirements
- software development
- distributed systems
- user interface
- learning systems
- user interaction
- decision support
- low cost
- management system
- software intensive systems
- data mining