FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514507119> ?p ?o ?g. }

• W1514507119 endingPage "337" @default.
• W1514507119 startingPage "328" @default.
• W1514507119 abstract "The influence of the systems architecture on the functions and other properties of embedded systems makes its high level analysis and verification very desirable. EASTADL is an architecture description language dedicated to automotive embedded system design with focus on structural and functional modeling. The behavioral description is not integrated within the execution semantics, which makes it harder to transform, analyze, and verify EAST-ADL models. Model-based techniques help to address this issue by enabling automated transformation between different design models, and providing means for simulation and verification. We present a way of integrating architectural models and verification techniques, which has been implemented in a tool called ViTAL. Consequently, ViTAL provides the possibility to express the functional EAST-ADL behavior as timed automata models, which have precise semantics and can be formally verified. The ViTAL tool enables the transformation of EASTADL functional models to the UPPAAL PORT tool for model checking. This method improves the verification of functional and timing requirements in EAST-ADL, and makes it possible to identify dependencies and potential conflicts between different vehicle functions before the actual AUTOSAR implementation." @default.
• W1514507119 created "2016-06-24" @default.
• W1514507119 creator A5016735339 @default.
• W1514507119 creator A5025773724 @default.
• W1514507119 creator A5037948491 @default.
• W1514507119 creator A5079870005 @default.
• W1514507119 date "2012-07-18" @default.
• W1514507119 modified "2023-10-02" @default.
• W1514507119 title "ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT" @default.
• W1514507119 cites W1514233891 @default.
• W1514507119 cites W1560730347 @default.
• W1514507119 cites W1571882816 @default.
• W1514507119 cites W1633851666 @default.
• W1514507119 cites W169129071 @default.
• W1514507119 cites W1700595761 @default.
• W1514507119 cites W1925636530 @default.
• W1514507119 cites W1968552123 @default.
• W1514507119 cites W1975051432 @default.
• W1514507119 cites W2015730920 @default.
• W1514507119 cites W2048108683 @default.
• W1514507119 cites W2059902621 @default.
• W1514507119 cites W2101508170 @default.
• W1514507119 cites W2111691442 @default.
• W1514507119 cites W2112551798 @default.
• W1514507119 cites W2141601374 @default.
• W1514507119 cites W2168998116 @default.
• W1514507119 cites W2267232325 @default.
• W1514507119 cites W86270318 @default.
• W1514507119 doi "https://doi.org/10.1109/iceccs.2012.42" @default.
• W1514507119 hasPublicationYear "2012" @default.
• W1514507119 type Work @default.
• W1514507119 sameAs 1514507119 @default.
• W1514507119 citedByCount "11" @default.
• W1514507119 countsByYear W15145071192012 @default.
• W1514507119 countsByYear W15145071192013 @default.
• W1514507119 countsByYear W15145071192014 @default.
• W1514507119 countsByYear W15145071192015 @default.
• W1514507119 countsByYear W15145071192016 @default.
• W1514507119 countsByYear W15145071192019 @default.
• W1514507119 crossrefType "proceedings-article" @default.
• W1514507119 hasAuthorship W1514507119A5016735339 @default.
• W1514507119 hasAuthorship W1514507119A5025773724 @default.
• W1514507119 hasAuthorship W1514507119A5037948491 @default.
• W1514507119 hasAuthorship W1514507119A5079870005 @default.
• W1514507119 hasConcept C110251889 @default.
• W1514507119 hasConcept C111498074 @default.
• W1514507119 hasConcept C112505250 @default.
• W1514507119 hasConcept C115903868 @default.
• W1514507119 hasConcept C123657996 @default.
• W1514507119 hasConcept C127413603 @default.
• W1514507119 hasConcept C142362112 @default.
• W1514507119 hasConcept C145644426 @default.
• W1514507119 hasConcept C146499914 @default.
• W1514507119 hasConcept C146978453 @default.
• W1514507119 hasConcept C149635348 @default.
• W1514507119 hasConcept C153349607 @default.
• W1514507119 hasConcept C154945302 @default.
• W1514507119 hasConcept C184337299 @default.
• W1514507119 hasConcept C199360897 @default.
• W1514507119 hasConcept C2776436953 @default.
• W1514507119 hasConcept C2777904410 @default.
• W1514507119 hasConcept C2778602020 @default.
• W1514507119 hasConcept C2779791154 @default.
• W1514507119 hasConcept C41008148 @default.
• W1514507119 hasConcept C526921623 @default.
• W1514507119 hasConcept C62460635 @default.
• W1514507119 hasConcept C78639753 @default.
• W1514507119 hasConceptScore W1514507119C110251889 @default.
• W1514507119 hasConceptScore W1514507119C111498074 @default.
• W1514507119 hasConceptScore W1514507119C112505250 @default.
• W1514507119 hasConceptScore W1514507119C115903868 @default.
• W1514507119 hasConceptScore W1514507119C123657996 @default.
• W1514507119 hasConceptScore W1514507119C127413603 @default.
• W1514507119 hasConceptScore W1514507119C142362112 @default.
• W1514507119 hasConceptScore W1514507119C145644426 @default.
• W1514507119 hasConceptScore W1514507119C146499914 @default.
• W1514507119 hasConceptScore W1514507119C146978453 @default.
• W1514507119 hasConceptScore W1514507119C149635348 @default.
• W1514507119 hasConceptScore W1514507119C153349607 @default.
• W1514507119 hasConceptScore W1514507119C154945302 @default.
• W1514507119 hasConceptScore W1514507119C184337299 @default.
• W1514507119 hasConceptScore W1514507119C199360897 @default.
• W1514507119 hasConceptScore W1514507119C2776436953 @default.
• W1514507119 hasConceptScore W1514507119C2777904410 @default.
• W1514507119 hasConceptScore W1514507119C2778602020 @default.
• W1514507119 hasConceptScore W1514507119C2779791154 @default.
• W1514507119 hasConceptScore W1514507119C41008148 @default.
• W1514507119 hasConceptScore W1514507119C526921623 @default.
• W1514507119 hasConceptScore W1514507119C62460635 @default.
• W1514507119 hasConceptScore W1514507119C78639753 @default.
• W1514507119 hasLocation W15145071191 @default.
• W1514507119 hasOpenAccess W1514507119 @default.
• W1514507119 hasPrimaryLocation W15145071191 @default.
• W1514507119 hasRelatedWork W129252264 @default.
• W1514507119 hasRelatedWork W1514233891 @default.
• W1514507119 hasRelatedWork W169129071 @default.
• W1514507119 hasRelatedWork W1763952687 @default.
• W1514507119 hasRelatedWork W1962072139 @default.

• next