FRINK Linked Data Fragments server

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

• W2169054711 abstract "Modeling and analysis of non-functional properties are central concerns in distributed real-time embedded systems. In automotive domain, EAST-ADL is one of the main architectural modeling approaches for real-time embedded systems. In our previous work we introduced the Timing Augmented Description Language V2 (TADL2), which is the new release of the time model for EAST-ADL. It provides new modeling capabilities such as explicit notion of timebase and symbolic timing expressions. In this paper we propose an approach to simulate and analyze TADL2 timing constraints. The formal semantics of TADL2 is given by an exogenous model transformation in QVTo to the Clock Constraint Specification Language (CCSL), a formal language that implements the MARTE Time Model. With this transformation, the analysis of TADL2 constraints become possible through TimeSquare framework dedicated to the analysis of CCSL specifications. The approach is illustrated on the Brake-By-Wire example." @default.
• W2169054711 created "2016-06-24" @default.
• W2169054711 creator A5018665207 @default.
• W2169054711 creator A5022201782 @default.
• W2169054711 creator A5087161990 @default.
• W2169054711 creator A5080940252 @default.
• W2169054711 date "2013-07-01" @default.
• W2169054711 modified "2023-10-18" @default.
• W2169054711 title "Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare" @default.
• W2169054711 cites W1553569918 @default.
• W2169054711 cites W169129071 @default.
• W2169054711 cites W181158405 @default.
• W2169054711 cites W1884819149 @default.
• W2169054711 cites W2160258739 @default.
• W2169054711 cites W4244758738 @default.
• W2169054711 cites W59938129 @default.
• W2169054711 doi "https://doi.org/10.1109/iceccs.2013.28" @default.
• W2169054711 hasPublicationYear "2013" @default.
• W2169054711 type Work @default.
• W2169054711 sameAs 2169054711 @default.
• W2169054711 citedByCount "10" @default.
• W2169054711 countsByYear W21690547112014 @default.
• W2169054711 countsByYear W21690547112016 @default.
• W2169054711 countsByYear W21690547112018 @default.
• W2169054711 countsByYear W21690547112019 @default.
• W2169054711 countsByYear W21690547112022 @default.
• W2169054711 crossrefType "proceedings-article" @default.
• W2169054711 hasAuthorship W2169054711A5018665207 @default.
• W2169054711 hasAuthorship W2169054711A5022201782 @default.
• W2169054711 hasAuthorship W2169054711A5080940252 @default.
• W2169054711 hasAuthorship W2169054711A5087161990 @default.
• W2169054711 hasBestOaLocation W21690547112 @default.
• W2169054711 hasConcept C104317684 @default.
• W2169054711 hasConcept C115903868 @default.
• W2169054711 hasConcept C116253237 @default.
• W2169054711 hasConcept C127413603 @default.
• W2169054711 hasConcept C134306372 @default.
• W2169054711 hasConcept C146072743 @default.
• W2169054711 hasConcept C146499914 @default.
• W2169054711 hasConcept C146978453 @default.
• W2169054711 hasConcept C154945302 @default.
• W2169054711 hasConcept C17744445 @default.
• W2169054711 hasConcept C184337299 @default.
• W2169054711 hasConcept C185592680 @default.
• W2169054711 hasConcept C199360897 @default.
• W2169054711 hasConcept C199539241 @default.
• W2169054711 hasConcept C204241405 @default.
• W2169054711 hasConcept C2775907273 @default.
• W2169054711 hasConcept C2776036281 @default.
• W2169054711 hasConcept C2776436953 @default.
• W2169054711 hasConcept C2779791154 @default.
• W2169054711 hasConcept C33923547 @default.
• W2169054711 hasConcept C36503486 @default.
• W2169054711 hasConcept C41008148 @default.
• W2169054711 hasConcept C526921623 @default.
• W2169054711 hasConcept C55493867 @default.
• W2169054711 hasConcept C75606506 @default.
• W2169054711 hasConcept C78519656 @default.
• W2169054711 hasConceptScore W2169054711C104317684 @default.
• W2169054711 hasConceptScore W2169054711C115903868 @default.
• W2169054711 hasConceptScore W2169054711C116253237 @default.
• W2169054711 hasConceptScore W2169054711C127413603 @default.
• W2169054711 hasConceptScore W2169054711C134306372 @default.
• W2169054711 hasConceptScore W2169054711C146072743 @default.
• W2169054711 hasConceptScore W2169054711C146499914 @default.
• W2169054711 hasConceptScore W2169054711C146978453 @default.
• W2169054711 hasConceptScore W2169054711C154945302 @default.
• W2169054711 hasConceptScore W2169054711C17744445 @default.
• W2169054711 hasConceptScore W2169054711C184337299 @default.
• W2169054711 hasConceptScore W2169054711C185592680 @default.
• W2169054711 hasConceptScore W2169054711C199360897 @default.
• W2169054711 hasConceptScore W2169054711C199539241 @default.
• W2169054711 hasConceptScore W2169054711C204241405 @default.
• W2169054711 hasConceptScore W2169054711C2775907273 @default.
• W2169054711 hasConceptScore W2169054711C2776036281 @default.
• W2169054711 hasConceptScore W2169054711C2776436953 @default.
• W2169054711 hasConceptScore W2169054711C2779791154 @default.
• W2169054711 hasConceptScore W2169054711C33923547 @default.
• W2169054711 hasConceptScore W2169054711C36503486 @default.
• W2169054711 hasConceptScore W2169054711C41008148 @default.
• W2169054711 hasConceptScore W2169054711C526921623 @default.
• W2169054711 hasConceptScore W2169054711C55493867 @default.
• W2169054711 hasConceptScore W2169054711C75606506 @default.
• W2169054711 hasConceptScore W2169054711C78519656 @default.
• W2169054711 hasLocation W21690547111 @default.
• W2169054711 hasLocation W21690547112 @default.
• W2169054711 hasLocation W21690547113 @default.
• W2169054711 hasLocation W21690547114 @default.
• W2169054711 hasLocation W21690547115 @default.
• W2169054711 hasOpenAccess W2169054711 @default.
• W2169054711 hasPrimaryLocation W21690547111 @default.
• W2169054711 hasRelatedWork W108810813 @default.
• W2169054711 hasRelatedWork W2119895020 @default.
• W2169054711 hasRelatedWork W2124431509 @default.
• W2169054711 hasRelatedWork W2124981297 @default.
• W2169054711 hasRelatedWork W2146445117 @default.
• W2169054711 hasRelatedWork W2156223462 @default.
• W2169054711 hasRelatedWork W25224113 @default.
• W2169054711 hasRelatedWork W2576260943 @default.
• W2169054711 hasRelatedWork W2721743027 @default.

• next