2007, English, Article edition: WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model Geniet, Dominique; Largeteau-Skapin, Gaëlle

User activity

Share to:
 
Bookmark: http://trove.nla.gov.au/version/204977
Physical Description
  • text
Published
  • HAL - CCSD
  • 2007
Language
  • English

Edition details

Title
  • WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
Author
  • Geniet, Dominique
  • Largeteau-Skapin, Gaëlle
Published
  • HAL - CCSD
  • 2007
Physical Description
  • text
Subjects
Notes
  • This paper presents the initial step of an aid design method earmarked for operational validation of hard real-time systems. We consider systems that are composed of sequential hard real-time tasks, which are embedded on centralized multiprocessor architectures. We introduce a model based upon untimed finite automata and meant to collect the operational behaviors of the system compatible with its time specifications, and we go on to provide a feasibility decision result for systems composed of tasks presenting CPU loads which are exact values: execution times are not WCET values. This is why we call this approach WCET-free analysis. The results we have achieved likewise involve hardware specifications such as multiprocessors and speeds of processors.
  • HAL:hal-00346012, version 1
  • HAL:http:/​/​hal.archives-ouvertes.fr/​hal-00346012/​en/​
  • DOI:10.1016/​j.tcs.2007.03.054
Language
  • English
Contributed by
OAIster

Get this edition

  • Set up My libraries

    How do I set up "My libraries"?

    In order to set up a list of libraries that you have access to, you must first login or sign up. Then set up a personal list of libraries from your profile page by clicking on your user name at the top right of any screen.

  • All (1)
  • Unknown (1)
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this edition

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this version

Add a comment