Learn 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)
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)
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)
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)
As the uses of software are various, software is germane to human's life and property. Thus, the importance of software safety increases rapidly and many hazard analysis techniques are used for safety of system/software. STAMP/STPA is an efficient hazard analysis technique for large and complex system. But subject of STAMP/STPA is system, not software. This(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)
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)
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)
  • 1