Message from the A-MOST 2021 Workshop Chairs

yesWe are pleased to welcome you to the 17th edition of the Advances in Model-Based Testing Workshop (A-MOST 2021), collocated with the IEEE International Conference on Software Testing, Verification and Validation (ICST 2021)

Coordination of ECA Rules by Verification and Control

International audienceEvent-Condition-Action (ECA) rules are a widely used language for the high level specification of controllers in adaptive systems, such as Cyber-Physical Systems and smart environments, where devices equipped with sensors and actuators are controlled according to a set of rules. The evaluation and execution of every ECA rule is considered to be independent from the others, but interactions of rule actions can cause the system behaviors to be unpredictable or unsafe. Typical problems are in redundancy of rules, inconsistencies, circularity, or application-dependent safety issues. Hence, there is a need for coordination of ECA rule-based systems in order to ensure safety objectives. We propose a tool-supported method for verifying and controlling the correct interactions of rules, relying on formal models related to reactive systems, and Discrete Controller Synthesis (DCS) to generate correct rule controllers

Raman Enhancement on a Broadband Meta-Surface

Cataloged from PDF version of article.Plasmonic metamaterials allow confinement of light to deep subwavelength dimensions, while allowing for the tailoring of dispersion and electromagnetic mode density to enhance specific photonic properties. Optical resonances of plasmonic molecules have been extensively investigated; however, benefits of strong coupling of dimers have been overlooked. Here, we construct a plasmonic meta-surface through coupling of diatomic plasmonic molecules which contain a heavy and light meta-atom. Presence and coupling of two distinct types of localized modes in the plasmonic molecule allow formation and engineering of a rich band structure in a seemingly simple and common geometry, resulting in a broadband and quasi-omni-directional meta-surface. Surface-enhanced Raman scattering benefits from the simultaneous presence of plasmonic resonances at the excitation and scattering frequencies, and by proper design of the band structure to satisfy this condition, highly repeatable and spatially uniform Raman enhancement is demonstrated. On the basis of calculations of the field enhancement distribution within a unit cell, spatial uniformity of the enhancement at the nanoscale is discussed. Raman scattering constitutes an example of nonlinear optical processes, where the wavelength conversion during scattering may be viewed as a photonic transition between the bands of the meta-material

Adaptive plasticity in the healthy reading network investigated through combined neurostimulation and neuroimaging

The reading network in the human brain comprises several regions, including the left inferior frontal cortex (IFC), ventral occipito-temporal cortex (vOTC) and dorsal temporo-parietal cortex (TPC). The left TPC is crucial for phonological decoding, i.e., for learning and retaining sound-letter mappings. Here, we tested the causal contribution of this area for reading with repetitive transcranial magnetic stimulation (rTMS) and explored the response of the reading network using functional magnetic resonance imaging (fMRI). 28 healthy adult readers overtly read simple and complex words and pseudowords during fMRI after effective or sham TMS over the left TPC. Behaviorally, effective stimulation slowed pseudoword reading. A multivariate pattern analysis showed a shift in activity patterns in the left IFC for pseudoword reading after effective relative to sham TMS. Furthermore, active TMS led to increased effective connectivity from the left vOTC to the left TPC, specifically for pseudoword processing. The observed changes in task-related activity and connectivity suggest compensatory reorganization in the reading network following TMS-induced disruption of the left TPC. Our findings provide first evidence for a causal role of the left TPC for overt pseudoword reading and emphasize the relevance of functional interactions in the healthy reading network for successful pseudoword processing

Assessing the state of the Akyatan and Tuzla lagoons of the Mediterranean coast of Turkey

We report evidence for the physical-geographical characteristic of two large water areas of Turkey's wetlands, the Tuzla and Akyatan lagoons of the Mediterranean coast. Their location, morphometric parameters, and the characteristics of the hydrological regime are provided. For the first time, an assessment is made of the state of the lagoons from physicochemical and hydrobiological indices. The pioneering monitoring studies are used to make recommendations for optimization and the possible restoration of the lagoons. © 2008

Portable Microfluidic Integrated Plasmonic Platform for Pathogen Detection

Timely detection of infectious agents is critical in early diagnosis and treatment of infectious diseases. Conventional pathogen detection methods, such as enzyme linked immunosorbent assay (ELISA), culturing or polymerase chain reaction (PCR) require long assay times, and complex and expensive instruments, which are not adaptable to point-of-care (POC) needs at resource-constrained as well as primary care settings. Therefore, there is an unmet need to develop simple, rapid, and accurate methods for detection of pathogens at the POC. Here, we present a portable, multiplex, inexpensive microfluidic-integrated surface plasmon resonance (SPR) platform that detects and quantifies bacteria, i.e., Escherichia coli (E. coli) and Staphylococcus aureus (S. aureus) rapidly. The platform presented reliable capture and detection of E. coli at concentrations ranging from ∼105 to 3.2 × 107 CFUs/mL in phosphate buffered saline (PBS) and peritoneal dialysis (PD) fluid. The multiplexing and specificity capability of the platform was also tested with S. aureus samples. The presented platform technology could potentially be applicable to capture and detect other pathogens at the POC and primary care settings. © 2015, Nature Publishing Group. All rights reserved