Preparatory reflections on safe context-adaptive software (Position Paper)
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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.
Details
Originalsprache | Englisch |
---|---|
Titel | IoTBDS 2020 - Proceedings of the 5th International Conference on Internet of Things, Big Data and Security |
Redakteure/-innen | Gary Wills, Peter Kacsuk, Victor Chang |
Herausgeber (Verlag) | SCITEPRESS - Science and Technology Publications |
Seiten | 382-391 |
Seitenumfang | 10 |
ISBN (elektronisch) | 9789897584268 |
Publikationsstatus | Veröffentlicht - 2020 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | IoTBDS 2020 - Proceedings of the 5th International Conference on Internet of Things, Big Data and Security |
---|
Konferenz
Titel | 5th International Conference on Internet of Things, Big Data and Security, IoTBDS 2020 |
---|---|
Dauer | 7 - 9 Mai 2020 |
Stadt | Virtual, Online |
Externe IDs
Scopus | 85089548964 |
---|
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- Context-adaptive Software, Formal Models, Future Informatic Systems, Software Verification