Timing Requirement Description Diagrams for Real-Time System Verification

International audienceTURTLE is a real-time UML profile introduced a few years ago to address the analysis, design and deployment of time-constrained systems. The profile has a formal semantics. Further, it is supported by an open source toolkit: TTool. The latter enables formal verification of TURTLE models without specific knowledge of mathematical notations or formal languages. This paper proposes to extend TURTLE to cover the requirement capture phase, to check a model against formally expressed temporal requirements, and to achieve temporal requirement traceability. TURTLE is extended with SysML requirement diagrams. Non-formal and formal requirements are both handled. Timing Requirement Description Diagrams are introduced to formally express temporal requirements. TRDDs are based on UML Timing Diagrams. A Hybrid Power Management Unit of a Hybrid Vehicle serves as example

Analytical method for the determination of strychnine in tissues by gas chromatography/mass spectrometry: two case reports

This paper describes an analytical method for strychnine determination in biological samples by gas chromatography/mass spectrometry and their application in the investigation of two cases involving strychnine ingestion: A fatal case and a clinical one. The strychnine is isolated from biological samples using a liquid-liquid extraction procedure. The clean-up procedure is performed using an acid solution. Papaverine is used as internal standard in the quantification of strychnine. In the analysed specimens, the limits of quantification were 0.1 [mu]g/ml or 0.1 [mu]g/g. The recovery rate ranged from 75.0% to 98.7% and the coefficients of variation ranged from 4.8% to 10.5%.http://www.sciencedirect.com/science/article/B6T6W-408KCFB-8/1/f8bbeefad9e20909aef50467f67a2e8