• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.203-212
• /
• 2010

Recently, in automotive industry, there have been many researches related with hardware components and embedded software which controls hardware components. Since most of embedded software is tightly dependent on car manufacturers, there were some problems in reusability and interoperability of automotive software. In order to solve these problems, AUTOSAR standardized the component-based software architecture of automotive software. In AUTOSAR, several modeling diagrams should be described and their dependencies are also checked. Currently, a few company developed the prototypes of tools supporting AUTOSAR. In this paper, a component modeling tool based on AUTOSAR 3.0 is developed for enhancing the usability of existing tools using Eclipse GMF. The tool is composed of a graphical component modeling tool and a graphical network topology tool. Since these tools are generated based on GMF without hard coding, it is relatively easy to customize the tools for adopting company‘s needs and easy to follow the improvement of the standard and development environments.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.77-82
• /
• 2010

서비스 지향 아키텍처 기반의 소프트웨어 시스템은 서비스 단위의 컴포넌트 조합에 의해 기능이 수행된다. 이러한 조합된 서비스에 대한 테스팅은 주로 서비스 조합 명세서인 WS-BPEL 명세를 기반으로 기능적인 측면에 초점을 두어 수행 되었다. 최근에 서비스 지향 아키텍처가 임베디드 소프트웨어 분야에 적용되면서 서비스 조합에 대한 성능 관련 요구사항의 중요성이 부각되고 있다. 그러나 기존의 성능 테스트는 각 서비스의 응용 어플리케이션에 성능 측정을 위한 코드삽입을 필요로 함으로써 테스트 비용을 증가시킨다. 또한 시뮬레이션을 통한 성능 테스트가 이루어지기 때문에 정확한 성능을 테스트하기 어렵다. 따라서 본 논문에서는 WS-BPEL을 이용한 조합된 서비스의 효과적인 성능 테스트를 위해 WS-BPEL을 확장하는 방법을 제안한다. 제안하는 확장 기법은 관점 지향 프로그래밍의 Aspect 개념을 WS-BPEL에서 사용할 수 있도록 함으로써 WS-BPEL을 이용한 테스팅에서 조합된 서비스의 성능 테스트를 효과적으로 수행할 수 있는 기회를 제공한다. 또한 본 확장 기법은 성능 테스트뿐만 아니라 다른 비 기능적 요구사항에 대한 테스트에도 활용될 수 있다.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.2 no.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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.25 no.11
• /
• pp.1581-1587
• /
• 2021

As embedded system are used widely and variously, multi-edge system, which multiple edges gather and perform complex operations together, is actively operating. In a multi-edge system, it often occurs that an abnormal operation at one edge is transferred to another edge or the entire system goes down. It is necessary to determine and control edge anomalies in order to prevent system down, but this can be a heavy burden on the resource-limited edge. As a solution to this, we use power consumption data to check the state of the edge device and transmit it based on a QRcode to check and control errors at the server. The architecture proposed in this paper is implemented using 'chip-whisperer' to measure the power consumption of the edge and 'Raspberry Pi 3' to implement the server. As a result, the proposed architecture server showed successful data transmission and error determination without additional load appearing at the edge.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.705-715
• /
• 2008

Today raises its head on the issue of interoperability caused by the complexity of the embedded software and the diverse development environment about SUGV(Small Unmanned Ground Vehicle). So, we propose to adopt the original MDA mechanism for this heterogeneous embedded development. To solve this problem, we apply for developing SUGV with MDA(Model Driven Architecture) using the original UML profile mechanism. Through this method, it can be semi-automatically transformed into TSM(Target specific model) after modeling TIM(Target Independent Model). Then we can also automatically generate the heterogeneous source codes. Therefore it will be reduced the development cycle and effort of the heterogeneous systems. We verify the benefits of our proposed approach and the reliability through analyzing the generated codes.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.15 no.4
• /
• pp.765-772
• /
• 2020

Currently, general educational science experiment teaching aids cannot be accurately measured, and even MBL experiment teaching aids consist of sensor-oriented programs that is difficult to actively design experiments by focusing only on securing data. This study envisioned a science experiment parish system capable of software convergence experiment design through curriculum analysis, and designed the entire system architecture, frame, and mechanism of MBL-based science experiment parish system by supplementing the limitations of the existing experiment.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.267-270
• /
• 2004

