• 한국초등과학교육학회지:초등과학교육
• /
• 제26권1호
• /
• pp.49-62
• /
• 2007

The higher cognitive functions of the human brain including teaming are hypothesized to be selectively distributed across large-scale neural networks interconnected to the cortical and subcortical areas. Recently, advances in functional imaging have made it possible to visualize the brain areas activated by certain cognitive activities in vivo. Neural substrates for teaming and motivation have also begun to be revealed. Functional magnetic resonance imaging (fMRI) provides a non-invasive indirect mapping of cerebral activity, based on the blood- oxygen level dependent (BOLD) contrast which is based on the localized hemodynamic changes following neural activities in certain areas of the brain. The fMRI method is now becoming an essential tool used to define the neuro-functional mechanisms of higher brain functions such as memory, language, attention, learning, plasticity and emotion. Further research in the field of education will accelerate the verification of the effects on loaming or help in the selection of model teaching strategies. Thus, the purpose of this study was to review brain study methods using fMRI in science education. In conclusion, a number of possible strategies using fMRI for the study of elementary science education were suggested.

• 시스템엔지니어링학술지
• /
• 제13권1호
• /
• pp.57-65
• /
• 2017

Recently, the ratio of electrical part and embedded software has grown in automotive industry. ISO 26262, 'Road Vehicles - Functional Safety', was published to guide development of automotive electrical and electronic part in 2011. This paper describes definition of functional safety and analyzes ISO 26262. The comparison of ISO 26262 and DO-178C is made, then difference between them is identified. DO-178C provides guidance for the production of software for airborne system and equipment. The core of DO-178C is a relatively minor update to the previous DO-178B, however, the big changes are captured in the supplemented documents such as DO-331, 'Model-Based Development and Verification Supplement to DO-178C and DO-278A'. Model-based design is important to develop automotive and aircraft meeting the guidelines of ISO 26262 and DO-178C. In this paper, the sample case of applying MBSE(Model-Based Systems Engineering) to AVCS(Active Vibration Control System) software development is discussed.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.960-964
• /
• 2004

During system resource improvement process that based on Object-Oriented technology could be affect to the continuous system performance if lack appropriate management and control objects mechanism. This paper proposes a methodology to support continuous system performance and its stability. The adoption is based on Java Container Framework and Collections Framework for object collection. Also includes Software Engineering, Object Migration and Multiple Class Loaders mechanism accommodate to construct Continuous Migration Container (CMC). CMC is a runtime environment provides interfaces for management and control to support upgrading object process. Upgrade object methodology of CMC can be divided into two phase are object equivalence checking and object migration process. Object equivalence checking include object behavior verification and functional conformance verification before object migration process. In addition, CMC use Multiple Class Loaders mechanism to support reload effected classes instead of state transfer in migration process while upgrading object. These operations are crucial for system stability and enhancement efficiency.

• Journal of Information Processing Systems
• /
• 제14권2호
• /
• pp.309-321
• /
• 2018

In the conventional computing environment, users use only a small number of software systems intensively. So it had been enough to check and guarantee the functional correctness and safety of a small number of giant systems in order to protect the user systems and their information inside the systems from outside attacks. However, checking the correctness and safety of giant systems is not enough anymore, since users are using various software systems or web services provided by unskilled developers. To prove or guarantee the safety of software system, a lot of research has been conducted in diverse areas of computer science. We will discuss the on-going approaches for guaranteeing or verifying the safety of software systems in this paper. We also discuss the future research challenge which must be solved with better solutions in the near future.

• 대한임베디드공학회논문지
• /
• 제2권1호
• /
• pp.9-16
• /
• 2007

본 논문에서는 차세대 통신 플랫폼을 위한 PCI 익스프레스의 전송계층과 데이터 연결계층의 모든 기능을 지원하는 PCI 익스프레스 컨트롤러를 설계하였다. 설계된 컨트롤러를 효과적으로 제어하기 위해 8051 마이크로프로세서를 이용하였다. 또한, 본 논문에서는 PCI 익스프레스 컨트롤러와 8051 마이크로프로세서의 통합 검증을 위한 방법으로 벡터 생성 부분, 테스트 벤치, 그리고 메모리로 구성된 테스트 벤치를 하나의 가상 마이크로프로세서로 가정하였다. 그리고 PCI 익스프레스의 모든 프로토콜을 지원할 수 있는 어셈블리 수준의 명령어들을 테스트 벤치에 적용되도록 하였다. 특히 일반적인 기본 동작 검증과 설계 기반 검증에서 찾지 못한 특수 경우의 에러를 찾기 위한 검증을 위해 랜덤 검증 환경 및 테스트 파라미터를 정의 하였다. 제안된 검증 환경과 명령어를 통해 설계된 PCI 컨트롤러의 검증 결과 랜덤 테스트 검증을 통해 효과적으로 오류를 찾을 수 있었다.

