Dynamic Verification of SystemC Transactional Models

2011 ◽  
Author(s):  
Laurence Pierre ◽  
Luca Ferro
Keyword(s):  
Dynamic Verification ◽  
Transactional Models

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

Ensuring Customised Transactional Reliability of Composite Services

2013 ◽  
pp. 203-232 ◽  
Author(s):  
Sami Bhiri ◽  
Walid Gaaloul ◽  
Claude Godart ◽  
Olivier Perrin ◽  
Maciej Zaremba ◽  
...  
Keyword(s):  
Web Services ◽  
Web Service ◽  
Control Structure ◽  
Point Of View ◽  
Workflow Patterns ◽  
Composite Services ◽  
Transactional Models ◽  
Transactional Approach

Web services are defined independently of any execution context. Due to their inherent autonomy and heterogeneity, it is difficult to examine the behaviour of composite services, especially in case of failures. This paper is interested in ensuring composite services reliability. Reliable composition is defined as a composition where all instance executions are correct from a transactional and business point of view. In this paper, the authors propose a transactional approach for ensuring reliable Web service compositions. The approach integrates the expressivity power of workflow models and the reliability of Advanced Transactional Models (ATM). This method offers flexibility for designers to specify their requirements in terms of control structure, using workflow patterns, and execution correctness. Contrary to ATM, the authors start from the designers’ specifications to define the appropriate transactional mechanisms that ensure correct executions according to their requirements.

Property-Based Dynamic Verification and Test

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

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
Sign in / Sign up

Export Citation Format

Share Document