Sanghyun Yoon

  • Citations Per Year
Learn More
The growing interest and use of indoor mapping is driving a demand for improved data-acquisition facility, efficiency and productivity in the era of the Building Information Model (BIM). The conventional static laser scanning method suffers from some limitations on its operability in complex indoor environments, due to the presence of occlusions. Full(More)
The Simultaneous Localization and Mapping (SLAM) technique has been used for autonomous navigation of mobile systems; now, its applications have been extended to 3D data acquisition of indoor environments. In order to reconstruct 3D scenes of indoor space, the kinematic 3D laser scanning system, developed herein, carries three laser range finders (LRFs):(More)
Rigorous safety demonstration through safety analysis is strongly mandated for safety-critical systems. Nuclear plant protection systems often use techniques such as FTA, FMEA and HAZOP. Safety experts perform them manually, and quality of the analysis totally depends on the ability and experience of the experts. If we restrict the application domain of(More)
We present a formal verification of a hybrid system from an example of a barrel-filler system. Hybrid system composes continuous elements and discrete elements. ECML (ETRI CPS Modeling Language) is a modeling formalism for hybrid systems, recently proposed by a research institute ETRI in Korea. It extends a basic formalism DEV& DESS (Discrete EVent &(More)
요 약 소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분 석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행 되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드 는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기 본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state(More)
This paper proposes a software quality assessment framework for dependable systems (SQAF-DS), providing a systematic way to assess software quality through test cases, indirectly. SQAF-DS intends to reduce the time and cost for dependability assessment thorough using test cases as a means of the assessment. Test cases are developed in the process of(More)
Currently there are demands for maximization of taxi services and also for saving fuel usage within massive cities. Spatial big data extracted from taxi service records and GPS can be used to suggest optimal routing options to achieve these goals. The taxi cab ride data contains 7,000 unique taxies being serviced in Seoul, South Korea. In this study one(More)
Spatial big data (SBD) has been utilized in many fields and we propose SBD analytics to apply to education with semantic trajectory data of undergraduate students in Songdo International Campus at Yonsei University. Higher education is under a pressure of disruptive innovation, so that colleges and universities strive to provide not only better education(More)
  • 1