FRINK Linked Data Fragments server

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

• W2807319141 endingPage "181" @default.
• W2807319141 startingPage "141" @default.
• W2807319141 abstract "Mixed-criticality systems are promoted in industry due to their potential to reduce size, weight, power, and cost. Nonetheless, deploying mixed-criticality applications on commercial multi-core platforms remains a highly challenging problem. To name a few reasons: (i) Industrial mixed-criticality applications are usually complex reactive applications, which cannot be specified by traditional, e.g., dataflow-based, models of computation. Appropriate mixed-criticality models of computation built upon Vestal’s assumptions are missing; (ii) Scheduling such applications on multicores with shared resources, such as memory buses, requires that any timing interference among applications of different criticality is bounded in order to guarantee—the necessary for certification—temporal isolation and to enable incremental design; (iii) The implementation of isolation-preserving mixed-criticality schedulers is itself subject to certification. Hence, it needs to be not only efficient, but also provably correct. This paper proposes, for the first time, a complete design flow covering all aspects from specification, using a novel mixed-criticality aware model of computation (DOL-Critical), to correct-by-construction implementation, using the principle ‘what you verify is what you generate’ which is based on a novel variant of task automata. We demonstrate the applicability of our design flow with an industrial avionic test case on the state-of-the-art Kalray MPPA®-256." @default.
• W2807319141 created "2018-06-13" @default.
• W2807319141 creator A5009887327 @default.
• W2807319141 creator A5012215448 @default.
• W2807319141 creator A5019613304 @default.
• W2807319141 creator A5020750660 @default.
• W2807319141 creator A5027387636 @default.
• W2807319141 creator A5039081580 @default.
• W2807319141 creator A5047716523 @default.
• W2807319141 creator A5047953495 @default.
• W2807319141 creator A5050964783 @default.
• W2807319141 creator A5053157148 @default.
• W2807319141 creator A5060999697 @default.
• W2807319141 creator A5063862876 @default.
• W2807319141 creator A5069785845 @default.
• W2807319141 date "2018-06-01" @default.
• W2807319141 modified "2023-10-12" @default.
• W2807319141 title "DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems" @default.
• W2807319141 cites W1514680377 @default.
• W2807319141 cites W1543670042 @default.
• W2807319141 cites W1544896494 @default.
• W2807319141 cites W1777805 @default.
• W2807319141 cites W1851624697 @default.
• W2807319141 cites W1964210505 @default.
• W2807319141 cites W1967193889 @default.
• W2807319141 cites W1971363723 @default.
• W2807319141 cites W1972097705 @default.
• W2807319141 cites W1974927420 @default.
• W2807319141 cites W1988249672 @default.
• W2807319141 cites W1991592081 @default.
• W2807319141 cites W1996372270 @default.
• W2807319141 cites W2015293407 @default.
• W2807319141 cites W2015827499 @default.
• W2807319141 cites W2016310113 @default.
• W2807319141 cites W2020607902 @default.
• W2807319141 cites W2024060531 @default.
• W2807319141 cites W2036081705 @default.
• W2807319141 cites W2044381222 @default.
• W2807319141 cites W2048202374 @default.
• W2807319141 cites W2050616463 @default.
• W2807319141 cites W2055488171 @default.
• W2807319141 cites W2067239673 @default.
• W2807319141 cites W2072712992 @default.
• W2807319141 cites W2091661303 @default.
• W2807319141 cites W2098436411 @default.
• W2807319141 cites W2102800454 @default.
• W2807319141 cites W2108024087 @default.
• W2807319141 cites W2114620069 @default.
• W2807319141 cites W2119959854 @default.
• W2807319141 cites W2127318527 @default.
• W2807319141 cites W2137189977 @default.
• W2807319141 cites W2137498048 @default.
• W2807319141 cites W2150886727 @default.
• W2807319141 cites W2165099686 @default.
• W2807319141 cites W2170077922 @default.
• W2807319141 cites W2179627548 @default.
• W2807319141 cites W220926404 @default.
• W2807319141 cites W2249946465 @default.
• W2807319141 cites W3100759067 @default.
• W2807319141 cites W4229669716 @default.
• W2807319141 cites W4231000319 @default.
• W2807319141 cites W4235387583 @default.
• W2807319141 cites W4236319286 @default.
• W2807319141 cites W4242621628 @default.
• W2807319141 cites W4254858708 @default.
• W2807319141 cites W59365162 @default.
• W2807319141 doi "https://doi.org/10.1007/s10617-018-9206-3" @default.
• W2807319141 hasPublicationYear "2018" @default.
• W2807319141 type Work @default.
• W2807319141 sameAs 2807319141 @default.
• W2807319141 citedByCount "2" @default.
• W2807319141 countsByYear W28073191412019 @default.
• W2807319141 countsByYear W28073191412020 @default.
• W2807319141 crossrefType "journal-article" @default.
• W2807319141 hasAuthorship W2807319141A5009887327 @default.
• W2807319141 hasAuthorship W2807319141A5012215448 @default.
• W2807319141 hasAuthorship W2807319141A5019613304 @default.
• W2807319141 hasAuthorship W2807319141A5020750660 @default.
• W2807319141 hasAuthorship W2807319141A5027387636 @default.
• W2807319141 hasAuthorship W2807319141A5039081580 @default.
• W2807319141 hasAuthorship W2807319141A5047716523 @default.
• W2807319141 hasAuthorship W2807319141A5047953495 @default.
• W2807319141 hasAuthorship W2807319141A5050964783 @default.
• W2807319141 hasAuthorship W2807319141A5053157148 @default.
• W2807319141 hasAuthorship W2807319141A5060999697 @default.
• W2807319141 hasAuthorship W2807319141A5063862876 @default.
• W2807319141 hasAuthorship W2807319141A5069785845 @default.
• W2807319141 hasBestOaLocation W28073191412 @default.
• W2807319141 hasConcept C11413529 @default.
• W2807319141 hasConcept C120314980 @default.
• W2807319141 hasConcept C121332964 @default.
• W2807319141 hasConcept C125611927 @default.
• W2807319141 hasConcept C173608175 @default.
• W2807319141 hasConcept C185544564 @default.
• W2807319141 hasConcept C2781124451 @default.
• W2807319141 hasConcept C41008148 @default.
• W2807319141 hasConcept C45374587 @default.
• W2807319141 hasConcept C96324660 @default.

• next