An Assume Guarantee Verification Methodology for Aspect-Oriented Programming

2008 ◽  
Author(s):  
Mustafa Ispir ◽  
Aysu Betin Can
Keyword(s):  
Aspect Oriented Programming ◽  
Verification Methodology

Migrating production monolithic systems to microservices using aspect oriented programming

2021 ◽  
Author(s):  
Augusto Flávio A. A. Freire ◽  
Américo Falcone Sampaio ◽  
Luis Heustakio L. Carvalho ◽  
Otávio Medeiros ◽  
Nabor C. Mendonça
Keyword(s):  
Aspect Oriented Programming

Applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming

2011 ◽  
Vol 46 (2) ◽  
pp. 123-126
Author(s):  
Thomas Würthinger ◽  
Walter Binder ◽  
Danilo Ansaloni ◽  
Philippe Moret ◽  
Hanspeter Mössenböck
Keyword(s):  
Dynamic Aspect ◽  
Aspect Oriented Programming ◽  
Code Evolution

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.

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