13 research outputs found
Uma rede de petri diagnosticadora para sistemas a eventos discretos modelados por autĂ´matos finitos
Este trabalho consiste no desenvolvimento de uma rede de Petri diagnosticadora para sistemas a eventos discretos modelados por autĂ´matos. O mĂŠtodo de diagnose proposto requer, em geral, menos memĂłria do que outros mĂŠtodos existentes na literatura. AlĂŠm disso, mĂŠtodos para a conversĂŁo da rede de Petri diagnosticadora em SFC e em diagrama ladder para a implementação em um controlador Ělogico programĂĄvel (CLP) sĂŁo apresentados. Os mĂŠtodos de conversĂŁo geram cĂłdigos de programação quepreservam a estrutura e representam a evolução das fichas na rede de Petri diagnosticadora
Mathematics in Software Reliability and Quality Assurance
This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment
Embedded System Design
A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This fourth edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems (CPS) and the Internet of things (IoT), the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues
Embedded System Design
A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This fourth edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems (CPS) and the Internet of things (IoT), the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues
Verificação de conflito na supervisão de sistemas concorrentes usando abstraçþes
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia ElÊtrica.A explosão do espaço de estados associada ao teste para detecção do conflito Ê um dos principais problemas que impedem a aplicação da Teoria de Controle Supervisório de Sistemas a Eventos Discretos a sistemas industriais reais. O conflito Ê uma propriedade global dos sistemas concorrentes sendo que, para sua detecção, deve-se verificar não-bloqueio da composição dos subsistemas que estão sendo verificados. Esta tese trata do problema de detecção de conflito de forma eficiente. Neste trabalho, propþe-se um novo teste de não-conflito baseado em abstraçþes dos supervisores, obtidas pela operação de projeção natural. Apresentam-se dois conjuntos de condiçþes sobre as abstraçþes para os quais o teste de não-conflito pode ser aplicado, com resultado equivalente àquele do teste sobre os supervisores originais. No primeiro conjunto de condiçþes os eventos compartilhados são mantidos nas abstraçþes e a projeção deve possuir a propriedade do observador. O segundo conjunto de condiçþes sobre as abstraçþes leva em conta propriedades estruturais dos supervisores originais para derivar o conjunto de eventos a serem mantidos nas abstraçþes, alÊm da propriedade do observador sobre a projeção obtida. As duas abordagens podem ser utilizadas em conjunto para obter abstraçþes possivelmente melhores, de forma a obter maior redução do espaço de estados na verificação de não-conflito. Apresenta-se ainda um algoritmo para verificação da propriedade do observador. Esta propriedade Ê utilizada exaustivamente nos resultados apresentados e sua verificação torna-se de grande interesse para a aplicação dos resultados obtidos