A fase inicial de projeto de sistemas, baseada na elicitação, modelagem e análise dos requisitos é considerada a mais complexa e a mais estratégica para obtenção de bons resultados. Por conseguinte, erros precisam ser detectados durante esta fase inicial, antes de começar a implementação, evitando assim o desperdício de tempo e recursos. Este trabalho propõe um método formal de modelagem, análise e verificação de requisitos, partindo de uma representação semi-formal de requisitos em UML, e utilizando o formalismo das Redes de Petri para proceder à modelagem, análise e verificação. Propriedades das redes de Petri, tais como invariantes, são usadas para analisar os requisitos, permitindo uma validação antecipada dos requisitos no processo de design. O objetivo deste trabalho é estender a aplicação das redes de Petri como representação formal para a modelagem e análise de requisitos, endereçando assim a fase anterior às especificações. Pressupõe-se a existência de uma disciplina de projeto baseada em modelos (model driven) que abrange a fase inicial do projeto e se propaga para a modelagem e verificação de soluções. Assim, a abordagem proposta nesta tese se encaixa plenamente em um processo orientado a modelos que use a mesma linguagem: as redes de Petri. / The first stage of system design, which includes elicitation, modeling, and analysis of requirements is considered at the same time, very complex and very strategic to achieve proper results.Therefore it is important to detect mistakes both, conceptual and in requirements, before implementation begins, avoiding the waste of time and resources. This work proposes a formal method for modeling, analysis and verification of requirements, starting with a semi-formal representation of requirements in UML. Petri net and its properties such as invariants are used to analyze requirements, thereby allowing that requirements can be validated earlier. The main objective of this work is to extend the application of Petri Nets, as a formal representation, to requirements phase, addressing specification building. It is assumed that there is a model driven design approach that encompass the initial (requirements) phase and goes through the modeling and verification of solutions. Therefore the approach proposed in this work fits a model driven general approach which could use the same formal language: Petri Nets.

A fase inicial de projeto de sistemas, baseada na elicitação, modelagem e análise dos requisitos é considerada a mais complexa e a mais estratégica para obtenção de bons resultados. Por conseguinte, erros precisam ser detectados durante esta fase inicial, antes de começar a implementação, evitando assim o desperdício de tempo e recursos. Este trabalho propõe um método formal de modelagem, análise e verificação de requisitos, partindo de uma representação semi-formal de requisitos em UML, e utilizando o formalismo das Redes de Petri para proceder à modelagem, análise e verificação. Propriedades das redes de Petri, tais como invariantes, são usadas para analisar os requisitos, permitindo uma validação antecipada dos requisitos no processo de design. O objetivo deste trabalho é estender a aplicação das redes de Petri como representação formal para a modelagem e análise de requisitos, endereçando assim a fase anterior às especificações. Pressupõe-se a existência de uma disciplina de projeto baseada em modelos (model driven) que abrange a fase inicial do projeto e se propaga para a modelagem e verificação de soluções. Assim, a abordagem proposta nesta tese se encaixa plenamente em um processo orientado a modelos que use a mesma linguagem: as redes de Petri. / The first stage of system design, which includes elicitation, modeling, and analysis of requirements is considered at the same time, very complex and very strategic to achieve proper results.Therefore it is important to detect mistakes both, conceptual and in requirements, before implementation begins, avoiding the waste of time and resources. This work proposes a formal method for modeling, analysis and verification of requirements, starting with a semi-formal representation of requirements in UML. Petri net and its properties such as invariants are used to analyze requirements, thereby allowing that requirements can be validated earlier. The main objective of this work is to extend the application of Petri Nets, as a formal representation, to requirements phase, addressing specification building. It is assumed that there is a model driven design approach that encompass the initial (requirements) phase and goes through the modeling and verification of solutions. Therefore the approach proposed in this work fits a model driven general approach which could use the same formal language: Petri Nets.

