Modelado e implementación de Sistemas de Tiempo Real mediante Redes de Petri con Tiempo

The work presented in the thesis must be considered in the context of a more general project, which proposes an unified method, based on the use of the Time Petri Nets formalism (TPN), to deal with the development of Real Time Systems (RTS). This project's objective is to cover the whole develo...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	García Izquierdo, Francisco José
Otros Autores:	Villarroel Salcedo, José Luis (Universidad de Zaragoza)
Formato:	text (thesis)
Lenguaje:	spa
Publicado:	Universidad de Zaragoza (España) 1999
Acceso en línea:	https://dialnet.unirioja.es/servlet/oaites?codigo=146
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai-TES0000000026
record_format	dspace
spelling	oai-TES00000000262017-10-19Modelado e implementación de Sistemas de Tiempo Real mediante Redes de Petri con TiempoGarcía Izquierdo, Francisco JoséThe work presented in the thesis must be considered in the context of a more general project, which proposes an unified method, based on the use of the Time Petri Nets formalism (TPN), to deal with the development of Real Time Systems (RTS). This project's objective is to cover the whole development cycle of a RTS with Time Petri Nets, from the requirement specification to the testing phase, including the properties analysis an the implementation. The thesis tackles two aspects of the RTS life cycle: the modelling and the implementation, or code generation. After introducing of the RTS modelling concepts using TPN, and the analysis techniques fundamentals, the work focuses on the code generation, taking the Petri Nets implementation techniques as a base and extending them in order to make the techniques able to deal with the special temporal requirements of the RTS. The centralized technique is presented in first place. Based on the separation of the functional and control parts of the RTS, the technique proposes the use of a coordinator, which holds the control of the system execution and the supervision of the deadline meeting. This technique has several drawbacks, such as the impact in the performance of the coordinator presence. In order to cope with these evidenced drawbacks, the thesis proposes the decentralized implementation technique. Its main aim is to split the net into a set of concurrent subnets, mono-marked p-invariants, which communicate between each other through synchronous or asynchronous primitives. These subnets are called protoprocesses. After this net partition, the technique proposes the identification of a set of execution units (specific place-transition structures) that can be directly translated into Ada-95 statements. This strategy leads to the generation of the skeleton of the code that implements the control part of the RTS. As an additional result, the thesis proposes Time Petri Net based models for the real time Ada-95 statements. Finally, in cases where it is not possible to apply the decentralized techniques, the work proposes mixed implementation techniques.Universidad de Zaragoza (España)Villarroel Salcedo, José Luis (Universidad de Zaragoza)1999text (thesis)application/pdfhttps://dialnet.unirioja.es/servlet/oaites?codigo=146(Tesis) ISBN 84-688-1526-8 spaLICENCIA DE USO: Los documentos a texto completo incluidos en Dialnet son de acceso libre y propiedad de sus autores y/o editores. Por tanto, cualquier acto de reproducción, distribución, comunicación pública y/o transformación total o parcial requiere el consentimiento expreso y escrito de aquéllos. Cualquier enlace al texto completo de estos documentos deberá hacerse a través de la URL oficial de éstos en Dialnet. Más información: https://dialnet.unirioja.es/info/derechosOAI \| INTELLECTUAL PROPERTY RIGHTS STATEMENT: Full text documents hosted by Dialnet are protected by copyright and/or related rights. This digital object is accessible without charge, but its use is subject to the licensing conditions set by its authors or editors. Unless expressly stated otherwise in the licensing conditions, you are free to linking, browsing, printing and making a copy for your own personal purposes. All other acts of reproduction and communication to the public are subject to the licensing conditions expressed by editors and authors and require consent from them. Any link to this document should be made using its official URL in Dialnet. More info: https://dialnet.unirioja.es/info/derechosOAI
institution	DialNet
collection	DialNet
language	spa
description	The work presented in the thesis must be considered in the context of a more general project, which proposes an unified method, based on the use of the Time Petri Nets formalism (TPN), to deal with the development of Real Time Systems (RTS). This project's objective is to cover the whole development cycle of a RTS with Time Petri Nets, from the requirement specification to the testing phase, including the properties analysis an the implementation. The thesis tackles two aspects of the RTS life cycle: the modelling and the implementation, or code generation. After introducing of the RTS modelling concepts using TPN, and the analysis techniques fundamentals, the work focuses on the code generation, taking the Petri Nets implementation techniques as a base and extending them in order to make the techniques able to deal with the special temporal requirements of the RTS. The centralized technique is presented in first place. Based on the separation of the functional and control parts of the RTS, the technique proposes the use of a coordinator, which holds the control of the system execution and the supervision of the deadline meeting. This technique has several drawbacks, such as the impact in the performance of the coordinator presence. In order to cope with these evidenced drawbacks, the thesis proposes the decentralized implementation technique. Its main aim is to split the net into a set of concurrent subnets, mono-marked p-invariants, which communicate between each other through synchronous or asynchronous primitives. These subnets are called protoprocesses. After this net partition, the technique proposes the identification of a set of execution units (specific place-transition structures) that can be directly translated into Ada-95 statements. This strategy leads to the generation of the skeleton of the code that implements the control part of the RTS. As an additional result, the thesis proposes Time Petri Net based models for the real time Ada-95 statements. Finally, in cases where it is not possible to apply the decentralized techniques, the work proposes mixed implementation techniques.
author2	Villarroel Salcedo, José Luis (Universidad de Zaragoza)
author_facet	Villarroel Salcedo, José Luis (Universidad de Zaragoza) García Izquierdo, Francisco José
format	text (thesis)
author	García Izquierdo, Francisco José
spellingShingle	García Izquierdo, Francisco José Modelado e implementación de Sistemas de Tiempo Real mediante Redes de Petri con Tiempo
author_sort	García Izquierdo, Francisco José
title	Modelado e implementación de Sistemas de Tiempo Real mediante Redes de Petri con Tiempo
title_short	Modelado e implementación de Sistemas de Tiempo Real mediante Redes de Petri con Tiempo
title_full	Modelado e implementación de Sistemas de Tiempo Real mediante Redes de Petri con Tiempo
title_fullStr	Modelado e implementación de Sistemas de Tiempo Real mediante Redes de Petri con Tiempo
title_full_unstemmed	Modelado e implementación de Sistemas de Tiempo Real mediante Redes de Petri con Tiempo
title_sort	modelado e implementación de sistemas de tiempo real mediante redes de petri con tiempo
publisher	Universidad de Zaragoza (España)
publishDate	1999
url	https://dialnet.unirioja.es/servlet/oaites?codigo=146
work_keys_str_mv	AT garciaizquierdofranciscojose modeladoeimplementaciondesistemasdetiemporealmedianteredesdepetricontiempo
_version_	1718346549169225728

Modelado e implementación de Sistemas de Tiempo Real mediante Redes de Petri con Tiempo

Ejemplares similares