Matches in SemOpenAlex for { <https://semopenalex.org/work/W2366158713> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2366158713 abstract "The high-speed train control system is a typical distributed real-time system,in which time constraints are mainly focused on the operation scenarios between subsystems.The extension of the temporal logic can not meet all needs of describing the properties of the distributed real-time system.The scenarios of the train control system are often described in terms of the deadline,time-out and wait until and so on.Insufficiency exists in the above formal descriptions and also in verification along with intensification of the complexity of the system.In this paper,the modeling and verification methods suitable for the scenarios of the train control system are introduced.Firstly,HCSP is used to model the distributed real-time system.Secondly,the HCSP models are transformed to the TA models according to transition rules.Finally,automatic verification is accomplished with the checking tool UPPAAL.The effectiveness of the proposed modeling and verification methods are proved through simulation and analysis of RBC handover scenarios." @default.
- W2366158713 created "2016-06-24" @default.
- W2366158713 creator A5067908158 @default.
- W2366158713 date "2011-01-01" @default.
- W2366158713 modified "2023-09-23" @default.
- W2366158713 title "Modeling and Verification of Time Constraints of Operation Scenarios of High-speed Train Control System" @default.
- W2366158713 hasPublicationYear "2011" @default.
- W2366158713 type Work @default.
- W2366158713 sameAs 2366158713 @default.
- W2366158713 citedByCount "4" @default.
- W2366158713 countsByYear W23661587132013 @default.
- W2366158713 countsByYear W23661587132015 @default.
- W2366158713 countsByYear W23661587132018 @default.
- W2366158713 crossrefType "journal-article" @default.
- W2366158713 hasAuthorship W2366158713A5067908158 @default.
- W2366158713 hasConcept C110251889 @default.
- W2366158713 hasConcept C111498074 @default.
- W2366158713 hasConcept C11413529 @default.
- W2366158713 hasConcept C118974865 @default.
- W2366158713 hasConcept C119599485 @default.
- W2366158713 hasConcept C120314980 @default.
- W2366158713 hasConcept C127413603 @default.
- W2366158713 hasConcept C133731056 @default.
- W2366158713 hasConcept C154945302 @default.
- W2366158713 hasConcept C17500928 @default.
- W2366158713 hasConcept C199360897 @default.
- W2366158713 hasConcept C25016198 @default.
- W2366158713 hasConcept C2775924081 @default.
- W2366158713 hasConcept C41008148 @default.
- W2366158713 hasConcept C79403827 @default.
- W2366158713 hasConceptScore W2366158713C110251889 @default.
- W2366158713 hasConceptScore W2366158713C111498074 @default.
- W2366158713 hasConceptScore W2366158713C11413529 @default.
- W2366158713 hasConceptScore W2366158713C118974865 @default.
- W2366158713 hasConceptScore W2366158713C119599485 @default.
- W2366158713 hasConceptScore W2366158713C120314980 @default.
- W2366158713 hasConceptScore W2366158713C127413603 @default.
- W2366158713 hasConceptScore W2366158713C133731056 @default.
- W2366158713 hasConceptScore W2366158713C154945302 @default.
- W2366158713 hasConceptScore W2366158713C17500928 @default.
- W2366158713 hasConceptScore W2366158713C199360897 @default.
- W2366158713 hasConceptScore W2366158713C25016198 @default.
- W2366158713 hasConceptScore W2366158713C2775924081 @default.
- W2366158713 hasConceptScore W2366158713C41008148 @default.
- W2366158713 hasConceptScore W2366158713C79403827 @default.
- W2366158713 hasLocation W23661587131 @default.
- W2366158713 hasOpenAccess W2366158713 @default.
- W2366158713 hasPrimaryLocation W23661587131 @default.
- W2366158713 hasRelatedWork W100630360 @default.
- W2366158713 hasRelatedWork W1505627011 @default.
- W2366158713 hasRelatedWork W1603405967 @default.
- W2366158713 hasRelatedWork W1786452676 @default.
- W2366158713 hasRelatedWork W2030986864 @default.
- W2366158713 hasRelatedWork W2035955209 @default.
- W2366158713 hasRelatedWork W2041771590 @default.
- W2366158713 hasRelatedWork W2069587123 @default.
- W2366158713 hasRelatedWork W2073287202 @default.
- W2366158713 hasRelatedWork W2087134966 @default.
- W2366158713 hasRelatedWork W2111044408 @default.
- W2366158713 hasRelatedWork W2133088593 @default.
- W2366158713 hasRelatedWork W2143728784 @default.
- W2366158713 hasRelatedWork W220787569 @default.
- W2366158713 hasRelatedWork W2378553393 @default.
- W2366158713 hasRelatedWork W2566646675 @default.
- W2366158713 hasRelatedWork W3023968923 @default.
- W2366158713 hasRelatedWork W3032317939 @default.
- W2366158713 hasRelatedWork W3195795910 @default.
- W2366158713 hasRelatedWork W3191503230 @default.
- W2366158713 isParatext "false" @default.
- W2366158713 isRetracted "false" @default.
- W2366158713 magId "2366158713" @default.
- W2366158713 workType "article" @default.