• ETRI Journal
• /
• v.39 no.2
• /
• pp.202-212
• /
• 2017

With the advent of the Internet-of-Things paradigm, the amount of data production has grown exponentially and the user demand for responsive consumption of data has increased significantly. Herein, we present DART, a fast and lightweight stream processing framework for the IoT environment. Because the DART framework targets a geospatially distributed environment of heterogeneous devices, the framework provides (1) an end-user tool for device registration and application authoring, (2) automatic worker node monitoring and task allocations, and (3) runtime management of user applications with fault tolerance. To maximize performance, the DART framework adopts an actor model in which applications are segmented into microtasks and assigned to an actor following a single responsibility. To prove the feasibility of the proposed framework, we implemented the DART system. We also conducted experiments to show that the system can significantly reduce computing burdens and alleviate network load by utilizing the idle resources of intermediate edge devices.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.6
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.27 no.1
• /
• pp.76-86
• /
• 2023

Radars used by air-crafts have two important characteristics; First, they should have a real-time signal processing system finishing signal processing before deadline while getting and processing successive in-phase and quadrature data. Second, they can cover a lot of modes including A2A(Air to Air), A2G(Air to Gound), A2S(Air to Sea), and Ground Map(GM). So the structure of radar signal processing SWs in modern airborne radars are becoming more complicate. Also, the implementation of radar signal processing SW needs to reuse common code blocks between other modes for efficiency or change some of the code blocks into alternative algorithm blocks. These are the reason why the radar signal processing SW framework suggested in this paper is taking advantage of modular programming. This paper proposes an modular framework applicable on the airborne radar signal processing SW maintaining the real-time characteristic using the signal processing procedures for A2G/A2S as examples.

• Journal of The Korean Association of Information Education
• /
• v.24 no.5
• /
• pp.453-462
• /
• 2020

With the development of artificial intelligence, a lot of platforms have emerged that enable anyone to easily access and learn about artificial intelligence or create artificial intelligence models. Therefore, in this study, we analyzed various artificial intelligence education platforms and developed and proposed a SW education class plan using a framework-based artificial intelligence education platform for activating artificial intelligence based SW education. The artificial intelligence-based SW education framework aims to cultivate artificial intelligence literacy on the basis of computational thinking. In addition, a learner-centered project class was formed to include elements that could be fused with real life contexts or other subjects. Using this, with the theme of creating an artificial intelligence program to help separate garbage collection, a six-hour project-based class was developed and proposed using practical arts, social studies, and creative experiential activities. This project class was organized using a platform that is not difficult, such as AI Oceans and Entry.

• Journal of The Korean Association of Information Education
• /
• v.21 no.1
• /
• pp.77-87
• /
• 2017

We developed a framework of consisting of concept understanding and learning activities in the area of algorithm and programming for constructing SW curriculum that can be used in school field. Based on this, it is composed of five levels of achievement standards by area. The algorithm area consists of 18 achievement standards elements, and the programming area consists of 21 elements. To examine the importance of content about achievement standards and the appropriateness of the education time of each area, its validity was suggested through expert verification by delphi survey. The present study could be utilized as the research data of the standard model of information education curriculum and provides important implications for the development of SW curriculum in the school field.

• 시스템엔지니어링워크숍
• /
• s.1
• /
• pp.15-20
• /
• 2003

Construction industry recognizes the necessity to manage is business from viewpoint of processes, and consider developing, evaluating and improving standard processes as important managerial target. SW-CMM provides basic framework for this process management. However, appropriate tailoring and adjustment are essential for SW-CMM concept to be applied to construction business. SW-CMM makes construction manager understand the capability of business process, based on which the priority of process improvement is judged. The capability is prescribed by common features. This paper introduces the basic frame for diagnosing construction business processes with SW-CMM, and presents the case study of analysing processes focusing on communication management.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.1068-1070
• /
• 2011

건물 부문의 에너지 절약방안으로 신재생에너지를 이용한 에너지 관리 시스템을 제안하고자 한다. 신재생에너지를 이용한 BEMS(Building and Enviromental Management System)를 설계하고, 이것을 구현하기 위한 Software Framework 를 설계한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.26 no.2
• /
• pp.319-325
• /
• 2016

Cloud computing-related security incidents have occurred recently are beyond the scope of a enterprise's security incident is expanded to the entire range of customers who use the cloud computing environment. The control technology for the overall integrated security of the cloud data center is required for this purpose. This study research integrated and additional security elements for the cloud data center control to understand the existing control technology. It is a better understanding of the IaaS cloud environment to build the IaaS cloud environment by CloudStack. SW-IaaS cloud structure by combining CloudStack and IaaS cloud model presented by NIST is proposed in this study. This paper derive a security framework to consider in each layer of The SW-IaaS cloud components, which are composed of the Cloud Manager, Cluster Manager, and Computer Manager.

• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.9_10
• /
• pp.485-496
• /
• 2008

As the complexity of SoC (System-on-Chip) design increases dramatically. traditional system performance analysis and verification methods based on RTL (Register Transfer Level) are no more valid for increasing time-to-market pressure. Therefore a new design methodology is desperately required for system verification in early design stages. and hardware software (HW-SW) cosimulation at TLM (Transaction Level Modeling) level has been researched widely for solving this problem. However, most of HW-SW cosimulators support few restricted ion levels only, which makes it difficult to integrate HW-SW cosimulators with different ion levels. To overcome this difficulty, this paper proposes a multipurpose framework for HW SW cosimulation to provide systematic SoC design flow starting from software application design. It supports various design techniques flexibly for each design step, and various HW-SW cosimulators. Since a platform design is possible independently of ion levels and description languages, it allows us to generate simulation models with various ion levels. We verified the proposed framework to model a commercial SoC platform based on an ARM9 processor. It was also proved that this framework could be used for the performance optimization of an MJPEG example up to 44% successfully.

• ETRI Journal
• /
• v.41 no.4
• /
• pp.494-505
• /
• 2019

In this paper, we propose a new framework for detecting the unauthorized dumping of garbage in real-world surveillance camera. Although several action/behavior recognition methods have been investigated, these studies are hardly applicable to real-world scenarios because they are mainly focused on well-refined datasets. Because the dumping actions in the real-world take a variety of forms, building a new method to disclose the actions instead of exploiting previous approaches is a better strategy. We detected the dumping action by the change in relation between a person and the object being held by them. To find the person-held object of indefinite form, we used a background subtraction algorithm and human joint estimation. The person-held object was then tracked and the relation model between the joints and objects was built. Finally, the dumping action was detected through the voting-based decision module. In the experiments, we show the effectiveness of the proposed method by testing on real-world videos containing various dumping actions. In addition, the proposed framework is implemented in a real-time monitoring system through a fast online algorithm.