• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.398-405
• /
• 2014

Recently the embedded software has been widely applied to the safety-critical systems in aviation and defense industries, therefore, the higher level of reliability, availability and fault tolerance has become a key factor for its implementation into the systems. The integrity of the software can be verified using the static analysis tools. And recent developed static analysis tool can evaluate code integrity through the mathematical analysis method. In this paper we detect the autocode error and violation of coding rules using the formal verification tool, Polyspace(R). And the fundamental errors on the flight control law model have been detected and corrected using the formal verification results. As a result of verification process, FBW helicopter control law autocode can ensure code integrity.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.9
• /
• pp.2815-2826
• /
• 2000

This paper describes the design and implementation of a CHILL Run-time System(CRS) that provides a running environments of real-time distributed software like as ATM switching software on host computers. To do this, we have proposed an execution model of real-time distributed CHILL proRrams and developed a CHS executinR the software of the execution model on host computers. Because CRS provides transparent runninR environments of target operating system, programmers are able to develop target system software without target system. As it provides an environment for multiple users running programs concurrently, it guarantees the improvement of program productivity. Originally, CRS has developed as a simulator of SROS. But it can be easily modified for other operating systems.

• Journal of Convergence for Information Technology
• /
• v.8 no.6
• /
• pp.217-223
• /
• 2018

Real-time controllability has been a major challenge that should be addressed to ascertain the practical usage of the management systems. In this regards, for the first time, we proposed and implemented an IoT(Internet of Things)-based water tank system to improve convenience and efficiency. The reservoir can be effectively controlled by notifying the user if the condition of the reservoir is unstable. The proposed system consists of embedded H/W unit for sensor data measuring and controling, application S/W for deployment of management server via web and mobile app, and efficient database structure for managing and monitoring statistics. And machine learning algorithms can be applied for further improvements of efficiency in practice.

• Journal of Advanced Navigation Technology
• /
• v.27 no.2
• /
• pp.228-234
• /
• 2023

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.611-614
• /
• 2004

As information telecommunication industry develops and systems get integrated gradually, the importance of embedded software is growing significantly. On the contrary, the reliability of embedded software has worsened. Accordingly, testing of software is an essential part in designing and building up embedded system and the volume of testing required is immense. This paper elaborates on design and testing model for complex embedded software, providing guidelines to collect requirements for complex embedded software.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.52-55
• /
• 2002

객체 지향 설계 방법론은 현재 소프트웨어 개발에 널리 사용되고 있지만 내장형 실시간 시스템에는 적합한 스케줄링 기법이 존재하지 않기 때문에 제한적으로만 적용되어 왔다. 선점 임계 스케줄링(preeption threshold scheduling: PTS)은 비선점성을 최대한 이용하여 다중 태스킹의 부하를 줄이기 위한 제안되었다. PTS는 전통적인 스케줄링 기법을 대신하여 실시간 객체지향 설계에 사용되기에 적합하나. 이를 위해서는 실시간 동기화의 문제가 해결되어야 한다. 본 논문에서는 PTS를 위한 실시간 동기화의 필수적인 기반을 제시한다. 구체적으로 PTS를 위한 기본 우선순위 계승 프로토콜과 우선순위 실링(ceiling) 프로토콜을 제시한다. 제시된 동기화 기법은 유효 우선순위의 개념을 사용하여 우선순위를 계승하도록 하며, 선점 임계 실링 대신 우선순위 실링을 사용한다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.4
• /
• pp.116-124
• /
• 2007

As NCW has appeared, the importance of interoperability in modern warfare has been also increased. Korean Defense has constructed and used the Systems Interoperability Test & Evaluation System based on LISI, in order to increase interoperability between Defense Information Systems. However, its evaluating targets are limited to only the information systems, so that it is difficult to apply it to weapon systems. This paper proposes an integrated interoperability assessment framework for korean embedded software of weapon systems based on reviewing the limitations of SITES and the other interoperability assessment models.

• Journal of the Korean Society of Systems Engineering
• /
• v.11 no.1
• /
• pp.67-72
• /
• 2015

It has been tested for SW reliability in order to prevent the SW error during the development of weapons systems. According to a recent report, defects such as memory leak, buffer overflow, and null deference occur usually in the development stage, but also in the mass production stage. Although it is intended to enhance the SW test and evaluation to prevent SW failures in the development stage, the non-functional problems like syntax errors are not completely revised due to the limitation of the schedule and costs. In addition, SW failure rate are usually fluctuated by the operational environment through SW upgrade in contrast with HW. In this paper, we propose a method to increase SW reliability in the mass production stage of Korean weapon systems.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11a
• /
• pp.413-416
• /
• 2003

본 연구에서는 백색가전 제품의 특성에 맞는 임베디드 시스템 플랫폼 디자인을 제안한다. 프로세서는 최근 더욱 각광을 받고 있는 ARM 계열의 디바이스를 사용하였으며 운영체제는 임베디드 시장에서 급부상하고 있는 리눅스를 대상으로 한다. 본 연구는 백색가전 제품군 전체를 대상으로 하고 전자레인지를 이용하여 시제품을 구현하였다. 특히 백색가전은 제품의 특성상 제조원가에 민감한 제품이므로 메모리 등 시스템의 자원 사용을 최소화하여 제조원가를 낮추는 방향으로 디자인의 방향을 정해야 한다. 하드웨어 비용은 현실적으로 거의 시장에서 정해진 비용의 범주를 크게 벋어나지 못하겠으나 소프트웨어의 크기는 접근하는 방법에 따라 차이가 날 수 있다. 이에 본 논문은 가능한 탑재될 리눅스의 커널 크기를 줄이며 파일시스템 및 기타 라이브러리의 크기를 최소화하여 백색가전에 적합한 플랫폼을 제시하는데 주목적이 있다.

• Aerospace Engineering and Technology
• /
• v.12 no.2
• /
• pp.131-139
• /
• 2013

This paper describes the design and implementation of a small avionics unit based on soft CPU. A small avionics unit is developed with the soft CPU which can be wholly implemented in FPGA using logic synthesis. Design and integration of a modular architecture for versatile, reconfigurable and re-adaptable is presented with the Nios-II processor. To gain modular architecture, both at main board and sub-board level, attention has been paid to the selection of interfaces and an adequate data and power bus.