Os veículos automotivos pesados possuem funcionalidades particulares e aplicação em ambiente agressivo. Para garantir melhores desempenho, segurança e confiabilidade aos equipamentos eletrônicos embarcados, é necessário o aperfeiçoamento dos métodos e processos de desenvolvimento de software embarcado automotivo. Considerando a metodologia de desenvolvimento baseada em modelos (MBD) como um método em ascensão na indústria automotiva, este trabalho pesquisa contribuições nas atividades de engenharia de requisitos, otimização e validação do software, de forma a comprovar a eficácia do método e ferramentas utilizadas na busca pela qualidade final do produto (veículo comercial pesado). A base do trabalho refere-se à aplicação dos conceitos de integração de requisitos à simulação (MIL - Model in the Loop), comparação da otimização do software gerado automaticamente entre ferramentas comuns (IDE’s) e as baseadas em modelo, validação e cobertura do software gerado e uma forma alternativa de aumento da cobertura do código testado. / The automotive heavy-duty vehicles have particular functionalities and aggressive environment application. To ensure better performance, safety and reliability to electronic embedded equipment, it is necessary to invest in methods and process improvements in automotive software development. Considering Model Based Design (MBD) as an ascending development method in automotive industry, this work looks towards contributions in requirements engineering, software optimization and validation, in order to prove the method and tools efficiency in the final product quality (heavy-duty vehicle). This work refers to the appliance of requirement engineering integration to the simulation (MIL - Model in the Loop), comparison between optimization in usual programming tools (IDE’s) and Model Based Design tools, validation and software code coverage, and an alternative way of increasing code coverage of a tested code.

CAPES / Esse trabalho tem como objetivo geral o estudo e integração de vários sensores na caracterização de depósitos sedimentares. As técnicas correntes de análise sedimentar são tipicamente caracterizadas por análises descritivas in situ e por técnicas laboratoriais \textit{a posteriori}. Em alguns casos, algumas respostas obtidas em laboratório não podem ser explicadas pela descrição realizada in situ, resultando em falsos positivos e até na necessidade de novas coletas. Um sistema que integre sensores e técnicas para análises sedimentares in situ serve como uma ferramenta de auxílio, onde a resposta fornecida pelo analisador sedimentológico independe do pesquisador que utilizará o equipamento. Além disso, os resultados serão fornecidos no momento da coleta e qualquer resultado fora da normalidade poderá ser comparado com uma nova análise no mesmo instante. O sistema de aquisição desenvolvido integra as respostas de sensores acústicos, elétricos e térmicos. Os sensores são montados numa placa de fibra de vidro e as placas são inseridas no depósito sedimentar. Uma primeira análise consiste em avaliar a resposta acústica. Nessa técnica duas placas sensoras separadas por uma determinada distância são utilizadas, onde um sinal elétrico é utilizado para geração do sinal acústico numa placa e é realizada a leitura do sinal acústico na outra placa sensora. A mesma proposta foi replicada para um sistema de eletrodos para avaliar a impedância elétrica do depósito sedimentar. Além disso, são utilizados sensores capacitivos para avaliar a variação da impedância em função das características do depósito sedimentar. Uma outra técnica empregada avalia a resposta térmica. Nesse caso, um conjunto de resistores são utilizados para aquecer o depósito sedimentar e um conjunto de termistores são utilizados para avaliar a variação térmica nas próximidades dos sensores. Nesse trabalho foram realizados testes para verificar a variação dos sensores utilizados nas situações limites de baixo e elevado grau de saturação de água nos depósitos sedimentares. Com base nos testes realizados, o sistema permite medir o grau de saturação de água em função das respostas elétrica e térmica. Nos ensaios de laboratório foram observadas grandes variações para diferentes tipos de solo, podendo ser utilizado na classificação de solos. Além disso, o sistema desenvolvido apresentou mostrou aplicabilidade no monitoramento ambiental, podendo ser utilizado na avaliação espaço-temporal da irradiação solar, temperatura e umidade do solo. / This work describes overall integration of various sensors and geotechnical characterization of sediments. The techniques of analysis are typically characterized by in situ descriptions and laboratory techniques. Sometimes, laboratory responses cannot be explained by descriptions performed in situ, resulting in false positives and the necessity of new measurements. The proposal of a system that integrates sensors and geotechnical analysis in situ provides a better response due to results independent of researcher. Furthermore, the results will be provided in real time and some measurements errors can be easily detected. In this work, the developed system integrates responses of acoustic, electrical, and thermal sensors. The sensors were built in a plate of fiberglass and they are inserted into sediments. A first proposal is the evaluation of acoustic response. In this situation, two sensing plates separated by a given distance is used, where an electric signal is used to generates an acoustic signal and a piezoelectric crystal in the other sensor plate is used to detected received signal. The same setup was employed in a set of electrodes, where an electrical signal is applied into two electrodes arranged in two separate plates and the electrical impedance response is evaluated . Besides that, capacitive sensors are inserted into sediments to measure electrical impedance as a function of the characteristics of sedimentary deposit. Other developed system evaluates the thermal response. In this sensor, a set of resistors is used to heat the sediments and a set of thermistors is used to measure temperature variation. In this work, some tests were performed to evaluate the varition of sensors in situations of low and high degree of water saturation. In addition, it is presented the developed instrumentation. Based on the tests performed, developed system allows the measurement of water saturation based on the electrical and thermal responses. Besides that, laboratory tests show variations for different types of soil, where it can be used for soil classification. Furthermore, the system can be used in environmental monitoring, where solar irradiation, temperature, and soil moisture data can be evaluated.

