Smart Contracts for Certified and Sustainable Safety-Critical Continuous Monitoring Applications.
Nicola EliaFrancesco BarchiEmanuele ParisiLivio PompianuSalvatore CartaAndrea BartoliniAndrea AcquavivaPublished in: ADBIS (2022)
Keyphrases
- continuous monitoring
- safety critical
- health monitoring
- real time
- formal methods
- fault tolerant
- embedded systems
- wireless sensor networks
- agent architecture
- smart environments
- monitoring system
- sensor data
- support systems
- adaptive systems
- spatial queries
- power supply
- management system
- daily life
- model checking
- load balancing
- human computer interaction
- information systems