Dynamic Reconfiguration of Safety-Critical Production Systems.
Faiz Ul MuramMuhammad Atif JavedHans HanssonSasikumar PunnekkatPublished in: PRDC (2020)
Keyphrases
- production system
- safety critical
- dynamic reconfiguration
- application specific
- software systems
- fault tolerant
- embedded systems
- safety analysis
- formal methods
- agent architecture
- multistage
- software architecture
- nuclear power plant
- support systems
- multiprocessor architecture
- regulatory requirements
- adaptive systems
- dynamic behavior
- production rules
- expert systems
- certainty factor
- quality of service
- general purpose
- software engineering
- real time
- model checking
- sufficient conditions
- low cost
- response time
- artificial intelligence