0000000000637126
AUTHOR
Andreas Ulrich
Detection of security relevant substances within the cooperative project SAFE XUV
The objective of this project funded by the German BMBF was to show that security relevant substances can be detected in complex matrices at low concentrations using single photon ionization ion trap mass spectrometry (SPI-ITMS). The advantage of such a soft ionization technique is a reduction of unwanted fragment ions in mass spectra allowing identification of signals from complex matrices and enabling MS/MS capability. The MS/MS studies permit low false-positive and false-negative rates. Additionally, the accumulation of the ions in the ion trap decreases the detection limit. To obtain low detection limits the ionization potentials (IPs) of the relevant substances have to be below the IPs…
Using partial-orders for detecting faults in concurrent systems
The paper suggests test derivation approaches to obtain test suites for concurrent systems based on the concept of fault coverage criteria in opposition to structural test coverage criteria. Using a partial-order model, called Mazurkiewicz Trace Machine (MTM), for test derivation, the state explosion problem can be alleviated. The derived test suites are characterized by their small size compared to test suites from traditional test derivation approaches and exhibit a defined degree of fault coverage according to certain fault models. The fault models of concurrent systems considered in the paper are based on the most common faults, acceptance, refusal, and transfer faults. A scenario of te…