Matches in SemOpenAlex for { <https://semopenalex.org/work/W2938663211> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2938663211 abstract "Modeling and analysis of timing constraints is crucial in cyber-physical systems (CPS). EAST-ADL is an architectural language dedicated to safety-critical embedded system design. SIMULINK/STATEFLOW (S/S) is a widely used industrial tool for modeling and analysis of embedded systems. In most cases, a bounded number of violations of timing constraints in systems would not lead to system failures when the results of the violations are negligible, called Weakly-Hard (WH). We have previously defined a probabilistic extension of Clock Constraint Specification Language (CCSL), called PrCCSL, for formal specification of EAST-ADL timing constraints in the context of WH. In this paper, we propose an SMT-based approach for probabilistic analysis of EAST-ADL timing constraints in CPS modeled in S/S: an automatic transformation from S/S models to the input language of SMT solver is provided; timing constraints specified in PrCCSL are encoded into SMT formulas and the probabilistic analysis of timing constraints is reduced to the validity checking of the resulting SMT encodings. Our approach is demonstrated a cooperative automotive system case study." @default.
- W2938663211 created "2019-04-25" @default.
- W2938663211 creator A5004303721 @default.
- W2938663211 creator A5063035156 @default.
- W2938663211 date "2019-04-15" @default.
- W2938663211 modified "2023-10-18" @default.
- W2938663211 title "SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems" @default.
- W2938663211 cites W2133620399 @default.
- W2938663211 cites W2811396066 @default.
- W2938663211 cites W2888646216 @default.
- W2938663211 hasPublicationYear "2019" @default.
- W2938663211 type Work @default.
- W2938663211 sameAs 2938663211 @default.
- W2938663211 citedByCount "0" @default.
- W2938663211 crossrefType "posted-content" @default.
- W2938663211 hasAuthorship W2938663211A5004303721 @default.
- W2938663211 hasAuthorship W2938663211A5063035156 @default.
- W2938663211 hasConcept C110251889 @default.
- W2938663211 hasConcept C111919701 @default.
- W2938663211 hasConcept C127413603 @default.
- W2938663211 hasConcept C149635348 @default.
- W2938663211 hasConcept C151730666 @default.
- W2938663211 hasConcept C154945302 @default.
- W2938663211 hasConcept C179768478 @default.
- W2938663211 hasConcept C199360897 @default.
- W2938663211 hasConcept C2776036281 @default.
- W2938663211 hasConcept C2776436953 @default.
- W2938663211 hasConcept C2779343474 @default.
- W2938663211 hasConcept C2779752788 @default.
- W2938663211 hasConcept C2779791154 @default.
- W2938663211 hasConcept C2780365114 @default.
- W2938663211 hasConcept C41008148 @default.
- W2938663211 hasConcept C49937458 @default.
- W2938663211 hasConcept C75606506 @default.
- W2938663211 hasConcept C78519656 @default.
- W2938663211 hasConcept C86803240 @default.
- W2938663211 hasConcept C93682380 @default.
- W2938663211 hasConceptScore W2938663211C110251889 @default.
- W2938663211 hasConceptScore W2938663211C111919701 @default.
- W2938663211 hasConceptScore W2938663211C127413603 @default.
- W2938663211 hasConceptScore W2938663211C149635348 @default.
- W2938663211 hasConceptScore W2938663211C151730666 @default.
- W2938663211 hasConceptScore W2938663211C154945302 @default.
- W2938663211 hasConceptScore W2938663211C179768478 @default.
- W2938663211 hasConceptScore W2938663211C199360897 @default.
- W2938663211 hasConceptScore W2938663211C2776036281 @default.
- W2938663211 hasConceptScore W2938663211C2776436953 @default.
- W2938663211 hasConceptScore W2938663211C2779343474 @default.
- W2938663211 hasConceptScore W2938663211C2779752788 @default.
- W2938663211 hasConceptScore W2938663211C2779791154 @default.
- W2938663211 hasConceptScore W2938663211C2780365114 @default.
- W2938663211 hasConceptScore W2938663211C41008148 @default.
- W2938663211 hasConceptScore W2938663211C49937458 @default.
- W2938663211 hasConceptScore W2938663211C75606506 @default.
- W2938663211 hasConceptScore W2938663211C78519656 @default.
- W2938663211 hasConceptScore W2938663211C86803240 @default.
- W2938663211 hasConceptScore W2938663211C93682380 @default.
- W2938663211 hasLocation W29386632111 @default.
- W2938663211 hasOpenAccess W2938663211 @default.
- W2938663211 hasPrimaryLocation W29386632111 @default.
- W2938663211 hasRelatedWork W1495932835 @default.
- W2938663211 hasRelatedWork W1511196089 @default.
- W2938663211 hasRelatedWork W1854878948 @default.
- W2938663211 hasRelatedWork W1935794989 @default.
- W2938663211 hasRelatedWork W2019950445 @default.
- W2938663211 hasRelatedWork W2090051150 @default.
- W2938663211 hasRelatedWork W2099633493 @default.
- W2938663211 hasRelatedWork W2112269757 @default.
- W2938663211 hasRelatedWork W2474114533 @default.
- W2938663211 hasRelatedWork W2560250268 @default.
- W2938663211 hasRelatedWork W2808964174 @default.
- W2938663211 hasRelatedWork W2900434686 @default.
- W2938663211 hasRelatedWork W2905500136 @default.
- W2938663211 hasRelatedWork W2969935473 @default.
- W2938663211 hasRelatedWork W2996306923 @default.
- W2938663211 hasRelatedWork W3122914370 @default.
- W2938663211 hasRelatedWork W3124032321 @default.
- W2938663211 hasRelatedWork W3137025521 @default.
- W2938663211 hasRelatedWork W3197445978 @default.
- W2938663211 hasRelatedWork W2147833947 @default.
- W2938663211 isParatext "false" @default.
- W2938663211 isRetracted "false" @default.
- W2938663211 magId "2938663211" @default.
- W2938663211 workType "article" @default.