• 제목/요약/키워드: Software reliability model

검색결과 581건 처리시간 0.024초

DEVELOPMENT OF HARDWARE-IN-THE-LOOP SIMULATION SYSTEM AS A TESTBENCH FOR ESP UNIT

  • Lee, S.J.;Park, K.;Hwang, T.H.;Hwang, J.H.;Jung, Y.C.;Kim, Y.J.
    • International Journal of Automotive Technology
    • /
    • 제8권2호
    • /
    • pp.203-209
    • /
    • 2007
  • As the vehicle electronic control technology quickly grows and becomes more sophisticated, a more efficient means than the traditional in-vehicle driving test is required for the design, testing, and tuning of electronic control units (ECU). For this purpose, the hardware-in-the-loop simulation (HILS) scheme is very promising, since significant portions of actual driving test procedures can be replaced by HIL simulation. The HILS incorporates hardware components in the numerical simulation environment, and this yields results with better credibility than pure numerical simulations can offer. In this study, a HILS system has been developed for ESP (Electronic Stability Program) ECUs. The system consists of the hardware component, which that includes the hydraulic brake mechanism and an ESP ECU, the software component, which virtually implements vehicle dynamics with visualization, and the interface component, which links these two parts together. The validity of HIL simulation is largely contingent upon the accuracy of the vehicle model. To account for this, the HILS system in this research used the commercial software CarSim to generate a detailed full vehicle model, and its parameters were set by using design data, SPMD (Suspension Parameter Measurement Device) data, and data from actual vehicle tests. Using the developed HILS system, performance of a commercial ESP ECU was evaluated for a virtual vehicle under various driving conditions. This HILS system, with its reliability, will be used in various applications that include durability testing, benchmarking and comparison of commercial ECUs, and detection of fault and malfunction of ESP ECUs.

학교교육시스템 만족도 요인 개발과 평가 (Development of Satisfaction Factors and Evaluation of School Education System)

  • 지순덕;김채복
    • 예술인문사회 융합 멀티미디어 논문지
    • /
    • 제6권5호
    • /
    • pp.211-218
    • /
    • 2016
  • 이 연구는 학교의 소재에 따라 학생들이 학교교육시스템에 만족하는 인식의 정도를 평가하였다. 문헌연구를 통하여 학교교육시스템과 관련된 28개의 변수를 추출하였으며, 신뢰성, 공감성, 학생지원제도, 교원능력, 주요 물리적 환경, 보조 물리적 환경의 6가지 요인이 요인분석을 통해 추출되었다. 만족도 평가는 인식 수준에 기초하여 SERVPERF 모형을 적용하였으며, 응답자와 학교 소재에 따른 차이는 각각 t-test와 ANOVA로 분석하였다. 분석 결과 교원의 능력에서는 별다른 차이점이 없었다. 그러나 농촌지역 학생들의 학교교육시스템에 대한 만족도의 인식 수준은 교원능력과 보조 물리적 환경을 제외한 모든 요인에서 도시의 학생보다 낮았다. 또한 응답자들은 자신이 소속된 학교의 소재와 관계없이 학교 시설과 프로그램 포함하여 학교교육시스템에 불만족한다는 것을 보여 주었다. 특히 자신이 소속된 학교 시설(hardware)이나 학교운영시스템(software)을 타교에 추천하겠다는 의견은 거의 없었다.

e-Learning 환경에서의 협력학습을 위한 학습모형 및 학습행위요소 개발 (A Study on the Development of Collaborative Learning Model and Behavioral Elements in e-Learning Environment)

  • 이인숙;임정훈;성은모;진성희
    • 컴퓨터교육학회논문지
    • /
    • 제9권2호
    • /
    • pp.27-36
    • /
    • 2006
  • 본 연구는 e-Learning 협력학습 기술 개발 지원을 위한 기반 연구로서, e-Learning 에서의 협력학습을 위한 기본모형 개발과 협력학습 활동에서 발생하는 학습자들의 학습행위요소를 세부적으로 분석 제시하는 것을 연구의 목적으로 하였다. 연구의 목적을 달성하기 위하여 면대면 교실수업에서 이루어져 온 다양한 협동학습 모형들을 분석하였으며, 면대면과 온라인 환경에서 협력학습 및 커뮤니케이션 활동을 강조하는 문제중심학습, 프로젝트 학습, 탐구학습, 토론학습 등 교수모형에 기초한 주요 학습모형들의 절차와 단계, 학습활동 등도 분석하였다. 연구 결과 e-Learning에서의 협력학습을 위한 일반 모형과 세부 학습행위요소들, 그리고 시스템적 지원기능들이 제시되었으며, 추후 연구를 위한 과제가 제안되었다.

  • PDF

