• 제목/요약/키워드: Safety critical software

검색결과 193건 처리시간 0.025초

차량네트워크상 신뢰성 테스트를 위한 애플리케이션 개발 (Development of an Application for Reliability Testing on Controller Area Network)

  • 강호석;최경희;정기현
    • 정보처리학회논문지D
    • /
    • 제14D권6호
    • /
    • pp.649-656
    • /
    • 2007
  • 오늘날 차량네트워크(CAN)는 전기적 강인, 저가격과 접근지연 때문에 분산 임베디드 시스템에서 널리 사용되는 버스형 필드이다. 그러나 버스토폴로지에서 발생하는 의존적인 제한 때문에 차량네트워크가 어플리케이션상에서 안전적으로 사용되는지는 논쟁되어왔다. 그래서 차량네트워크(CAN) 디자인 단계 동안 데이터 버스의 부하와 최대 지연, 경쟁 우선순위와 같은 네트워크의 성능을 분석하는 것이 중요하게 되었다. 이 논문은 차량네트워크의 성능을 평가하기 위해 사용된 시뮬레이션 알고리즘과 고장 기법 기술을 적용을 소개한다. 이는 차량네트워크의 어떤 산만한 구현의 줄임과 시스템의 신뢰성을 향상 시켜 줄 것이다.

Seismic response analysis of an unanchored vertical vaulted-type tank

  • Zhang, Rulin;Cheng, Xudong;Guan, Youhai;Tarasenko, Alexander A.
    • Earthquakes and Structures
    • /
    • 제13권1호
    • /
    • pp.67-77
    • /
    • 2017
  • Oil storage tanks are vital life-line structures, suffered significant damages during past earthquakes. In this study, a numerical model for an unanchored vertical vaulted-type tank was established by ANSYS software, including the tank-liquid coupling, nonlinear uplift and slip effect between the tank bottom and foundation. Four actual earthquakes recorded at different soil sites were selected as input to study the dynamic characteristics of the tank by nonlinear time-history dynamic analysis, including the elephant-foot buckling, the liquid sloshing, the uplift and slip at the bottom. The results demonstrate that, obvious elephant-foot deformation and buckling failure occurred near the bottom of the tank wall under the seismic input of Class-I and Class-IV sites. The local buckling failure appeared at the location close to the elephant-foot because the axial compressive stress exceeded the allowable critical stress. Under the seismic input of Class-IV site, significant nonlinear uplift and slip occurred at the tank bottom. Large amplitude vertical sloshing with a long period occurred on the free surface of the liquid under the seismic wave record at Class-III site. The seismic properties of the storage tank were affected by site class and should be considered in the seismic design of large tanks. Effective measures should be taken to reduce the seismic response of storage tanks, and ensure the safety of tanks.

Stability analysis on the concrete slab of the highest concrete-faced rock-fill dam in South Korea

  • Baak, Seung-Hyung;Cho, Gye-Chun;Song, Ki-Il
    • Geomechanics and Engineering
    • /
    • 제13권5호
    • /
    • pp.881-892
    • /
    • 2017
  • Design and management of concrete slabs in concrete-faced rock-fill dams are crucial issues for stability and overall dam safety since cracks in the concrete face induced by stress, shrinkage, and deterioration can cause severe leakage from the reservoir into the dam. Especially, the increase of dam height to a certain level to enhance the storage capacity and to improve hydraulic stability can lead to undesirable deformation behavior and stress distribution in the existing dam body and in the concrete slabs. In such conditions, simulation of a concrete slab with a numerical method should involve the use of an interface element because the behavior of the concrete slab does not follow the behavior of the dam body when the dam body settles due to the increase of dam height. However, the interfacial properties between the dam body and the concrete slab have yet to be clearly defined. In this study, construction sequence of a 125 m high CFRD in South Korea is simulated with commercial FDM software. The proper interfacial properties of the concrete slab are estimated based on a comparison to monitored vertical displacement history obtained from the concrete slab. Possibility of shear strength failure under the critical condition is investigated based on the simplified model. Results present the significance of the interfacial properties of the concrete slab.

