References

  1. Ananda Basu, Bensalem Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen & Joseph Sifakis (2011): Rigorous component-based system design using the BIP framework. IEEE software 28(3), pp. 41–48, doi:10.1109/MS.2011.27.
  2. Luca Benini, Robin Hodgson & Polly Siegel (1998): System-level power estimation and optimization. In: Proceedings of the 1998 international symposium on Low power electronics and design. ACM, pp. 173–178, doi:10.1145/280756.280881.
  3. Carlo Alberto Boano, Zhitao He, Yafei Li, Thiemo Voigt, Marco Zúñniga & Andreas Willig (2009): Controllable radio interference for experimental and testing purposes in wireless sensor networks. In: Local Computer Networks, 2009. LCN 2009. IEEE 34th Conference on. IEEE, pp. 865–872, doi:10.1109/LCN.2009.5355013.
  4. Flavio Bonomi, Rodolfo Milito, Jiang Zhu & Sateesh Addepalli (2012): Fog computing and its role in the internet of things. In: Proceedings of the first edition of the MCC workshop on Mobile cloud computing. ACM, pp. 13–16, doi:10.1145/2342509.2342513.
  5. Michael Buettner, Gary V Yee, Eric Anderson & Richard Han (2006): X-MAC: a short preamble MAC protocol for duty-cycled wireless sensor networks. In: Proceedings of the 4th international conference on Embedded networked sensor systems. ACM, pp. 307–320, doi:10.1145/1182807.1182838.
  6. Walter Colitti, Kris Steenhaut, Niccolo De Caro, Bogdan Buta & Virgil Dobrota (2011): REST enabled wireless sensor networks for seamless integration with web applications. In: Mobile Adhoc and Sensor Systems (MASS), 2011 IEEE 8th International Conference on. IEEE, pp. 867–872, doi:10.1109/MASS.2011.102.
  7. Adam Dunkels, Fredrik Osterlind, Nicolas Tsiftes & Zhitao He (2007): Software-based on-line energy estimation for sensor nodes. In: Proceedings of the 4th workshop on Embedded networked sensors. ACM, pp. 28–32, doi:10.1145/1278972.1278979.
  8. Joakim Eriksson, Fredrik Österlind, Niclas Finne, Nicolas Tsiftes, Adam Dunkels, Thiemo Voigt, Robert Sauter & Pedro José Marrón (2009): COOJA/MSPSim: interoperability testing for wireless sensor networks. In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pp. 27, doi:10.4108/ICST.SIMUTOOLS2009.5637.
  9. Kyriakos Georgiou, Samuel Xavier-de Souza & Kerstin Eder (2017): The IoT energy challenge: A software perspective. IEEE Embedded Systems Letters, doi:10.1109/LES.2017.2741419.
  10. T. Hérault, R. Lassaigne, F. Magniette & S. Peyronnet (2004): Approximate probabilistic model checking. In: Verification, Model Checking, and Abstract Interpretation. Springer, pp. 73–84, doi:10.1007/978-3-540-24622-0_8.
  11. W. Hoeffding (1963): Probability inequalities for sums of bounded random variables. Journal of the American statistical association 58(301), pp. 13–30, doi:10.1214/aoms/1177730491.
  12. Matthias Kovatsch, Simon Duquennoy & Adam Dunkels (2011): A low-power CoAP for Contiki. In: Mobile Adhoc and Sensor Systems (MASS), 2011 IEEE 8th International Conference on. IEEE, pp. 855–860, doi:10.1109/MASS.2011.100.
  13. Axel Legay, Benoît Delahaye & Saddek Bensalem (2010): Statistical model checking: An overview. In: Runtime Verification. Springer, pp. 122–135, doi:10.1016/j.ic.2006.05.002.
  14. Alexios Lekidis (2015): Design flow for the rigorous development of networked embedded systems. Université Grenoble Alpes, doi:10.13140/RG.2.2.19387.11042.
  15. Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga & Christos K Georgiadis (2018): Model-based Design of IoT Systems with the BIP Component Framework. Software – Practice and Experience, doi:10.1002/spe.2568.
  16. Borja Martinez, Marius Monton, Ignasi Vilajosana & Joan Daniel Prades (2015): The power of models: Modeling power consumption for IoT devices. IEEE Sensors Journal 15(10), pp. 5777–5789, doi:10.1109/JSEN.2015.2445094.
  17. Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoit Delahaye, Cyrille Jegourel & Axel Legay (2015): Statistical model checking QoS properties of systems with SBIP. International Journal on Software Tools for Technology Transfer 17(2), pp. 171–185, doi:10.1007/s10009-014-0313-6.
  18. Xavier Vilajosana, Qin Wang, Fabien Chraim, Thomas Watteyne, Tengfei Chang & Kristofer SJ Pister (2014): A realistic energy consumption model for TSCH networks. IEEE Sensors Journal 14(2), pp. 482–489, doi:10.1109/JSEN.2013.2285411.
  19. Hai-Ying Zhou, Dan-Yan Luo, Yan Gao & De-Cheng Zuo (2011): Modeling of node energy consumption for wireless sensor networks. Wireless Sensor Network 3(01), pp. 18, doi:10.4236/wsn.2011.31003.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org