Efficient schedulability tests for real-time embedded systems with urgent routines

Task scheduling is one of the key mechanisms to ensure timeliness in embedded real-time systems. Such systems have often the need to execute not only application tasks but also some urgent routines (e.g. error-detection actions, consistency checkers, interrupt handlers) with minimum latency. Although fixed-priority schedulers such as Rate-Monotonic (RM) are in line with this need, they usually make a low processor utilization available to the system. Moreover, this availability usually decreases with the number of considered tasks. If dynamic-priority schedulers such as Earliest Deadline First (EDF) are applied instead, high system utilization can be guaranteed but the minimum latency for executing urgent routines may not be ensured. In this paper we describe a scheduling model according to which urgent routines are executed at the highest priority level and all other system tasks are scheduled by EDF. We show that the guaranteed processor utilization for the assumed scheduling model is at least as high as the one provided by RM for two tasks, namely 2(2√−1). Seven polynomial time tests for checking the system timeliness are derived and proved correct. The proposed tests are compared against each other and to an exact but exponential running time test.

Sensitive bi-enzymatic biosensor based on polyphenoloxidases–gold nanoparticles–chitosan hybrid film–graphene doped carbon paste electrode for carbamates detection

A bi-enzymatic biosensor (LACC–TYR–AuNPs–CS/GPE) for carbamates was prepared in a single step by electrodeposition of a hybrid film onto a graphene doped carbon paste electrode (GPE). Graphene and the gold nanoparticles (AuNPs) were morphologically characterized by transmission electron microscopy, X-ray photoelectron spectroscopy, dynamic light scattering and laser Doppler velocimetry. The electrodeposited hybrid film was composed of laccase (LACC), tyrosinase (TYR) and AuNPs entrapped in a chitosan (CS) polymeric matrix. Experimental parameters, namely graphene redox state, AuNPs:CS ratio, enzymes concentration, pH and inhibition time were evaluated. LACC–TYR–AuNPs–CS/GPE exhibited an improved Michaelis–Menten kinetic constant (26.9 ± 0.5 M) when compared with LACC–AuNPs–CS/GPE (37.8 ± 0.2 M) and TYR–AuNPs–CS/GPE (52.3 ± 0.4 M). Using 4-aminophenol as substrate at pH 5.5, the device presented wide linear ranges, low detection limits (1.68×10− 9 ± 1.18×10− 10 – 2.15×10− 7 ± 3.41×10− 9 M), high accuracy, sensitivity (1.13×106 ± 8.11×104 – 2.19×108 ± 2.51×107 %inhibition M− 1), repeatability (1.2–5.8% RSD), reproducibility (3.2–6.5% RSD) and stability (ca. twenty days) to determine carbaryl, formetanate hydrochloride, propoxur and ziram in citrus fruits based on their inhibitory capacity on the polyphenoloxidases activity. Recoveries at two fortified levels ranged from 93.8 ± 0.3% (lemon) to 97.8 ± 0.3% (orange). Glucose, citric acid and ascorbic acid do not interfere significantly in the electroanalysis. The proposed electroanalytical procedure can be a promising tool for food safety control.

Electrochemical biosensor based on biomimetic material for myoglobin detection

A novel reusable molecularly imprinted polymer (MIP) assembled on a polymeric layer of carboxylated poly(vinyl chloride) (PVCsingle bondCOOH) for myoglobin (Myo) detection was developed. This polymer was casted on the gold working area of a screen printed electrode (Au-SPE), creating a novel disposable device relying on plastic antibodies. Electrochemical impedance spectroscopy (EIS), cyclic voltammetry (CV) and Fourier transform infrared spectroscopy (FTIR) studies confirmed the surface modification. The MIP/Au-SPE devices displayed a linear behaviour in EIS from 0.852 to 4.26 μg mL−1, of positive slope 6.50 ± 1.48 (kΩ mL μg−1). The limit of detection was 2.25 μg mL−1. Square wave voltammetric (SWV) assays were made in parallel and showed linear responses between 1.1 and 2.98 μg mL−1. A current decrease was observed against Myo concentration, producing average slopes of −0.28 ± 0.038 μA mL μg−1. MIP/Au-SPE also showed good results in terms of selectivity. The error% found for each interfering species were 7% for troponin T (TnT), 11% for bovine serum albumin (BSA) and 2% for creatine kinase MB (CKMB), respectively. Overall, the technical modification over the Au-SPE was found a suitable approach for screening Myo in biological fluids.

Label-free Detection of Microcystin-LR in Waters Using Real-Time Potentiometric Biosensors Based on Single-Walled Carbon Nanotubes Imprinted Polymers

Microcystin-LR (MC-LR) is a dangerous toxin found in environmental waters, quantified by high performance liquid chromatography and/or enzyme-linked immunosorbent assays. Quick, low cost and on-site analysis is thus required to ensure human safety and wide screening programs. This work proposes label-free potentiometric sensors made of solid-contact electrodes coated with a surface imprinted polymer on the surface of Multi-Walled Carbon NanoTubes (CNTs) incorporated in a polyvinyl chloride membrane. The imprinting effect was checked by using non-imprinted materials. The MC-LR sensitive sensors were evaluated, characterized and applied successfully in spiked environmental waters. The presented method offered the advantages of low cost, portability, easy operation and suitability for adaptation to flow methods.

Microcystin-LR detection in water by the Fabry–Pérot interferometer using an optical fibre coated with a sol–gel imprinted sensing membrane

Cyanobacteria deteriorate the water quality and are responsible for emerging outbreaks and epidemics causing harmful diseases in Humans and animals because of their toxins. Microcystin-LR (MCT) is one of the most relevant cyanotoxin, being the most widely studied hepatotoxin. For safety purposes, the World Health Organization recommends a maximum value of 1 μg L−1 of MCT in drinking water. Therefore, there is a great demand for remote and real-time sensing techniques to detect and quantify MCT. In this work a Fabry–Pérot sensing probe based on an optical fibre tip coated with a MCT selective thin film is presented. The membranes were developed by imprinting MCT in a sol–gel matrix that was applied over the tip of the fibre by dip coating. The imprinting effect was obtained by curing the sol–gel membrane, prepared with (3-aminopropyl) trimethoxysilane (APTMS), diphenyl-dimethoxysilane (DPDMS), tetraethoxysilane (TEOS), in the presence of MCT. The imprinting effect was tested by preparing a similar membrane without template. In general, the fibre Fabry–Pérot with a Molecular Imprinted Polymer (MIP) sensor showed low thermal effect, thus avoiding the need of temperature control in field applications. It presented a linear response to MCT concentration within 0.3–1.4 μg L−1 with a sensitivity of −12.4 ± 0.7 nm L μg−1. The corresponding Non-Imprinted Polymer (NIP) displayed linear behaviour for the same MCT concentration range, but with much less sensitivity, of −5.9 ± 0.2 nm L μg−1. The method shows excellent selectivity for MCT against other species co-existing with the analyte in environmental waters. It was successfully applied to the determination of MCT in contaminated samples. The main advantages of the proposed optical sensor include high sensitivity and specificity, low-cost, robustness, easy preparation and preservation.