Comprehensive evaluating the stability of slope reinforced with free and fixed head piles

  • Xixi Xiong;Ying Fan;Jinzhe Wang;Pooya Heydari
    • Geomechanics and Engineering
    • /
    • 제32권5호
    • /
    • pp.523-540
    • /
    • 2023
  • The failure of slope can cause remarkable damage to either human life or infrastructures. Stabilizing piles are widely utilized to reinforce slope as a slip-resistance structure. The workability of pile-stabilized slopes is affected by various parameters. In this study, the performance of earth slope reinforced with piles and the behavior of piles under static load, by shear reduction strength method using the finite difference software (FLAC3D) has been investigated. Parametric studies were conducted to investigate the role of pile length (L), different pile distances from each other (S/D), pile head conditions (free and fixed head condition), the effect of sand density (loose, medium, and high-density soil) on the pile behavior, and the performance of pile-stabilized slopes. The performance of the stabilized slopes was analyzed by evaluating the factor of safety, lateral displacement and bending moment of piles, and critical slip mechanism. The results depict that as L increased and S/D reduced, the performance of slopes stabilized with pile gets better by raising the soil density. The greater the amount of bending moment at the shallow depths of the pile in the fixed pile head indicates the effect of the inertial force due to the structure on the pile performance.

3축 가속도 센서를 이용한 엘리베이터 진동측정시스템 설계 및 구현 (Design and Implementation of an Elevator Vibration Measuring System using 3-Axis Acceleration Sensor)

  • 최성현;김종수;김태석;유윤식
    • 한국멀티미디어학회논문지
    • /
    • 제16권2호
    • /
    • pp.226-233
    • /
    • 2013
  • 엘리베이터의 자체점검과 정기검사, 완성검사, 정밀안전검사 등은 엘리베이터 운행을 위한 중요 검사로써 엘리베이터의 성능 및 안정성을 평가하는 기초 자료다. 자체점검 및 안전검사항목에 엘리베이터의 진동에 관한 사항에 대해서는 특별히 명시되어 있지 않으나 진동은 여러 가지 분석 자료를 제공해 줄 수 있는 필수요소로 되어있다. 엘리베이터의 진동을 측정하기 위한 "EVA-625"라는 장비는 컴퓨터로 데이터를 읽어 숙련된 엔지니어에 의해 측정된 값을 분석할 수 있다. 본 논문에서는 3축 가속도 센서를 이용하여 엘리베이터의 진동을 측정하여 데이터를 송신 받을 수 있는 하드웨어와 시스템 설계 플랫폼 및 개발환경인 LabVIEW의 G 그래픽 프로그래밍 언어를 이용하여 수집되는 데이터를 분석할 수 있는 소프트웨어를 설계하고 구현하였다.

항해사 인지능력 평가시스템 (Development of Evaluation System for the Cognitive Performance of Marine Officers)

  • 김홍태;홍승권
    • 한국HCI학회:학술대회논문집
    • /
    • 한국HCI학회 2009년도 학술대회
    • /
    • pp.650-653
    • /
    • 2009
  • 항해사의 업무수행도 감소는 해양사고 발생의 주요 원인 중의 하나로 자주 언급되고 있다. 인터뷰와 항해 기록 분석을 통한 선원의 작업시간 분석에 대한 연구는 일부를 수행되었으나, 작업부하, 작업교대, 스트레스, 수면 등이 선원의 인지능력에 미치는 영향을 분석한 사례 매우 한정적이다. 항공, 철도와 같은 다른 운송 산업에서는 승무원의 근무 패턴을 관리하기 위한 피로관리 도구를 개발하고 있고 있는데, 이러한 도구들은 선원, 항해사 및 육상관리자의 효율적인 근무일정을 계획하는데 도움을 줄 수 있다. 따라서 본 연구에서는 항해사의 인지능력을 평가하기 위해, 해상 충돌상황에서의 종합적 대응능력을 평가할 수 있는 소프트웨어 프로그램을 개발하였다. 항해 전문가를 대상으로 한 실험을 통하여, 평가기준을 개발하였으며, 실습 항해사를 대상으로 하여 시스템에 대한 검증이 이루어졌다. 본 시스템은 선박운항 시 충돌사고를 회피하기 위한 항해사의 인지능력을 평가할 수 있으므로, 당직 전 혹은 승선 전에 짧은 시간 동안의 평가를 통하여 항해사의 전반적 인지능력을 평가하고, 이 결과를 항해사에게 경고메시지 형태로 전달할 수 있다.

  • PDF