Since their creation, CubeSats have become a valuable educational tool for university science and engineering programs. Unfortunately, while aerospace companies invest resources to develop verification and validation methodologies based on larger-scale aerospace projects, university programs tend to focus resources on spacecraft development. This paper looks at two different types of methodologies in an attempt to improve CubeSat reliability: generating software requirements and utilizing system and software architecture modeling. Both the Consortium Requirements Engineering (CoRE) method for software requirements and the Monterey Phoenix modeling language for architecture modeling were tested for usability in the context of PolySat, Cal Poly's CubeSat research program. In the end, neither CoRE nor Monterey Phoenix provided the desired results for improving PolySat's current development procedures. While a modified version of CoRE discussed in this paper does allow for basic software requirements to be generated, the resulting specification does not provide any more granularity than PolySat's current institutional knowledge. Furthermore, while Monterey Phoenix is a good tool to introduce students to model-based systems engineering (MBSE) concepts, the resulting graphs generated for a PolySat specific project were high-level and did not find any issues previously discovered through trial and error methodologies. While neither method works for PolySat, the aforementioned results do provide benefits for university programs looking to begin developing CubeSats.

This thesis concerns applications of learning-based testing (LBT) in the automotive domain. In this domain, LBT is an attractive testing solution, since it offers a highly automated technology to conduct safety critical requirements testing based on machine learning. Furthermore, as a black-box testing technique, LBT can manage the complexity of modern automotive software applications such as advanced driver assistance systems. Within the automotive domain, three relevant software testing questions for LBT are studied namely: effectiveness of requirements modeling, learning efficiency and error discovery capabilities. Besides traditional requirements testing, this thesis also considers fault injection testing starting from the perspective of automotive safety standards, such as ISO26262. For fault injection testing, a new methodology is developed based on the integration of LBT technologies with virtualized hardware emulation to implement both test case generation and fault injection. This represents a novel application of machine learning to fault injection testing. Our approach is flexible, non-intrusive and highly automated. It can therefore provide a complement to traditional fault injection methodologies such as hardware-based fault injection. / <p>QC 20190325</p>

本論文建立「Web 2.0後設架構分析框架」，可用於開發Web 2.0應用系統的結構化使用個案分析；首先從文獻歸納Web 2.0核心概念，再據之發展為分析框架。此框架包含兩部分，分別為「Web 2.0後設模型」以及兩階段的分析流程：第一階段以Web 2.0後設模型與系統需求產生出「Web 2.0實例模型」，第二階段加入非功能性需求分析，將實例模型轉換為UML使用個案。本論文使用四層之後設資料架構呈現此分析框架，並以股票交易型基金（ETF）之行銷與討論平台為例示範。 / This paper had proposed the “Web 2.0 meta-architecture analysis framework”, a structured use case analysis for Web 2.0 application systems: We first defined Web 2.0 core concepts and develop the analysis framework. The framework includes two parts: the “Web 2.0 meta-model” and a two-step analysis process. In the first step, the process generates “Web 2.0 instance-models” from the Web 2.0 meta-model and system requirements, which can be transformed into UML use cases along with non-functional requirements analysis in the second step. This paper presented this framework under four-layered meta-data architecture, and demonstrated the framework by using the case of ETF marketing and discussion platform.

