FRINK Linked Data Fragments server

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

• W2962912131 abstract "Real-time safety-critical systems must complete their tasks within a given time limit. Failure to successfully perform their operations, or missing a deadline, can have severe consequences such as destruction of property and/or loss of life. Examples of such systems include automotive systems, drones and avionics among others. Safety guarantees must be provided before these systems can be deemed usable. This is usually done through certification performed by a certification authority.Safety evaluation and certification are complicated and costly even for smaller systems.One answer to these difficulties is the isolation of the critical functionality. Executing tasks of different criticalities on separate platforms prevents non-critical tasks from interfering with critical ones, provides a higher guaranty of safety and simplifies the certification process limiting it to only the critical functions. But this separation, in turn, introduces undesirable results portrayed by an inefficient resource utilization, an increase in the cost, weight, size and energy consumption which can put a system in a competitive disadvantage.To overcome the drawbacks of isolation, Mixed Criticality (MC) systems can be used. These systems allow functionalities with different criticalities to execute on the same platform. In 2007, Vestal proposed a model to represent MC-systems where tasks have multiple Worst Case Execution Times (WCETs), one for each criticality level. In addition, correctness conditions for scheduling policies were formally defined, allowing lower criticality jobs to miss deadlines or be even dropped in cases of failure or emergency situations.The introduction of multiple WCETs and different conditions for correctness increased the difficulty of the scheduling problem for MC-systems. Conventional scheduling policies and schedulability tests proved inadequate and the need for new algorithms arose. Since then, a lot of work has been done in this field.In this thesis, we contribute to the study of schedulability in MC-systems. The workload of a system is represented as a set of jobs that can describe the execution over the hyper-period of tasks or over a duration in time. This model allows us to study the viability of simulation-based correctness tests in MC-systems. We show that simulation tests can still be used in mixed-criticality systems, but in this case, the schedulability of the worst case scenario is no longer sufficient to guarantee the schedulability of the system even for the fixed priority scheduling case. We show that scheduling policies are not predictable in general, and define the concept of weak-predictability for MC-systems. We prove that a specific class of fixed priority policies are weakly predictable and propose two simulation-based correctness tests that work for weakly-predictable policies.We also demonstrate that contrary to what was believed, testing for correctness can not be done only through a linear number of preemptions.The majority of the related work focuses on systems of two criticality levels due to the difficulty of the problem. But for automotive and airborne systems, industrial standards define four or five criticality levels, which motivated us to propose a scheduling algorithm that schedules mixed-criticality systems with theoretically any number of criticality levels. We show experimentally that it has higher success rates compared to the state of the art.We illustrate how our scheduling algorithm, or any algorithm that generates a single time-triggered table for each criticality mode, can be used as a recovery strategy to ensure the safety of the system in case of certain failures.Finally, we propose a high level concurrency language and a model for designing an MC-system with coarse grained multi-core interference." @default.
• W2962912131 created "2019-07-30" @default.
• W2962912131 creator A5018108830 @default.
• W2962912131 date "2019-06-26" @default.
• W2962912131 modified "2023-09-23" @default.
• W2962912131 title "Schedulability in Mixed-criticality Systems" @default.
• W2962912131 hasPublicationYear "2019" @default.
• W2962912131 type Work @default.
• W2962912131 sameAs 2962912131 @default.
• W2962912131 citedByCount "0" @default.
• W2962912131 crossrefType "dissertation" @default.
• W2962912131 hasAuthorship W2962912131A5018108830 @default.
• W2962912131 hasConcept C111472728 @default.
• W2962912131 hasConcept C120314980 @default.
• W2962912131 hasConcept C121332964 @default.
• W2962912131 hasConcept C125611927 @default.
• W2962912131 hasConcept C127413603 @default.
• W2962912131 hasConcept C136764020 @default.
• W2962912131 hasConcept C138885662 @default.
• W2962912131 hasConcept C17744445 @default.
• W2962912131 hasConcept C185544564 @default.
• W2962912131 hasConcept C199360897 @default.
• W2962912131 hasConcept C199539241 @default.
• W2962912131 hasConcept C200601418 @default.
• W2962912131 hasConcept C206729178 @default.
• W2962912131 hasConcept C21547014 @default.
• W2962912131 hasConcept C2780615836 @default.
• W2962912131 hasConcept C2780695315 @default.
• W2962912131 hasConcept C2781124451 @default.
• W2962912131 hasConcept C41008148 @default.
• W2962912131 hasConcept C46304622 @default.
• W2962912131 hasConcept C55439883 @default.
• W2962912131 hasConceptScore W2962912131C111472728 @default.
• W2962912131 hasConceptScore W2962912131C120314980 @default.
• W2962912131 hasConceptScore W2962912131C121332964 @default.
• W2962912131 hasConceptScore W2962912131C125611927 @default.
• W2962912131 hasConceptScore W2962912131C127413603 @default.
• W2962912131 hasConceptScore W2962912131C136764020 @default.
• W2962912131 hasConceptScore W2962912131C138885662 @default.
• W2962912131 hasConceptScore W2962912131C17744445 @default.
• W2962912131 hasConceptScore W2962912131C185544564 @default.
• W2962912131 hasConceptScore W2962912131C199360897 @default.
• W2962912131 hasConceptScore W2962912131C199539241 @default.
• W2962912131 hasConceptScore W2962912131C200601418 @default.
• W2962912131 hasConceptScore W2962912131C206729178 @default.
• W2962912131 hasConceptScore W2962912131C21547014 @default.
• W2962912131 hasConceptScore W2962912131C2780615836 @default.
• W2962912131 hasConceptScore W2962912131C2780695315 @default.
• W2962912131 hasConceptScore W2962912131C2781124451 @default.
• W2962912131 hasConceptScore W2962912131C41008148 @default.
• W2962912131 hasConceptScore W2962912131C46304622 @default.
• W2962912131 hasConceptScore W2962912131C55439883 @default.
• W2962912131 hasOpenAccess W2962912131 @default.
• W2962912131 hasRelatedWork W2002511067 @default.
• W2962912131 hasRelatedWork W2054164942 @default.
• W2962912131 hasRelatedWork W2055488171 @default.
• W2962912131 hasRelatedWork W2072712992 @default.
• W2962912131 hasRelatedWork W2094163826 @default.
• W2962912131 hasRelatedWork W2122273217 @default.
• W2962912131 hasRelatedWork W2139075392 @default.
• W2962912131 hasRelatedWork W2556786955 @default.
• W2962912131 hasRelatedWork W2759636500 @default.
• W2962912131 hasRelatedWork W2766371801 @default.
• W2962912131 hasRelatedWork W2908621597 @default.
• W2962912131 hasRelatedWork W2912956365 @default.
• W2962912131 hasRelatedWork W2922768553 @default.
• W2962912131 hasRelatedWork W2979791228 @default.
• W2962912131 hasRelatedWork W2983993876 @default.
• W2962912131 hasRelatedWork W3094104912 @default.
• W2962912131 hasRelatedWork W3102153731 @default.
• W2962912131 hasRelatedWork W3125202098 @default.
• W2962912131 hasRelatedWork W3131937136 @default.
• W2962912131 hasRelatedWork W72967857 @default.
• W2962912131 isParatext "false" @default.
• W2962912131 isRetracted "false" @default.
• W2962912131 magId "2962912131" @default.
• W2962912131 workType "dissertation" @default.