Title | Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring |
Publication Type | Conference Paper |
Year of Publication | 2013 |
Authors | Zhang, K, Sprinkle, J |
Conference Name | Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the |
Date Published | April |
Keywords | accelerometers, Code Generation, communication task, computation task, Computational modeling, concurrent engineering, concurrent tasks specification, control tasks, cyber-physical systems, domain-specific modeling language, drifters, embedded programming, environmental monitoring (geophysics), environmental science computing, floating sensor testbed, formal specification, Global Positioning System, GPS sensors, hand-written code, Instruction sets, mobile computing, mobile phone, mobile radio, mobile sensing platforms, model-based software synthesis, model-integrated computing, program compilers, Programming, self-reconfigurable sensor network, Smart phones, software synthesis, ubiquitous mobile device, Unified modeling language, water flow monitoring, wireless sensor networks |
URL | http://dx.doi.org/10.1109/ECBS.2013.34 |
DOI | 10.1109/ECBS.2013.34 |