Using formal methods to guide the development of an asthma management system

Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Quinde, Mario and Khan, Nawaz (2019) Using formal methods to guide the development of an asthma management system. 2019 10th International Conference on Dependable Systems, Services and Technologies (DESSERT). In: 10th International Conference Dependable Systems, Services and Technologies, 05-07 Jun 2019, Leeds, United Kingdom. ISBN . [Conference or Workshop Item] (doi:10.1109/DESSERT.2019.8770017)

Preview

PDF - Final accepted version (with author's formatting)
Download (3MB) | Preview

Official URL: https://doi.org/10.1109/DESSERT.2019.8770017

Abstract

This paper reports on the use of a method to encourage the use of formal verification to explore the correctness of the development of an Ambient Assisted Living system, in this case one to help people with asthma to better manage their condition. We apply the methodology by modelling in ProMeLa and using SPIN for simulation and verification. We illustrate how the method is applied and some of the insights the developing team gained in its application.

Item Type:	Conference or Workshop Item (Paper)
Research Areas:	A. > School of Science and Technology > Computer Science > Intelligent Environments group
Item ID:	26557
Notes on copyright:	© 2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Useful Links:	Organisation Middlesex University Expert Profile Middlesex University Expert Profile Publisher
Depositing User:	Juan Augusto
Date Deposited:	09 May 2019 09:25
Last Modified:	13 Apr 2023 11:19
URI:	https://eprints.mdx.ac.uk/id/eprint/26557

Actions (login required)

View Item

Statistics

DownloadsShow export options

Activity Overview

6 month trend

183Downloads

6 month trend

590Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)