CAPES / O Paradigma Orientado a Notificações (PON) é uma alternativa para o desenvolvimento de aplicações em software e propõe resolver certos problemas existentes nos paradigmas usuais de programação, nomeadamente o Paradigma Declarativo (PD) e o Paradigma Imperativo (PI). Na verdade, o PON unifica as principais vantagens do PD e do PI, ao mesmo tempo que resolve (em termos de modelo) várias de suas deficiências e inconvenientes relativas ao cálculo lógico- causal em aplicações monoprocessados a de software, completamente supostamente multiprocessados. desde O PON ambientes tem sido materializado em termos de programação e modelagem, mas ainda não possuía um método formalizado para orientar os desenvolvedores na elaboração de teste de software. Esta dissertação propõe um método de teste para projetos de software que empregam o PON no seu desenvolvimento. O método de teste de software proposto foi desenvolvido para ser aplicado nas fases de teste unitário e teste de integração. O teste unitário considera as menores entidades testáveis do PON e requer critérios de teste específicos. O teste de integração considera o funcionamento das entidades PON em conjunto para realização de casos de uso e pode ser realizado em duas etapas: (1) teste sobre as funcionalidades descritas nos requisitos e no caso de uso e (2) teste que exercitem diretamente as entidades PON que compõem o caso de uso (como Premisses, Conditions e Rules). Esse método de teste foi aplicado em um caso de estudo que envolve a modelagem e desenvolvimento de um software de combate aéreo e os resultados desta pesquisa mostram que o método proposto possui grande importância no teste de programas PON. / The Notification Oriented Paradigm (NOP) is an alternative to the development of software applications and proposes to solve certain problems in the usual programming paradigms, including the Declarative Paradigm (DP) and Imperative Paradigm (IP). Indeed, the NOP unifies the main advantages of DP and IP while solving (in terms of model) several of its deficiencies and inconveniences related to logical-causal calculation, apparently from both mono and multiprocessor environments. The NOP has been materialized in terms of programming and modeling, but still did not have a formalized method to guide developers in designing and software testing activity. This dissertation proposes a test method for software projects that use the NOP in its development. The proposed software testing method was developed for use in the phases of unit testing and integration testing. The unit testing considers the smallest testable entities of the NOP and requires specific techniques for generating test cases. The integration testing considers the operation of the PON entities together to carry out use cases and can be accomplished in two steps: (1) test on the features described in the requirements and use case and (2) test that directly exercise the NOP entities that make up the use case (as Premisses, Conditions and Rules). The test method was applied in a case study involving the modeling and development of a simple air combat and the results of this research show that the proposed method has great importance in testing NOP programs in both unit and integration testing.

