Molecular methods are being increasingly applied to detect, quantify and study microbial populations in food or during food processes. Among these methods, PCR-based techniques have been the subject of considerable focus and ISO guidelines have been established for the detection of food-borne pathogens. More particularly, real-time quantitative PCR (qPCR) is considered as a method of choice for...

Interprocess communication (IPC) provides the fundamental mechanism for the Mach microkernel to be extensible and exible. Mach IPC provides eecient communication mechanisms for many applications. However, it does not provide suucient functionality for real-time applications which have rigid timing constraints among threads. In Real-Time Mach (RT-Mach), we have extended Mach IPC to be priority i...

Modeling embedded real-time systems consisting of different components with UML-RT leads to a design model using various diagrams. Sequence diagrams describe possible interactions between system components and may be annotated with specific real-time constraints. Statechart diagrams are used for describing each component’s behavior. In order to be able to get a consistent model, a consistency c...

This study presents a novel Hybrid Intelligent Intrusion Detection System (IDS) known as RT-MOVICAB-IDS that incorporates temporal control. One of its main goals is to facilitate real-time Intrusion Detection, as accurate and swift responses are crucial in this field, especially if automatic abortion mechanisms are running. The formulation of this hybrid IDS combines Artificial Neural Networks ...

Increasingly, software must dynamically adapt its behavior in response to changes in the supporting computing, communication infrastructure, and in the surrounding physical environment. Assurance that the adaptive software correctly satisfies its requirements is crucial if the software is to be used in high assurance systems, such as command and control or critical infrastructure protection sys...

A computing platform is described for simulating arbitrary networks of spiking neurons in real time. A hybrid computing scheme is adopted that uses both software and hardware components to manage the tradeoff between flexibility and computational power; the neuron model is implemented in hardware and the network model and the learning are implemented in software. The incremental transition of t...

The causative agents of rabies are single-stranded, negative-sense RNA viruses in the genus Lyssavirus of Rhabdoviridae, consisting of twelve classified and three as yet unclassified species including classical rabies virus (RABV). Highly neurotropic RABV causes rapidly progressive encephalomyelitis with nearly invariable fatal outcome. Rapid and reliable diagnosis of rabies is highly relevant ...

We introduce rt-inconsistency, a property of real-time requirements. The property reflects that the requirements specify apparently inconsistent timing constraints. We present an algorithm to check rt-inconsistency automatically. The algorithm works via a stepwise reduction to real-time model checking. We implement the algorithm using an existing module for the reduction and the UPPAAL tool for...

A novel approach to quantitative reverse transcriptase polymerase chain reaction (QC RT-PCR) using real time detection and the 5' nuclease assay has been developed. Cystic fibrosis transmembrane transductance regulator (CFTR) target mRNA is reverse transcribed, amplified, detected, and quantitated in real time. A fluorogenic probe was designed to detect the CFTR amplicon. Relative increase in 6...