Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets.
Sapna JaidkaSteve ReevesJudy BowenPublished in: FM Workshops (1) (2019)
Keyphrases
- safety critical
- formal methods
- coloured petri nets
- embedded systems
- safety analysis
- nuclear power plant
- support systems
- formal verification
- model checking
- fault tolerant
- mobile devices
- regulatory requirements
- artificial intelligence
- user interaction
- agent architecture
- formal specification
- knowledge based systems
- adaptive systems
- low cost
- decision support system
- real time
- intelligent agents
- context aware