Made available in DSpace on 2014-10-09T12:50:31Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T13:58:58Z (GMT). No. of bitstreams: 1 00048.pdf: 1060879 bytes, checksum: fa889f74fac825b31f349ea5fafec184 (MD5) / Dissertacao (Mestrado) / IEA/D / Escola Politecnica, Universidade de Sao Paulo - POLI/USP

Made available in DSpace on 2014-10-09T12:48:53Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:01:14Z (GMT). No. of bitstreams: 1 09627.pdf: 6224254 bytes, checksum: 0192b8abd2aed7811607e803516e20a7 (MD5) / Dissertacao (Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN/CNEN-SP

Made available in DSpace on 2014-10-09T12:48:42Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T13:58:03Z (GMT). No. of bitstreams: 1 09246.pdf: 5265828 bytes, checksum: 4d1524b4005b3c1696584a11c7c97252 (MD5) / Dissertacao (Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN/CNEN-SP

Made available in DSpace on 2014-10-09T12:50:31Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T13:58:58Z (GMT). No. of bitstreams: 1 00048.pdf: 1060879 bytes, checksum: fa889f74fac825b31f349ea5fafec184 (MD5) / Dissertacao (Mestrado) / IEA/D / Escola Politecnica, Universidade de Sao Paulo - POLI/USP

Made available in DSpace on 2014-10-09T12:48:53Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:01:14Z (GMT). No. of bitstreams: 1 09627.pdf: 6224254 bytes, checksum: 0192b8abd2aed7811607e803516e20a7 (MD5) / Dissertacao (Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN/CNEN-SP

This work was undertaken as a final year project in Computer Engineering, within the Department of Computer and Information Science at Linköping University. At the Department of Computer and Information Science, work oriented at testing and analyzing applications is developed to provide solution approaches to problems that arise in system product development. One of the current applications being developed is the ‘Systemics Analyst’. The purpose of the application is to facilitate for system developers with an analysis tool permitting insights on system reliability, system critical components, how to improve the system and the consequences as well as risks of a system failure. The purpose of the present thesis was to enhance the ‘Systemics Analyst application’ by incorporating an ‘automated model-based reliability prediction’ and ‘fault tree analysis’ modules. This enables reliability prediction and fault tree analysis diagrams to be generated automatically from the data files and relieves the system developer from manual creation of the diagrams. The enhanced Systemics Analyst application managed to present the results in respective models using the new incorporated functionality. To accomplish the above tasks, ‘Systemics Analyst application’ was integrated with a library that handles automated model-based reliability prediction and fault tree analysis, which is described in this thesis. The reader will be guided through the steps that are performed to accomplish the tasks with illustrating figures, methods and code examples in order to provide a closer vision of the work performed.

Vehicles have been around in our society for over a century, until recently they have been standalone systems. With increased amounts of initiatives to inter-network vehicles to avoid accidents and reduce environmental impact the view of a vehicle as a standalone system needs to be reconsidered. Networking and cooperation between vehicles requires that all systems and the information therein are trustworthy. Faulty or malicious vehicle systems are thus not limited to only affecting a single vehicle but also the entire network. The detection of anomalous behavior in a vehicle computer system is therefore of importance. To improve the vehicle systems we strive to achieve security awareness within the vehicle computer system. As a first step we will identify threats toward the vehicle computer system and what has been done to address them. We perform a threat analysis consisting of fault trees and misuse cases to identify the threats. The fault trees provide away to connect the threats found with vehicle stakeholders' goals. The connection between stakeholder goals and threat highlights the need for threat mitigation. Several research initiatives are discussed to find out what has been done to address the identified threats and to find the state of the research for security in vehicle computer system. Lastly, an error model for the Controller Area Network (CAN) is proposed to model the consequences of threats applied to the CAN bus.

No description available.

Low volume high value (LVHV) supply chains such as airline manufacturing, power plant construction, and shipbuilding are especially susceptible to risks. These industries are characterized by long lead times and a limited number of suppliers that have both the technical know-how and manufacturing capabilities to deliver the requisite goods and services. Disruptions within the supply chain are common and can cause significant and costly delays. Although supply chain risk management and supply chain reliability are topics that have been studied extensively, most research in these areas focus on high vol- ume supply chains and few studies proactively identify risks. In this research, we develop methodologies to proactively and quantitatively identify and mitigate supply chain risks within LVHV supply chains. First, we propose a framework to model the supply chain system using fault-tree analysis based on the bill of material of the product being sourced. Next, we put forward a set of mathematical optimization models to proactively identify, mitigate, and resource at-risk suppliers in a LVHV supply chain with consideration for a firm’s budgetary constraints. Lastly, we propose a machine learning methodology to quan- tify the risk of an individual procurement using multiple logistic regression and industry available data, which can be used as the primary input to the fault tree when analyzing overall supply chain system risk. Altogether, the novel approaches proposed within this dissertation provide a set of tools for industry practitioners to predict supply chain risks, optimally choose which risks to mitigate, and make better informed decisions with respect to supplier selection and risk mitigation while avoiding costly delays due to disruptions in LVHV supply chains.

Yes / Reliability evaluation for ensuring the uninterrupted system operation is an integral part of dependable system development. Model-based safety analysis (MBSA) techniques such as Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) have made the reliability analysis process less expensive in terms of effort and time required. HiP-HOPS uses an analytical modelling approach for Fault tree analysis to automate the reliability analysis process, where each system component is associated with its failure rate or failure probability. However, such non-state-space analysis models are not capable of modelling more complex failure behaviour of component like failure/repair dependencies, e.g., spares, shared repair, imperfect coverage, etc. State-space based paradigms like Markov chain can model complex failure behaviour, but their use can lead to state-space explosion, thus undermining the overall analysis capacity. Therefore, to maintain the benefits of MBSA while not compromising on modelling capability, in this paper, we propose a conceptual framework to incorporate complex basic events in HiP-HOPS. The idea is demonstrated via an illustrative example. / DEIS H2020 Project under Grant 732242.