A presente tese de doutorado está inserida dentro do contexto da área de AOSE – Agent-Oriented Software Engineering, uma área surgida recentemente voltada para a engenharia de software de sistemas multi-agentes que mescla conceitos tanto da Inteligência Artificial como da Engenharia de Software. Esta nova área surgiu devido aos novos desafios enfrentados pelos engenheiros de software ao projetar sistemas multi-agentes, uma vez que este tipo de sistema apresenta características que os diferenciam de outros tipos de software, precisamente o fato de possuírem agentes de software, entidades autônomas e pró-ativas que executam funções no sistema, possuidoras de objetivos próprios e capazes de perceber e agir sobre o ambiente que os cerca sem a intervenção de usuários externos. Este trabalho descreve um metamodelo UML desenvolvido para a modelagem de requisitos funcionais específicos para projetos de sistemas multi-agentes. O seu desenvolvimento baseou-se na constatação de que, apesar de já existirem linguagens derivadas da UML para o projeto de sistemas multi-agentes, nenhuma das linguagens estudadas desenvolveu mecanismos para a modelagem dos requisitos deste tipo de software, o que levou-nos a criar um metamodelo UML para este propósito. No decorrer desta tese serão descritas as linguagens estudadas derivadas da UML para ser aplicadas no projeto de sistemas multi-agentes, o metamodelo desenvolvido, sua adaptação aos princípios de projeto de Vicari (2007), três estudos de caso onde o metamodelo foi aplicado, além de uma proposta de mapeamento dos conceitos definidos no metamodelo para os conceitos das linguagens MAS-ML e AML, bem como uma proposta para a validação do metamodelo e dos diagramas criados por meio dele. / This PhD thesis is inserted within the context of the AOSE (Agent-Oriented Software Engineering) area, a recently-emerged field dealing with the software engineering of multi-agent systems which mixes concepts of Artificial Intelligence and Software Engineering together. This new area emerged from new challenges faced by the software engineers when designing multi-agent systems, since this kind of system presents characteristics that set them apart from other types of software, precisely for including software agents, autonomous and proactive entities that execute functions in the system, owning their own goals and able to perceive and act upon the surrounding environment without the intervention of external users. This work describes a UML metamodel developed for the modeling of the specific functional requirements for multi-agent systems projects. Its development was based on the perception that among the studied UML-derived languages for the multi-agent systems project, none of them had developed mechanisms for requirements modeling on this kind of software, leading us to create a UML metamodel for this purpose. Along this thesis we shall describe the UML-derived languages we studied to be applied in the multi-agent systems project, the developed metamodel, its adaptation to the Vicari (2007) design principles, three case studies on which the metamodel was applied, plus a mapping proposal for the concepts defined in the metamodel into MASML and AML languages concepts, as well as a validation proposal for the metamodel and the diagrams created by means of it.

A presente tese de doutorado está inserida dentro do contexto da área de AOSE – Agent-Oriented Software Engineering, uma área surgida recentemente voltada para a engenharia de software de sistemas multi-agentes que mescla conceitos tanto da Inteligência Artificial como da Engenharia de Software. Esta nova área surgiu devido aos novos desafios enfrentados pelos engenheiros de software ao projetar sistemas multi-agentes, uma vez que este tipo de sistema apresenta características que os diferenciam de outros tipos de software, precisamente o fato de possuírem agentes de software, entidades autônomas e pró-ativas que executam funções no sistema, possuidoras de objetivos próprios e capazes de perceber e agir sobre o ambiente que os cerca sem a intervenção de usuários externos. Este trabalho descreve um metamodelo UML desenvolvido para a modelagem de requisitos funcionais específicos para projetos de sistemas multi-agentes. O seu desenvolvimento baseou-se na constatação de que, apesar de já existirem linguagens derivadas da UML para o projeto de sistemas multi-agentes, nenhuma das linguagens estudadas desenvolveu mecanismos para a modelagem dos requisitos deste tipo de software, o que levou-nos a criar um metamodelo UML para este propósito. No decorrer desta tese serão descritas as linguagens estudadas derivadas da UML para ser aplicadas no projeto de sistemas multi-agentes, o metamodelo desenvolvido, sua adaptação aos princípios de projeto de Vicari (2007), três estudos de caso onde o metamodelo foi aplicado, além de uma proposta de mapeamento dos conceitos definidos no metamodelo para os conceitos das linguagens MAS-ML e AML, bem como uma proposta para a validação do metamodelo e dos diagramas criados por meio dele. / This PhD thesis is inserted within the context of the AOSE (Agent-Oriented Software Engineering) area, a recently-emerged field dealing with the software engineering of multi-agent systems which mixes concepts of Artificial Intelligence and Software Engineering together. This new area emerged from new challenges faced by the software engineers when designing multi-agent systems, since this kind of system presents characteristics that set them apart from other types of software, precisely for including software agents, autonomous and proactive entities that execute functions in the system, owning their own goals and able to perceive and act upon the surrounding environment without the intervention of external users. This work describes a UML metamodel developed for the modeling of the specific functional requirements for multi-agent systems projects. Its development was based on the perception that among the studied UML-derived languages for the multi-agent systems project, none of them had developed mechanisms for requirements modeling on this kind of software, leading us to create a UML metamodel for this purpose. Along this thesis we shall describe the UML-derived languages we studied to be applied in the multi-agent systems project, the developed metamodel, its adaptation to the Vicari (2007) design principles, three case studies on which the metamodel was applied, plus a mapping proposal for the concepts defined in the metamodel into MASML and AML languages concepts, as well as a validation proposal for the metamodel and the diagrams created by means of it.

