A time petri net-based methodology for embedded hard real-time software synthesis

79672 palavras 319 páginas

Raimundo da Silva Barreto

A Time Petri Net-based Methodology for
Embedded Hard Real-Time Software

A thesis submitted to the Centro de
Inform´tica of Universidade Federal de a Pernambuco in partial fulfillment of requirements for the degree of Doctor of Philosofy.

Advisor: Paulo Romero Martins Maciel

April 29th , 2005

Then Samuel took a stone, and put it up between Mizpah and Jeshanah, naming it Ebenezer, and saying,
Up to now the Lord has been our help.
I Samuel 7:12.


This thesis is dedicated to my mother, my wife, and my three children.


Whatever you do, work at it with all your heart, as working for the Lord, not for men.
Colossians 3:23

This journey, which is pleased and difficult at the same time, has not been a solitary one.
First of all, I would like to acknowledge that my ability and patience to complete this work comes from God. He has blessed me with the intellectual ability, the yearning for knowledge, and the environments to allow those to grow. It is for Him that I work and live.
Many thanks to my wife Lu. Thanks to her unconditional love. She has stood me and encouraged me throughout this process. Thanks also for patiently listening to me about this thesis, even when she did not understand a thing what I said. Without her love, care, and encouragement, I could not be where I am today. I am very grateful to my three children,
Lucas, Elizanne and Jessica. Many thanks to all my family, in particular, my mother, father
(in memoriam), and my sister Maria, for their part in my education. They have always done what they could to encourage and support my desire to learn more and more.
Many thanks to my advisor professor Paulo Maciel. I could not have completed this thesis without the support, encouragement, friendship, and tireless efforts of him. He


  • administração
    990 palavras | 4 páginas
  • administração
    1070 palavras | 5 páginas
  • Maquinas eletricas
    1420 palavras | 6 páginas
  • Modelo De Relatorio Para Laboratorio
    1131 palavras | 5 páginas
  • STP - Intro Sist Embarcados | Por: Edna Barros e Sérgio Cavalcante
    18867 palavras | 76 páginas
  • Matlab - modelling, programming and simulations
    61668 palavras | 247 páginas
  • tga-classica-atual
    32149 palavras | 129 páginas
  • Swebok 2004
    88749 palavras | 355 páginas
  • Criptografia
    405566 palavras | 1623 páginas
  • radiacais
    224418 palavras | 898 páginas