Matches in SemOpenAlex for { <https://semopenalex.org/work/W2994814775> ?p ?o ?g. }
- W2994814775 endingPage "88" @default.
- W2994814775 startingPage "75" @default.
- W2994814775 abstract "Systems based on the Internet of Things impact more and more industrial areas such as smart manufacturing, smart health monitoring and home automation. Ensuring their correct construction, their well functioning and their reliability is an important issue for some of these systems which can be critical in case of dysfunction. The main requirements on physical architectures and control software are common in most of IoT-based systems. Therefore, we propose on the basis of their common architectural properties and behaviour, a generic formal model of IoT-based systems together with the rigorous analysis of their consistency properties; specific properties may be gradually added and checked. The proposed generic formal model is implemented as a parametrised model and experimented using the Event-B framework. This parametrised model is extensible; it can be profitably adapted to more general hybrid or cyber-physical systems. Moreover, our generic model is independent of the target formal modelling tools, it can be implemented in various other formal analysis environments." @default.
- W2994814775 created "2019-12-26" @default.
- W2994814775 creator A5041905519 @default.
- W2994814775 creator A5091558153 @default.
- W2994814775 date "2022-01-01" @default.
- W2994814775 modified "2023-09-26" @default.
- W2994814775 title "Architectural Invariants and Correctness of IoT-Based Systems" @default.
- W2994814775 cites W1513211656 @default.
- W2994814775 cites W1514648770 @default.
- W2994814775 cites W1966170436 @default.
- W2994814775 cites W2080804625 @default.
- W2994814775 cites W2120822777 @default.
- W2994814775 cites W2134295053 @default.
- W2994814775 cites W2184641513 @default.
- W2994814775 cites W2464269931 @default.
- W2994814775 cites W2528964818 @default.
- W2994814775 cites W2725322052 @default.
- W2994814775 cites W2761932548 @default.
- W2994814775 cites W2766560686 @default.
- W2994814775 cites W2784134065 @default.
- W2994814775 cites W2784792583 @default.
- W2994814775 cites W2889426361 @default.
- W2994814775 cites W2906899195 @default.
- W2994814775 cites W2948848872 @default.
- W2994814775 cites W3097816029 @default.
- W2994814775 cites W4210410646 @default.
- W2994814775 cites W4244819751 @default.
- W2994814775 doi "https://doi.org/10.1007/978-3-031-23119-3_6" @default.
- W2994814775 hasPublicationYear "2022" @default.
- W2994814775 type Work @default.
- W2994814775 sameAs 2994814775 @default.
- W2994814775 citedByCount "0" @default.
- W2994814775 crossrefType "book-chapter" @default.
- W2994814775 hasAuthorship W2994814775A5041905519 @default.
- W2994814775 hasAuthorship W2994814775A5091558153 @default.
- W2994814775 hasBestOaLocation W29948147753 @default.
- W2994814775 hasConcept C111498074 @default.
- W2994814775 hasConcept C111919701 @default.
- W2994814775 hasConcept C115901376 @default.
- W2994814775 hasConcept C115903868 @default.
- W2994814775 hasConcept C120314980 @default.
- W2994814775 hasConcept C121332964 @default.
- W2994814775 hasConcept C127413603 @default.
- W2994814775 hasConcept C149635348 @default.
- W2994814775 hasConcept C154945302 @default.
- W2994814775 hasConcept C179768478 @default.
- W2994814775 hasConcept C199360897 @default.
- W2994814775 hasConcept C201995342 @default.
- W2994814775 hasConcept C2776436953 @default.
- W2994814775 hasConcept C32833848 @default.
- W2994814775 hasConcept C41008148 @default.
- W2994814775 hasConcept C55439883 @default.
- W2994814775 hasConcept C75606506 @default.
- W2994814775 hasConcept C78519656 @default.
- W2994814775 hasConcept C80444323 @default.
- W2994814775 hasConcept C81860439 @default.
- W2994814775 hasConcept C83931994 @default.
- W2994814775 hasConcept C97355855 @default.
- W2994814775 hasConceptScore W2994814775C111498074 @default.
- W2994814775 hasConceptScore W2994814775C111919701 @default.
- W2994814775 hasConceptScore W2994814775C115901376 @default.
- W2994814775 hasConceptScore W2994814775C115903868 @default.
- W2994814775 hasConceptScore W2994814775C120314980 @default.
- W2994814775 hasConceptScore W2994814775C121332964 @default.
- W2994814775 hasConceptScore W2994814775C127413603 @default.
- W2994814775 hasConceptScore W2994814775C149635348 @default.
- W2994814775 hasConceptScore W2994814775C154945302 @default.
- W2994814775 hasConceptScore W2994814775C179768478 @default.
- W2994814775 hasConceptScore W2994814775C199360897 @default.
- W2994814775 hasConceptScore W2994814775C201995342 @default.
- W2994814775 hasConceptScore W2994814775C2776436953 @default.
- W2994814775 hasConceptScore W2994814775C32833848 @default.
- W2994814775 hasConceptScore W2994814775C41008148 @default.
- W2994814775 hasConceptScore W2994814775C55439883 @default.
- W2994814775 hasConceptScore W2994814775C75606506 @default.
- W2994814775 hasConceptScore W2994814775C78519656 @default.
- W2994814775 hasConceptScore W2994814775C80444323 @default.
- W2994814775 hasConceptScore W2994814775C81860439 @default.
- W2994814775 hasConceptScore W2994814775C83931994 @default.
- W2994814775 hasConceptScore W2994814775C97355855 @default.
- W2994814775 hasLocation W29948147751 @default.
- W2994814775 hasLocation W29948147752 @default.
- W2994814775 hasLocation W29948147753 @default.
- W2994814775 hasOpenAccess W2994814775 @default.
- W2994814775 hasPrimaryLocation W29948147751 @default.
- W2994814775 hasRelatedWork W1936525022 @default.
- W2994814775 hasRelatedWork W2556057931 @default.
- W2994814775 hasRelatedWork W2617229302 @default.
- W2994814775 hasRelatedWork W2893088271 @default.
- W2994814775 hasRelatedWork W2902687583 @default.
- W2994814775 hasRelatedWork W2994814775 @default.
- W2994814775 hasRelatedWork W3091728393 @default.
- W2994814775 hasRelatedWork W3166613042 @default.
- W2994814775 hasRelatedWork W4313854249 @default.
- W2994814775 hasRelatedWork W57231800 @default.
- W2994814775 isParatext "false" @default.
- W2994814775 isRetracted "false" @default.
- W2994814775 magId "2994814775" @default.