Preparatory Reflections on Safe Context-adaptive Software (Position Paper)

Dominik Grzelak, Uwe Aßmann

2020

Abstract

Mobile technology and the Internet of Things promise to deepen the interaction between people, services, and physical devices. Digital solutions for these prospective computing systems are not only radically changing the user experience but also the software engineering process. Without a doubt, software complexity enormously increases, and prospective systems become challenging to develop, maintain, and verify. The user’s reliance on safety-critical software systems is a serious element in any software engineering process where the absence of bugs must be ensured, and malfunction ruled out. Software that is not safe, i.e., the software’s behavior does not comply with a specification, could cause loss of profits or, in the worst-case, harm people. Software safety is an ongoing but mostly academic research field incorporating formal methods to prove the correctness of a program using mathematical methods. In this spirit, we examine the promising context-aware computing and model-driven development paradigms that have directed the development of fog computing and IoT platforms alike. Furthermore, we aggregate viable requirements for computational context models to be employed both for computation and also reasoning about the correctness of applications.

Download


Paper Citation


in Harvard Style

Grzelak D. and Aßmann U. (2020). Preparatory Reflections on Safe Context-adaptive Software (Position Paper).In Proceedings of the 5th International Conference on Internet of Things, Big Data and Security - Volume 1: IoTBDS, ISBN 978-989-758-426-8, pages 382-391. DOI: 10.5220/0009459503820391


in Bibtex Style

@conference{iotbds20,
author={Dominik Grzelak and Uwe Aßmann},
title={Preparatory Reflections on Safe Context-adaptive Software (Position Paper)},
booktitle={Proceedings of the 5th International Conference on Internet of Things, Big Data and Security - Volume 1: IoTBDS,},
year={2020},
pages={382-391},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009459503820391},
isbn={978-989-758-426-8},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 5th International Conference on Internet of Things, Big Data and Security - Volume 1: IoTBDS,
TI - Preparatory Reflections on Safe Context-adaptive Software (Position Paper)
SN - 978-989-758-426-8
AU - Grzelak D.
AU - Aßmann U.
PY - 2020
SP - 382
EP - 391
DO - 10.5220/0009459503820391