Matches in SemOpenAlex for { <https://semopenalex.org/work/W4328112692> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W4328112692 endingPage "50" @default.
- W4328112692 startingPage "41" @default.
- W4328112692 abstract "
 
 
 
 The hundreds of electronic control devices used in an automotive system can effectively communicate with one another, thanks to an in-vehicle network (IVN) like FlexRay. Even though every node in the network will be running on its local clock, a global notion of time is essential. The clock synchronisation algorithm accomplishes this global time between the nodes in FlexRay. In this era of self-driving cars, the vehicle’s safety is paramount. For the vehicle to operate safely and smoothly, timely communication of information is critical, and the clock synchronisation algorithm plays a vital role in this. It is essential to formally test the clock synchronisation algorithm’s correctness. This paper attempts to model and verify the clock synchronisation algorithm of FlexRay using formal methods, which in turn enhance the reliability of safety-critical automotive systems. The clock synchronisation is modelled as a network of six timed automata in the UPPAAL model checker. Three system models were developed, a model for an ideal clock, another for a drifting clock, and a third model considering propagation delay. The precision of the clocks is verified to be within the prescribed limits. Simulation studies are also conducted on the model to ensure that the clock’s drift is always within the precision.
 
 
 
" @default.
- W4328112692 created "2023-03-22" @default.
- W4328112692 creator A5009874994 @default.
- W4328112692 creator A5050974069 @default.
- W4328112692 creator A5065743958 @default.
- W4328112692 date "2023-03-09" @default.
- W4328112692 modified "2023-10-05" @default.
- W4328112692 title "Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay" @default.
- W4328112692 doi "https://doi.org/10.14429/dsj.73.18449" @default.
- W4328112692 hasPublicationYear "2023" @default.
- W4328112692 type Work @default.
- W4328112692 citedByCount "0" @default.
- W4328112692 crossrefType "journal-article" @default.
- W4328112692 hasAuthorship W4328112692A5009874994 @default.
- W4328112692 hasAuthorship W4328112692A5050974069 @default.
- W4328112692 hasAuthorship W4328112692A5065743958 @default.
- W4328112692 hasBestOaLocation W43281126921 @default.
- W4328112692 hasConcept C113074038 @default.
- W4328112692 hasConcept C11413529 @default.
- W4328112692 hasConcept C121332964 @default.
- W4328112692 hasConcept C127162648 @default.
- W4328112692 hasConcept C127204226 @default.
- W4328112692 hasConcept C127413603 @default.
- W4328112692 hasConcept C129891060 @default.
- W4328112692 hasConcept C134652429 @default.
- W4328112692 hasConcept C137059387 @default.
- W4328112692 hasConcept C146978453 @default.
- W4328112692 hasConcept C149635348 @default.
- W4328112692 hasConcept C155837451 @default.
- W4328112692 hasConcept C163258240 @default.
- W4328112692 hasConcept C167822520 @default.
- W4328112692 hasConcept C2777648190 @default.
- W4328112692 hasConcept C2778562939 @default.
- W4328112692 hasConcept C30788636 @default.
- W4328112692 hasConcept C31258907 @default.
- W4328112692 hasConcept C41008148 @default.
- W4328112692 hasConcept C42196554 @default.
- W4328112692 hasConcept C43214815 @default.
- W4328112692 hasConcept C52563298 @default.
- W4328112692 hasConcept C526921623 @default.
- W4328112692 hasConcept C55439883 @default.
- W4328112692 hasConcept C62520636 @default.
- W4328112692 hasConcept C62611344 @default.
- W4328112692 hasConcept C65595194 @default.
- W4328112692 hasConcept C66938386 @default.
- W4328112692 hasConcept C76155785 @default.
- W4328112692 hasConcept C79403827 @default.
- W4328112692 hasConceptScore W4328112692C113074038 @default.
- W4328112692 hasConceptScore W4328112692C11413529 @default.
- W4328112692 hasConceptScore W4328112692C121332964 @default.
- W4328112692 hasConceptScore W4328112692C127162648 @default.
- W4328112692 hasConceptScore W4328112692C127204226 @default.
- W4328112692 hasConceptScore W4328112692C127413603 @default.
- W4328112692 hasConceptScore W4328112692C129891060 @default.
- W4328112692 hasConceptScore W4328112692C134652429 @default.
- W4328112692 hasConceptScore W4328112692C137059387 @default.
- W4328112692 hasConceptScore W4328112692C146978453 @default.
- W4328112692 hasConceptScore W4328112692C149635348 @default.
- W4328112692 hasConceptScore W4328112692C155837451 @default.
- W4328112692 hasConceptScore W4328112692C163258240 @default.
- W4328112692 hasConceptScore W4328112692C167822520 @default.
- W4328112692 hasConceptScore W4328112692C2777648190 @default.
- W4328112692 hasConceptScore W4328112692C2778562939 @default.
- W4328112692 hasConceptScore W4328112692C30788636 @default.
- W4328112692 hasConceptScore W4328112692C31258907 @default.
- W4328112692 hasConceptScore W4328112692C41008148 @default.
- W4328112692 hasConceptScore W4328112692C42196554 @default.
- W4328112692 hasConceptScore W4328112692C43214815 @default.
- W4328112692 hasConceptScore W4328112692C52563298 @default.
- W4328112692 hasConceptScore W4328112692C526921623 @default.
- W4328112692 hasConceptScore W4328112692C55439883 @default.
- W4328112692 hasConceptScore W4328112692C62520636 @default.
- W4328112692 hasConceptScore W4328112692C62611344 @default.
- W4328112692 hasConceptScore W4328112692C65595194 @default.
- W4328112692 hasConceptScore W4328112692C66938386 @default.
- W4328112692 hasConceptScore W4328112692C76155785 @default.
- W4328112692 hasConceptScore W4328112692C79403827 @default.
- W4328112692 hasIssue "1" @default.
- W4328112692 hasLocation W43281126921 @default.
- W4328112692 hasOpenAccess W4328112692 @default.
- W4328112692 hasPrimaryLocation W43281126921 @default.
- W4328112692 hasRelatedWork W1497331638 @default.
- W4328112692 hasRelatedWork W1924044602 @default.
- W4328112692 hasRelatedWork W2006392656 @default.
- W4328112692 hasRelatedWork W2083095101 @default.
- W4328112692 hasRelatedWork W2097148648 @default.
- W4328112692 hasRelatedWork W2164889758 @default.
- W4328112692 hasRelatedWork W2617379879 @default.
- W4328112692 hasRelatedWork W2801120868 @default.
- W4328112692 hasRelatedWork W3093058274 @default.
- W4328112692 hasRelatedWork W4328112692 @default.
- W4328112692 hasVolume "73" @default.
- W4328112692 isParatext "false" @default.
- W4328112692 isRetracted "false" @default.
- W4328112692 workType "article" @default.