Search results for "verification"
showing 10 items of 104 documents
Towards Data Quality Runtime Verification
2019
This paper discusses data quality checking during business process execution by using runtime verification. While runtime verification verifies the correctness of business process execution, data quality checks assure that particular process did not negatively impact the stored data. Both, runtime verification and data quality checks run in parallel with the base processes affecting them insignificantly. The proposed idea allows verifying (a) if the process was ended correctly as well as (b) whether the results of the correct process did not negatively impact the stored data in result of its modification caused by the specific process. The desired result will be achieved by use of domain sp…
Waveforms clustering and single-station location of microearthquake multiplets recorded in the northern Sicilian offshore region
2013
In 2009 December, the OBSLab-INGV (Istituto Nazionale di Geofisica e Vulcanologia) deployed an Ocean Bottom Seismometer with Hydrophone (OBS/H) near the epicentral area of the main shock of the Palermo seismic sequence of 2002. The monitoring activity had a total duration of about 8 months. During this experiment, the OBS/H recorded 247 very local microearthquakes, whose local magnitude is between -0.5 and 2.5 and TS - TP delay time between 0.2 and 5 s, almost all ofwhichwere undetected by the Italian National Seismic Network. This local microseismicity has been analysed using an innovative clustering technique that exploits the similarity between the waveforms generated by different events…
Engineering multi-agent systems: State of affairs and the road ahead
2019
International audience; The continuous integration of software-intensive systems together with the ever-increasing computing power offer a breeding ground for intelligent agents and multi-agent systems (MAS) more than ever before. Over the past two decades, a wide variety of languages, models, techniques and methodologies have been proposed to engineer agents and MAS. Despite this substantial body of knowledge and expertise, the systematic engineering of large-scale and open MAS still poses many challenges. Researchers and engineers still face fundamental questions regarding theories, architectures, languages, processes, and platforms for designing, implementing, running, maintaining, and e…
QUALITY SYSTEM FOR PRODUCTION SOFTWARE (QSPS): AN INNOVATIVE APPROACH TO IMPROVE THE QUALITY OF PRODUCTION SOFTWARE
2013
A quality system for production software should be part of the quality management system of an organization and can be expressed as objectives in the form of processes, procedures, tools and responsibilities, designed and developed to fulfil the quality requirements. These usually are addressing the customers (external or internal), compliance with standards (effectiveness) waste reduction and better use of resources (efficiency) for continual improvement. Such systems are designed according to the requirements of the standards for quality management, software engineering and information security. Quality systems themselves could not provide all necessary means for driving the organization…
Technical assessment and evaluation of environmental models and software: Letter to the Editor
2011
International audience; This letter details the collective views of a number of independent researchers on the technical assessment and evaluation of environmental models and software. The purpose is to stimulate debate and initiate action that leads to an improved quality of model development and evaluation, so increasing the capacity for models to have positive outcomes from their use. As such, we emphasize the relationship between the model evaluation process and credibility with stakeholders (including funding agencies) with a view to ensure continued support for modelling efforts. Many journals, including EM&S, publish the results of environmental modelling studies and must judge the w…
Reward networks changes in the brain of pathological gamblers: a resting state functional magnetic resonance imaging study
2017
Aims and objectives Methods and materials Results Conclusion Personal information References
Sequentializing Parameterized Programs
2012
We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequential programs. The salient feature of the sequential program is that it tracks the local variables of only one thread at any point, and uses only O(k) copies of shared variables (it does not use extra counters, not even one counter to keep track of the number of threads). Sequentialization is achieved using the concept of a linear interface that captures the effect an unbounded block of processes have on the shared state in a k-round schedule. Our transformation utilizes linear interfaces to sequentialize the progra…
Safety assurance of an industrial robotic control system using hardware/software co-verification
2022
As a general trend in industrial robotics, an increasing number of safety functions are being developed or re-engineered to be handled in software rather than by physical hardware such as safety relays or interlock circuits. This trend reinforces the importance of supplementing traditional, input-based testing and quality procedures which are widely used in industry today, with formal verification and model-checking methods. To this end, this paper focuses on a representative safety-critical system in an ABB industrial paint robot, namely the High-Voltage electrostatic Control system (HVC). The practical convergence of the high-voltage produced by the HVC, essential for safe operation, is f…
Testing the X-IFU calibration requirements: an example for quantum efficiency and energy resolution
2018
With its array of 3840 Transition Edge Sensors (TESs) operated at 90 mK, the X-Ray Integral Field Unit (X-IFU) on board the ESA L2 mission Athena will provide spatially resolved high-resolution spectroscopy (2.5 eV FWHM up to 7 keV) over the 0.2 to 12 keV bandpass. The in-flight performance of the X-IFU will be strongly affected by the calibration of the instrument. Uncertainties in the knowledge of the overall system, from the filter transmission to the energy scale, may introduce systematic errors in the data, which could potentially compromise science objectives - notably those involving line characterisation e.g. turbulence velocity measurements - if not properly accounted for. Defining…
A platform for the development and the validation of HW IP components starting from reference software specifications
2008
Abstract Signal processing algorithms become more and more efficient as a result of the developments of new standards. It is particularly true in the field video compression. However, at each improvement in efficiency and functionality, the complexity of the algorithms is also increasing. Textual specifications, that in the past were the original form of specifications, have been substituted by reference software which became the starting point of any design flow leading to implementation. Therefore, designing an embedded application has become equivalent to port a generic software on a, possibly heterogeneous, embedded platform. Such operation is getting more and more difficult because of …