Matches in SemOpenAlex for { <https://semopenalex.org/work/W2295509680> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2295509680 abstract "There are plethora of control based embedded systems installed in domestic electronic systems. The correct working of these embedded systems is important for successful functionality of the overall system. Most of these embedded system communicate using some communication protocol. Thus the protocol must be error free for successful working of overall system. This paper explains a scenario in which a communication problem occurred between two embedded components. By taking the problem in to account, the paper provides formal verification techniques to solve this communication issue. Buffers are used to read and send data for inter components communication. In some situations, when data is read from the buffers without flushing them, usually junk data is induced along with information(packets) which causes the system to be in indeterminate state. This situation might result to be a complete system failure for such critical real time systems. This paper claims that such communication problems can be easily detected by developing formal models of the communication protocol and applying formal verification tests to confirm a certain property holds or not. In case of a failure, the model checker automatically generates a trace explaining how and why the property has failed. We later confirmed our results by manually generating the scenario generated by model checker in actual code. This has been an efficient bug hunting technique and we aim to test more communication protocols in future using this technique using formal methods which is a very powerful technique for validation and verification of software system problems." @default.
- W2295509680 created "2016-06-24" @default.
- W2295509680 creator A5009347807 @default.
- W2295509680 creator A5050259345 @default.
- W2295509680 date "2016-01-01" @default.
- W2295509680 modified "2023-09-26" @default.
- W2295509680 title "Application of formal methods for validation and verification of embedded system communication protocol" @default.
- W2295509680 cites W1732818360 @default.
- W2295509680 cites W1974795225 @default.
- W2295509680 cites W1999568710 @default.
- W2295509680 cites W2031958649 @default.
- W2295509680 cites W2032838477 @default.
- W2295509680 cites W2038573209 @default.
- W2295509680 cites W2098992935 @default.
- W2295509680 cites W2154585203 @default.
- W2295509680 cites W2159433799 @default.
- W2295509680 cites W649045291 @default.
- W2295509680 doi "https://doi.org/10.1109/ibcast.2016.7429907" @default.
- W2295509680 hasPublicationYear "2016" @default.
- W2295509680 type Work @default.
- W2295509680 sameAs 2295509680 @default.
- W2295509680 citedByCount "1" @default.
- W2295509680 countsByYear W22955096802017 @default.
- W2295509680 crossrefType "proceedings-article" @default.
- W2295509680 hasAuthorship W2295509680A5009347807 @default.
- W2295509680 hasAuthorship W2295509680A5050259345 @default.
- W2295509680 hasConcept C101765175 @default.
- W2295509680 hasConcept C110251889 @default.
- W2295509680 hasConcept C111472728 @default.
- W2295509680 hasConcept C111498074 @default.
- W2295509680 hasConcept C116253237 @default.
- W2295509680 hasConcept C120314980 @default.
- W2295509680 hasConcept C12269588 @default.
- W2295509680 hasConcept C138885662 @default.
- W2295509680 hasConcept C142724271 @default.
- W2295509680 hasConcept C149635348 @default.
- W2295509680 hasConcept C158379750 @default.
- W2295509680 hasConcept C189950617 @default.
- W2295509680 hasConcept C199360897 @default.
- W2295509680 hasConcept C202973057 @default.
- W2295509680 hasConcept C204787440 @default.
- W2295509680 hasConcept C2780385302 @default.
- W2295509680 hasConcept C31258907 @default.
- W2295509680 hasConcept C41008148 @default.
- W2295509680 hasConcept C41895202 @default.
- W2295509680 hasConcept C71924100 @default.
- W2295509680 hasConcept C75291252 @default.
- W2295509680 hasConcept C75606506 @default.
- W2295509680 hasConceptScore W2295509680C101765175 @default.
- W2295509680 hasConceptScore W2295509680C110251889 @default.
- W2295509680 hasConceptScore W2295509680C111472728 @default.
- W2295509680 hasConceptScore W2295509680C111498074 @default.
- W2295509680 hasConceptScore W2295509680C116253237 @default.
- W2295509680 hasConceptScore W2295509680C120314980 @default.
- W2295509680 hasConceptScore W2295509680C12269588 @default.
- W2295509680 hasConceptScore W2295509680C138885662 @default.
- W2295509680 hasConceptScore W2295509680C142724271 @default.
- W2295509680 hasConceptScore W2295509680C149635348 @default.
- W2295509680 hasConceptScore W2295509680C158379750 @default.
- W2295509680 hasConceptScore W2295509680C189950617 @default.
- W2295509680 hasConceptScore W2295509680C199360897 @default.
- W2295509680 hasConceptScore W2295509680C202973057 @default.
- W2295509680 hasConceptScore W2295509680C204787440 @default.
- W2295509680 hasConceptScore W2295509680C2780385302 @default.
- W2295509680 hasConceptScore W2295509680C31258907 @default.
- W2295509680 hasConceptScore W2295509680C41008148 @default.
- W2295509680 hasConceptScore W2295509680C41895202 @default.
- W2295509680 hasConceptScore W2295509680C71924100 @default.
- W2295509680 hasConceptScore W2295509680C75291252 @default.
- W2295509680 hasConceptScore W2295509680C75606506 @default.
- W2295509680 hasLocation W22955096801 @default.
- W2295509680 hasOpenAccess W2295509680 @default.
- W2295509680 hasPrimaryLocation W22955096801 @default.
- W2295509680 hasRelatedWork W1532847365 @default.
- W2295509680 hasRelatedWork W1589427152 @default.
- W2295509680 hasRelatedWork W1976999197 @default.
- W2295509680 hasRelatedWork W1986752535 @default.
- W2295509680 hasRelatedWork W2093203852 @default.
- W2295509680 hasRelatedWork W2112420251 @default.
- W2295509680 hasRelatedWork W2115505335 @default.
- W2295509680 hasRelatedWork W2170192942 @default.
- W2295509680 hasRelatedWork W2363357013 @default.
- W2295509680 hasRelatedWork W2408673862 @default.
- W2295509680 hasRelatedWork W2555427439 @default.
- W2295509680 hasRelatedWork W2799111221 @default.
- W2295509680 hasRelatedWork W2889227506 @default.
- W2295509680 hasRelatedWork W2899119984 @default.
- W2295509680 hasRelatedWork W3044908501 @default.
- W2295509680 hasRelatedWork W3144859928 @default.
- W2295509680 hasRelatedWork W3152207668 @default.
- W2295509680 hasRelatedWork W3188080683 @default.
- W2295509680 hasRelatedWork W2163795822 @default.
- W2295509680 hasRelatedWork W895858515 @default.
- W2295509680 isParatext "false" @default.
- W2295509680 isRetracted "false" @default.
- W2295509680 magId "2295509680" @default.
- W2295509680 workType "article" @default.