정형검증 도구를 활용한 Fly-By-Wire 헬리콥터 비행제어법칙 자동코드 무결성 확보 방안 (Secure methodology of the Autocode integrity for the Helicopter Fly-By-Wire Control Law using formal verification tool)

  • 안성준;조인제;강혜진
    • 한국항공우주학회지
    • /
    • 제42권5호
    • /
    • pp.398-405
    • /
    • 2014
  • 내장형 소프트웨어 기술이 항공 및 방위산업과 같은 안전-필수 시스템에 적용됨에 따라 보다 높은 소프트웨어의 신뢰성이 요구되고 있다. 그 중에서 소프트웨어의 무결성은 주로 정적 분석 도구를 이용해 검증이 이뤄지고 있으며 최근에 개발된 정적 분석 도구는 수학적인 분석 방법을 통해 코드의 무결성을 평가하고 있다. 본 연구에서는 정형 검증 도구인 Polyspace를 이용해 자동코드의 결함을 검출하고, 코딩규칙의 준수 여부를 검증하였다. 검증된 결과를 바탕으로 결함을 가진 제어법칙 모델을 수정하여 코드 생성 이전의 원천적인 결함을 제거 가능함을 확인하였고 FBW 헬리콥터 제어법칙 자동생성코드의 무결성을 확보 할 수 있었다.

인터넷 뱅킹 시스템을 위한 개선된 FP 기반 초기 규모 예측 모델 (Improved Initial Costs Expectation Model based on FPA for Internet Banking System)

  • 윤광열;유해영
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제3권4호
    • /
    • pp.139-148
    • /
    • 2014
  • IT의 발전과 더불어 금융권의 비대면 채널 역시 폭발적으로 증가되어왔다. 하지만 금융 시스템의 특성을 명확하게 반영한 규모 산정에 대한 모델의 부재로 인하여 예산 수립의 신뢰성 저하, 그리고 이에 따른 저가 수주 경쟁 등이 빈번하게 발생하였다. 이러한 규모 예측의 신뢰성 저하는 인터넷 뱅킹 시스템의 품질 저하로 이어져 금융 상품을 이용하는 고객에게 피해가 전해지고 있다. 따라서 본 논문에서는 기존 금융권에서 사용하는 규모 산정 기법의 두 종류인 FP 기반 규모 산정과 전문가 유추 기반의 규모 산정을 토대로 규모 산정 기법을 개선하여 보다 간편하고, 실제 금융 비대면 채널 수행 규모에 근접한 규모 예측 기법을 구축하고 이의 효용성을 회귀분석을 통하여 검증하였다. 그 결과, 기존 규모 산정 기법보다 실제 수행 규모와 상관관계 및 정확도가 증가된 인터넷 뱅킹 시스템을 위한 개선된 FP 기반 초기 규모예측 모델과 도구를 구축하였다.

유전적 알고리듬을 이용한 용접변형 해석에 관한 연구 (A Study about Analysis of Weld Distortion using Genetic Algorithm)

  • 김일수;김학형;장한기;김희진;곽성규;유회수;심지연
    • Journal of Welding and Joining
    • /
    • 제27권4호
    • /
    • pp.54-59
    • /
    • 2009
  • In the process to manufacture for metallic structures, control of welding deformation is one of an important problems connected with reliability of the manufactured structures so that welding deformation should be measured and controlled with quickly and actively. Also, welding parameters which have as lot of effects on welding deformation such as arc voltage, welding current and welding speed can also be controlled. The objectives for this study were to develop a simple 2-D FEM to calculate not only the transient thermal histories but also the sizes of fusion and heat-affected zone (HAZ) in multi pass arc welds including the butt and fillet weld type with dissimilar thickness, and to concentrate on a developed model for the finding the parameters of Godak's moving heat source model based on a GA. The developed model includes a GA program using MATLB and GA toolbox, and a batch mode thermal model using ANSYS software. Not only the thermal model was verified by comparison with Goldak's work but also the developed model was validated with molten zone section experimental data.

Equivalent frame model and shell element for modeling of in-plane behavior of Unreinforced Brick Masonry buildings

  • Kheirollahi, Mohammad
    • Structural Engineering and Mechanics
    • /
    • 제46권2호
    • /
    • pp.213-229
    • /
    • 2013
  • Although performance based assessment procedures are mainly developed for reinforced concrete and steel buildings, URM (Unreinforced Masonry) buildings occupy significant portion of buildings in earthquake prone areas of the world as well as in IRAN. Variability of material properties, non-engineered nature of the construction and difficulties in structural analysis of masonry walls make analysis of URM buildings challenging. Despite sophisticated finite element models satisfy the modeling requirements, extensive experimental data for definition of material behavior and high computational resources are needed. Recently, nonlinear equivalent frame models which are developed assigning lumped plastic hinges to isotropic and homogenous equivalent frame elements are used for nonlinear modeling of URM buildings. The equivalent frame models are not novel for the analysis of masonry structures, but the actual potentialities have not yet been completely studied, particularly for non-linear applications. In the present paper an effective tool for the non-linear static analysis of 2D masonry walls is presented. The work presented in this study is about performance assessment of unreinforced brick masonry buildings through nonlinear equivalent frame modeling technique. Reliability of the proposed models is tested with a reversed cyclic experiment conducted on a full scale, two-story URM building at the University of Pavia. The pushover curves were found to provide good agreement with the experimental backbone curves. Furthermore, the results of analysis show that EFM (Equivalent Frame Model) with Dolce RO (rigid offset zone) and shell element have good agreement with finite element software and experimental results.

