• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2010년도 춘계학술대회 논문집
• /
• pp.838-849
• /
• 2010

It is inevitable to control the systematic failure to obtain the software safety integrity of embedded software installed in rolling stock. Because it is not possible to assess systematic failure integrity by quantitative methods, SILs are used to group documentation, methods, tools and techniques throughout software development lifecycle which, when used effectively, are considered to provide an appropriate level of confidence in the realization of a system to a stated integrity level. Normally, safety approval process is through generic product, generic application and specification application for. For safety approval on generic application of software based system, it is required to apply the certified software processes from the planning stage for the assigned SIL. As such, we will develop project specific application with high safety integrity within time limit of contractual delivery schedule through software assessment to the modified area with the re-use of certified software module and documentation. At this point, Hyundai Rotem has developed software processes applicable to support SIL 4 based on EN50128 which was assessed and certified by TUV SUD. This paper introduces the Hyundai Rotem's detailed approach and prospective action to achieve software safety integrity level.

• 항공우주시스템공학회지
• /
• 제6권3호
• /
• pp.1-6
• /
• 2012

It is booming to use computer owing to the information society, and embedded software application have grown in airborne systems and equipment. So this introduces airborne software, RTCA DO-178B, life cycle and its data, and software development pitfalls in design and certification.

• 정보처리학회논문지D
• /
• 제13D권7호
• /
• pp.923-930
• /
• 2006

본 논문에서는 무기체계 임베디드 소프트웨어의 시간 요소를 고려한 TFM(Time Factor Method) 기반의 시스템 테스트 모델을 설계하고, 적용사례를 통하여 결과를 제시한다. 이를 위해 무기체계 임베디드 소프트웨어의 특징과 시스템 테스트 그리고 객체지향 모델의 표현방법인 UML 표기법에 대하여 알아보고, 시스템 테스트 모델 설계를 위한 TFM 접근 방법으로 시간 요소를 고려한 테스트 방법과 시간 요소 측정 방법 그리고 테스트 케이스 선정 알고리즘을 제시한다. 무기체계 임베디드 소프트웨어의 TFM 기반 시스템 테스트 모델은 세 가지 요소 (X,Y,Z) 로 구성되며, 'X' 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, 'Y' 에서는 Sequence Diagram과 관련된 객체를 식별하고, 'Z'에서는 Timing Diagram을 통하여 식별된 각 객체들의 실행시간을 측정한다. 또한 제안한 W:M 기반 시스템 테스트 모델을 '다기능 미사일 방어시스템'에 적용하여 테스트 케이스를 추출하는 방법을 제시한다.

• 대한임베디드공학회논문지
• /
• 제2권4호
• /
• pp.242-250
• /
• 2007

Wireless sensor networks are subject to highly heterogeneous system requirements in terms of their functionality and performance due to their broad application areas. Though the heterogeneity hinders the opportunity of developing a single universal platform for sensor networks, efforts to provide uniform, inter-operable and scalable ones for sensor networks are still essential for the growth of the industry as well as their technological advance. As a part of our work to develop such a robust platform, this paper presents the software architecture for sensor nodes with focus on our sensor node operating system and its configuration methodology. Addressing principle issues in its design space which includes programming, execution, task scheduling and software layer models, our architecture is highly reconfigurable with respect to system resources and functional requirements and also highly efficient in supporting multi-threading under small system resources.

• 대한임베디드공학회논문지
• /
• 제9권3호
• /
• pp.183-191
• /
• 2014

The software running on avionic system is required to be highly reliable and productive. The air transport industry has developed ARINC Specification 653(ARINC653) as a standardized software requirement of avionics computers. The document specifies the interface boundary between avionics application software and the core executive software. Dependability in ARINC 653 is provided by spatial and temporal partitioning whilst fault-tolerance is provided by health monitoring mechanism. Legacy real-time operating systems are used to support ARINC653 health monitor on integrated modular avionics(IMA). However, legacy real-time operating systems are costly and difficult to modify the kernel. In this paper, we suggest a Linux-based ARINC653 health monitor. Functionalities to support ARINC653 health monitor are implemented as a Linux kernel module and its performance is evaluated.