• 제어로봇시스템학회논문지
• /
• 제10권10호
• /
• pp.956-960
• /
• 2004

The Vehicle Dynamic Simulator(VDS) is a key equipment of the performance verification of attitude control subsystem and it simulates the real dynamic environment that spacecraft undergoes during mission operation. All the software models and hardware interfaces necessary for the closed-loop simulation of the spacecraft dynamics are implemented. Using VDS, KOMPAT-2 attitude control logic functions and performance was verified. In this paper, the hardware and software configurations of KOMPSAT-2 VDS was described briefly and the information flow and exchanges between software models and actual hardwares during close loop simulation was described in the systematic point of view.

• 항공우주기술
• /
• 제6권2호
• /
• pp.66-72
• /
• 2007

정지궤도위성은 통신 탑재체와 관측 탑재체를 동시에 장착하는 정지궤도 위성으로, 본 논문에서 언급되는 MI2U는 관측 탑재체의 하나인 기상센스와의 접속 및 전원공급을 위한 유닛이다. 본 논문에서는 기상탑재체 접속장치 ORB의 검증시험 방법을 제안하고 제안된 내용에 따라 시험을 수행하였으며, 결과에 대한 분석하고 향후 시험방향을 제시한다.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제5권1호
• /
• pp.147-160
• /
• 2013

System integration is an important element for the construction of naval combat ships. In particular, because impeccable combat system integration together with the sensors and weapons can ensure the combat capability and survivability of the ship, the integrated performance of the combat system should be verified and validated whether or not it fulfills the requirements of the end user. In order to conduct systematic verification and validation, a data analysis tool is requisite. This paper suggests the Data Extraction, Recording and Analysis Tool (DERAT) for the data analysis of the integrated performance of the combat system, including the functional definition, architecture and effectiveness of the DERAT by presenting the test results.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2006년도 추계학술대회 논문집
• /
• pp.1468-1476
• /
• 2006

The goal of this thesis is to support safety and reliability characteristics of software intensive critical systems. The verification method developed is innovative from current state of the art in what concerns the verification viewpoint adopted: focusing on software faults, and not, like many other approaches purely on fulfilling functional requirements. As a first step and based on a number of well defined criteria a comparison was made of available literature in the area of static non formal non probabilistic software fault removal techniques. But, None of the techniques evaluated fulfilled all criteria set in isolation. Therefore a new technique was developed based on a combination of two existing techniques: the FMEA and FTA. These two techniques complement each other very well. It is possible to integrate both techniques with commonly used techniques at system level. The resulting new technique can be shown to combine nearly all aspects of existing fault removal techniques.

• 대한안전경영과학회지
• /
• 제15권3호
• /
• pp.61-69
• /
• 2013

According to ISO 26262 (the international standard on functional safety for automotive industry), the functional safety should be considered during the whole automotive systems life cycle from the design phase throughout the production phase. In order to satisfy the standard, the automotive and related industry needs to take appropriate actions while carrying out a variety of development activities. This paper presents an approach to coping with the standard. Analyzing the standard indicates that the safety issues of the automotive systems should be handled with a system's view whereas the conventional approach to solving the issues has been practiced with focus on the component's level. The aforementioned system's view implies that the functional safety shall be incorporated in the system design from both the system's life-cycle view and the hierarchical view for the structure. In light of this, the systems engineering framework can be quite appropriate in the functional safety development and thus has been taken in this paper as a problem solving approach. Of various design issues, the analysis and verification of the safety requirements for functional safety is a key study subject of the paper. Note, in particular, that the conventional FMEA (failure mode effects analysis) and FTA (fault tree analysis) methods seem to be partly relying on the insufficient experience and knowledge of the engineers. To improve this, a systematic method is studied here and the result is applied in the design of an ABS braking system as a case study.