RefDoc
Haut

Faire une nouvelle recherche
Make a new search
Lancer la recherche


Titre du document / Document title

An integrated environment for embedded hard real-time systems scheduling with timing and energy constraints

Auteur(s) / Author(s)

TAVARES Eduardo (1) ; BARRETO Raimundo (1) ; MACIEL Paulo (1) ; OLIVEIRA Meuse JR (1) ; ARCOVERDE Adilson (1) ; ALVES Gabriel JR (1) ; LIMA Ricardo (2) ; BARROS Leonardo (1) ; BESSA Arthur (1) ;

Affiliation(s) du ou des auteurs / Author(s) Affiliation(s)

(1) Centro de Informática, Universidade Federal de Pernambuco Recife, PE, BRESIL
(2) Departamento de Sistemas Computacionais, Universidade de Pernambuco Recife, PE, BRESIL

Résumé / Abstract

Embedded hard real-time systems have stringent timing constraints that must be satisfied for the correct functioning of the system. Additionally, there are systems where energy is another constraint that must also be satisfied. In order to satisfy such requirements, a pre-runtime scheduling is presented to find a feasible schedule satisfying both constraints. The proposed approach uses state space exploration for finding feasible schedules taking into account timing and energy constraints. The main problem with such method is the space size, which can grow exponentially. This paper shows how to minimize this problem, and presents a depth-first search method on a timed labeled transition system derived from the time Petri net model. EZPetri is an Eclipse perspective for Petri nets based on PNML. It provides facilities for integrating Petri net applications and existing Petri net tools. In this paper we demonstrate how the plug-in technology of Eclipse was employed to integrate the pre-runtime scheduling synthesis framework with the EZPetri environment. In order to depict the practical usability of the proposed approach, a pulse-oximeter case study is adopted to show how to find a feasible schedule.

Revue / Journal Title

Lecture notes in computer science    ISSN  0302-9743 

Source / Source

Congrès
Integrated circuit and system design :   ( power and timing modeling, optimization and simulation )  ( Leuven, 21-23 September 2005 )
PATMOS 2005. International workshop No15, Leuven , BELGIQUE (21/09/2005)
2005  , vol. 3728, pp. 382-392[Note(s) : XV, 753 p., ] [Document : 11 p.] (14 ref.) ISBN 3-540-29013-3 ;  Illustration : Illustration ;

Langue / Language

Anglais

Editeur / Publisher

Springer, Berlin, ALLEMAGNE  (1973) (Revue)
Springer, Berlin, ALLEMAGNE  (2005) (Monographie)

Mots-clés anglais / English Keywords

Network analysis

;

Execution time

;

Energy consumption

;

Case study

;

Petri net

;

Search algorithm

;

State space

;

Scheduling

;

Real time system

;

Embedded systems

;

Mots-clés français / French Keywords

Analyse circuit

;

Temps exécution

;

Consommation énergie

;

Etude cas

;

Réseau Pétri

;

Algorithme recherche

;

Espace état

;

Ordonnancement

;

Système temps réel

;

Système embarqué

;

Mots-clés espagnols / Spanish Keywords

Análisis circuito

;

Tiempo ejecución

;

Consumo energía

;

Estudio caso

;

Red Petri

;

Algoritmo búsqueda

;

Espacio estado

;

Reglamento

;

Sistema tiempo real

;

Localisation / Location

INIST-CNRS, Cote INIST : 16343, 35400012450814.0400

Nº notice refdoc (ud4) : 17162762



Faire une nouvelle recherche
Make a new search
Lancer la recherche
Bas