• International Journal of Safety
• /
• 제10권2호
• /
• pp.16-20
• /
• 2011

The computer application on embedded system is recently more increased in accordance of the development of computer technology. In this trend, the depending of SW in embedded system, especially railway signaling system, is being increased further. So the testing for the safety of railway signaling system software became more important. Hence, the safety assurance of the vital software on the railway signaling system is very important but yet, not many works have been done. In this paper, we represented the implementation results of development of performance testing tool in railway signaling system. The implemented testing item had referred to the international standards in relation to the software for railway system, such as IEC 61508 and IEC 62279.

• 한국콘텐츠학회논문지
• /
• 제8권12호
• /
• pp.63-71
• /
• 2008

최근 임베디드 시스템의 폭넓은 보급은 응용 소프트웨어 개발과 더불어 임베디드 소프트웨어 개발 도구의 필요성 및 중요성이 강조되고 있으며 임베디드 소프트웨어를 위한 컴파일러의 개발을 동시에 요구하고 있다. 특히, 임베디드 프로세서를 탑재한 모바일 장치에서는 제한된 전력/에너지의 하드웨어적인 관리 못지않게 소프트웨어적인 관리 기술의 중요성이 강조되고 있다. 본 논문에서는 검증된 재목적 컴파일러 후단부 도구인 EXPRESSION을 통해 최적화된 에너지 소비를 고려한 MIPS 코드 생성 기술을 제안하였다. 이를 위해, 효율적인 MIPS 코드 생성을 위한 코드 생성 규칙을 기술하였으며 생성된 코드에 대한 다양한 성능분석 결과를 제시한다.

• 대한임베디드공학회논문지
• /
• 제9권3호
• /
• pp.157-163
• /
• 2014

This paper demonstrates the benefit of using MOOS-IvP in the development of control system for Unmanned Underwater Vehicles(UUV). The demand for autonomy in UUVs has significantly increased due to the complexity in missions to be performed. Furthermore, the increased number of sensors and actuators that are interconnected through a network has introduced a need for a middleware platform for UUVs. In this context, MOOS-IvP, which is an open source software architecture, has been developed by several researchers from MIT, Oxford University, and NUWC. The MOOS software is a communication middleware based on the publish-subscribe architecture allowing each application to communicate through a MOOS database. The IvP Helm, which is one of the MOOS modules, publishes vehicle commands using multi-objective optimization in order to implement autonomous decision making. This paper explores the benefit of MOOS-IvP in the development of control software for UUVs by using a case study with an auto depth control system based on self-organizing fuzzy logic control. The simulation results show that the design and verification of UUV control software based on MOOS-IvP can be carried out quickly and efficiently thanks to the reuse of source codes, modular-based architecture, and the high level of scalability.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
• /
• pp.443-445
• /
• 2006

In this paper, we present a model-driven approach to RTOS(Real Time Operating System)-based embedded software development and an automated tool that can produce RTOS-specific code. we defined generic RTOS APIs(Application Programming Interface) that are not bound to any specific RTOS but can provide most of typical RTOS services. The generic RTOS APIs can be used as a means for describing application's RTOS-related behavior from design stage. Out tool, called Trans-PI, is able to produce specific 'C' code aimed at POSIX(Portable Operating System Interface for UNIX)-complicant RTOSs. And it is also configurable to target other RTOSs that do not conform to the POSIX standard.

• 항공우주기술
• /
• 제3권2호
• /
• pp.177-182
• /
• 2004

고도 정보화 사회라고 일컫는 오늘날 컴퓨터는 거의 모든 분야에서 사용되고 있으며, 항공 산업에서도 항공기 및 관련 장비의 개발 과정에서 내장형 소프트웨어가 차지하는 비중이 급증하고 있다. 이에 항공용 소프트웨어에 대한 개괄적인 사항을 알아보고, 항공용 소프트웨어의 분류, 소프트웨어 라이프사이클, 각 목표를 달성하기 위한 활동과 설계고려 사항을 알아본다.