Matches in SemOpenAlex for { <https://semopenalex.org/work/W3201201652> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3201201652 abstract "Modeling and verifying safety-critical scenarios of Autonomous Driving System (ADS) have increasingly attracted attention from academy and industry. The major challenge is lacking the domain-specific modeling language for ADS. To deal with this problem, we design and implement an Autonomous Driving Scenario Modeling Language (ADSML) based on the domain knowledge. The metamodel of ADSML describes the modeling elements and their relationships, which is used to capture the specific features of scenario. The concrete syntax of ADSML makes it easy to specify complex relationships among scenario elements, more important, we propose the contract module of ADSML to model the dynamic aspects of scenario. We use the semantics of Stochastic Hybrid Automata (SHA) to specify the dynamic behaviors in scenarios, which is seamlessly integrated with the model checker UPPAAL-SMC. With the help of the automatic model transformation, the ADSML models can be verified with UPPAAL-SMC to analyze the behaviors in scenarios. To demonstrate the feasibility, the scenario of lane change overtaking is modeled and some safety-critical properties are analyzed. The novelty of our approach is that it integrates the advantages of visual modeling and formal modeling. It helps the designers to model and verify the scenario models of autonomous driving systems." @default.
- W3201201652 created "2021-09-27" @default.
- W3201201652 creator A5014788258 @default.
- W3201201652 creator A5033308941 @default.
- W3201201652 creator A5059252797 @default.
- W3201201652 creator A5073014859 @default.
- W3201201652 date "2021-07-01" @default.
- W3201201652 modified "2023-09-23" @default.
- W3201201652 title "Towards Verified Safety-critical Autonomous Driving Scenario with ADSML" @default.
- W3201201652 cites W2008814617 @default.
- W3201201652 cites W2118017610 @default.
- W3201201652 cites W2139872812 @default.
- W3201201652 cites W2166423024 @default.
- W3201201652 cites W2514314667 @default.
- W3201201652 cites W2740508249 @default.
- W3201201652 cites W2911847762 @default.
- W3201201652 cites W2970089253 @default.
- W3201201652 cites W3098394944 @default.
- W3201201652 doi "https://doi.org/10.1109/compsac51774.2021.00187" @default.
- W3201201652 hasPublicationYear "2021" @default.
- W3201201652 type Work @default.
- W3201201652 sameAs 3201201652 @default.
- W3201201652 citedByCount "1" @default.
- W3201201652 countsByYear W32012016522023 @default.
- W3201201652 crossrefType "proceedings-article" @default.
- W3201201652 hasAuthorship W3201201652A5014788258 @default.
- W3201201652 hasAuthorship W3201201652A5033308941 @default.
- W3201201652 hasAuthorship W3201201652A5059252797 @default.
- W3201201652 hasAuthorship W3201201652A5073014859 @default.
- W3201201652 hasConcept C110251889 @default.
- W3201201652 hasConcept C112505250 @default.
- W3201201652 hasConcept C115903868 @default.
- W3201201652 hasConcept C127413603 @default.
- W3201201652 hasConcept C134306372 @default.
- W3201201652 hasConcept C135257023 @default.
- W3201201652 hasConcept C138885662 @default.
- W3201201652 hasConcept C145644426 @default.
- W3201201652 hasConcept C147176958 @default.
- W3201201652 hasConcept C154945302 @default.
- W3201201652 hasConcept C179603123 @default.
- W3201201652 hasConcept C184337299 @default.
- W3201201652 hasConcept C199360897 @default.
- W3201201652 hasConcept C27206212 @default.
- W3201201652 hasConcept C2776436953 @default.
- W3201201652 hasConcept C2777904410 @default.
- W3201201652 hasConcept C2778448659 @default.
- W3201201652 hasConcept C2778738651 @default.
- W3201201652 hasConcept C2779791154 @default.
- W3201201652 hasConcept C2780330621 @default.
- W3201201652 hasConcept C33923547 @default.
- W3201201652 hasConcept C36503486 @default.
- W3201201652 hasConcept C41008148 @default.
- W3201201652 hasConcept C509989072 @default.
- W3201201652 hasConcept C86610423 @default.
- W3201201652 hasConceptScore W3201201652C110251889 @default.
- W3201201652 hasConceptScore W3201201652C112505250 @default.
- W3201201652 hasConceptScore W3201201652C115903868 @default.
- W3201201652 hasConceptScore W3201201652C127413603 @default.
- W3201201652 hasConceptScore W3201201652C134306372 @default.
- W3201201652 hasConceptScore W3201201652C135257023 @default.
- W3201201652 hasConceptScore W3201201652C138885662 @default.
- W3201201652 hasConceptScore W3201201652C145644426 @default.
- W3201201652 hasConceptScore W3201201652C147176958 @default.
- W3201201652 hasConceptScore W3201201652C154945302 @default.
- W3201201652 hasConceptScore W3201201652C179603123 @default.
- W3201201652 hasConceptScore W3201201652C184337299 @default.
- W3201201652 hasConceptScore W3201201652C199360897 @default.
- W3201201652 hasConceptScore W3201201652C27206212 @default.
- W3201201652 hasConceptScore W3201201652C2776436953 @default.
- W3201201652 hasConceptScore W3201201652C2777904410 @default.
- W3201201652 hasConceptScore W3201201652C2778448659 @default.
- W3201201652 hasConceptScore W3201201652C2778738651 @default.
- W3201201652 hasConceptScore W3201201652C2779791154 @default.
- W3201201652 hasConceptScore W3201201652C2780330621 @default.
- W3201201652 hasConceptScore W3201201652C33923547 @default.
- W3201201652 hasConceptScore W3201201652C36503486 @default.
- W3201201652 hasConceptScore W3201201652C41008148 @default.
- W3201201652 hasConceptScore W3201201652C509989072 @default.
- W3201201652 hasConceptScore W3201201652C86610423 @default.
- W3201201652 hasFunder F4320309618 @default.
- W3201201652 hasFunder F4320321001 @default.
- W3201201652 hasLocation W32012016521 @default.
- W3201201652 hasOpenAccess W3201201652 @default.
- W3201201652 hasPrimaryLocation W32012016521 @default.
- W3201201652 hasRelatedWork W146741592 @default.
- W3201201652 hasRelatedWork W1833127868 @default.
- W3201201652 hasRelatedWork W1986543151 @default.
- W3201201652 hasRelatedWork W2026193949 @default.
- W3201201652 hasRelatedWork W2031633255 @default.
- W3201201652 hasRelatedWork W2058640402 @default.
- W3201201652 hasRelatedWork W2160517915 @default.
- W3201201652 hasRelatedWork W2487805831 @default.
- W3201201652 hasRelatedWork W2670211697 @default.
- W3201201652 hasRelatedWork W3201201652 @default.
- W3201201652 isParatext "false" @default.
- W3201201652 isRetracted "false" @default.
- W3201201652 magId "3201201652" @default.
- W3201201652 workType "article" @default.