Property-Based Dynamic Verification and Test

2012 ◽  
pp. 157-176 ◽  
Author(s):  
Dominique Borrione ◽  
Katell Morin-Allory ◽  
Yann Oddos
Keyword(s):  
Dynamic Verification

scholarly journals Scalable problem-oriented approach for dynamic verification of embedded systems

2012 ◽  
Vol 45 (4) ◽  
pp. 224-229
Author(s):  
F. Mendoza ◽  
P. Nenninger ◽  
M. Ruppert ◽  
J. Becker
Keyword(s):  
Embedded Systems ◽  
Dynamic Verification ◽  
Oriented Approach

Towards a Framework for Dynamic Verification of Peer-to-Peer Systems

2007 ◽  
Author(s):  
Theofrastos Koulouris ◽  
George Spanoudakis ◽  
Theocharis Tsigkritis
Keyword(s):  
Peer To Peer ◽  
Dynamic Verification ◽  
Peer To Peer Systems

Dynamic Verification for Hybrid Concurrent Programming Models

2014 ◽  
pp. 156-161
Author(s):  
Erdal Mutlu ◽  
Vladimir Gajinov ◽  
Adrián Cristal ◽  
Serdar Tasiran ◽  
Osman S. Unsal
Keyword(s):  
Concurrent Programming ◽  
Programming Models ◽  
Dynamic Verification

Dynamic verification of hierarchical multi-agent plans

2017 ◽  
Vol 13 (2) ◽  
pp. 113-142 ◽  
Author(s):  
Said Brahimi ◽  
Ramdane Maamri ◽  
Zaidi Sahnoun
Keyword(s):  
Dynamic Verification ◽  
Multi Agent

Experiences From Structural Dynamic Analysis Projects of BWR Plants Within the Scope of Power Uprate Projects Using FEA

2010 ◽  
Author(s):  
Bjo¨rn Sva¨rd ◽  
Jan-Anders Larsson ◽  
Philip Ma˚rtensson ◽  
Bjo¨rn Lundin
Keyword(s):  
Finite Element Analysis ◽  
Dynamic Analysis ◽  
Structural Models ◽  
Dynamic Interactions ◽  
Element Analysis ◽  
Structural Dynamic ◽  
Global Models ◽  
Dynamic Verification ◽  
Strong Dynamic ◽  
Reactor Pressure

During recent years, power-uprate projects have been executed at several BWR-units in Sweden. As part of these projects, structural verification of the safety-related buildings as well as the new and old internal parts of the reactor pressure vessel, RPV, has been performed. In this document, some experiences will be presented from structural dynamic verification, using finite element analysis, FEA, within the scope of these power uprate projects. From this work, a number of conclusions can be drawn. Global models with dense meshes can successfully be used for a broad range of applications. Today, large FEA-models can be used efficiently, e.g. in global vibration and structural verification analyses, if suitable dynamic analysis methods are used. There can be strong dynamic interactions between the containment, fluids, the RPV and RPV-internals. Stress calculation and evaluation can be executed efficiently on large models. The structural models can with advantage be re-utilized in future projects.

Sign in / Sign up

Export Citation Format

Share Document