The Ground-Based Nuclear Explosion Monitoring Research and Development (GNEM R&D) program at Sandia National Laboratories (SNL) is regarded as the primary center for unbiased expertise in testing and evaluation of geophysical sensors and instrumentation for nuclear explosion monitoring. We had four main areas of interest to make progress on this year; this report will cover the advances made in...

Functional testing of complex hardware and software systems has long been recognized as an immensely computerintensive task. Consisting of a huge number of interacting components, computer systems are hard to be verified due to the well-known fundamental problem – combinatorial state explosion. One of the ways to overcome the complexity is to use abstract models for generating test sequences an...

Concurrency and communication are two of the key features of distributed systems. These features can make systematic testing of distributed systems a complex task. A major problem is the explosion of the test space because of the potential for arbitrary interference of concurrent threads. This paper describes an approach for systematic testing of such systems in an object-oriented context. We u...

Interoperability testing aims at verifying the possibility for two or more components to communicate correctly while providing the foreseen services. In this paper, we describe a new method for generating interoperability test cases. This method is equivalent to classical methods in terms of non-interoperability detection. Contrary to classical approaches, this method avoids the well-known stat...

We present parts of the speciication of a program to remote control and monitor diierent devices, especially valves, in an explosion test environment. The program was developed within an industrial national project called CATC carried out in PTB, the German federal institute of weights and measures. The CATC information system supports various activities of diierent user groups that are respons...

We present parts of the speci cation of a program to remote control and monitor di erent devices, especially valves, in an explosion test environment. The program was developed within an industrial national project called CATC carried out in PTB, the German federal institute of weights and measures. The CATC information system supports various activities of di erent user groups that are respons...

the risks of fire and explosion in oil and gas industry need to be managed. the objectives of the present study were to assess the risk of fire and explosion in iso-max unit of tehran oil refinery using dow’s fire and explosion index and to study the influences of the controlling methods. the latest version of dow fire and explosion index guideline was applied to calculate the fire and explosio...

the current manuscript presents the validation of smoothed particle hydrodynamics (sph) techniques for wave generation by underwater explosion, utilizing the so-called dualsphysics numerical model. this numerical method is used to analyze generated waves which are initiated by man-made or natural explosions below free surface level of sea. in spite of the modeling limitations (e.g. absence of o...