Interactive System Modelling for the Internet of Things

被引：0

作者：

Bowen J. ^{[1
]}

Turner J. ^{[1
]}

机构：

[1] University of Waikato, Hamilton

来源：

Proceedings of the ACM on Human-Computer Interaction | 2023年 / 7卷 / EICS期

关键词：

interaction design; iot;

D O I：

10.1145/3593233

中图分类号：

学科分类号：

摘要：

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. © 2023 ACM.

引用

共 37 条

[21]

Compton K., Melcer E., Mateas M., Generominos: Ideation Cards for Interactive Generativity, (2017)

[22]

Dahlqvist F., Patel M., Rajko A., Shulman J., Growing opportunities in the Internet of Things, (2019)

[23]

Harrison M.D., Masci P., Campos J.C., Formal Modelling as a Component of User Centred Design, Software Technologies: Applications and Foundations, pp. 274-289, (2018)

[24]

Jones C., Formal Methods Light, ACM Comput. Surv., 28, 12, (1996)

[25]

Kluge R., Stein M., Giessing D., Schurr A., Muhlhauser M., cMoflon: model-driven generation of embedded C code for wireless sensor networks, European Conference on Modelling Foundations and Applications, pp. 109-125, (2017)

[26]

Kotronis Ch., Nikolaidou M., Dimitrakopoulos G., Anagnostopoulos D., Amira A., Bensaali F., A Model-based Approach for Managing Criticality Requirements in e-Health IoT Systems, 2018 13th Annual Conference on System of Systems Engineering (SoSE), pp. 60-67, (2018)

[27]

Loer K., Harrison M.D., Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems, 17th IEEE International Conference on Automated Software Engineering (ASE 2002), pp. 223-226, (2002)

[28]

Martinie C., Palanque P.A., Task models based engineering of interactive systems, EICS’20: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, (2020)

[29]

Masci P., Oladimeji P., Zhang Y., Jones P.L., Curzon P., Thimbleby H.W., PVSio-web 2.0: Joining PVS to HCI, Computer Aided Verification - 27th International Conference, CAV 2015, 9206, pp. 470-478, (2015)

[30]

Mohanty S.P., Choppali U., Kougianos E., Everything you wanted to know about smart cities: The Internet of things is the backbone, IEEE Consumer Electronics Magazine, 5, 3, pp. 60-70, (2016)

← 1 2 3 4 →