In [23], the authors present an approach dealing with the run-time verification of behavior-aware composition of things.
However, this approach to frame conditions has not been considered so far in any of the numerous approaches for the automatic validation and verification of the behavior in UML/OCL models that have been proposed in the last years.
It also describes the development of a tool chain that follows a model-driven approach, which has been used in the design of the vehicle control software as well as a component-based framework that provides the runtime support of the application and enables its flexible deployment in nodes, processes and threads and pre-verification of concurrent behavior.
Figure 8 shows the verification of the model behavior during bus states transitions.
As such, these simulations have to be seen as a verification of the algorithmic behavior and correct implementation of the protocol.
The applicability of silane pyrolysis kinetic models on gaseous species and silicon growth were analyzed in detail after the verification of fundamental flow behavior.
This study reports the results of the verification of the diffusion behavior with full-scale gas leakage experiments simulating real underground pipelines, as well as the outcomes of the applicability test of a numerical simulation model investigated and proposed based on the results.
In this paper, we report the results of the only field test of which we are aware that uses randomized trials to measure whether stricter enforcement and verification of work search behavior alone decreases unemployment claims and benefits paid in the U.S. unemployment insurance (UI) program.
To help the formal verification of their actual behavior, i.e. their temporal properties, this paper describes an interpretation of basic timed MSCs in a temporal framework that formally represents, in a unified model, both the qualitative and the metric temporal information conveyed in these intuitive diagrams.
In this paper, by using the means of numerical simulation and experimental verification, mechanical behavior of three-branch cast-steel joints in the tree-like column structure under eccentric load was studied.
In this paper the harmonization of new wind turbine rotor blades development is given as well as the analysis of behavior by verification testing for a wind turbine rotor blade of composite materials.
