Towards validated real-time software

We present a tool for the design and validation of embedded real time applications. The tool integrates two approaches: the use of the synchronous programming language, ESTEREL for design, and the application of model checking techniques for validation of real time properties. Validation is carried out on a global formal model (timed automata) taking into account the effective implementation of the application on the target hardware architecture as well as its external environment behavio

Challenges of Video Monitoring for Phenomenological Diagnostics in Present and Future Tokamaks

With the development of heterogeneous camera networks working at different wavelengths and frame rates and covering a large surface of vacuum vessel, the visual observation of a large variety of plasma and thermal phenomena (e.g., hot spots, ELMs, MARFE, arcs, dusts, etc.) becomes possible. In the domain of machine protection, a phenomenological diagnostic is a key-element towards plasma/thermal event dangerousness assessment during real time operation. It is also of primary importance to automate the extraction and the storage of phenomena information for further off-line event retrieval and analysis, thus leading to a better use of massive image data bases for plasma physics studies. To this end, efforts have been devoted to the development of image processing algorithms dedicated to the recognition of specific events. But a need arises now for the integration of techniques developed so far in both hardware and software directions. We present in this paper our latests results in the field of real time phenomena recognition and management through our image understanding software platform. This platform has been validated on Tore Supra during operation and is under evaluation for the foreseen imaging diagnostic of ITER

An Approach for the Empirical Validation of Software Complexity Measures

Software metrics are widely accepted tools to control and assure software quality. A large number of software metrics with a variety of content can be found in the literature; however most of them are not adopted in industry as they are seen as irrelevant to needs, as they are unsupported, and the major reason behind this is due to improper empirical validation. This paper tries to identify possible root causes for the improper empirical validation of the software metrics. A practical model for the empirical validation of software metrics is proposed along with root causes. The model is validated by applying it to recently proposed and well known metrics

Image-guided Breast Biopsy of MRI-visible Lesions with a Hand-mounted Motorised Needle Steering Tool

A biopsy is the only diagnostic procedure for accurate histological confirmation of breast cancer. When sonographic placement is not feasible, a Magnetic Resonance Imaging(MRI)-guided biopsy is often preferred. The lack of real-time imaging information and the deformations of the breast make it challenging to bring the needle precisely towards the tumour detected in pre-interventional Magnetic Resonance (MR) images. The current manual MRI-guided biopsy workflow is inaccurate and would benefit from a technique that allows real-time tracking and localisation of the tumour lesion during needle insertion. This paper proposes a robotic setup and software architecture to assist the radiologist in targeting MR-detected suspicious tumours. The approach benefits from image fusion of preoperative images with intraoperative optical tracking of markers attached to the patient's skin. A hand-mounted biopsy device has been constructed with an actuated needle base to drive the tip toward the desired direction. The steering commands may be provided both by user input and by computer guidance. The workflow is validated through phantom experiments. On average, the suspicious breast lesion is targeted with a radius down to 2.3 mm. The results suggest that robotic systems taking into account breast deformations have the potentials to tackle this clinical challenge.Comment: Submitted to 2021 International Symposium on Medical Robotics (ISMR

Validation Of Naval Platform Electromagnetic Tools Via Model And Full-Scale Measurements

Reliable EMC predictions are very important in the design of a naval platform's topside. Currently, EMC predictions of a Navy ship are verified by scale model and full-scale measurements. In the near future, the validation of software tools leads to an increased confidence in EMC predictions and (hopefully) removes the need for scale model measurements. In general, full-scale verification measurements will remain necessary, although perhaps fewer measurements will be required. The paper presents our topside design experience, from rough estimations 40 years ago, to analytical calculations and model measurements 20 years ago, to the numerically supported process as it is now. It shows the process of validating simulation tools with model and full-scale measurements. It also describes the challenges encountered and the deficiencies of commercial tools used now and the roadmap for Thales Naval Netherlands towards the integrated tools of the future

SFDL: MVC Applied to Workflow Design

Process management based on workflow systems is a growing trend in collaborative environments. One of the most notorious areas of improvement is that of user interfaces, especially since business process definition languages do not address efficiently the point of contact between workflow engines and human interactions. With that in focus, we propose the MVC pattern design to workflow systems. To accomplish this, we have designed a new dynamic view definition language called SFDL, oriented towards the easy interoperability with the different workflow definition languages, while maintaining enough flexibility to be represented in different formats and being adaptable to several environments. To validate our approach, we have carried out an implementation in a real banking scenario, which has provided continuous feedback and enabled us to refine the proposal. The work is fully based on widely accepted and used web standards (XML, YAML, JSON, Atom and REST). Some guidelines are given to facilitate the adoption of our solution

How to perform RT-qPCR accurately in plant species?: a case study on flower colour gene expression in an azalea (Rhododendron simsii hybrids) mapping population

Background: Flower colour variation is one of the most crucial selection criteria in the breeding of a flowering pot plant, as is also the case for azalea (Rhododendron simsii hybrids). Flavonoid biosynthesis was studied intensively in several species. In azalea, flower colour can be described by means of a 3-gene model. However, this model does not clarify pink-coloration. The last decade gene expression studies have been implemented widely for studying flower colour. However, the methods used were often only semi-quantitative or quantification was not done according to the MIQE-guidelines. We aimed to develop an accurate protocol for RT-qPCR and to validate the protocol to study flower colour in an azalea mapping population. Results: An accurate RT-qPCR protocol had to be established. RNA quality was evaluated in a combined approach by means of different techniques e.g. SPUD-assay and Experion-analysis. We demonstrated the importance of testing noRT-samples for all genes under study to detect contaminating DNA. In spite of the limited sequence information available, we prepared a set of 11 reference genes which was validated in flower petals; a combination of three reference genes was most optimal. Finally we also used plasmids for the construction of standard curves. This allowed us to calculate gene-specific PCR efficiencies for every gene to assure an accurate quantification. The validity of the protocol was demonstrated by means of the study of six genes of the flavonoid biosynthesis pathway. No correlations were found between flower colour and the individual expression profiles. However, the combination of early pathway genes (CHS, F3H, F3'H and FLS) is clearly related to co-pigmentation with flavonols. The late pathway genes DFR and ANS are to a minor extent involved in differentiating between coloured and white flowers. Concerning pink coloration, we could demonstrate that the lower intensity in this type of flowers is correlated to the expression of F3'H. Conclusions: Currently in plant research, validated and qualitative RT-qPCR protocols are still rare. The protocol in this study can be implemented on all plant species to assure accurate quantification of gene expression. We have been able to correlate flower colour to the combined regulation of structural genes, both in the early and late branch of the pathway. This allowed us to differentiate between flower colours in a broader genetic background as was done so far in flower colour studies. These data will now be used for eQTL mapping to comprehend even more the regulation of this pathway