No abstract

STAMP (System-Theoretic Accident Model and Processes) techniques such as STPA (System- Theoretic Process Analysis) and STPA-Sec (STPA for Security) have been applied only in an adhoc manner, without the aid of tools. More recently, tools have been proposed to help the application of STPA and STPA-Sec. Most of the tools focus on user experience issues and do not cover all the aspects of STPA and STPA-Sec. Three aspects of tools are systematization, automation and analysis completeness. Systematization allows the analysis to be performed in a more disciplined way while automation allows a more time efficient analysis. Analysis’ completeness is the analysis coverage in a given domain. We identify the essential requirements supporting business and stakeholders' needs for a STAMP based tool. We propose a STAMPcompliant web application, named WebSTAMP, for STPA and STPA-Sec. WebSTAMP is intended to aid analysts throughout the analysis process in a more automated and comprehensive way, and it aims to be a collaborative tool. We illustrate how the requirements are implemented in the current version of WebSTAMP with an example of use. The results show that WebSTAMP assists analysts to conduct safety and security analyses in a more systematic, automated and comprehensive manner.

The development of discrete event simulation models to simulate engineering processes is a complex endeavour because it requires a great deal of effort, time and expertise in different areas, in addition to knowledge of techniques of modelling and implementation. We aim to provide a model-driven approach to automate the generation of simulation models from process models. The approach consists of algorithms that map elements of SPEM (Software & Systems Process Engineering Metamodel) to XACDML (eXtensible Activity Cycle Diagrams Markup Language). SPEM is a notation used to model engineering processes. XACDML is a textual specification of ACD. ACD is graphical notation to represent discrete event simulation models. We extended XACDML to cope with SPEM hierarchical elements enabling the mappings between the models. We developed a tool and use it in an example in order to demonstrate the feasibility of our approach. The results indicate that the approach is feasible and reduces the burden associated with building simulation models of engineering processes.

O compartilhamento de dados geoespaciais esbarrava, nas décadas passadas, na ineficiente ou até mesmo inexistente infraestrutura de tecnologia de informação. Com o desenvolvimento e a popularização de novos componentes de hardware e software em computadores pessoais, aliados ao investimento na infraestrutura de comunicações, o tráfego de dados obteve um expressivo incremento. Entretanto, diversos dados produzidos por instituições de governo, pesquisa e ensino são de difícil acesso à sociedade até os dias atuais e, com o foco na disponibilização destes, foi desenvolvido o Sistema de Compartilhamento de Dados Geoespaciais, que objetiva compartilhar dados geoespaciais produzidos pelo curso de Geografia da Universidade Federal de Alfenas. A plataforma foi desenvolvida a partir do código-fonte da plataforma TerraBrasilis, desenvolvida pelo Instituto Nacional de Pesquisas Espaciais, que gentilmente colaborou na transferência de tecnologia. As tecnologias utilizadas nesta plataforma são baseadas em softwares de código aberto e seguem as especificações do Open Geospatial Consortium. Passadas as fases de desenvolvimento e implantação, foi possível dar funcionalidade a um WebGIS com desempenho satisfatório, tornando-se públicos, de forma gratuita, dados geoespaciais que servirão à sociedade no suporte à tomada de decisões.