[spa] Los sistemas empotrados de control distribuido son sistemas muy extendidos y estratégicos en el entorno industrial. Son sistemas que requieren de una alta fiabilidad, ya que si estos sistemas fallan pueden tener consecuencias catastróficas. Por ello, estos sistemas normalmente incluyen mecanismos de tolerancia a fallos Para poder desarrollar estos sistemas de alta fiabilidad, es necesario poder cuantificarla. Esto se hace partir de modelos de fiabilidad. En el grupo de investigación en el que se ha llevado a cabo este Trabajo de Fin de Máster, una de las tareas habituales es diseñar modelos adhoc. Por ello, surgió la propuesta de implementar una herramienta que genere de manera automática el modelo de fiabilidad de diferentes sistemas. La propuesta inicial de la herramienta presentaba una serie de limitaciones. El objetivo de este TFM es detectar estas limitaciones y solventarlas.
[eng] Embedded distributed control systems are very widespread and strategic systems in the industrial environment. They are systems that require high reliability, since the failure of these systems can have catastrophic consequences. For this reason, these systems normally include fault tolerance mechanisms. In order to develop these high reliability systems, it is necessary to be able to quantify its reliability. This is done by means of reliability models. In the research group in which this Master’s Thesis has been carried out, one of the usual tasks is to design adhoc models. Therefore, it was made a proposal to implement a tool that automatically generates the reliability model of different systems. The initial proposal of the tool presented some limitations. The objective of this TFM is to detect these limitations and to solve them