Space Management on Campus of a Mobile BIM-based Augmented Reality System

  • Ji, Seung-Yeul;Kim, Mi-Kyoung;Jun, Han-Jong
    • Architectural research
    • /
    • 제19권1호
    • /
    • pp.1-6
    • /
    • 2017
  • Over the past decade, building information modeling (BIM) has gained a foothold in the construction sector. However, as digital data generated in the virtual space of a computer environment, BIM-based data have an inherent limitation in their application efficacy under field conditions. To overcome this, the present study employs augmented reality (AR) to reduce the discrepancy between the digital data generated in virtual spaces and real-world conditions. We assessed the potential applicability of an AR-based interface by analyzing existing examples of Apple, Google, and Facebook, which reflect the recent developments of technologies focusing on user experience. We then proceeded with an AR study, restricting the scope of application to a mobile environment in which an efficient information transmission between a digital model and real life can take place. Object-oriented software engineering was employed to ensure an efficient implementation of a BIM-based AR system for campus space management (CSM) in a mobile environment. Finally, we conducted a module test to check the reliability of the CSM method by using an AR-based mobile system with a prototype of the model used in university campuses, and extracted and itemized the supplementary requirements for CSM by using BIM tools for running AR applications.

Relationship between the Management Accounting Information Usage, Market Orientation and Performance: Evidence from Vietnamese Tourism Firms

  • DO, Trang Huyen;LE, Huyen Mong;LUONG, Diem Thuy Thi;TRAN, Quanh Thi
    • The Journal of Asian Finance, Economics and Business
    • /
    • 제7권10호
    • /
    • pp.707-716
    • /
    • 2020
  • The study investigates the relationship between broad-scope management accounting information usage, market orientation, and the firm performance. This study employs a survey data of 149 top-level and mid-level managers working in Vietnamese tourism enterprises. To analyze research data, we employ SmartPLS 3 software. The analytical process include measurement model evaluation (evaluate the scale's validity and reliability) and structural model evaluation (test research hypotheses). The results reveal that broad-scope management accounting information usage has a positive direct effect on market orientation dimensions (include information generation, information dissemination, and responsiveness). Then, market orientation dimensions also have positive direct effects on the performance of Vietnamese tourism firms, excluding information dissemination. Moreover, this study also reveals that the market orientation dimensions mediate the relationship between broad-scope management accounting information usage and firm performance. The findings of this study suggest that tourism firms should pay more attention to the use of management accounting information in decision-making. With the increasingly fierce competition of the tourism firms today, capturing and meeting the needs of the market is a prerequisite to help firms enhance their competitiveness and improve their performance. To do that, Vietnamese tourism firms need to consider pursuing market orientation and enhancing broad-scope management accounting information usage.

객체 지향 모형을 이용한 TTCN 확장에 관한 연구 (A Study on the Extension of TTCN using Object-Oriented Model)

  • 최준규;송주석
    • 한국통신학회논문지
    • /
    • 제16권12호
    • /
    • pp.1423-1434
    • /
    • 1991
  • 본 논문에서는 적합성 시혐 표기 기법인 TTCN이 객체, 클래스, 상속 등의 객체지향 개념을 갖도록 확장하였다. 분산 시스템 환경하에서 ISDN과 같은 응용 프로토콜 구현 제품들이 표준 프로토콜에 적합한 지를 시험하기 위한 시험 시스템은 구조가 복잡하고, 병렬로 수행하는 프로토콜 시험 행위를 포함하고 있기 때문에 기존의 TTCN으로는 전체 시험 suite를 이해하기 쉽고 명확하게 나타낼 수없다. ISO에서는 TTCN에 병렬성을 표기할 수 있도록 확장하는 연구가 잔행 중에 있으나, 이와 병행하여 병렬 시험 요소를 하나의 객체로 표기하는 객체 모형을 TTCN에 적용한다면 신뢰성과 소프트웨어 재사용을 증대시키는 효과를 얻을수 있으며, TTCN을 하나의 시험 언어로 발전 시킬수 있을것이다.

  • PDF