모델 기반 결함 주입 기법을 이용한 Electronic Fuel Injection 전장 시스템 FMEA 사례연구 (Case Study of Electronic Fuel Injection Powertrain System FMEA Using Model-Based Fault Injection technique)

  • 김예주;나예원;이동민;김주영;나종화
    • 한국항행학회논문지
    • /
    • 제27권4호
    • /
    • pp.436-446
    • /
    • 2023
  • 안전 필수 분야의 전장 장비에서 다양한 고장요인 (고장모드)에 따른 고장 영향 분석 (FMEA, Failure Mode and Effects Analysis)이 필수적이다. 이는 기기나 시스템의 잠재적인 결함들을 식별하고, 그로 인한 발생 가능한 위험을 평가하여 이를 방지하거나 관리하기 위한 개선안을 수립한다. 그러나 최근 시스템의 복잡성이 증가하고 소프트웨어의 영향이 중요해지며 전통적인 FMEA 만을 설계 단계에 적용하는 것이 어려운 상황이다. 본 논문은 모델기반설계기법을 기반으로한 Automatic FMEA 방식을 제안한다. 모델의 구조와 동작을 자동으로 분석하여 FMEA를 수행할 수 있게 하여, 설계 초기 단계에서도 고장모드 분석이 가능하게 한다. 사례연구로 차량 연료 제어 시스템을 대상으로 Automatic FMEA를 수행하였다. 본 연구는 Automatic FMEA 분석도구의 성능을 입증하는 동시에, 향후 연구 방향을 제안한다.

안전하고 신뢰할 수 있는 SaaS(Software as a Service) 인증제도 개발을 위한 프레임워크 (A Framework to Develop Safe and Reliable SaaS Certification Systems)

  • 서광규
    • 디지털융복합연구
    • /
    • 제10권10호
    • /
    • pp.523-528
    • /
    • 2012
  • 최근 IaaS(Infrastructure as a Service), PaaS(Platform as a Service), SaaS(Software as a Service)를 포함한 클라우드 서비스의 등장과 진화는 정보통신기술 발전에 기여한 가장 큰 잠재력을 가진 기술 중에 하나이다. 현재의 클라우드 관련 연구들은 기술 자체에 중점을 두고 있으나, 클라우드 서비스를 둘러싸고 있는 비즈니즈 측면에서의 이슈들에 대한 이해도 시급하다. 점점 더 많은 개인과 기업의 정보들이 클라우드 서비스에 놓이게 되면, 주된 관심은 어떻게 안전하고 신뢰할 수 있는 클라우드 서비스를 제공할 것인가에 맞추어지게 된다. 본 논문에서는 클라우드 서비스 중에서 그 중요성이 더 커지고 있는 SaaS에 대하여 초점을 맞추기로 한다. 성공적인 SaaS 서비스를 위해서는 SaaS 서비스의 안전성과 신뢰성을 보증할 수 있는 인증제도의 수립이 필요하다. 본 논문에서는 안전하고 신뢰할 수 있는 SaaS 서비스를 위한 인증제도의 프레임워크를 개발한다. 이를 위하여 SaaS 서비스 품질과 인증과 관련된 핵심 이슈들을 식별하고, SaaS 서비스 영역과 SaaS 서비스 제공자 영역의 인증제도를 위한 시스템적인 프레임 워크를 개발한다. 또한 개발된 인증제도의 평가방안도 제안한다.

