Formal Modelling and Model Checking of a Flood Monitoring and Rescue System: A Case Study of Safety-Critical System Article Swipe
Sidra Sajjad
,
Nadeem Akhtar
,
Laiqa sajjad
·
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.21015/vtse.v12i3.1871
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.21015/vtse.v12i3.1871
The flood incidents are becoming more often and severe, thus extreme events require efficient and effective means of controlling and saving lives and property. The reason for this paper is to use Formal Modelling and Model Checking to analyse a new safety critical Flood Monitoring and Rescue System (FMRS) that shall form the basis for the efficient response to floods. Employing the TLA+ analysis, which outlines the FMRS’s dynamic behavior and operational specifications comprehensively. It is important to stress that in our work we address one of the most exciting directions of applying formal methods for the first time in collaboration with real-world safety-critical system designers and offer a powerful and transparent systematic approach to verifying safety-critical systems’ correctness, safety, and reliability. The TLA+ specifications are very carefully designed to represent multiple aspects of the FMRS, such as sensor systems, communication interfaces, as well as the rescue activity itself. To this end, we use model checking methodologies in order to assess the system’s compliance with the required safety properties, including timely detection of floods, correct delivery of data, and synchronization of rescue operations. The performed model checking demonstrates the presence of essential information about the system’s potential failure and weaknesses, which can be used for FMRS architecture improvement and development. Thus, this case shows that the best use of formal methods exist not as ad hoc methods for resolving some issues in the development of safety-critical systems, but a structured template that could be applied in other domains where high degree of assurance in the reliability of a system is needed. Besides the novel method for the better future of the field of formal verification, the proposal also sketches functional relevance of integrating the effective and efficient approaches for monitoring floods and emergency rescue operations in real-world contexts.
Related Topics
Concepts
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.21015/vtse.v12i3.1871
- OA Status
- diamond
- References
- 28
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4403798879
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4403798879Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.21015/vtse.v12i3.1871Digital Object Identifier
- Title
-
Formal Modelling and Model Checking of a Flood Monitoring and Rescue System: A Case Study of Safety-Critical SystemWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2024Year of publication
- Publication date
-
2024-09-08Full publication date if available
- Authors
-
Sidra Sajjad, Nadeem Akhtar, Laiqa sajjadList of authors in order
- Landing page
-
https://doi.org/10.21015/vtse.v12i3.1871Publisher landing page
- Open access
-
YesWhether a free full text is available
- OA status
-
diamondOpen access status per OpenAlex
- OA URL
-
https://doi.org/10.21015/vtse.v12i3.1871Direct OA link when available
- Concepts
-
Model checking, Flood myth, Critical system, Computer science, Systems engineering, Engineering, Geography, Programming language, ArchaeologyTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- References (count)
-
28Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4403798879 |
|---|---|
| doi | https://doi.org/10.21015/vtse.v12i3.1871 |
| ids.doi | https://doi.org/10.21015/vtse.v12i3.1871 |
| ids.openalex | https://openalex.org/W4403798879 |
| fwci | 0.0 |
| type | article |
| title | Formal Modelling and Model Checking of a Flood Monitoring and Rescue System: A Case Study of Safety-Critical System |
| biblio.issue | 3 |
| biblio.volume | 12 |
| biblio.last_page | 137 |
| biblio.first_page | 114 |
| topics[0].id | https://openalex.org/T10444 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9922999739646912 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1707 |
| topics[0].subfield.display_name | Computer Vision and Pattern Recognition |
| topics[0].display_name | Context-Aware Activity Recognition Systems |
| topics[1].id | https://openalex.org/T10917 |
| topics[1].field.id | https://openalex.org/fields/22 |
| topics[1].field.display_name | Engineering |
| topics[1].score | 0.9902999997138977 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/2207 |
| topics[1].subfield.display_name | Control and Systems Engineering |
| topics[1].display_name | Smart Grid Security and Resilience |
| topics[2].id | https://openalex.org/T10586 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9884999990463257 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1707 |
| topics[2].subfield.display_name | Computer Vision and Pattern Recognition |
| topics[2].display_name | Robotic Path Planning Algorithms |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C110251889 |
| concepts[0].level | 2 |
| concepts[0].score | 0.6183580756187439 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q1569697 |
| concepts[0].display_name | Model checking |
| concepts[1].id | https://openalex.org/C74256435 |
| concepts[1].level | 2 |
| concepts[1].score | 0.5416373014450073 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q134052 |
| concepts[1].display_name | Flood myth |
| concepts[2].id | https://openalex.org/C2780074322 |
| concepts[2].level | 2 |
| concepts[2].score | 0.5398610830307007 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q28130043 |
| concepts[2].display_name | Critical system |
| concepts[3].id | https://openalex.org/C41008148 |
| concepts[3].level | 0 |
| concepts[3].score | 0.4476649761199951 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[3].display_name | Computer science |
| concepts[4].id | https://openalex.org/C201995342 |
| concepts[4].level | 1 |
| concepts[4].score | 0.31224364042282104 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q682496 |
| concepts[4].display_name | Systems engineering |
| concepts[5].id | https://openalex.org/C127413603 |
| concepts[5].level | 0 |
| concepts[5].score | 0.3012317419052124 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q11023 |
| concepts[5].display_name | Engineering |
| concepts[6].id | https://openalex.org/C205649164 |
| concepts[6].level | 0 |
| concepts[6].score | 0.17690116167068481 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q1071 |
| concepts[6].display_name | Geography |
| concepts[7].id | https://openalex.org/C199360897 |
| concepts[7].level | 1 |
| concepts[7].score | 0.09185042977333069 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q9143 |
| concepts[7].display_name | Programming language |
| concepts[8].id | https://openalex.org/C166957645 |
| concepts[8].level | 1 |
| concepts[8].score | 0.0 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q23498 |
| concepts[8].display_name | Archaeology |
| keywords[0].id | https://openalex.org/keywords/model-checking |
| keywords[0].score | 0.6183580756187439 |
| keywords[0].display_name | Model checking |
| keywords[1].id | https://openalex.org/keywords/flood-myth |
| keywords[1].score | 0.5416373014450073 |
| keywords[1].display_name | Flood myth |
| keywords[2].id | https://openalex.org/keywords/critical-system |
| keywords[2].score | 0.5398610830307007 |
| keywords[2].display_name | Critical system |
| keywords[3].id | https://openalex.org/keywords/computer-science |
| keywords[3].score | 0.4476649761199951 |
| keywords[3].display_name | Computer science |
| keywords[4].id | https://openalex.org/keywords/systems-engineering |
| keywords[4].score | 0.31224364042282104 |
| keywords[4].display_name | Systems engineering |
| keywords[5].id | https://openalex.org/keywords/engineering |
| keywords[5].score | 0.3012317419052124 |
| keywords[5].display_name | Engineering |
| keywords[6].id | https://openalex.org/keywords/geography |
| keywords[6].score | 0.17690116167068481 |
| keywords[6].display_name | Geography |
| keywords[7].id | https://openalex.org/keywords/programming-language |
| keywords[7].score | 0.09185042977333069 |
| keywords[7].display_name | Programming language |
| language | en |
| locations[0].id | doi:10.21015/vtse.v12i3.1871 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4210233887 |
| locations[0].source.issn | 2309-3978, 2411-6246 |
| locations[0].source.type | journal |
| locations[0].source.is_oa | True |
| locations[0].source.issn_l | 2309-3978 |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | VFAST Transactions on Software Engineering |
| locations[0].source.host_organization | |
| locations[0].source.host_organization_name | |
| locations[0].source.host_organization_lineage | |
| locations[0].license | |
| locations[0].pdf_url | |
| locations[0].version | publishedVersion |
| locations[0].raw_type | journal-article |
| locations[0].license_id | |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | VFAST Transactions on Software Engineering |
| locations[0].landing_page_url | https://doi.org/10.21015/vtse.v12i3.1871 |
| indexed_in | crossref |
| authorships[0].author.id | https://openalex.org/A5092751389 |
| authorships[0].author.orcid | |
| authorships[0].author.display_name | Sidra Sajjad |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Sidra Sajjad |
| authorships[0].is_corresponding | False |
| authorships[1].author.id | https://openalex.org/A5039179239 |
| authorships[1].author.orcid | https://orcid.org/0000-0003-2475-5590 |
| authorships[1].author.display_name | Nadeem Akhtar |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Nadeem Akhter |
| authorships[1].is_corresponding | False |
| authorships[2].author.id | https://openalex.org/A5092751388 |
| authorships[2].author.orcid | |
| authorships[2].author.display_name | Laiqa sajjad |
| authorships[2].author_position | last |
| authorships[2].raw_author_name | Laiqa Sajjad |
| authorships[2].is_corresponding | False |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://doi.org/10.21015/vtse.v12i3.1871 |
| open_access.oa_status | diamond |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Formal Modelling and Model Checking of a Flood Monitoring and Rescue System: A Case Study of Safety-Critical System |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T10444 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9922999739646912 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1707 |
| primary_topic.subfield.display_name | Computer Vision and Pattern Recognition |
| primary_topic.display_name | Context-Aware Activity Recognition Systems |
| related_works | https://openalex.org/W1538854713, https://openalex.org/W2394377911, https://openalex.org/W63519562, https://openalex.org/W3020755331, https://openalex.org/W2593813247, https://openalex.org/W2041209185, https://openalex.org/W4386724243, https://openalex.org/W4388268408, https://openalex.org/W4387816319, https://openalex.org/W4391528888 |
| cited_by_count | 0 |
| locations_count | 1 |
| best_oa_location.id | doi:10.21015/vtse.v12i3.1871 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4210233887 |
| best_oa_location.source.issn | 2309-3978, 2411-6246 |
| best_oa_location.source.type | journal |
| best_oa_location.source.is_oa | True |
| best_oa_location.source.issn_l | 2309-3978 |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | VFAST Transactions on Software Engineering |
| best_oa_location.source.host_organization | |
| best_oa_location.source.host_organization_name | |
| best_oa_location.source.host_organization_lineage | |
| best_oa_location.license | |
| best_oa_location.pdf_url | |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | journal-article |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | VFAST Transactions on Software Engineering |
| best_oa_location.landing_page_url | https://doi.org/10.21015/vtse.v12i3.1871 |
| primary_location.id | doi:10.21015/vtse.v12i3.1871 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4210233887 |
| primary_location.source.issn | 2309-3978, 2411-6246 |
| primary_location.source.type | journal |
| primary_location.source.is_oa | True |
| primary_location.source.issn_l | 2309-3978 |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | VFAST Transactions on Software Engineering |
| primary_location.source.host_organization | |
| primary_location.source.host_organization_name | |
| primary_location.source.host_organization_lineage | |
| primary_location.license | |
| primary_location.pdf_url | |
| primary_location.version | publishedVersion |
| primary_location.raw_type | journal-article |
| primary_location.license_id | |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | VFAST Transactions on Software Engineering |
| primary_location.landing_page_url | https://doi.org/10.21015/vtse.v12i3.1871 |
| publication_date | 2024-09-08 |
| publication_year | 2024 |
| referenced_works | https://openalex.org/W4390563068, https://openalex.org/W4400071599, https://openalex.org/W4392987494, https://openalex.org/W4399103094, https://openalex.org/W4392751796, https://openalex.org/W4399378736, https://openalex.org/W4396674431, https://openalex.org/W4392399862, https://openalex.org/W4396542442, https://openalex.org/W4323928695, https://openalex.org/W4399647136, https://openalex.org/W4393970601, https://openalex.org/W4398784515, https://openalex.org/W6966508564, https://openalex.org/W4399345856, https://openalex.org/W7054828940, https://openalex.org/W4313494327, https://openalex.org/W4391815273, https://openalex.org/W4399068995, https://openalex.org/W4364374876, https://openalex.org/W4392875989, https://openalex.org/W4391465171, https://openalex.org/W6869627603, https://openalex.org/W4385407081, https://openalex.org/W6869084428, https://openalex.org/W4393407115, https://openalex.org/W4386191038, https://openalex.org/W4394883288 |
| referenced_works_count | 28 |
| abstract_inverted_index.a | 39, 108, 238, 257 |
| abstract_inverted_index.It | 74 |
| abstract_inverted_index.To | 149 |
| abstract_inverted_index.ad | 224 |
| abstract_inverted_index.as | 137, 142, 144, 223 |
| abstract_inverted_index.be | 202, 243 |
| abstract_inverted_index.in | 80, 99, 157, 231, 245, 253, 295 |
| abstract_inverted_index.is | 29, 75, 259 |
| abstract_inverted_index.of | 17, 86, 91, 133, 172, 176, 180, 190, 218, 234, 251, 256, 269, 272, 281 |
| abstract_inverted_index.to | 30, 37, 58, 77, 114, 129, 159 |
| abstract_inverted_index.we | 83, 152 |
| abstract_inverted_index.The | 0, 24, 122, 183 |
| abstract_inverted_index.and | 7, 14, 19, 22, 34, 45, 70, 106, 110, 120, 178, 198, 208, 285, 291 |
| abstract_inverted_index.are | 3, 125 |
| abstract_inverted_index.but | 237 |
| abstract_inverted_index.can | 201 |
| abstract_inverted_index.for | 26, 54, 95, 204, 227, 265, 288 |
| abstract_inverted_index.hoc | 225 |
| abstract_inverted_index.new | 40 |
| abstract_inverted_index.not | 222 |
| abstract_inverted_index.one | 85 |
| abstract_inverted_index.our | 81 |
| abstract_inverted_index.the | 52, 55, 61, 66, 87, 96, 134, 145, 161, 165, 188, 194, 215, 232, 254, 262, 266, 270, 275, 283 |
| abstract_inverted_index.use | 31, 153, 217 |
| abstract_inverted_index.FMRS | 205 |
| abstract_inverted_index.TLA+ | 62, 123 |
| abstract_inverted_index.also | 277 |
| abstract_inverted_index.best | 216 |
| abstract_inverted_index.case | 212 |
| abstract_inverted_index.end, | 151 |
| abstract_inverted_index.form | 51 |
| abstract_inverted_index.high | 249 |
| abstract_inverted_index.more | 5 |
| abstract_inverted_index.most | 88 |
| abstract_inverted_index.some | 229 |
| abstract_inverted_index.such | 136 |
| abstract_inverted_index.that | 49, 79, 214, 241 |
| abstract_inverted_index.this | 27, 150, 211 |
| abstract_inverted_index.thus | 9 |
| abstract_inverted_index.time | 98 |
| abstract_inverted_index.used | 203 |
| abstract_inverted_index.very | 126 |
| abstract_inverted_index.well | 143 |
| abstract_inverted_index.with | 101, 164 |
| abstract_inverted_index.work | 82 |
| abstract_inverted_index.FMRS, | 135 |
| abstract_inverted_index.Flood | 43 |
| abstract_inverted_index.Model | 35 |
| abstract_inverted_index.Thus, | 210 |
| abstract_inverted_index.about | 193 |
| abstract_inverted_index.basis | 53 |
| abstract_inverted_index.could | 242 |
| abstract_inverted_index.data, | 177 |
| abstract_inverted_index.exist | 221 |
| abstract_inverted_index.field | 271 |
| abstract_inverted_index.first | 97 |
| abstract_inverted_index.flood | 1 |
| abstract_inverted_index.lives | 21 |
| abstract_inverted_index.means | 16 |
| abstract_inverted_index.model | 154, 185 |
| abstract_inverted_index.novel | 263 |
| abstract_inverted_index.offer | 107 |
| abstract_inverted_index.often | 6 |
| abstract_inverted_index.order | 158 |
| abstract_inverted_index.other | 246 |
| abstract_inverted_index.paper | 28 |
| abstract_inverted_index.shall | 50 |
| abstract_inverted_index.shows | 213 |
| abstract_inverted_index.where | 248 |
| abstract_inverted_index.which | 64, 200 |
| abstract_inverted_index.(FMRS) | 48 |
| abstract_inverted_index.Formal | 32 |
| abstract_inverted_index.Rescue | 46 |
| abstract_inverted_index.System | 47 |
| abstract_inverted_index.assess | 160 |
| abstract_inverted_index.better | 267 |
| abstract_inverted_index.degree | 250 |
| abstract_inverted_index.events | 11 |
| abstract_inverted_index.floods | 290 |
| abstract_inverted_index.formal | 93, 219, 273 |
| abstract_inverted_index.future | 268 |
| abstract_inverted_index.issues | 230 |
| abstract_inverted_index.method | 264 |
| abstract_inverted_index.reason | 25 |
| abstract_inverted_index.rescue | 146, 181, 293 |
| abstract_inverted_index.safety | 41, 167 |
| abstract_inverted_index.saving | 20 |
| abstract_inverted_index.sensor | 138 |
| abstract_inverted_index.stress | 78 |
| abstract_inverted_index.system | 104, 258 |
| abstract_inverted_index.timely | 170 |
| abstract_inverted_index.Besides | 261 |
| abstract_inverted_index.address | 84 |
| abstract_inverted_index.analyse | 38 |
| abstract_inverted_index.applied | 244 |
| abstract_inverted_index.aspects | 132 |
| abstract_inverted_index.correct | 174 |
| abstract_inverted_index.domains | 247 |
| abstract_inverted_index.dynamic | 68 |
| abstract_inverted_index.extreme | 10 |
| abstract_inverted_index.failure | 197 |
| abstract_inverted_index.floods, | 173 |
| abstract_inverted_index.floods. | 59 |
| abstract_inverted_index.itself. | 148 |
| abstract_inverted_index.methods | 94, 220, 226 |
| abstract_inverted_index.needed. | 260 |
| abstract_inverted_index.require | 12 |
| abstract_inverted_index.safety, | 119 |
| abstract_inverted_index.severe, | 8 |
| abstract_inverted_index.Checking | 36 |
| abstract_inverted_index.FMRS’s | 67 |
| abstract_inverted_index.activity | 147 |
| abstract_inverted_index.applying | 92 |
| abstract_inverted_index.approach | 113 |
| abstract_inverted_index.becoming | 4 |
| abstract_inverted_index.behavior | 69 |
| abstract_inverted_index.checking | 155, 186 |
| abstract_inverted_index.critical | 42 |
| abstract_inverted_index.delivery | 175 |
| abstract_inverted_index.designed | 128 |
| abstract_inverted_index.exciting | 89 |
| abstract_inverted_index.multiple | 131 |
| abstract_inverted_index.outlines | 65 |
| abstract_inverted_index.powerful | 109 |
| abstract_inverted_index.presence | 189 |
| abstract_inverted_index.proposal | 276 |
| abstract_inverted_index.required | 166 |
| abstract_inverted_index.response | 57 |
| abstract_inverted_index.sketches | 278 |
| abstract_inverted_index.systems, | 139, 236 |
| abstract_inverted_index.template | 240 |
| abstract_inverted_index.Employing | 60 |
| abstract_inverted_index.Modelling | 33 |
| abstract_inverted_index.analysis, | 63 |
| abstract_inverted_index.assurance | 252 |
| abstract_inverted_index.carefully | 127 |
| abstract_inverted_index.contexts. | 297 |
| abstract_inverted_index.designers | 105 |
| abstract_inverted_index.detection | 171 |
| abstract_inverted_index.effective | 15, 284 |
| abstract_inverted_index.efficient | 13, 56, 286 |
| abstract_inverted_index.emergency | 292 |
| abstract_inverted_index.essential | 191 |
| abstract_inverted_index.important | 76 |
| abstract_inverted_index.incidents | 2 |
| abstract_inverted_index.including | 169 |
| abstract_inverted_index.performed | 184 |
| abstract_inverted_index.potential | 196 |
| abstract_inverted_index.property. | 23 |
| abstract_inverted_index.relevance | 280 |
| abstract_inverted_index.represent | 130 |
| abstract_inverted_index.resolving | 228 |
| abstract_inverted_index.verifying | 115 |
| abstract_inverted_index.Monitoring | 44 |
| abstract_inverted_index.approaches | 287 |
| abstract_inverted_index.compliance | 163 |
| abstract_inverted_index.directions | 90 |
| abstract_inverted_index.functional | 279 |
| abstract_inverted_index.monitoring | 289 |
| abstract_inverted_index.operations | 294 |
| abstract_inverted_index.real-world | 102, 296 |
| abstract_inverted_index.structured | 239 |
| abstract_inverted_index.systematic | 112 |
| abstract_inverted_index.systems’ | 117 |
| abstract_inverted_index.system’s | 162, 195 |
| abstract_inverted_index.controlling | 18 |
| abstract_inverted_index.development | 233 |
| abstract_inverted_index.improvement | 207 |
| abstract_inverted_index.information | 192 |
| abstract_inverted_index.integrating | 282 |
| abstract_inverted_index.interfaces, | 141 |
| abstract_inverted_index.operational | 71 |
| abstract_inverted_index.operations. | 182 |
| abstract_inverted_index.properties, | 168 |
| abstract_inverted_index.reliability | 255 |
| abstract_inverted_index.transparent | 111 |
| abstract_inverted_index.weaknesses, | 199 |
| abstract_inverted_index.architecture | 206 |
| abstract_inverted_index.correctness, | 118 |
| abstract_inverted_index.demonstrates | 187 |
| abstract_inverted_index.development. | 209 |
| abstract_inverted_index.reliability. | 121 |
| abstract_inverted_index.collaboration | 100 |
| abstract_inverted_index.communication | 140 |
| abstract_inverted_index.methodologies | 156 |
| abstract_inverted_index.verification, | 274 |
| abstract_inverted_index.specifications | 72, 124 |
| abstract_inverted_index.safety-critical | 103, 116, 235 |
| abstract_inverted_index.synchronization | 179 |
| abstract_inverted_index.comprehensively. | 73 |
| cited_by_percentile_year | |
| countries_distinct_count | 0 |
| institutions_distinct_count | 3 |
| sustainable_development_goals[0].id | https://metadata.un.org/sdg/11 |
| sustainable_development_goals[0].score | 0.4399999976158142 |
| sustainable_development_goals[0].display_name | Sustainable cities and communities |
| citation_normalized_percentile.value | 0.24055931 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |