Photovoltaic Module Reliability Workshop 2010: February 18-19, 2010

NREL's Photovoltaic (PV) Module Reliability Workshop (PVMRW) brings together PV reliability experts to share information, leading to the improvement of PV module reliability. Such improvement reduces the cost of solar electricity and promotes investor confidence in the technology--both critical goals for moving PV technologies deeper into the electricity marketplace

Formal verification of automotive embedded UML designs

Software applications are increasingly dominating safety critical domains. Safety critical domains are domains where the failure of any application could impact human lives. Software application safety has been overlooked for quite some time but more focus and attention is currently directed to this area due to the exponential growth of software embedded applications. Software systems have continuously faced challenges in managing complexity associated with functional growth, flexibility of systems so that they can be easily modified, scalability of solutions across several product lines, quality and reliability of systems, and finally the ability to detect defects early in design phases. AUTOSAR was established to develop open standards to address these challenges. ISO-26262, automotive functional safety standard, aims to ensure functional safety of automotive systems by providing requirements and processes to govern software lifecycle to ensure safety. Each functional system needs to be classified in terms of safety goals, risks and Automotive Safety Integrity Level (ASIL: A, B, C and D) with ASIL D denoting the most stringent safety level. As risk of the system increases, ASIL level increases and the standard mandates more stringent methods to ensure safety. ISO-26262 mandates that ASILs C and D classified systems utilize walkthrough, semi-formal verification, inspection, control flow analysis, data flow analysis, static code analysis and semantic code analysis techniques to verify software unit design and implementation. Ensuring software specification compliance via formal methods has remained an academic endeavor for quite some time. Several factors discourage formal methods adoption in the industry. One major factor is the complexity of using formal methods. Software specification compliance in automotive remains in the bulk heavily dependent on traceability matrix, human based reviews, and testing activities conducted on either actual production software level or simulation level. ISO26262 automotive safety standard recommends, although not strongly, using formal notations in automotive systems that exhibit high risk in case of failure yet the industry still heavily relies on semi-formal notations such as UML. The use of semi-formal notations makes specification compliance still heavily dependent on manual processes and testing efforts. In this research, we propose a framework where UML finite state machines are compiled into formal notations, specification requirements are mapped into formal model theorems and SAT/SMT solvers are utilized to validate implementation compliance to specification. The framework will allow semi-formal verification of AUTOSAR UML designs via an automated formal framework backbone. This semi-formal verification framework will allow automotive software to comply with ISO-26262 ASIL C and D unit design and implementation formal verification guideline. Semi-formal UML finite state machines are automatically compiled into formal notations based on Symbolic Analysis Laboratory formal notation. Requirements are captured in the UML design and compiled automatically into theorems. Model Checkers are run against the compiled formal model and theorems to detect counterexamples that violate the requirements in the UML model. Semi-formal verification of the design allows us to uncover issues that were previously detected in testing and production stages. The methodology is applied on several automotive systems to show how the framework automates the verification of UML based designs, the de-facto standard for automotive systems design, based on an implicit formal methodology while hiding the cons that discouraged the industry from using it. Additionally, the framework automates ISO-26262 system design verification guideline which would otherwise be verified via human error prone approaches

Operationally Responsive Space (ORS): An Architecture and Enterprise Model for Adaptive Integration, Test and Logistics

The capability to rapidly deploy tactical satellites to meet a Joint Force Commander\u27s immediate battlespace requirements is a well-documented joint capability need. Key U.S. strategic documentation cites the need for the capability to maintain persistent surveillance or an unblinking eye over battlespace and to rapidly reconstitute critical space capabilities to preserve situational awareness. The warfighter requires a tactical space-based deployment capability which employs a request to launch and operational deployment window of 90 to 120 days. This master\u27s thesis executed two (2) major areas of work: apply, and reinforce the Operationally Responsive Space (ORS) mission tasks using the Joint Capabilities Integration Development System (JCIDS) process; then based on capability gap data generated from the process, analyze and define the capability gap of an ORS Adaptive Integration, Test and Logistics (IT&L) process for payload to bus deployment to meet the identified time scales. This document recommends engineering solutions and processes for the ORS IT&L to-be state for this warfighter capability. The ORS adaptive IT&L CONOPS developed as part of this work focuses on the Tactical Satellite Rapid Deployment System (TSRDS), which is an adaptive integration, test and logistics capability that enables rapid and effective payload to bus integration to meet a 90- to 120-day warfighter window

Fault-based Analysis of Industrial Cyber-Physical Systems

The fourth industrial revolution called Industry 4.0 tries to bridge the gap between traditional Electronic Design Automation (EDA) technologies and the necessity of innovating in many indus- trial fields, e.g., automotive, avionic, and manufacturing. This complex digitalization process in- volves every industrial facility and comprises the transformation of methodologies, techniques, and tools to improve the efficiency of every industrial process. The enhancement of functional safety in Industry 4.0 applications needs to exploit the studies related to model-based and data-driven anal- yses of the deployed Industrial Cyber-Physical System (ICPS). Modeling an ICPS is possible at different abstraction levels, relying on the physical details included in the model and necessary to describe specific system behaviors. However, it is extremely complicated because an ICPS is com- posed of heterogeneous components related to different physical domains, e.g., digital, electrical, and mechanical. In addition, it is also necessary to consider not only nominal behaviors but even faulty behaviors to perform more specific analyses, e.g., predictive maintenance of specific assets. Nevertheless, these faulty data are usually not present or not available directly from the industrial machinery. To overcome these limitations, constructing a virtual model of an ICPS extended with different classes of faults enables the characterization of faulty behaviors of the system influenced by different faults. In literature, these topics are addressed with non-uniformly approaches and with the absence of standardized and automatic methodologies for describing and simulating faults in the different domains composing an ICPS. This thesis attempts to overcome these state-of-the-art gaps by proposing novel methodologies, techniques, and tools to: model and simulate analog and multi-domain systems; abstract low-level models to higher-level behavioral models; and monitor industrial systems based on the Industrial Internet of Things (IIOT) paradigm. Specifically, the proposed contributions involve the exten- sion of state-of-the-art fault injection practices to improve the ICPSs safety, the development of frameworks for safety operations automatization, and the definition of a monitoring framework for ICPSs. Overall, fault injection in analog and digital models is the state of the practice to en- sure functional safety, as mentioned in the ISO 26262 standard specific for the automotive field. Starting from state-of-the-art defects defined for analog descriptions, new defects are proposed to enhance the IEEE P2427 draft standard for analog defect modeling and coverage. Moreover, dif- ferent techniques to abstract a transistor-level model to a behavioral model are proposed to speed up the simulation of faulty circuits. Therefore, unlike the electrical domain, there is no extensive use of fault injection techniques in the mechanical one. Thus, extending the fault injection to the mechanical and thermal fields allows for supporting the definition and evaluation of more reliable safety mechanisms. Hence, a taxonomy of mechanical faults is derived from the electrical domain by exploiting the physical analogies. Furthermore, specific tools are built for automatically instru- menting different descriptions with multi-domain faults. The entire work is proposed as a basis for supporting the creation of increasingly resilient and secure ICPS that need to preserve functional safety in any operating context

Processing-Structure-Performance Relationships in Fused Filament Fabricated Fiber Reinforced ABS for Material Qualification

This dissertation uses the processing-structure-performance relationships to elucidate future needs in qualification of materials manufactured by fused filament fabrication and also introduces a previously unused testing method for the determination of fracture toughness in these materials. Fused filament fabrication (FFF) is an additive manufacturing technique that utilizes the layering of deposited molten plastic in two dimensional shapes to create three dimensional objects. This technique has gained traction over the past two decades as a disruptive manufacturing technology that promises many benefits. In order for FFF to truly be a staple in manufacturing spaces across the world for the production of end-user parts, standardization of testing procedures for the qualification of FFF specific materials must take place. Adjusting standards for qualification must occur with analysis in ultimate tensile strength, response to environmental conditions, and the fracture behavior of these parts. In Chapter 1, a comprehensive analysis of the current state of the art in fracture of FFF parts is presented and discussed. Discussed in this section are the rheological specific phenomena that govern the polymer chain physics at interfaces and within deposited beads. This is tied to the fracture strength and the current questions in part behavior. In chapter 2, a commonly used tensile testing standard is explored and tested on fiber reinforced acrylonitrile-butadiene-styrene (ABS). Due to the complex manufacturing process, new naming standards and testing recommendations are made and the influence of part production methodologies and processing parameters on ultimate tensile strength are explored. The response of fiber reinforced and non-reinforced ABS in environmental conditioning is tested and discussed in chapter 3, where specimens were exposed to heat and moisture then tested in tension. Chapter 4 introduces a unique testing specimen to the FFF literature to obtain multiple fracture modes. Through this test specimen, the nature of the material as a laminate or as a porous homogeneous material is also explored and documented

Annual Report 2018-2019

It contains the statement of R&D works undertaken, achievement made and the expenditure by the laboratory during the financial year 2018-2019

Selection of an alternative production part approval process to improve weapon systems production readiness

This thesis conducted an examination related to the Department of Defense (DOD) weapons systems production approval practices. Current practices result in poor weapons system production outcomes that reduce fleet readiness in DOD weapons systems acquisition. The Government Accountability Office (GAO) has reported concerns related to a lack of manufacturing knowledge at production start as causal to poor production outcomes. A comparison of DOD practices against non-DOD industrial production approval processes addressing causality and improvement opportunity provided new insight not found in acquisition research. An analysis of alternatives identified best practices to improve production capability and readiness. Key findings revealed that the automotive production approval process followed industry best practices that fully addressed problems identified by the GAO. Non-DOD industries used a more prescriptive Quality Management System (QMS) that enabled a more disciplined manufacturing development and demonstration of production capability prior to production commitment. Commercial surveys in the literature confirmed the benefits of the automotive prescriptive QMS. The more successful QMS approach can be applied to DOD acquisition practices reducing costs and improving fleet readiness.http://archive.org/details/selectionofnlter1094556139Civilian, Department of the NavyApproved for public release; distribution is unlimited

Photovoltaic Module Reliability Workshop 2011: February 16-17, 2011

NREL's Photovoltaic (PV) Module Reliability Workshop (PVMRW) brings together PV reliability experts to share information, leading to the improvement of PV module reliability. Such improvement reduces the cost of solar electricity and promotes investor confidence in the technology--both critical goals for moving PV technologies deeper into the electricity marketplace