Matches in SemOpenAlex for { <https://semopenalex.org/work/W3186128986> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3186128986 endingPage "504" @default.
- W3186128986 startingPage "491" @default.
- W3186128986 abstract "Abstract We present the $$textsc {Hybrid}textsc {Synch}textsc {AADL}$$ <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML><mml:mrow><mml:mi>H</mml:mi><mml:mstyle><mml:mi>Y</mml:mi><mml:mi>B</mml:mi><mml:mi>R</mml:mi><mml:mi>I</mml:mi><mml:mi>D</mml:mi></mml:mstyle><mml:mi>S</mml:mi><mml:mstyle><mml:mi>Y</mml:mi><mml:mi>N</mml:mi><mml:mi>C</mml:mi><mml:mi>H</mml:mi></mml:mstyle><mml:mi>AADL</mml:mi></mml:mrow></mml:math> modeling language and formal analysis tool for virtually synchronous cyber-physical systems with complex control programs, continuous behaviors, bounded clock skews, network delays, and execution times. We leverage the Hybrid PALS equivalence, so that it is sufficient to model and verify the simpler underlying synchronous designs. We define the $$textsc {Hybrid}textsc {Synch}textsc {AADL}$$ <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML><mml:mrow><mml:mi>H</mml:mi><mml:mstyle><mml:mi>Y</mml:mi><mml:mi>B</mml:mi><mml:mi>R</mml:mi><mml:mi>I</mml:mi><mml:mi>D</mml:mi></mml:mstyle><mml:mi>S</mml:mi><mml:mstyle><mml:mi>Y</mml:mi><mml:mi>N</mml:mi><mml:mi>C</mml:mi><mml:mi>H</mml:mi></mml:mstyle><mml:mi>AADL</mml:mi></mml:mrow></mml:math> language as a sublanguage of the avionics modeling standard AADL for modeling such designs in AADL, and demonstrate the effectiveness of $$textsc {Hybrid}textsc {Synch}textsc {AADL}$$ <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML><mml:mrow><mml:mi>H</mml:mi><mml:mstyle><mml:mi>Y</mml:mi><mml:mi>B</mml:mi><mml:mi>R</mml:mi><mml:mi>I</mml:mi><mml:mi>D</mml:mi></mml:mstyle><mml:mi>S</mml:mi><mml:mstyle><mml:mi>Y</mml:mi><mml:mi>N</mml:mi><mml:mi>C</mml:mi><mml:mi>H</mml:mi></mml:mstyle><mml:mi>AADL</mml:mi></mml:mrow></mml:math> on a number of applications." @default.
- W3186128986 created "2021-08-02" @default.
- W3186128986 creator A5009618708 @default.
- W3186128986 creator A5044912860 @default.
- W3186128986 creator A5078403066 @default.
- W3186128986 creator A5085748879 @default.
- W3186128986 date "2021-01-01" @default.
- W3186128986 modified "2023-09-30" @default.
- W3186128986 title "Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL" @default.
- W3186128986 cites W1128447031 @default.
- W3186128986 cites W13437880 @default.
- W3186128986 cites W135312039 @default.
- W3186128986 cites W1524666448 @default.
- W3186128986 cites W1630241696 @default.
- W3186128986 cites W172589331 @default.
- W3186128986 cites W1971575936 @default.
- W3186128986 cites W1992237252 @default.
- W3186128986 cites W1998280772 @default.
- W3186128986 cites W2023014376 @default.
- W3186128986 cites W2047277035 @default.
- W3186128986 cites W2077349223 @default.
- W3186128986 cites W2113676016 @default.
- W3186128986 cites W213397635 @default.
- W3186128986 cites W2135969459 @default.
- W3186128986 cites W2137787952 @default.
- W3186128986 cites W2144933658 @default.
- W3186128986 cites W2149519129 @default.
- W3186128986 cites W2154561484 @default.
- W3186128986 cites W2156919819 @default.
- W3186128986 cites W2166280160 @default.
- W3186128986 cites W2171945201 @default.
- W3186128986 cites W2176215692 @default.
- W3186128986 cites W2227687887 @default.
- W3186128986 cites W2233716933 @default.
- W3186128986 cites W2340083835 @default.
- W3186128986 cites W2499596435 @default.
- W3186128986 cites W2531460317 @default.
- W3186128986 cites W2606133973 @default.
- W3186128986 cites W2767591044 @default.
- W3186128986 cites W2908278544 @default.
- W3186128986 cites W2927889296 @default.
- W3186128986 cites W3186128986 @default.
- W3186128986 cites W3189981105 @default.
- W3186128986 cites W4234315090 @default.
- W3186128986 cites W4246691913 @default.
- W3186128986 cites W4298371880 @default.
- W3186128986 cites W47314551 @default.
- W3186128986 cites W856973001 @default.
- W3186128986 doi "https://doi.org/10.1007/978-3-030-81685-8_23" @default.
- W3186128986 hasPublicationYear "2021" @default.
- W3186128986 type Work @default.
- W3186128986 sameAs 3186128986 @default.
- W3186128986 citedByCount "9" @default.
- W3186128986 countsByYear W31861289862021 @default.
- W3186128986 countsByYear W31861289862022 @default.
- W3186128986 countsByYear W31861289862023 @default.
- W3186128986 crossrefType "book-chapter" @default.
- W3186128986 hasAuthorship W3186128986A5009618708 @default.
- W3186128986 hasAuthorship W3186128986A5044912860 @default.
- W3186128986 hasAuthorship W3186128986A5078403066 @default.
- W3186128986 hasAuthorship W3186128986A5085748879 @default.
- W3186128986 hasBestOaLocation W31861289861 @default.
- W3186128986 hasConcept C11413529 @default.
- W3186128986 hasConcept C154945302 @default.
- W3186128986 hasConcept C41008148 @default.
- W3186128986 hasConceptScore W3186128986C11413529 @default.
- W3186128986 hasConceptScore W3186128986C154945302 @default.
- W3186128986 hasConceptScore W3186128986C41008148 @default.
- W3186128986 hasLocation W31861289861 @default.
- W3186128986 hasOpenAccess W3186128986 @default.
- W3186128986 hasPrimaryLocation W31861289861 @default.
- W3186128986 hasRelatedWork W2051487156 @default.
- W3186128986 hasRelatedWork W2073681303 @default.
- W3186128986 hasRelatedWork W2351491280 @default.
- W3186128986 hasRelatedWork W2371447506 @default.
- W3186128986 hasRelatedWork W2386767533 @default.
- W3186128986 hasRelatedWork W2748952813 @default.
- W3186128986 hasRelatedWork W2899084033 @default.
- W3186128986 hasRelatedWork W303980170 @default.
- W3186128986 hasRelatedWork W3141679561 @default.
- W3186128986 hasRelatedWork W4225307033 @default.
- W3186128986 isParatext "false" @default.
- W3186128986 isRetracted "false" @default.
- W3186128986 magId "3186128986" @default.
- W3186128986 workType "book-chapter" @default.