Context.In the context of Software Architecture, AADL (ArchitectureAnalysis and Design Language) is one of the latest standards (SAE StandardAS5506) used for analyzing and designing of architectures of software sys-tems. Dependability evaluation of an avionic system, modeled in AADL, isconducted using petri nets standard PNML (ISO standard ISO/IEC15909-2).A maintainability analysis of PNML dependability model is also con-ducted. Objectives. In this study we investigate maintainability analysis of PNMLdependability model of an avionic system designed in AADL. Structural,functional, fault-tolerance and recovery dependencies are modeled, imple-mented, simulated and validated in PNML. Maintainability analysis withrespect to ‘changeability’ factor is also conducted. Methods.This study is a semi-combination of ’case-study’ and ’implemen-tation’ research methodologies. The implementation of case-study systemis conducted by modeling the case-study system in AADL using OSATE2tool and simulating the dependability models in PNML using Wolfgangtool. PNML dependability models are validated by comparing with GSPNdependability models of previously published research. Results. As a result of this research, PNML dependability model was ob-tained. The difficulties that influenced the research in AADL Error ModelAnnex and the OSATE2 tool are also analyzed and documented. PNMLand GSPN are compared for complexity. And maintainability analysis forPNML dependability model w.r.t ‘changeability’ factor is also an outcomeof this research. This research is recommended for software testing at ar-chitecture level as a standardized way for testing the software componentsfor faults and errors and their impact on dependable components. Conclusions. We conclude that PNML is an ISO standard and is the al-ternative for GSPN for dependability. Also, AADL Error Model Annex isstill evolving and there is a need of availability of proper literature publiclyfor better understanding. Also, PNML dependability model possesses the‘changeability’ factor of maintainability analysis and therefore it is able toadapt changes in the architecture. Also, dependability factors of a softwarecan be tested at architecture level using the standards; AADL and PNML

Made available in DSpace on 2014-06-12T16:00:15Z (GMT). No. of bitstreams: 2 arquivo6285_1.pdf: 1527923 bytes, checksum: 78d4cb768e2160db1bd4ea015fdefa03 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Sistema Embarcado ¶e um sistema computacional projetado para uma fun»c~ao dedicada. Geralmente, este sistema executa uma tarefa espec¶³¯ca dentre um conjunto maior de tarefas, e possui particularidades tanto de hardware quanto de software. Os Sistemas Embarcados est~ao presentes no cotidiano sob diferentes formas e com diferentes objetivos. Geralmente possuem uma s¶erie de restri»c~oes, tais como: dimens~oes das mem¶orias, fonte de energia, baixa velocidade de processamento, dentre outras. Este trabalho apresenta o desenvolvimento de um modelo em Redes de Petri de desem- penho e energias para c¶odigos ANSI-C, considerando um processador de uma plataforma embarcada espec¶³¯ca, com o objetivo de estimar o consumo de energia. A linguagem ANSI-C, como c¶odigo de Sistemas Embarcados, foi escolhida por ser uma das mais utilizadas no desenvolvimento destes sistemas. Redes de Petri Temporizadas permitem a modelagem e especi¯ca»c~ao de sistemas paralelos e distribu¶³dos e, ao mesmo tempo, prov^eem o formalismo matem¶atico necess¶ario para uma avalia»c~ao de desempenho. Neste trabalho, o modelo Redes de Petri Temporizada ¶e anotado com informa»c~ao de consumo de energia, o que originou a Power Petri Net. Este trabalho contribui tamb¶em com a implementa»c~ao de um simulador estoc¶astico para avalia»c~ao de desempenho e de um ambiente computacional no qual s~ao realizadas as estimativas. Esse ambiente ¶e formado pelo tradutor de c¶odigo ANSI-C para Redes de Petri no formato PNML [1], padr~ao XML para descri»c~ao de Redes de Petri, simulador estoc¶astico e extens~ao do ambiente EzPetri [2]. Como o modelo apresentado, b¶asico, pode ser estendido em outros trabalhos ¶e caracterizada a forma»c~ao de um framework. Para valida»c~ao do m¶etodo proposto, foi utilizado um c¶odigo de avalia»c~ao, benchmark, PowerStone [3] desenvolvido para explorar o sistema sob diferentes aspectos de consumo de energia

This work deals with the development and use of a graphical editor of object-oriented Petri nets implemented in the PNtalk language. First, Petri nets that expand over time are described here. They are followed by a description of the object-oriented paradigm. Next, the structure of object-oriented Petri nets in the implementation of PNtalk is described here. Further work presents a description of the application design, which shows the entire structure of the application from the perspective of views. The main motivation for creating this tool is the effort to make object-oriented Petri nets accessible to their users. The application was implemented in the JavaFX framework and the whole procedure is given in the following chapter together with testing. The result of the work is presented in the examples contained in the last chapter, which also contains detailed manuals for controlling the application. The tool in cooperation with the PNtalk server enables users to work more pleasantly with OOPN and their visual appearance.

This thesis deals with optimization problems of planning and scheduling. There are using genetic algorithms which are inspired by evolution process. Main work is familiar with the problem of planning and scheduling, genetic algorithm and Petri nets. This knowledge was used to create applications that would with the use of genetic algorithms was able to solve planning problems and the resulting plans would be represented the Time Petri Net. In conclusion of the this thesis are presented obtained results and examples of field use.