Matches in SemOpenAlex for { <https://semopenalex.org/work/W2902815141> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2902815141 abstract "Safety critical systems like aircrafts, launch vehicles and satellites require a reliable communication protocol to guarantee their functioning without errors. Equally important is the validation and verification of the hardware and software in such systems to avoid unexpected faults during flight. A comparison of two widely used standards, AFDX and MIL-STD- 1553B, is attempted through formal verification in this work. The robustness of AFDX protocol, used in aviation, is validated by model checking with SPIN. Similarly, the MIL-STD-1553B protocol, widely used in the launch vehicle arena, is modelled and verified using SPIN. Each element in both protocols is represented as a process, along with necessary channels and timing parameters, and random errors are simulated. The required specifications are modelled using equivalent Linear Temporal Logic (LTL) properties. On simulation and verification, some of the properties are violated for AFDX, while all the properties are found to be satisfied for the 1553B model, thus proving the robustness of the 1553B protocol and its suitability for aerospace and military applications." @default.
- W2902815141 created "2018-12-11" @default.
- W2902815141 creator A5019974463 @default.
- W2902815141 creator A5071782159 @default.
- W2902815141 date "2018-09-01" @default.
- W2902815141 modified "2023-10-16" @default.
- W2902815141 title "A Comparison of AFDX and 1553B Protocols Using Formal Verification" @default.
- W2902815141 cites W1516197590 @default.
- W2902815141 cites W1539432158 @default.
- W2902815141 cites W1563778567 @default.
- W2902815141 cites W1574229245 @default.
- W2902815141 cites W1964364965 @default.
- W2902815141 cites W2118555022 @default.
- W2902815141 cites W2157628388 @default.
- W2902815141 cites W2330593560 @default.
- W2902815141 cites W2562957279 @default.
- W2902815141 doi "https://doi.org/10.1109/icacci.2018.8554434" @default.
- W2902815141 hasPublicationYear "2018" @default.
- W2902815141 type Work @default.
- W2902815141 sameAs 2902815141 @default.
- W2902815141 citedByCount "1" @default.
- W2902815141 countsByYear W29028151412022 @default.
- W2902815141 crossrefType "proceedings-article" @default.
- W2902815141 hasAuthorship W2902815141A5019974463 @default.
- W2902815141 hasAuthorship W2902815141A5071782159 @default.
- W2902815141 hasConcept C104317684 @default.
- W2902815141 hasConcept C110251889 @default.
- W2902815141 hasConcept C111498074 @default.
- W2902815141 hasConcept C111919701 @default.
- W2902815141 hasConcept C11413529 @default.
- W2902815141 hasConcept C115903868 @default.
- W2902815141 hasConcept C127413603 @default.
- W2902815141 hasConcept C142724271 @default.
- W2902815141 hasConcept C146978453 @default.
- W2902815141 hasConcept C149635348 @default.
- W2902815141 hasConcept C167740415 @default.
- W2902815141 hasConcept C185592680 @default.
- W2902815141 hasConcept C204787440 @default.
- W2902815141 hasConcept C2777904410 @default.
- W2902815141 hasConcept C2780385302 @default.
- W2902815141 hasConcept C41008148 @default.
- W2902815141 hasConcept C55493867 @default.
- W2902815141 hasConcept C63479239 @default.
- W2902815141 hasConcept C71924100 @default.
- W2902815141 hasConcept C75606506 @default.
- W2902815141 hasConceptScore W2902815141C104317684 @default.
- W2902815141 hasConceptScore W2902815141C110251889 @default.
- W2902815141 hasConceptScore W2902815141C111498074 @default.
- W2902815141 hasConceptScore W2902815141C111919701 @default.
- W2902815141 hasConceptScore W2902815141C11413529 @default.
- W2902815141 hasConceptScore W2902815141C115903868 @default.
- W2902815141 hasConceptScore W2902815141C127413603 @default.
- W2902815141 hasConceptScore W2902815141C142724271 @default.
- W2902815141 hasConceptScore W2902815141C146978453 @default.
- W2902815141 hasConceptScore W2902815141C149635348 @default.
- W2902815141 hasConceptScore W2902815141C167740415 @default.
- W2902815141 hasConceptScore W2902815141C185592680 @default.
- W2902815141 hasConceptScore W2902815141C204787440 @default.
- W2902815141 hasConceptScore W2902815141C2777904410 @default.
- W2902815141 hasConceptScore W2902815141C2780385302 @default.
- W2902815141 hasConceptScore W2902815141C41008148 @default.
- W2902815141 hasConceptScore W2902815141C55493867 @default.
- W2902815141 hasConceptScore W2902815141C63479239 @default.
- W2902815141 hasConceptScore W2902815141C71924100 @default.
- W2902815141 hasConceptScore W2902815141C75606506 @default.
- W2902815141 hasLocation W29028151411 @default.
- W2902815141 hasOpenAccess W2902815141 @default.
- W2902815141 hasPrimaryLocation W29028151411 @default.
- W2902815141 hasRelatedWork W1496005850 @default.
- W2902815141 hasRelatedWork W1516197590 @default.
- W2902815141 hasRelatedWork W1548431414 @default.
- W2902815141 hasRelatedWork W1555281169 @default.
- W2902815141 hasRelatedWork W1566834790 @default.
- W2902815141 hasRelatedWork W176400115 @default.
- W2902815141 hasRelatedWork W2360574714 @default.
- W2902815141 hasRelatedWork W2370841479 @default.
- W2902815141 hasRelatedWork W2533812371 @default.
- W2902815141 hasRelatedWork W2809714943 @default.
- W2902815141 isParatext "false" @default.
- W2902815141 isRetracted "false" @default.
- W2902815141 magId "2902815141" @default.
- W2902815141 workType "article" @default.