함수 블록 다이어그램으로 명세된 PLC 프로그램에 대한 구조적 테스팅 기법 (A Structural Testing Strategy for PLC Programs Specified by Function Block Diagram)

  • 지은경;전승재;차성덕
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제35권3호
    • /
    • pp.149-161
    • /
    • 2008
  • 프로그래머블 로직 컨트롤러(PLC: Programmable Logic Controller)가 안전성이 중요한 실시간 시스템 구현에 많이 사용되면서, PLC 프로그램에 대한 테스팅의 중요성이 날로 높아지고 있다. 본 논문에서는 PLC 프로그래밍 언어 중 하나인 함수 블록 다이어그램(FBD: Function Block Diagram)에 대한 구조적 테스팅 방안을 제안한다. FBD를 테스트하기 위해 먼저 타이머 함수 블록을 비롯한 각 함수 및 함수 블록에 대한 흐름그래프 템플릿을 정의하고, 템플릿을 기반으로 한 변환 알고리즘을 제안하며, 알고리즘을 따라 FBD로부터 변환된 흐름그래프에 기존의 제어 흐름 테스팅 커버리지와 데이타 흐름 테스팅 커버리지를 적용한다. 기존 FBD 테스팅은 테스트 케이스 생성시 FBD 내부 구조를 고려하지 않으며, FBD 프로그램으로부터 특정 중간단계 모델을 생성해 낼 수 있는 경우에만 적용될 수 있는 단점을 가진 반면, 본 논문에 제안된 방법은 FBD 내부 구조를 고려한 체계적 테스트 케이스 생성이 가능하며, 중간단계 모델의 형식에 관계없이 어떤 FBD에도 적용될 수 있다는 장점을 가진다. 특히 제안된 기법은 여러 실행주기에 걸쳐 테스트 되어야 하는 타이머 함수 블록을 포함한 FBD에 대한 철저한 테스팅을 가능하게 한다. 제안된 기법을 현재 원전계측제어시스템 개발사업단에서 개발 중인 디지털 원자로 보호계통 비교논리 프로세서 트립 논리에 적용하여 그 효과를 확인하였다.

Testing The Healing Environment Conditions for Nurses with two Independent Variables: Visibility Enhancement along with Shortening the Walking Distance of the Nurses to Patient - Focused on LogWare stop sequence and space syntax for U-Shape, L- Shape and I-Shape NS-

  • Shaikh, Javaria Manzoor;Park, Jae Seung
    • KIEAE Journal
    • /
    • 제15권2호
    • /
    • pp.19-26
    • /
    • 2015
  • Purpose: Maximizing human comfort in design of medical environments depends immensely on specialized architects particularly critical care design; the study proposes Evidence-Based Design as an apparent analog to Evidence-Based Medicine. Healthcare facility designs are substantially based on the findings of study in an effort to design environments that augment care by improving patient safety and being therapeutic. On SPSS (Statistical Package for Social Science) t-test is applied to simulate two independent variables of PDR (Pre Design-Research) and POE (Post- Occupancy Evaluation). PDR is conducted on relatively new hospital Hallym University Dongtan Sacred Heart Hospital to analyse visibility from researchers' point of view, here the ICU is arranged in I-Shape. POE is applied on Dongguk University Ilsan Hospital to simulate walking on LogWare where two NS are designed based on L- Shape and Seoul St. Mary's Hospital, The Catholic University of Korea where five NS are functional for ICU Intensive Care Unit, Surgical Intensive Care Unit (SICU), Medical Intensive Care Unit (MICU), Critical Care Unit (CCU), Korean Oriental Medical Care Unit which are mostly arranged in U-Shape, and walking pattern is recognized to be in a zigzag path. Method: T-Test is applied on two dependent communication variables: walkability and visibility, with confidence interval of 95%. This study systematically analyses the Nurse Station (NS) typo-morphology, and simulates nurse horizontal circulation, by computing round route visits to patient's bed, then estimating minimum round route on LogWare stop sequence software. The visual connectivity is measured on depth map graphs. Hence the aim is to reduce staff stress and fatigue for better patients care by minimizing staff horizontal travel time and to facilitate nurse walk path and support space distribution by increasing effectiveness in delivering care. Result: Applying visibility graph and isovist field on space syntax on I- Shape, L- Shape and U- Shape ICU (SICU, MICU and CCU) configuration, I-shape facilitated 20% more patients in linear view as they stir to rise from their beds from nurse station compared to U-shape. In conclusion, it was proved that U-Shape supply minimum walking and maximum visibility; and L shape provides just visibility as the nurse is at pivot. I shape provides panoramic view from the Nurse Station but very rigorous walking.