• 한국멀티미디어학회논문지
• /
• 제15권1호
• /
• pp.115-130
• /
• 2012

오늘날 대다수의 안전필수 시스템들(Safety-Critical Systems)에는 컴퓨터, 전기 및 전자 부품이나 장치들에 소프트웨어를 칩에 내장하거나 제어용 소프트웨어 시스템이 탑재되어 구축되고 있다. 이에 따라, 컴퓨터 소프트웨어를 내장하였거나 탑재한 시스템들의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 제안되어져 오고 있다. 이러한 소프트웨어 결함 분석 기법들은 전통적으로는 하나의 안전필수 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 그 시스템에 가장 알맞은 결함 분석 기법이 동원되어야 함은 필수적이다. 본 연구에서는, 안전필수 시스템에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템 제어 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함트리 분석(FTA)과 소프트웨어 고장 유형 및 영향 분석(FMEA)을 결합한 시스템 결함 분석 방법을 제안하고 유비쿼터스 헬스케어 시스템을 이용하여 사례연구를 수행하고자 한다.

• Journal of Information Processing Systems
• /
• 제15권6호
• /
• pp.1462-1471
• /
• 2019

Real-time embedded systems have become pervasive in general industry. They also began to be applied in such domains as avionics, automotive, aerospace, healthcare, and industrial Internet. However, the system failure of such domains could result in catastrophic consequences. Runtime software testing is required in such domains that demands very high accuracy. Traditional runtime software testing based on handwork is very inefficient and time consuming. Hence, test automation methodologies in runtime is demanding. In this paper, we introduce a software testing system that translates a real-time software into a monitorable real-time software. The monitorable real-time software means the software provides the monitoring information in runtime. The monitoring target are time constraints of the input real-time software. We anticipate that our system lessens the burden of runtime software testing.

• 천문학회보
• /
• 제44권2호
• /
• pp.58.1-58.1
• /
• 2019

We have developed Ground Software (GSW) of BITSE. The ground software includes mission operation software, data visualization software and data processing software. Mission operation software is implemented using COSMOS. COSMOS is a command and control system providing commanding, scripting and data visualization capabilities for embedded systems. Mission operation software send commands to flight software and control coronagraph. It displays every telemetry packets and provides realtime graphing of telemetry data. Data visualization software is used to display and analyze science image data in real time. It is graphical user interface (GUI) and has various functions such as directory listing, image display, and intensity profile. The data visualization software shows also image information which is FITS header, pixel resolution, and histogram. It helps users to confirm alignment and exposure time during the mission. Data processing software creates 4-channel polarization data from raw data.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 추계학술대회 논문집
• /
• pp.1616-1625
• /
• 2007

Recently, embedded systems role as control systems instead of mechanical control systems in many parts of vehicles. In cases that embedded systems are used controling the electric signal, it is important to secure the reliability of a software within embedded systems. In this paper, the test platform for securing the reliability and real-time characteristic of the embedded system that controls electric signal of All Wheel Steering Control System in a Bi-modal tram is proposed. The platform is built on a HIL (Hardware In the Loop) architecture. Through the HIL platform, various vehicle conditions, driver activities and environment conditions can be successfully tested without actual driving, hence improving the reliability of the embedded system for the All Wheel Steering Control System.

• 대한임베디드공학회논문지
• /
• 제9권1호
• /
• pp.33-41
• /
• 2014

This paper presents a IEEE1588 based clock synchronization technique for a sRIO (Serial RapidIO) network which is applied to a submarine system. Clock synchronization plays a key role in the success of a networked embedded system. Recently, the IEEE1588 algorithm making use of dedicated chipset has been widely used for the synchronization of various industrial applications. However, there is no chipset available for the sRIO network that can offer many advantages, such as low latency and jitter. In this paper, the IEEE1588 algorithm for a sRIO network is implemented using only software without any dedicated chipset. The proposed approach is verified with experimental setup.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2001년도 춘계학술대회 논문집
• /
• pp.347-358
• /
• 2001

In this paper, we apply NHPP model example to s/w process in order to get to know s/w reliability. The test is constructed by a test zig of commercial product loaded real embedded system s/w. It is established to s/w reliability prediction and estimation of real-time embedded system s/w. It is computed the prediction value of cumulative failures, the failure intensity, the reliability and the estimation value of MTTF, Failure Rate. To the more realization of high reliability in the real-time embedded system s/w, if the embedded system s/w is ensured to the test coverage and constructed to stable s/w process ＆ operating system, we can improve the performance and the reliability characteristic of the real-time embedded system s/w.

• 한국신뢰성학회:학술대회논문집
• /
• 한국신뢰성학회 2005년도 학술발표대회 논문집
• /
• pp.295-301
• /
• 2005

It is not easy to apply fault-tolerant techniques which are used in conventional computer systems successfully to the field of embedded computing system directly. In this paper, we study on the way of minimizing hardware and/or software backups for vehicle embedded computing systems. First, we group parts that constitute vehicle embedded systems and next feature subset is determined using the grouping information derived. The possibility of implementing graceful degradation capability in vehicle embedded systems is verified.

• 디지털산업정보학회논문지
• /
• 제17권3호
• /
• pp.9-15
• /
• 2021

In this paper, the Embedded MEMS system to the power apparatus used Edge Impulse machine learning tools and therefore an improved predictive system design is implemented. The proposed MEMS embedded system is developed based on nRF52840 system and the sensor with 3-Axis Digital Magnetometer, I2C interface and magnetic measurable range ±120 uT, BM1422AGMV which incorporates magneto impedance elements to detect magnetic field and the ARM M4 32-bit processor controller circuit in a small package. The MEMS embedded platform is consisted with Edge Impulse Machine Learning and system driver implementation between hardware and software drivers using SensorQ which is special queue including user application temporary sensor data. In this paper by experimenting, TensorFlow machine learning training output is applied to the power apparatus for analyzing the status such as "Normal, Warning, Hazard" and predicting the performance at level of 99.6% accuracy and 0.01 loss.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2001년도 춘계학술발표회요약집
• /
• pp.103.2-103
• /
• 2001

• 정보과학회지
• /
• 제31권5호
• /
• pp.56-62
• /
• 2013