A alta competitividade entre as organizações empresariais exige constante inovação e evolução em seus processos produtivos, necessitando que seus sistemas de informação sejam produzidos e modificados com a mesma agilidade. A elicitação dos requisitos, no entanto, ainda é feita por meio de métodos empíricos sem efetiva garantia de seu alinhamento com os problemas e necessidades inerentes ao negocio. Deste contexto, a Engenharia de Software necessita de mecanismos mais precisos para uma etapa, do processo de desenvolvimento, que é considerada crítica para o sucesso do desenvolvimento do software. Este trabalho realiza o desenvolvimento de uma abordagem para elicitação de requisitos de software por meio da notação para modelagem de negocio BPMN - Business Process Model and Notation, definida pela OMG - Object Management Group. Do ponto de vista da abordagem do problema é utilizada a pesquisa qualitativa, pois privilegia questões conceituais, padrões, opiniões expressas e suas respectivas análises e, sob o ponto de vista dos procedimentos técnicos, é baseada em estudos de caso. Como resultado desta dissertação foi criada uma abordagem para a elicitação de requisitos para o desenvolvimento de sistemas de informação baseado na notação BPMN para a modelagem de processos de negócios. Com a finalidade de verificar a viabilidade da utilização da abordagem proposta, foram realizados estudos de caso. / High competitivity among business organizations demands constant inovation and evolution of productive processes of companies, also pushing the same agility to development and modification of information systems. Besides that, elicitation of software requirements are still made using empiric methods without a warranty of its alignment with business problems and needs. Software Engineering needs better and precise mechaninsms to be used on a phase which is considered critical to the success of software development. This work realize the development of an approach to software requirements elicitation using BPMN - Business Process Model and Notation, defined by OMG - Object Management Group. As an approach to the problem, qualitative research will be used as it favors conceptual questions, patterns, opinions and its respective analysis, and on behalf technical procedures its based on study cases. As result of this research, an approach to elicitation of information systems development requirements was built based on BPMN notation to model business process. In order to check the feasibility of using the proposed approach, were made case studies.

A literatura indica que uma forma de reconhecer ações e atividades é por meio do uso de sensores anexados de alguma forma no ambiente do ator. Uma forma de limitar itens a serem considerados em um ambiente é por meio da definição de um contexto que, por sua vez, é uma ferramenta para manipulação do problema de reconhecimento de atividades. Nesta pesquisa, contexto é descrito utilizando ontologias com conceitos associados a ações, eventos e dispositivos. Esta pesquisa apresenta uma arquitetura para identificar as prováveis ações de um ator envolvido em um processo de software em um ambiente monitorado por sensores. A arquitetura está fundamentada na utilização de dados provenientes das ações que atores executam no ambiente e que são coletados por meio dos sensores. O objetivo é identificar as ações que o ator executa com o mínimo de intervenção do mesmo. Os dados coletados dos sensores são descritos por meio de ontologias em graus de abstração variados que permitem descrever dos dados brutos até as atividades e contextos nos quais as ações acontecem. As aplicações desta arquitetura variam do simples monitoramento de atividades até o compartilhamento de informações entre diversos atores em função de índices que representam o conteúdo da atividade e/ou o contexto de realização da mesma. Para a realização deste trabalho, uma das etapas do método consistiu na inspeção dos dados coletados pelos sensores, o que resultou no desenvolvimento de novas ontologias que, após avaliação com arquiteturas propostas anteriormente, demonstram que a arquitetura proposta neste trabalho, por meio do uso de um motor de inferência, consegue inferir em dados coletados por sensores e representados com o uso de ontologias. Uma contribuição desta pesquisa é a implementação de uma arquitetura flexível, que permite que novos sensores sejam adicionados, sem alterar o núcleo da arquitetura proposta. / The present work undertakes the problem of recognizing activities of an actor engaged in a software process. The main goal is to identify the actions that the actor performs with minimal intervention of him/herself. The literature indicates that a way to recognize actions and activities is through the use of sensors attached to the environment. Still, when targeting a specific scope, a very useful approach is to explicitly define and describe a context, e.g. through specific ontologies, as was the choise of this work. An architecture integrating ontologies and sensors is defined. The ontologies describe actions, events and devices with diferent granularities, acting as tools for the activity recognition problem. A specific implementation of the architecture is detailed along with the method used to derive the ontologies. Finally, the results are analyzed and evaluated vis-à-vis existing architectures. The main contribution of this research is a flexible architecture, allowing new sensors to be added in an incremental manner, just extending the ontologies, that are detached from the code.

Esta pesquisa apresenta uma proposta de bula para software, a qual possibilita capturar informações relacionadas aos requisitos funcionais e não funcionais de um determinado software, seguindo uma estrutura pré-definida. O referencial bibliográfico que embasa o trabalho é composto das teorias inerentes à transparência, transparência de software e mapas mentais. Discute a transparência dada às informações e processos das iniciativas públicas e privadas. Fornece subsídios para a concepção básica dos mapas mentais, proposto por Tony Buzan, com o intuito de justificar sua aderência em meio à proposta do trabalho. A proposta une a ideia de bulas de medicamentos, normatizada pela Agência Nacional de Vigilância Sanitária – ANVISA, aos conceitos de mapas mentais. Complementado por uma pesquisa experimental, este trabalho verificou a eficiência da bula de software na transmissão de conhecimentos por meio de um experimento que envolveu 326 participantes. Traz como resultado um modelo de bula para software que poderá ser utilizado pela indústria com o objetivo de elevar uma das características de transparência: a entendibilidade. / This research proposes a package insert for software that makes it possible to gather information related to the functional and non-functional requirements of a particular software, following a pre-defined structure. The bibliographic references that supports the work consists of theories relating to transparency, software transparency and mind maps. Discusses the transparency given to the information and processes of public and private initiatives. Provides subsidies for basic conception of mental maps, proposed by Tony Buzan, in order to justify its use in the work. The proposal combines the idea of pharmaceutical inserts, regulated by the National Health Surveillance Agency – ANVISA, to the concepts of mind maps. Complemented by experimental research, this study found the software package insert for efficiency in the transmission of knowledge through an experiment involving 326 participants. It brings up as result a model of package insert for software that may be used by the industry in order to increase one of the transparency’s characteristics: the understandability.

