Matches in SemOpenAlex for { <https://semopenalex.org/work/W3188080683> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3188080683 endingPage "7" @default.
- W3188080683 startingPage "1" @default.
- W3188080683 abstract "Researchers these days widely use formal verification to verify software and embedded systems. This paper is based on a smart stick (embedded system) designed for blind people. This embedded system design has been verified using model checking and formal verification. In this paper, an Arduino based stick has been proposed for blind users to help in their navigation by detecting the obstacles using Ultrasonic sensors and speech warning message. It is able to inform the blind person about the circumstances and present condition of the path where he/she is walking. The system is tested under different scenarios in verification and validation software to confirm its authenticity. This system has been practically implemented and, in this paper, we used formal verification and software validation tools to detect and remove any bugs in the requirement and design phase. We believe this will immune our code from bugs and we can find their possible remedies. We claim that this work is novel as we haven’t found any solution in research for blind people that have been formally verified using model checking at design phase and validated using automated tools at requirement phase." @default.
- W3188080683 created "2021-08-16" @default.
- W3188080683 creator A5020647106 @default.
- W3188080683 date "2020-10-04" @default.
- W3188080683 modified "2023-09-23" @default.
- W3188080683 title "Formal Verification and Design of Smart Stick for Blind People" @default.
- W3188080683 doi "https://doi.org/10.5281/zenodo.5148253" @default.
- W3188080683 hasPublicationYear "2020" @default.
- W3188080683 type Work @default.
- W3188080683 sameAs 3188080683 @default.
- W3188080683 citedByCount "0" @default.
- W3188080683 crossrefType "journal-article" @default.
- W3188080683 hasAuthorship W3188080683A5020647106 @default.
- W3188080683 hasConcept C107457646 @default.
- W3188080683 hasConcept C110251889 @default.
- W3188080683 hasConcept C111498074 @default.
- W3188080683 hasConcept C115903868 @default.
- W3188080683 hasConcept C127413603 @default.
- W3188080683 hasConcept C136501162 @default.
- W3188080683 hasConcept C149091818 @default.
- W3188080683 hasConcept C149635348 @default.
- W3188080683 hasConcept C177264268 @default.
- W3188080683 hasConcept C186846655 @default.
- W3188080683 hasConcept C199360897 @default.
- W3188080683 hasConcept C21547014 @default.
- W3188080683 hasConcept C2776760102 @default.
- W3188080683 hasConcept C2777904410 @default.
- W3188080683 hasConcept C33054407 @default.
- W3188080683 hasConcept C41008148 @default.
- W3188080683 hasConcept C48002344 @default.
- W3188080683 hasConcept C52913732 @default.
- W3188080683 hasConcept C529173508 @default.
- W3188080683 hasConcept C75606506 @default.
- W3188080683 hasConceptScore W3188080683C107457646 @default.
- W3188080683 hasConceptScore W3188080683C110251889 @default.
- W3188080683 hasConceptScore W3188080683C111498074 @default.
- W3188080683 hasConceptScore W3188080683C115903868 @default.
- W3188080683 hasConceptScore W3188080683C127413603 @default.
- W3188080683 hasConceptScore W3188080683C136501162 @default.
- W3188080683 hasConceptScore W3188080683C149091818 @default.
- W3188080683 hasConceptScore W3188080683C149635348 @default.
- W3188080683 hasConceptScore W3188080683C177264268 @default.
- W3188080683 hasConceptScore W3188080683C186846655 @default.
- W3188080683 hasConceptScore W3188080683C199360897 @default.
- W3188080683 hasConceptScore W3188080683C21547014 @default.
- W3188080683 hasConceptScore W3188080683C2776760102 @default.
- W3188080683 hasConceptScore W3188080683C2777904410 @default.
- W3188080683 hasConceptScore W3188080683C33054407 @default.
- W3188080683 hasConceptScore W3188080683C41008148 @default.
- W3188080683 hasConceptScore W3188080683C48002344 @default.
- W3188080683 hasConceptScore W3188080683C52913732 @default.
- W3188080683 hasConceptScore W3188080683C529173508 @default.
- W3188080683 hasConceptScore W3188080683C75606506 @default.
- W3188080683 hasIssue "3" @default.
- W3188080683 hasLocation W31880806831 @default.
- W3188080683 hasOpenAccess W3188080683 @default.
- W3188080683 hasPrimaryLocation W31880806831 @default.
- W3188080683 hasRelatedWork W1492450300 @default.
- W3188080683 hasRelatedWork W1560971300 @default.
- W3188080683 hasRelatedWork W2112420251 @default.
- W3188080683 hasRelatedWork W2295509680 @default.
- W3188080683 hasRelatedWork W2363357013 @default.
- W3188080683 hasRelatedWork W2408673862 @default.
- W3188080683 hasRelatedWork W241475304 @default.
- W3188080683 hasRelatedWork W2417553775 @default.
- W3188080683 hasRelatedWork W2889227506 @default.
- W3188080683 hasRelatedWork W2993953345 @default.
- W3188080683 hasRelatedWork W3044908501 @default.
- W3188080683 hasRelatedWork W3091432727 @default.
- W3188080683 hasRelatedWork W3100360157 @default.
- W3188080683 hasRelatedWork W3142717201 @default.
- W3188080683 hasRelatedWork W3144859928 @default.
- W3188080683 hasRelatedWork W3152207668 @default.
- W3188080683 hasRelatedWork W3196340797 @default.
- W3188080683 hasRelatedWork W808082758 @default.
- W3188080683 hasRelatedWork W2163795822 @default.
- W3188080683 hasRelatedWork W895858515 @default.
- W3188080683 hasVolume "1" @default.
- W3188080683 isParatext "false" @default.
- W3188080683 isRetracted "false" @default.
- W3188080683 magId "3188080683" @default.
- W3188080683 workType "article" @default.