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

UNIVERSIDADE FEDERAL DE PERNAMBUCO
´
CENTRO DE INFORMATICA
´
ˆ
POS-GRADUACAO EM CIENCIA DA COMPUTACAO
¸˜
¸˜

Raimundo da Silva Barreto

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

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

Recife
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.

i

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

ii

Acknowledgments
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