실시간 운영체제는 임베디드 환경에서 매우 중요한 소프트웨어 컴포넌트이다. 임베디드 실시간 운영체제는 고안전성 시스템이나 유비쿼터스 시스템 내에서 강하고(Robust), 신뢰성(Reliable)있고, 안전한(Safety) 특성을 지녀야 한다. 근래에는 이러한 실시간 시스템을 UML 과 같은 모델 기반의 방법으로 설계하고 코드 생성을 통해 구현까지 이끄는 모델 유도 공학(Model Driven Engineering: MDE)[1]을 통해서 개발하고 있다. 이러한 MDE 의 모델은 대부분 UML 기반의 언어를 사용하여 아키텍처를 구성하고 설계하여 코드를 생성하여 구현 코드를 생성해 낸다. 본 논문에서는 이러한 MDE 의 비정형적 언어를 대신하여, 정형명세 언어를 사용하여 실시간 시스템의 모델을 설계하고 이를 검증하여 실시간 운영체제를 개발하는 방법론을 기술한다. 이렇게 함으로써 보다 엄격한 언어를 통해 시스템의 설계의 모호함이나 모순을 없애고, 수학적 기반의 검증을 통해 보다 안전하고 신뢰성 있는 시스템을 구현하자 한다.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.12 no.5
• /
• pp.303-310
• /
• 2017

Underwater robots operating in constrained underwater environment have requirements for software systems. Firstly, it is necessary to provide reusable common software components for hardware interface of sensors and actuators that are frequently used in underwater robots. Secondly, it is required to support distributed execution environment on multiple embedded controllers. Thirdly, it is need to implement a monitoring system capable of high-speed and large-data transmission for underwater robots operating in an environment where it is difficult to check the robot status. For these requirements, we have designed the layered architecture pattern and applied several design patterns to enhance the reusability and the maintainability of software components, In addition, we overlaid the broker architecture pattern to support distributed execution environments. Finally, we implemented the underwater robot software system using ROS framework based on the software architecture design. In order to evaluate the performance of the implemented software system, we performed an experiment to measure the response time between components and the transmission rate of the monitoring data, and obtained the results satisfying the required performance.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.55-58
• /
• 2011

본 논문에서는 경성 실시간 제어 시스템 개발의 어려움을 해결하고자 실물 프로토타이핑(Physical Prototyping) 기법을 적용한 임베디드 실시간 시스템 소프트웨어 개발 방법론에 적합한 개발 환경을 구현하였다. 그리고 이를 검증하기 위한 사례연구로서 두 바퀴 형태의 이동 로봇의 설계 및 구현과 실험을 통해 검증한다. 제안한 개발 환경은 크게 3 단계의 개발환경으로 구성되어 있다. 첫 번째는 타겟 시스템의 요구 분석 및 시스템 모델링을 설계하는 가상 프로토타이핑 개발 환경이다. 두 번째는 실물 프로토타이핑 모델을 설계하여 기능 및 성능에 대한 검증을 하는 실물 프로토타이핑 개발 환경이다. 마지막으로 이러한 검증 단계를 지속적으로 거치면서 점증적으로 소프트웨어를 구현하는 응용분야 적응형 점증적 프로토타이핑 개발 환경이 있다. 또한, Matlab, Simulink, 유비노스 아키텍처 및 이클립스 기반의 통합 개발 환경, ESPS 모바일 보드를 사용하여 경성 실시간 제어 시스템의 설계 및 구현, 성능 검증을 통해 제안한 개발 환경의 유효성을 입증한다.

• The KIPS Transactions:PartA
• /
• v.12A no.1 s.91
• /
• pp.53-58
• /
• 2005

The use of computers for control and monitoring of industrial process has expanded greatly in recent years. The computer used in such applications is shared between a certain number of time-critical control and monitor function and non time-critical batch processing job stream. Embedded systems encompass a variety of hardware and software components which perform specific function in host computer. Many embedded system must respond to external events under certain timing constraints. Failure to respond to certain events on time may either seriously degrade system performance or even result in a catastrophe. In the design of real-time embedded system, decisions made at the architectural design phase greatly affect the final implementation and performance of the system. Flexibility indicates how well a particular system architecture can tolerate with respect to satisfying real-time requirements. The degree of flexibility of real-time system architecture indicates the capability of the system to tolerate perturbations in timing related specifications. Given degree of flexibility, one may compare and rank different implementations. A system with a higher degree of flexibility is more desirable. Flexibility is also an important factor in the trade-off studies between cost and performance. In this paper, it is identified the need for flexibility function and shows that the existing real-time analysis result can be effective. This paper motivated the need for a flexibility for the efficient analysis of potential design candidates in the architectural design exploration or real time embedded system.