<p>Safety assessment is a rational and systematic process for assessing the risk associated with the usage of a product. While the safety assessment process is important even when making a simple product, the true importance of this process comes into light when designing for example an aircraft, where a failure could possibly lead to the loss of human lives. However,even though this process is vital for certain industries, it is plagued by a lack of tools. The existing tools are focused on specific parts of the process and do not make use of work done in earlier steps of the process which often means that the safety engineer needs to manually do work that could have been calculated automatically from information that is already present from an earlier step in the process.</p><p>This thesis shows that by creating a model of the product that can be present and augmented throughout every step in the process, many calculations that are currently done by hand can be automated or semi-automated by examining this shared model. The thesis proposes a specification for a modeling formalism that is simple enough to be used as early as the requirements phase of a project, but powerful enough to provide important information all the way throughout the safety assessment process.</p><p>The thesis also specifically shows how this model can be used to help in the creation and updating process of Failure Mode and Effects Analysis (FMEA) documents as a proof-of concept implementation based on Sörman Information AB’s product “Uptime BPC Standard”.Algorithms for synchronizing between the model and the FMEA representation, as well as algorithms for automatically calculating the next level effect and global level effect of failure modes based on the hierarchy and connections made in the model are also presented.</p><p>The prototype implementation shows that even though the entire safety assessment process cannot be automated it is possible to extract information from the model by analyzing its hierarchy and connections. While more work still needs to be done before the entire safety assessment process can be encompassed, the initial results shows that the proposed modeling formalism allows us to create models from which relevant information that can be used to support the safety assessment process can be calculated.</p>

Safety assessment is a rational and systematic process for assessing the risk associated with the usage of a product. While the safety assessment process is important even when making a simple product, the true importance of this process comes into light when designing for example an aircraft, where a failure could possibly lead to the loss of human lives. However,even though this process is vital for certain industries, it is plagued by a lack of tools. The existing tools are focused on specific parts of the process and do not make use of work done in earlier steps of the process which often means that the safety engineer needs to manually do work that could have been calculated automatically from information that is already present from an earlier step in the process. This thesis shows that by creating a model of the product that can be present and augmented throughout every step in the process, many calculations that are currently done by hand can be automated or semi-automated by examining this shared model. The thesis proposes a specification for a modeling formalism that is simple enough to be used as early as the requirements phase of a project, but powerful enough to provide important information all the way throughout the safety assessment process. The thesis also specifically shows how this model can be used to help in the creation and updating process of Failure Mode and Effects Analysis (FMEA) documents as a proof-of concept implementation based on Sörman Information AB’s product “Uptime BPC Standard”.Algorithms for synchronizing between the model and the FMEA representation, as well as algorithms for automatically calculating the next level effect and global level effect of failure modes based on the hierarchy and connections made in the model are also presented. The prototype implementation shows that even though the entire safety assessment process cannot be automated it is possible to extract information from the model by analyzing its hierarchy and connections. While more work still needs to be done before the entire safety assessment process can be encompassed, the initial results shows that the proposed modeling formalism allows us to create models from which relevant information that can be used to support the safety assessment process can be calculated.

Esta tese apresenta um processo para a criação de um catálogo de modelos de computação para apoiar o design de DSMLs, e a primeira versão do catálogo, com atributos que ajudam a selecionar os modelos de computação mais adequados para cada desenvolvimento de DSML, e as características dos sistemas de software para os quais esses modelos de computação são mais adequados. O contexto de aplicação desse catálogo é o Model-Driven Development (MDD desenvolvimento dirigido por modelos) a abordagem em que o desenvolvimento de software é baseado em modelos gráficos que são posteriormente traduzidos (transformados) em modelos de nível mais baixo e, no final, em código de linguagens de programação, tais como Java ou C#. A aplicação do processo gerou uma versão inicial do catálogo com os seguintes modelos de computação: diagramas BPMN, diagramas de classe da UML e regras de negócio. Visa-se contribuir para popularizar a abordagem de MDD com base em DSMLs e, em particular, a elaboração do design das DSMLs a partir de modelos de domínio, para o que o uso do catálogo efetivamente contribui. / This thesis presents a process for the creation of a catalog of models of computation to support the design of Domain-Specific Modeling Languages (DSMLs), and the first version of the catalog, which comprises attributes that aim to help the selection of the most suitable models of computation for each DSML development, and characteristics of software systems for which these models of computation are more appropriate. The context for the use of the catalog is the Model-Driven Development (MDD) - the approach where software development is based on graphical models that are subsequently translated (transformed) into lower-level models and, in the end, in source code in programming languages, such as Java or C #. The process was applied to generate an initial version of the catalog with the following models of computation: BPMN diagrams, UML class diagrams and business rules. It aims to contribute to popularize the MDD approach based in DSMLs, and in particular, the development of the DSMLs design from domain models, for which the use of the catalog effectively contributes.

Esta tese apresenta um processo para a criação de um catálogo de modelos de computação para apoiar o design de DSMLs, e a primeira versão do catálogo, com atributos que ajudam a selecionar os modelos de computação mais adequados para cada desenvolvimento de DSML, e as características dos sistemas de software para os quais esses modelos de computação são mais adequados. O contexto de aplicação desse catálogo é o Model-Driven Development (MDD desenvolvimento dirigido por modelos) a abordagem em que o desenvolvimento de software é baseado em modelos gráficos que são posteriormente traduzidos (transformados) em modelos de nível mais baixo e, no final, em código de linguagens de programação, tais como Java ou C#. A aplicação do processo gerou uma versão inicial do catálogo com os seguintes modelos de computação: diagramas BPMN, diagramas de classe da UML e regras de negócio. Visa-se contribuir para popularizar a abordagem de MDD com base em DSMLs e, em particular, a elaboração do design das DSMLs a partir de modelos de domínio, para o que o uso do catálogo efetivamente contribui. / This thesis presents a process for the creation of a catalog of models of computation to support the design of Domain-Specific Modeling Languages (DSMLs), and the first version of the catalog, which comprises attributes that aim to help the selection of the most suitable models of computation for each DSML development, and characteristics of software systems for which these models of computation are more appropriate. The context for the use of the catalog is the Model-Driven Development (MDD) - the approach where software development is based on graphical models that are subsequently translated (transformed) into lower-level models and, in the end, in source code in programming languages, such as Java or C #. The process was applied to generate an initial version of the catalog with the following models of computation: BPMN diagrams, UML class diagrams and business rules. It aims to contribute to popularize the MDD approach based in DSMLs, and in particular, the development of the DSMLs design from domain models, for which the use of the catalog effectively contributes.