scholarly journals Dynamic Analysis of Multi-threaded Embedded Software to Expose Atomicity Violations

2016 ◽  
Author(s):  
Jay Patel ◽  
Yann-Hang Lee
Keyword(s):  
Dynamic Analysis ◽  
Embedded Software ◽  
Atomicity Violations

scholarly journals Special Issue on Dynamic Analysis and Testing of Embedded Software

2012 ◽  
Vol 85 (1) ◽  
pp. 1-2 ◽  
Author(s):  
W. Eric Wong ◽  
W.K. Chan ◽  
T.H. Tse ◽  
Fei-Ching Kuo
Keyword(s):  
Dynamic Analysis ◽  
Embedded Software ◽  
Special Issue

scholarly journals Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces

2016 ◽  
Vol 11 (5) ◽  
pp. 645 ◽  
Author(s):  
Antoine Ferlin ◽  
Virginie Wiels ◽  
Philippe Bon
Keyword(s):  
Dynamic Analysis ◽  
Embedded Software ◽  
Industrial Applications ◽  
Language Generation ◽  
Temporal Properties ◽  
Execution Traces ◽  
Büchi Automaton ◽  
Industrial Needs ◽  
Efficient Verification

Verification is decisive for embedded software. The goal of this work is to verify temporal properties on industrial applications, with the help of formal dynamic analysis. The approach presented in this paper is composed of three steps: formalization of temporal properties using an adequate language, generation of execution traces from a given property and verification of this property on execution traces. This paper focuses on the verification step. Use of a new kind of Büchi automaton has been proposed to provide an efficient verification taking into account the industrial needs and constraints. A prototype has been developed and used to carry out experiments on different anonymous real industrial applications.

Application of Error Estimating Model to Control Quality in Embedded Software Development

2010 ◽  
Vol 130 (3) ◽  
pp. 496-502
Author(s):  
Yoshiyuki Anan ◽  
Toyoshiro Nakashima ◽  
Kazunori Iwata ◽  
Hiroshi Yonemitsu ◽  
Tetsu Yoshioka ◽  
...  
Keyword(s):  
Software Development ◽  
Embedded Software ◽  
Control Quality
Sign in / Sign up

Export Citation Format

Share Document