An approach combining SysML and modelica for modelling and validate wireless sensor networks.
Ahmed HammadHassan MountassirSamir ChoualiPublished in: SESoS (2013)
Keyphrases
- wireless sensor networks
- sensor networks
- energy efficient
- sensor nodes
- environmental monitoring
- data aggregation
- data collection
- formal methods
- database
- base station
- data transmission
- modeling language
- combining multiple
- resource constrained
- data gathering
- topology control
- wireless sensor
- routing algorithm
- real world