Matches in SemOpenAlex for { <https://semopenalex.org/work/W2020291837> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W2020291837 abstract "Embedded systems are widely used for supporting our every day life. In the area of safety-critical systems human life often depends on the system's correct behavior. Many of such systems are hard real-time systems, so that the notion of correctness not only means functional correctness. They additionally have to obey stringent timing constraints, i.e. timely task completion under all circumstances is essential. An example for such a safety-critical system is the flight control computer in an airplane, which is responsible for stability, attitude and path control.In order to derive guarantees on the timing behavior of hard real-time systems, the worst-case execution time (WCET) of each task in the system has to be determined. Saarland University and AbsInt GmbH have successfully developed the aiT WCET analyzer for computing safe upper bounds on the WCET of a task. The computation is mainly based on abstract interpretation of timing models of the processor and its periphery. Such timing models are currently hand-crafted by human experts. Therefore their implementation is a time-consuming and error-prone process.Modern processors or system controllers are automatically synthesized out of formal hardware specifications like VHDL or Verilog. Besides the system' functional behavior, such specifications provide all information needed for the creation of a timing model. But due to their size and complexity, manually examining the sources is even more complex than only looking at the processor manuals. Moreover, this would not reduce the effort nor the probability of implementation errors.To face this problem, this paper proposes a method for semi-automatically deriving suitable timing models out of formal hardware specifications in VHDL that fit to the tool chain of the aiT WCET analyzer. By this, we reduce the creation time of timing models from months to weeks." @default.
- W2020291837 created "2016-06-24" @default.
- W2020291837 creator A5044665383 @default.
- W2020291837 creator A5089134561 @default.
- W2020291837 date "2010-04-13" @default.
- W2020291837 modified "2023-09-26" @default.
- W2020291837 title "Semi-automatic derivation of timing models for WCET analysis" @default.
- W2020291837 cites W1762252016 @default.
- W2020291837 cites W2043100293 @default.
- W2020291837 cites W2062066235 @default.
- W2020291837 cites W2076285066 @default.
- W2020291837 cites W2081810835 @default.
- W2020291837 cites W2103820503 @default.
- W2020291837 cites W2108024087 @default.
- W2020291837 cites W2136223035 @default.
- W2020291837 cites W2163529295 @default.
- W2020291837 cites W2167834213 @default.
- W2020291837 doi "https://doi.org/10.1145/1755888.1755899" @default.
- W2020291837 hasPublicationYear "2010" @default.
- W2020291837 type Work @default.
- W2020291837 sameAs 2020291837 @default.
- W2020291837 citedByCount "12" @default.
- W2020291837 countsByYear W20202918372012 @default.
- W2020291837 countsByYear W20202918372013 @default.
- W2020291837 countsByYear W20202918372014 @default.
- W2020291837 countsByYear W20202918372015 @default.
- W2020291837 countsByYear W20202918372022 @default.
- W2020291837 crossrefType "proceedings-article" @default.
- W2020291837 hasAuthorship W2020291837A5044665383 @default.
- W2020291837 hasAuthorship W2020291837A5089134561 @default.
- W2020291837 hasConcept C41008148 @default.
- W2020291837 hasConceptScore W2020291837C41008148 @default.
- W2020291837 hasLocation W20202918371 @default.
- W2020291837 hasOpenAccess W2020291837 @default.
- W2020291837 hasPrimaryLocation W20202918371 @default.
- W2020291837 hasRelatedWork W1596801655 @default.
- W2020291837 hasRelatedWork W2130043461 @default.
- W2020291837 hasRelatedWork W2350741829 @default.
- W2020291837 hasRelatedWork W2358668433 @default.
- W2020291837 hasRelatedWork W2376932109 @default.
- W2020291837 hasRelatedWork W2382290278 @default.
- W2020291837 hasRelatedWork W2390279801 @default.
- W2020291837 hasRelatedWork W2748952813 @default.
- W2020291837 hasRelatedWork W2899084033 @default.
- W2020291837 hasRelatedWork W2530322880 @default.
- W2020291837 isParatext "false" @default.
- W2020291837 isRetracted "false" @default.
- W2020291837 magId "2020291837" @default.
- W2020291837 workType "article" @default.