Matches in SemOpenAlex for { <https://semopenalex.org/work/W2407942696> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2407942696 abstract "Recently significant improvement in wireless sensor and actor networks has been made due to the increased interest of researchers. But still there is a need to overcome many operational challenges particularly in safety-critical and mission-critical large-scale applications. We propose a model of Subnet-Based Backup Assigning (SBBA) algorithm in wireless sensor and actor networks which assumes partitioning in WSAN into subnets. It identifies critical and non-critical nodes in each subnet and each critical node designates an appropriate backup to monitor the primary critical node and inter-actor connectivity is maintained within the subnet. In addition, it selects gateway node in each subnet to communicate with other subnets and a gateway node designates an appropriate backup to monitor the primary gateway node and inter-gateway connectivity is maintained among subnets. To prove the correctness of the proposed algorithm, this paper introduces a formal approach, i.e., VDM-SL for formal specification and analysis of SBBA algorithm in WSANs. We model topology and subnet of WSAN as dynamic graph and implement SBBA into a corresponding formal specification using VDM-SL. For the validation of the algorithm invariants are put on the data where it is required and for the correct operation of communication pre and post conditions are defined. The specification of the SBBA algorithm is verified, analyzed and validated using VDM-SL toolbox." @default.
- W2407942696 created "2016-06-24" @default.
- W2407942696 creator A5022909686 @default.
- W2407942696 creator A5037290747 @default.
- W2407942696 date "2015-12-01" @default.
- W2407942696 modified "2023-09-25" @default.
- W2407942696 title "Formal modeling and algorithm of subnet-based backup assigning in WSAN" @default.
- W2407942696 cites W1614816533 @default.
- W2407942696 cites W1905350582 @default.
- W2407942696 cites W1988099508 @default.
- W2407942696 cites W2010485235 @default.
- W2407942696 cites W2011110827 @default.
- W2407942696 cites W2026761095 @default.
- W2407942696 cites W2029720348 @default.
- W2407942696 cites W2048088804 @default.
- W2407942696 cites W2080555147 @default.
- W2407942696 cites W2099401734 @default.
- W2407942696 cites W2112818021 @default.
- W2407942696 cites W2131227675 @default.
- W2407942696 cites W2139958394 @default.
- W2407942696 cites W214380483 @default.
- W2407942696 cites W2146383303 @default.
- W2407942696 cites W2146746579 @default.
- W2407942696 cites W2170486381 @default.
- W2407942696 cites W2171995261 @default.
- W2407942696 cites W2224585564 @default.
- W2407942696 cites W2289832287 @default.
- W2407942696 cites W2538983291 @default.
- W2407942696 cites W2847777968 @default.
- W2407942696 doi "https://doi.org/10.1109/icict.2015.7469593" @default.
- W2407942696 hasPublicationYear "2015" @default.
- W2407942696 type Work @default.
- W2407942696 sameAs 2407942696 @default.
- W2407942696 citedByCount "22" @default.
- W2407942696 countsByYear W24079426962015 @default.
- W2407942696 countsByYear W24079426962016 @default.
- W2407942696 countsByYear W24079426962017 @default.
- W2407942696 countsByYear W24079426962018 @default.
- W2407942696 countsByYear W24079426962019 @default.
- W2407942696 countsByYear W24079426962021 @default.
- W2407942696 crossrefType "proceedings-article" @default.
- W2407942696 hasAuthorship W2407942696A5022909686 @default.
- W2407942696 hasAuthorship W2407942696A5037290747 @default.
- W2407942696 hasConcept C11413529 @default.
- W2407942696 hasConcept C120314980 @default.
- W2407942696 hasConcept C127413603 @default.
- W2407942696 hasConcept C187713609 @default.
- W2407942696 hasConcept C21099817 @default.
- W2407942696 hasConcept C24590314 @default.
- W2407942696 hasConcept C2780945871 @default.
- W2407942696 hasConcept C31258907 @default.
- W2407942696 hasConcept C41008148 @default.
- W2407942696 hasConcept C55439883 @default.
- W2407942696 hasConcept C62611344 @default.
- W2407942696 hasConcept C66938386 @default.
- W2407942696 hasConcept C77088390 @default.
- W2407942696 hasConceptScore W2407942696C11413529 @default.
- W2407942696 hasConceptScore W2407942696C120314980 @default.
- W2407942696 hasConceptScore W2407942696C127413603 @default.
- W2407942696 hasConceptScore W2407942696C187713609 @default.
- W2407942696 hasConceptScore W2407942696C21099817 @default.
- W2407942696 hasConceptScore W2407942696C24590314 @default.
- W2407942696 hasConceptScore W2407942696C2780945871 @default.
- W2407942696 hasConceptScore W2407942696C31258907 @default.
- W2407942696 hasConceptScore W2407942696C41008148 @default.
- W2407942696 hasConceptScore W2407942696C55439883 @default.
- W2407942696 hasConceptScore W2407942696C62611344 @default.
- W2407942696 hasConceptScore W2407942696C66938386 @default.
- W2407942696 hasConceptScore W2407942696C77088390 @default.
- W2407942696 hasLocation W24079426961 @default.
- W2407942696 hasOpenAccess W2407942696 @default.
- W2407942696 hasPrimaryLocation W24079426961 @default.
- W2407942696 hasRelatedWork W1614816533 @default.
- W2407942696 hasRelatedWork W1838514517 @default.
- W2407942696 hasRelatedWork W1971475149 @default.
- W2407942696 hasRelatedWork W2011110827 @default.
- W2407942696 hasRelatedWork W2026761095 @default.
- W2407942696 hasRelatedWork W2124902352 @default.
- W2407942696 hasRelatedWork W214380483 @default.
- W2407942696 hasRelatedWork W2285082194 @default.
- W2407942696 hasRelatedWork W2289832287 @default.
- W2407942696 hasRelatedWork W2366505522 @default.
- W2407942696 hasRelatedWork W2375653475 @default.
- W2407942696 hasRelatedWork W2533805347 @default.
- W2407942696 hasRelatedWork W2610749122 @default.
- W2407942696 hasRelatedWork W2784033495 @default.
- W2407942696 hasRelatedWork W2798895321 @default.
- W2407942696 hasRelatedWork W2805849865 @default.
- W2407942696 hasRelatedWork W2847777968 @default.
- W2407942696 hasRelatedWork W3016469911 @default.
- W2407942696 hasRelatedWork W3214471381 @default.
- W2407942696 hasRelatedWork W3145203792 @default.
- W2407942696 isParatext "false" @default.
- W2407942696 isRetracted "false" @default.
- W2407942696 magId "2407942696" @default.
- W2407942696 workType "article" @default.