A Verification Methodology for Concurrent Software with Synchronous Communication

2004 ◽  
pp. 137-157
Author(s):  
Christoph Sprenger ◽  
Krzysztof Worytkiewicz
Keyword(s):  
Synchronous Communication ◽  
Concurrent Software ◽  
Verification Methodology

Development and application of serial synchronous communication driver in Linux2.6

2010 ◽  
Vol 30 (3) ◽  
pp. 850-853 ◽  
Author(s):  
Jie-ting QIU ◽  
Ru-jun CHEN ◽  
Zhan-xiang HE ◽  
Kai-lin QIU
Keyword(s):  
Synchronous Communication

scholarly journals A design and verification methodology for secure isolated regions

2016 ◽  
Author(s):  
Rohit Sinha ◽  
Manuel Costa ◽  
Akash Lal ◽  
Nuno P. Lopes ◽  
Sriram Rajamani ◽  
...  
Keyword(s):  
Verification Methodology

scholarly journals Numerical Evaluation of Structural Safety of Linear Actuator for Flap Control of Aircraft Based on Airworthiness Standard

Aerospace ◽  
2021 ◽  
Vol 8 (4) ◽  
pp. 104
Author(s):  
Dong-Hyeop Kim ◽  
Young-Cheol Kim ◽  
Sang-Woo Kim
Keyword(s):  
Numerical Analysis ◽  
Analytical Method ◽  
Safety Evaluation ◽  
Experimental Tests ◽  
Structural Safety ◽  
Linear Actuator ◽  
The Finite Element Method ◽  
Margin Of Safety ◽  
Verification Methodology ◽  
The Given

Airworthiness standards of Korea recommend verifying structural safety by experimental tests and analytical methods, owing to the development of analysis technology. In this study, we propose a methodology to verify the structural safety of aircraft components based on airworthiness requirements using an analytical method. The structural safety and fatigue integrity of a linear actuator for flap control of aircraft was evaluated through numerical analysis. The static and fatigue analyses for the given loads obtained from the multibody dynamics analysis were performed using the finite element method. Subsequently, the margin of safety and vulnerable area were acquired and the feasibility of the structural safety evaluation using the analytical method was confirmed. The proposed numerical analysis method in this study can be adopted as an analytical verification methodology for the airworthiness standards of civilian aircraft in Korea.

BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction

2004 ◽  
Vol 30 (6) ◽  
pp. 403-417 ◽  
Author(s):  
Farn Wang ◽  
K. Schmidt ◽  
Fang Yu ◽  
Geng-Dian Huang ◽  
Bow-Yaw Wang
Keyword(s):  
Data Structures ◽  
Safety Analysis ◽  
Symmetry Reduction ◽  
Concurrent Software ◽  
Graph Automorphism

Tolerance-based process proximity correction (PPC) verification methodology

2004 ◽  
Author(s):  
Kohji Hashimoto ◽  
Hiroharu Fujise ◽  
Shigeki Nojima ◽  
Takeshi Ito ◽  
Takahiro Ikeda
Keyword(s):  
Verification Methodology
Sign in / Sign up

Export Citation Format

Share Document