A presente tese de doutorado está inserida dentro do contexto da área de AOSE – Agent-Oriented Software Engineering, uma área surgida recentemente voltada para a engenharia de software de sistemas multi-agentes que mescla conceitos tanto da Inteligência Artificial como da Engenharia de Software. Esta nova área surgiu devido aos novos desafios enfrentados pelos engenheiros de software ao projetar sistemas multi-agentes, uma vez que este tipo de sistema apresenta características que os diferenciam de outros tipos de software, precisamente o fato de possuírem agentes de software, entidades autônomas e pró-ativas que executam funções no sistema, possuidoras de objetivos próprios e capazes de perceber e agir sobre o ambiente que os cerca sem a intervenção de usuários externos. Este trabalho descreve um metamodelo UML desenvolvido para a modelagem de requisitos funcionais específicos para projetos de sistemas multi-agentes. O seu desenvolvimento baseou-se na constatação de que, apesar de já existirem linguagens derivadas da UML para o projeto de sistemas multi-agentes, nenhuma das linguagens estudadas desenvolveu mecanismos para a modelagem dos requisitos deste tipo de software, o que levou-nos a criar um metamodelo UML para este propósito. No decorrer desta tese serão descritas as linguagens estudadas derivadas da UML para ser aplicadas no projeto de sistemas multi-agentes, o metamodelo desenvolvido, sua adaptação aos princípios de projeto de Vicari (2007), três estudos de caso onde o metamodelo foi aplicado, além de uma proposta de mapeamento dos conceitos definidos no metamodelo para os conceitos das linguagens MAS-ML e AML, bem como uma proposta para a validação do metamodelo e dos diagramas criados por meio dele. / This PhD thesis is inserted within the context of the AOSE (Agent-Oriented Software Engineering) area, a recently-emerged field dealing with the software engineering of multi-agent systems which mixes concepts of Artificial Intelligence and Software Engineering together. This new area emerged from new challenges faced by the software engineers when designing multi-agent systems, since this kind of system presents characteristics that set them apart from other types of software, precisely for including software agents, autonomous and proactive entities that execute functions in the system, owning their own goals and able to perceive and act upon the surrounding environment without the intervention of external users. This work describes a UML metamodel developed for the modeling of the specific functional requirements for multi-agent systems projects. Its development was based on the perception that among the studied UML-derived languages for the multi-agent systems project, none of them had developed mechanisms for requirements modeling on this kind of software, leading us to create a UML metamodel for this purpose. Along this thesis we shall describe the UML-derived languages we studied to be applied in the multi-agent systems project, the developed metamodel, its adaptation to the Vicari (2007) design principles, three case studies on which the metamodel was applied, plus a mapping proposal for the concepts defined in the metamodel into MASML and AML languages concepts, as well as a validation proposal for the metamodel and the diagrams created by means of it.