An experiment was conducted to determine the effects of subjective culture on the usability of computerized systems. The results of the experiment did not provide sufficient evidence to conclude that any of the tested cultural dimensions affected the usability of the product. Analysis of the results indicated that the differences in scores could have been attributable to variables other than those tested and controlled for. This indicated a need to build a more detailed conceptual model of usability before empirical research of this nature can be effectively conducted. Consequently, further work needed to be done to identify the variables that influence usability, and the strategies for controlling for these variables under experimental conditions. Through a literature investigation, the validity of some of the proposed variables was established, and some additional variables were identified. The valid variables were then incorporated into a conceptual model of usability for use in future research endeavors. / Information systems / M. Sc.

The objective of this thesis was to explore the nature of expenditure incurred on the internal development of software and its treatment in terms of the accounting and taxation frameworks to which it is subject. In fulfilling the primary objective the thesis had a number of subsidiary considerations. These included, firstly, a brief analysis of the approach of the software industry in South Africa to the taxation treatment of this type of software. The second consideration was a discussion and analysis of the taxation framework which differentiates between capital and revenue and the extent to which the receipts produced by internally developed software may be informative of the nature of the expenditure. The third was an analysis of the deductibility of expenditure incurred in the production of software with the fourth analysing the tests employed in the determination of whether expenditure is capital or revenue in nature. The fifth objective was to briefly analyse the accounting standards which find application in the determination of whether or not the software created can be considered a capital asset. The final subsidiary objective of the thesis was an analysis of the taxation framework applicable to software in respect of research and development incentives, as well as the position in the United States of America. Throughout the thesis the most apparent commonality is that there exists a significant level of uncertainty as to the taxation treatment of software both in South Africa and in America. The research concludes by stating that such uncertainty is prejudicial to the interests of research and development in relation to software.

This dissertation investigates current trends concerning exceptions. Exceptions influence the reliability of software systems. In order to develop software systems that are most robust, thus delivering higher availability at a lower development and operating cost, the occurence of exceptions needs to be reduced and the effects of the exceptions controlled. In order to do this, issues such as detection, identification, classification, propagation, handling, language implementation, software testing and reporting of exceptions must be attended to. Although some of these areas are well researched there are remaining problems. The quest is to establish if a unified exception-handling framework is possible and viable, which can address the issues and problems throughout the software development life cycle, and if so, the requirements for such a framework. / Computing / M.Sc. (Information Systems)

