Sentence examples for verification of components from inspiring English sources

The proposed formalism captures the temporal and type aspects of interfaces and supports the composition and verification of components.

As already being introduced, initially this work started from the idea of building a middleware to intermediate distributed devices to perform functional verification of components developed in the laboratory.

His main research interests are: self-adaptive (collective) systems, applied formal methods, run-time service composition and adaptation, specification and verification of component-based systems, dynamic software architectures.

From the verification of the components such as preheater and circulator, a 9 MPa He loop was constructed, and it supplies high temperature (500 °C) and pressure (8 MPa) He to the high heat flux test facility.

X-ray computed tomography sets the stage for geometrical verification of additive manufacturing components, thanks to its ability in measuring complex shapes.

Therefore, different strategies have been used to demonstrate the relativity of such negative impact, based mainly on the verification of two key components: a) whether there is enough available evidence to support conclusions about the effectiveness of a given drug/intervention (adequacy of evidence), and b) whether that evidence implies about effectiveness (magnitude of benefit) [38, 39].

To enable characterization and verification of our microstrip components, we have incorporated waveguide probes on each chip that can bring millimeter wave signals from a room temperature vector network analyzer to the superconducting circuits on the chip and back again for S-parameter measurements.

This paper deals with the modeling, automatic implementation and runtime verification of constraints in component-based applications.

The purpose of this paper is to show the requirement specification, the architecture and verification of the designed component for the multiplex section overhead processing for transmission systems using a SDH/SONET data stream for STM-0/STS-1 to STM-4/STS-12 signals (ITU-T, Telecommunication Standardization Sector of ITU. G.707; ITU-T, Telecommunication Standardization Sector of ITU. G.783).

This paper deals with the formal specification and verification of dynamic reconfigurations of component-based systems.

This chapter describes and explains the role and methods of experimental testing in the design and verification of brakes and their components.