Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications.
Torge HinrichsBettina ButhPublished in: SAFECOMP Workshops (2019)
Keyphrases
- sensor networks
- safety analysis
- smart city
- wireless sensor networks
- sensor data
- sensor nodes
- nuclear power plant
- energy consumption
- base station
- data streams
- mobile sensor networks
- symbolic model checking
- smart cities
- control system
- routing protocol
- safety critical
- sensor web
- fault model
- real time
- heterogeneous sensor networks
- communication cost
- agent architecture
- expert systems