dc.contributor.author | Strand, Ruben Dobler | |
dc.contributor.author | Kristensen, Lars Michael | |
dc.contributor.author | Petrucci, Laure | |
dc.date.accessioned | 2023-03-28T12:22:14Z | |
dc.date.available | 2023-03-28T12:22:14Z | |
dc.date.created | 2022-08-25T09:56:12Z | |
dc.date.issued | 2022 | |
dc.identifier.citation | CEUR Workshop Proceedings. 2022, 3170 1-20. | en_US |
dc.identifier.issn | 1613-0073 | |
dc.identifier.uri | https://hdl.handle.net/11250/3060729 | |
dc.description.abstract | Long periods of dry and cold weather conditions significantly increase fire risks for wooden buildings. Recent advances in predictive fire risk models combined with publicly available cloud-based weather data services have enabled the development of smart software systems for location-oriented fire risk notification. We have developed a Coloured Petri Net (CPN) model specifying the software architecture of a microservice-based predictive fire risk notification system. The CPN model captures the set of micro-services provided via REST APIs and the interaction between the constituent services for location tracking and subscription, fire risk computation, and data harvesting. As part of the work, we present a general modelling approach and pattern for REST-based APIs. We apply simulation and state space exploration to validate and verify key behavioural properties of the predictive fire risk notification system. | en_US |
dc.language.iso | eng | en_US |
dc.rights | Navngivelse 4.0 Internasjonal | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/deed.no | * |
dc.title | Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction | en_US |
dc.type | Peer reviewed | en_US |
dc.type | Journal article | en_US |
dc.description.version | publishedVersion | en_US |
dc.rights.holder | © 2022 Copyright for this paper by its authors | en_US |
dc.source.pagenumber | 1-20 | en_US |
dc.source.volume | 3170 | en_US |
dc.source.journal | CEUR Workshop Proceedings | en_US |
dc.identifier.cristin | 2045860 | |
dc.relation.project | Norges forskningsråd: 298993 | en_US |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |