Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
This presentation, developed in Microsoft PowerPoint©, communicates the results of a Toxic Endpoint Analysis undertaken by the Safety Basis Department (01426) at Sandia National Laboratories/New Mexico. The purpose of the analysis is to compare the toxic endpoints (e.g., ERPG-2, ERPG-3, AEGL-2 AEGL-3, PAC-2, and PAC-3) at both the 15-minute and the 60-minute release periods against the existing Industrial Facilities Safety Basis (IFSB) Guidance Protocol for classifying facilities at Sandia National Laboratories (SNL). In this analysis, specific toxic chemicals are modeled with exposure limits at 100 meters (m) to understand the impacts on facility hazard classification.
Sandia’s approach to achieve and sustain operational excellence includes the routine application of Plan-Do-Check-Act (P-D-C-A) quality principles and defect prevention methodologies to our work. To sustain operational excellence, we need to be mindful of factors that could prevent success, address them before they do, and continue to improve all facets of our work. The mindful approach used by organizations that have achieved operational excellence includes use of a questioning attitude coupled with critical thinking throughout their workflows, and the application of five key principles: (1) a preoccupation with failure, (2) reluctance to oversimplify, (3) sensitivity to operations, (4) commitment to resilience, and (5) appropriate deference to expertise.