• KIISE Transactions on Computing Practices
• /
• v.20 no.10
• /
• pp.561-566
• /
• 2014

There are growing demands for improving the patient safety and the effectiveness of medical services through device connectivity and interoperability. However, integration through networking might greatly increase the complexity of the system if it is not properly designed, jeopardizing patient safety. In this paper, we codify safe medical device interaction patterns, and exploit them for the low complexity design and safety analysis of networked supervisory medical systems. We implement the proposed approach as a plug-in of Architecture Analysis and Description Language (AADL). Our implementation enables the modeling and safety analysis of medical devices and their interactions before actual development.

• 한국전산유체공학회:학술대회논문집
• /
• 2002.10a
• /
• pp.28-34
• /
• 2002

A computational study of supersonic flow around lateral jet controlled missile has been performed. For this study, three dimensional Navier-Stokes code(AADL3D) has been developed. Spalart-Allmaras one equation turbulence model has been implemented on the AADL3D code for relatively rapid computational time. For the validation of developed code, AADL3D, pressure distributions on an ogive-cylinder body has been compared with experimental data. Also, the shock structure of sonic jet on the flat plate in the supersonic flow field has been compared with experimental flow visualization result to see the analysis capability of freestream-jet interaction case. A case study has been performed through comparing the normal force coefficient and the moment coefficient of missile body for several jet flow conditions. Current results will be used to the optimum design of a lateral jet controlled missile.

• Nuclear Engineering and Technology
• /
• v.40 no.5
• /
• pp.365-374
• /
• 2008

Dependability-critical systems, such as digital instrumentation and control systems in nuclear power plants, necessitate engineering techniques and tools to provide assurances of their safety and reliability. Determining system reliability at the architectural design phase is important since it may guide design decisions and provide crucial information for trade-off analysis and estimating system cost. Despite this, reliability and system engineering remain separate disciplines and engineering processes by which the dependability analysis results may not represent the designed system. In this article we provide an overview and application of our approach to build architecture-based, dynamic system models for dependability-critical systems and then automatically generate dynamic fault trees (DFT) for comprehensive, tool-supported reliability analysis. Specifically, we use the Architectural Analysis and Design Language (AADL) to model the structural, behavioral and failure aspects of the system in a composite architecture model. From the AADL model, we seek to derive the DFT(s) and use Galileo's automated reliability analyses to estimate system reliability. This approach alleviates the dependability engineering - systems engineering knowledge expertise gap, integrates the dependability and system engineering design and development processes and enables a more formal, automated and consistent DFT construction. We illustrate this work using an example based on a dynamic digital feed-water control system for a nuclear reactor.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.32 no.8
• /
• pp.64-71
• /
• 2004

A computational study on the supersonic flow around the lateral jet controlled missile has been performed. For this purpose a three dimensional Navier-Stokes computer code(AADL3D) has been developed and case studies have been performed by comparing the normal force coefficient and the moment coefficient of a missile body for different jet flow conditions including jet pressure and jet Mach number. The results show different behavior of normal force and moment variation according to jet pressure variation and jet Mach number variation. From the detailed flow field analyses, it is verified that most of the normal force loss and the pitching moment generation are taken place at the low-pressure region behind the jet nozzle. Furthermore, it is shown that the pitching moment can be efficiently reduced by obtaining the lateral thrust through higher jet Mach number rather than through high jet pressure.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.32 no.9
• /
• pp.27-34
• /
• 2004

A computational study on the supersonic flow around the lateral jet controlled missile has been performed. For this purpose a three dimensional Navier-Stokes computer code(AADL3D) has been developed and case studies have been performed by comparing the normal force coefficient and the moment coefficient of a missile body for several parameters such as angles of attack, circumferential jet positions, and spouting jet angles. Missile surface is divided into four regions with respect to the center of gravity, and the normal force and moment distribution at each region are compared. The results show different behavior of the normal force and moment variation according to each parameter. Furthermore, it is shown that the pitching moment can be minimized through proper combination of each parameter.

• 한국가시화정보학회:학술대회논문집
• /
• 2004.04a
• /
• pp.9-18
• /
• 2004

초음속 유동하에서 측추력기 주위의 유동 현상을 실험 및 수치해석을 이용하여 해석하였다. 실험은 버지니아공대의 초음속 풍동과 건국대의 초음속 풍동을 사용하였으며 계산 코드는 Aerosoft 사의 GASP(ver.4.0)과 건국대의 AADL3D를 사용하였다. 실험결과는 Schlieren, Shadow graph 등의 가시화 장치와 압력 센서와 PSP(Pressure Sensitive Paint)를 이용하여 유동장 특성과 압력분포를 구하여 실제 작용되는 힘과 모멘트를 구하였다. 실험조건은 자유류의 흐름이 마하수 4 이고 측추력기와 자유류의 압력비가 532 이었다. 성능향상 방안으로 측추력기 후방에 램프를 설치하는 것을 제안하였으며 이에 대한 실험을 수행하여 수직력에 대한 변화는 없지만 피칭다운 모멘트가 약 $70\%$ 감소함을 보여주어 실제로 성능이 향상되었음을 입증하였다. 또한 측추력기의 성능에 영향을 주는 여러 가지 인자들에 대한 가시화실험을 수행하여 그 이해를 돕고자 하였으며, 현재 건국대에서 보유하고 있는 고속유동 관련 실험장치의 소개와 이를 이용한 연구들을 소개하므로써 압축성 유동장 연구에 이러한 실험장치의 필요성에 대한 이해를 구하고자 한다.