Submitted by Milena Rubi (milenarubi@ufscar.br) on 2017-06-01T14:03:52Z No. of bitstreams: 1 LEONESSA_Nathalia_2016.pdf: 56993911 bytes, checksum: c3674f0762a44d85df19038a13d9f2d2 (MD5) / Approved for entry into archive by Milena Rubi (milenarubi@ufscar.br) on 2017-06-01T14:14:25Z (GMT) No. of bitstreams: 1 LEONESSA_Nathalia_2016.pdf: 56993911 bytes, checksum: c3674f0762a44d85df19038a13d9f2d2 (MD5) / Approved for entry into archive by Milena Rubi (milenarubi@ufscar.br) on 2017-06-01T14:14:33Z (GMT) No. of bitstreams: 1 LEONESSA_Nathalia_2016.pdf: 56993911 bytes, checksum: c3674f0762a44d85df19038a13d9f2d2 (MD5) / Made available in DSpace on 2017-06-01T14:14:40Z (GMT). No. of bitstreams: 1 LEONESSA_Nathalia_2016.pdf: 56993911 bytes, checksum: c3674f0762a44d85df19038a13d9f2d2 (MD5) Previous issue date: 2016-12-12 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / The methodologies currently used by startups for market discovery and software development focus on a more agile and fast development, aiming to obtain learning about the potential market. Often, these methodologies set aside good software development practices to make the process faster and more dynamic, with constant end-user participation. If, on the one hand, the use of methodologies such as Scrum and RUP for software development can result in the development of technological solutions that are not used by users due to the lack of participation in software construction, on the other hand, they bring many benefits when it comes to project management and software quality. In contrast, the opposite occurs to the methodologies and tools currently used by startups, such as Lean Startup, Customer Development, Thinking Design and Business Model Canvas. These methodologies and tools focus on the discovery and validation of the market, without concern for the final quality of the product developed for the client, impacting directly. This impact can also be a waste of time in developing a product that no one will be able to use because of the large number of failures or even it never be finalized due to management problems. The lack of concern for good management of a development project, and its final quality, can do as much damage as the lack of approximation with the potential client. Moreover, in an environment of extreme uncertainty, unknown variables should be reduced in order to achieve overall development success, not just business models. The use of good Software Engineering practices may allow obtaining more information and technical data about the solution developed, which directly impact the user. This information can be used as a basis for decision making, thereby reducing risks related to final product quality and project management, making it easier for potential customers to use, and leaner development. In this sense, this work proposes a software development methodology for startups, Startup Kaizen (SK). SK integrates good practices of methodologies such as RUP and Scrum with methodologies focused on validation and market discovery, such as Lean Startup, Customer Development, Thinking Design and Business Model Canvas. This union of good software engineering practices with market discovery aims to minimize the risk variables for the creation of a new company, whether related to market or management and software quality. After the creation of Startup Kaizen, a case study was performed with its application with graduate students in Computer Science at the Federal University of São Carlos in Sorocaba. This application allowed the data collection to analyze the results in the form of a case study. / As metodologias atualmente utilizadas por startups para descoberta de mercado e desenvolvimento de software focam no desenvolvimento mais ágil e rápido, visando a obtenção de aprendizado sobre o mercado de atuação. Muitas vezes, essas metodologias deixam de lado boas práticas de desenvolvimento de software para que ele seja realizado de forma mais dinâmica e rápida, com constante participação do usuário final. Se, por um lado, a utilização de metodologias ágeis como Scrum e metodologias mais tradicionais como RUP, para o desenvolvimento de software pode resultar no desenvolvimento de soluções tecnológicas que não são utilizadas pelos usuários por falta de uma constante participação deles na construção do software, por outro lado, elas trazem inúmeros benefícios quando se trata de gerenciamento de projeto e qualidade de software. Em contrapartida, o oposto ocorre para as metodologias e ferramentas atualmente utilizadas por startups, tais como Lean Startup, Customer Development, Design Thinking e Business Model Canvas. Essas metodologias e ferramentas focam na descoberta e validação de mercado, sem a preocupação com a qualidade final do produto desenvolvido para o cliente, impactando-o diretamente. Esse impacto pode também acarretar um desperdício de tempo no desenvolvimento de um produto que ninguém conseguirá utilizar, devido à grande quantidade de falhas, ou até que nunca será finalizado, devido a problemas de gerenciamento. A falta de preocupação com um bom gerenciamento de um projeto de desenvolvimento, e sua qualidade final, podem trazer tantos prejuízos quanto a falta de aproximação com o potencial cliente. Além disso, no ambiente de extrema incerteza, as variáveis de insegurança devem ser reduzidas ao máximo possível visando a obtenção de sucesso no desenvolvimento como todo, e não apenas em relação a modelos de negócios. A utilização de boas práticas de engenharia de software pode possibilitar a obtenção de mais informações e dados técnicos sobre a solução desenvolvida, que impactam diretamente o usuário. Essas informações podem ser utilizadas como base na tomada de decisão, diminuindo assim, os riscos relacionadas a qualidade final do produto e gerenciamento de projeto, facilitando a utilização por seus potenciais clientes, além de um desenvolvimento mais enxuto. Neste sentido, este trabalho propõe uma metodologia de desenvolvimento de software para startups, o Startup Kaizen (SK). O SK agrega boas práticas de metodologias como RUP e Scrum com metodologias com foco na validação e descoberta de mercado, como Lean Startup, Customer Development, Design Thinking e Business Model Canvas. Essa união de boas práticas de engenharia de software com a descoberta de mercado, tem como objetivo minimizar as variáveis de risco para a criação de uma nova empresa, sejam elas relacionadas a mercado ou gerenciamento e qualidade de software. Após a criação do Startup Kaizen, foi realizado um estudo de caso com sua aplicação com alunos de pós-graduação em Ciências da Computação da Universidade Federal de São Carlos em Sorocaba. Essa aplicação permitiu a coleta de dados para análise dos resultados na forma de estudo de caso. / 33001014