Interactive System Modelling for the Internet of Things
Article No.: 181, Pages 1 - 19
Abstract
The rapid growth in the number of Internet of Things (IoT) systems and their increasing use in safety-critical domains has led to the need for an evolution of development methods. Model-Driven Development (MDD) approaches have been used in software engineering to reduce development time and minimise errors in implemented systems. This paper introduces a novel Model-Driven Development (MDD) approach for Internet of Things (IoT) systems which considers interactivity from the perspective of both users and IoT components. A real-world example is presented to explain the motivation for the work and demonstrate the benefits and use of lightweight interactive system models adapted for the design and development of IoT systems.
References
[1]
Sten Agerholm and Peter Larsen. 1998. A Lightweight Approach to Formal Methods. Lecture Notes in Computer Science (09 1998). https://doi.org/10.1007/3--540--48257--1_10
[2]
Nikhil Agrawal and Smita Singhal. 2015. Smart drip irrigation system using raspberry pi and arduino. In International Conference on Computing, Communication & Automation. IEEE, 928--932.
[3]
Naoufal Ainane, Mohamed Ouzzif, and Khalid Bouragba. 2019. Health Monitoring System in a Smart Home. In Proceedings of the 4th International Conference on Smart City Applications (Casablanca, Morocco) (SCA '19). Association for Computing Machinery, New York, NY, USA, Article 114, bibinfonumpages5 pages.
[4]
Muhammad Raisul Alam, Mamun Bin Ibne Reaz, and Mohd Alauddin Mohd Ali. 2012. A Review of Smart Homes-Past, Present, and Future. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), Vol. 42 (2012), 1190--1203.
[5]
Domenico Amalfitano, Nicola Amatucci, Vincenzo De Simone, Vincenzo Riccio, and Fasolino Anna Rita. 2017. Towards a Thing-In-the-Loop Approach for the Verification and Validation of IoT Systems. In Proceedings of the 1st ACM Workshop on the Internet of Safe Things (Delft, Netherlands) (SafeThings'17). Association for Computing Machinery, New York, NY, USA, 57--63. https://doi.org/10.1145/3137003.3137007
[6]
Nesrine Ammar, Hela Chaieb, and Ridha Bouallegue. 2016. From modeling with SysML to simulation with Contiki Cooja simulator of wireless sensor networks. In 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA). IEEE, 760--765.
[7]
Carmelo Ardito, Giuseppe Desolda, Rosa Lanzilotti, Alessio Malizia, Maristella Matera, Paolo Buono, and Antonio Piccinno. 2020. User-defined semantics for the design of IoT systems enabling smart interactive experiences. Personal and Ubiquitous Computing, Vol. 24 (2020), 781--796.
[8]
Tansu Zafer Asici, Burak Karaduman, Raheleh Eslampanah, Moharram Challenger, Joachim Denil, and Hans Vangheluwe. 2019. Applying Model Driven Engineering Techniques to the Development of Contiki-Based IoT Systems. In 2019 IEEE/ACM 1st International Workshop on Software Engineering Research Practices for the Internet of Things (SERP4IoT). 25--32. https://doi.org/10.1109/SERP4IoT.2019.00012
[9]
Judy Bowen and Annika Hinze. 2021. Designing for Inaccessible People and Places. In Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part IV (Lecture Notes in Computer Science, Vol. 12935), Carmelo Ardito, Rosa Lanzilotti, Alessio Malizia, Helen Petrie, Antonio Piccinno, Giuseppe Desolda, and Kori Inkpen (Eds.). Springer, 546--556.
[10]
Judy Bowen and Annika Hinze. 2022. Participatory Data Design: Managing Data Sovereignty in IoT Solutions. Interact. Comput., Vol. 34, 2 (2022), 60--71.
[11]
Judy Bowen, Annika Hinze, Christopher Griffiths, Vimal Kumar, and David Bainbridge. 2017. Personal Data Collection in the Workplace: Ethical and Technical Challenges. In HCI 2017 - Digital make-believe. Proceedings of the 31st International BCS Human Computer Interaction Conference, BCS HCI 2017, University of Sunderland, St Peter's campus, Sunderland, UK, 3--6 July 2017 (Workshops in Computing), Lynne E. Hall, Tom Flint, Suzy O'Hara, and Phil Turner (Eds.). BCS.
[12]
Judy Bowen and Steve Reeves. 2008. Formal Models for User Interface design artefacts. Innovations in Systems and Software Engineering, Vol. 4, 2 (2008), 125--141.
[13]
Judy Bowen and Steve Reeves. 2013a. Modelling Safety Properties of Interactive Medical Systems. In Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (London, United Kingdom) (EICS '13). ACM, New York, NY, USA, 91--100.
[14]
Judy Bowen and Steve Reeves. 2013b. UI-design driven model-based testing. Innov. Syst. Softw. Eng., Vol. 9, 3 (2013), 201--215.
[15]
Judy Bowen and Steve Reeves. 2017. Combining Models for Interactive System Modelling. In The Handbook of Formal Methods in Human-Computer Interaction, Benjamin Weyers, Judy Bowen, Alan J. Dix, and Philippe A. Palanque (Eds.). Springer International Publishing, 161--182.
[16]
Marco Brambilla, Eric Umuhoza, and Roberto Acerbis. 2017. Model-driven development of user interfaces for IoT systems via domain-specific components and patterns. Journal of Internet Services and Applications, Vol. 8, 1 (2017), 1--21.
[17]
José Creissac Campos, Manuel Sousa, Miriam C. Bergue Alves, and Michael D. Harrison. 2016. Formal Verification of a Space System's User Interface With the IVY Workbench. IEEE Trans. Hum. Mach. Syst., Vol. 46, 2 (2016), 303--316.
[18]
Priscila Cedillo, Wilson Valdez, Paúl Cárdenas-Delgado, and Daniela Prado-Cabrera. 2020. A Data as a Service Metamodel for Managing Information of Healthcare and Internet of Things Applications. In Information and Communication Technologies, Germania Rodriguez Morales, Efraín R. Fonseca C., Juan Pablo Salgado, Pablo Pérez-Gosende, Marcos Orellana Cordero, and Santiago Berrezueta (Eds.). Springer International Publishing, Cham, 272--286.
[19]
R. Charles and D. Golightly (Eds.). 2021. Supporting Safer Work Practice Through the Use of Wearable Technology. CIEHF.
[20]
Hao Ran Chi, Chung Kit Wu, Nen-Fu Huang, Kim-Fung Tsang, and Ayman Radwan. 2023. A Survey of Network Automation for Industrial Internet-of-Things Toward Industry 5.0. IEEE Transactions on Industrial Informatics, Vol. 19, 2 (2023), 2065--2077. https://doi.org/10.1109/TII.2022.3215231
[21]
Kate Compton, Edward Melcer, and Michael Mateas. 2017. Generominos: Ideation Cards for Interactive Generativity.
[22]
Fredrik Dahlqvist, Mark Patel, Alexander Rajko, and Jonathan Shulman. 2019. Growing opportunities in the Internet of Things. (2019).
[23]
Michael D. Harrison, Paolo Masci, and José Creissac Campos. 2018. Formal Modelling as a Component of User Centred Design. In Software Technologies: Applications and Foundations, Manuel Mazzara, Iulian Ober, and Gwen Salaün (Eds.). Springer International Publishing, Cham, 274--289.
[24]
Cliff Jones. 1996. Formal Methods Light. ACM Comput. Surv., Vol. 28 (12 1996), 121. https://doi.org/10.1145/242224.242380
[25]
Roland Kluge, Michael Stein, David Giessing, Andy Schürr, and Max Mühlh"auser. 2017. cMoflon: model-driven generation of embedded C code for wireless sensor networks. In European Conference on Modelling Foundations and Applications. Springer, 109--125.
[26]
Ch. Kotronis, M. Nikolaidou, G. Dimitrakopoulos, D. Anagnostopoulos, A. Amira, and F. Bensaali. 2018. A Model-based Approach for Managing Criticality Requirements in e-Health IoT Systems. In 2018 13th Annual Conference on System of Systems Engineering (SoSE). 60--67. https://doi.org/10.1109/SYSOSE.2018.8428764
[27]
Karsten Loer and Michael D. Harrison. 2002. Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. In 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23--27 September 2002, Edinburgh, Scotland, UK. IEEE Computer Society, 223--226.
[28]
Cé lia Martinie and Philippe A. Palanque. 2020. Task models based engineering of interactive systems. In EICS '20: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Sophia Antipolis, France, June 23--26, 2020, Judy Bowen, Jean Vanderdonckt, and Marco Winckler (Eds.). ACM, 16:1--16:2.
[29]
Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, and Harold W. Thimbleby. 2015. PVSio-web 2.0: Joining PVS to HCI. In Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18--24, 2015, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 9206), Daniel Kroening and Corina S. Pasareanu (Eds.). Springer, 470--478.
[30]
Saraju P. Mohanty, Uma Choppali, and Elias Kougianos. 2016. Everything you wanted to know about smart cities: The Internet of things is the backbone. IEEE Consumer Electronics Magazine, Vol. 5, 3 (2016), 60--70.
[31]
Simone Mora, Francesco Gianni, and Monica Divitini. 2017. Tiles: a card-based ideation toolkit for the internet of things. In Proceedings of the 2017 conference on designing interactive systems. 587--598.
[32]
Ulrich Norbisrath, Ruben Jubeh, and Albert Zündorf. 2013. Story Driven Modeling.
[33]
Miguel Pinto, Marcelo Goncc alves, Paolo Masci, and José Creissac Campos. 2017. TOM: A Model-Based GUI Testing Framework. In Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10--13, 2017, Proceedings (Lecture Notes in Computer Science, Vol. 10487), José Proencc a and Markus Lumpe (Eds.). Springer, 155--161.
[34]
Jo ao B. F. Sequeiros, Francisco T. Chimuco, Musa G. Samaila, Mário M. Freire, and Pedro R. M. Inácio. 2020. Attack and System Modeling Applied to IoT, Cloud, and Mobile Ecosystems: Embedding Security by Design. ACM Comput. Surv., Vol. 53, 2, Article 25 (mar 2020), bibinfonumpages32 pages. https://doi.org/10.1145/3376123
[35]
Jessica Turner, Judy Bowen, and Steve Reeves. 2020. SeqCheck: a model checking tool for interactive systems. In EICS '20: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Sophia Antipolis, France, June 23--26, 2020, Judy Bowen, Jean Vanderdonckt, and Marco Winckler (Eds.). ACM, 7:1--7:6.
[36]
Jessica Turner, Judy Bowen, and Nikki van Zandwijk. 2021. Interaction Modelling for IoT. In 2021 28th Asia-Pacific Software Engineering Conference (APSEC). 120--129. https://doi.org/10.1109/APSEC53868.2021.00020
[37]
Ruowei Xiao, Zhanwei Wu, and Dongyu Wang. 2019. A Finite-State-Machine model driven service composition architecture for internet of things rapid prototyping. Future Generation Computer Systems, Vol. 99 (2019), 473--488. io
Index Terms
- Interactive System Modelling for the Internet of Things
Recommendations
Internet of Things security
The Internet of things (IoT) has recently become an important research topic because it integrates various sensors and objects to communicate directly with one another without human intervention. The requirements for the large-scale deployment of the ...
The internet of things: a survey
In recent year, the Internet of Things (IoT) has drawn significant research attention. IoT is considered as a part of the Internet of the future and will comprise billions of intelligent communicating `things'. The future of the Internet will consist of ...
Cyberentity Security in the Internet of Things
A proposed Internet of Things system architecture offers a solution to the broad array of challenges researchers face in terms of general system security, network security, and application security.
Comments
Information & Contributors
Information
Published In
Copyright © 2023 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 19 June 2023
Published in PACMHCI Volume 7, Issue EICS
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 109Total Downloads
- Downloads (Last 12 months)73
- Downloads (Last 6 weeks)7
Reflects downloads up to 09 Aug 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in