Enabling safety-critical wireless communication using WirelessHART and PROFIsafe.
Johan ÅkerbergFrank ReichenbachMats BjörkmanPublished in: ETFA (2010)
Keyphrases
- wireless communication
- safety critical
- wireless networks
- fault tolerant
- communication networks
- formal methods
- computer simulation
- safety analysis
- embedded systems
- agent architecture
- wireless sensor networks
- support systems
- regulatory requirements
- adaptive systems
- real time
- artificial intelligence
- model checking
- intelligent agents
- database management systems
- user interface
- information systems