Modelling safety-critical devices: coloured petri nets and Z.
Sapna JaidkaSteve ReevesJudy BowenPublished in: EICS (2017)
Keyphrases
- safety critical
- coloured petri nets
- embedded systems
- fault tolerant
- formal methods
- safety analysis
- nuclear power plant
- agent architecture
- mobile devices
- formal verification
- low cost
- adaptive systems
- support systems
- cooperative
- regulatory requirements
- context aware
- real time
- learning environment
- information systems
- artificial intelligence