• Journal of the Korea Society of Computer and Information
• /
• v.6 no.4
• /
• pp.12-20
• /
• 2001

The problem of software bottle-neck may be arised from unbalance of demands and supply of software. This is caused from the fact that the capability of programmer could not be improved in software development. Therefor, the new method of software development should aim at improving the productivity of software. This paper presents the expressions to be the standardized software Program modules by means of the software chip. The expressions are consist of name, input, output, and iteration of each software chip. And they simple express a combination and separation in sequence, parallel, iteration, composition, mixing, and variety form. Therefore they can easily software reuse as a result of analyzing the flow of data clearly.

• Proceedings of the KIEE Conference
• /
• 2007.10c
• /
• pp.204-206
• /
• 2007

The portion of embedded software in railway signaling system is increased by the advance of computer and communication technology. And the safely requirements for railway system are standardized by int'l std., such as IEC 62278 and IEC 62279. According to these circumstances for software safety problems, we are deduced the testing items for software safety test and assessment for railway signaling. Testing tools used for embedded software are surveyed to find a feasible safety assessment architecture. And the architecture of automatic test tool is proposed to test the deduced safely testing items in this paper.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.225-229
• /
• 1996

In order to accomplish large-size information systems successfully, one of the most improtant factor is the system integration(SI) of individual software projects which consist of the systems. A developer of each project should consider aspects of SI through the development cycle, and a manager of the entire system should manage, control, and evaluate each from a SI point of view. In this research, management models for the system managers, development models for the developers of unit projects, and standardized output documents for the management and evaluation purpose are presented based on the SI concepts.

• 제어로봇시스템학회:학술대회논문집
• /
• 1986.10a
• /
• pp.337-340
• /
• 1986

A software package CARDS for general purpose robot design, control, and simulation has been developed and is presented here. CARDS (Computer Aided Robot Design and Simulation) consists of a collection of standardized subroutine modules that carry out typical kineamatic, dynamic, and control computations so that the user only needs to write a main program that further defines a particular robot configuration and the task to be performed. It provides users a complete simulation environment, so that it will be a valuable engineering tool for mechanical designers as well as electric control designers.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.5
• /
• pp.541-545
• /
• 2010

AUTOSAR, a standard software platform for automotive, has been developed to manage software complexity and improve software reuseability. However reuse of test system is difficult because it is dependant on implementation language and test phase. In this paper, we suggest a test system generation method for AUTOSAR software component using TTCN-3, a standardized testing language. TTCN-3 test system is generated automatically from AUTOSAR XML containing software design information. The test system consists of TTCN-3 tester and target system and tests functionality and worst case response time of software under simulation environment. With the proposed testing techniques we can reduce time and effort to build the testing system and reuse testing environment.

• Communications for Statistical Applications and Methods
• /
• v.18 no.5
• /
• pp.667-674
• /
• 2011

A recent trend in software reliability engineering accounts for the coverage growth behavior during testing. The coverage growth function (representing the coverage growth behavior) has become an essential component of software reliability models. Application of a coverage growth function requires the estimation of the coverage growth function. This paper considers the problem of estimating the coverage growth function. The existing maximum likelihood method is reviewed and corrected. A method of minimizing the sum of squares of the standardized prediction error is proposed for situations where the maximum likelihood method is not applicable.

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

• IEMEK Journal of Embedded Systems and Applications
• /
• v.9 no.2
• /
• pp.87-99
• /
• 2014

An AUTomotive Open System ARchitecture (AUTOSAR) is a de-facto standardized software platform, which developed for an automotive Electronic Control Unit (ECU) in global automotive industry. AUTOSAR improves the reusability and the scalability, thus the software development can be easier, faster and more reliable. However, it requires a lot of time and efforts to develop an AUTOSAR software due to the difficulties of understanding of massive AUTOSAR documentations and complicated usage of AUTOSAR design tools. AUTOSAR training is offered by AUTOSAR design tool venders but it is limited to introduction of their simplified concept and usages based on PC. Therefore the training is not enough for industrial developers or graduate students. In this paper we present an AUTOSAR starter kit which allows industrial engineers and graduate students to practice the detailed process of AUTOSAR software development easily and more conveniently. The kit is composed of a practical environment similar to actual automotive system and a textbook that explains how to design AUTOSAR software. And we demonstrated the validity of our methodology based on a case study.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.5
• /
• pp.11-18
• /
• 2016

Linked Data is a web standard data definition method devised to connect, expand resources with a standardized type. Linked Data built in various areas expands existing knowledge through an open data cloud like LOD(Linked Open Data). A project to link and service existing knowledge through LOD is under way worldwide. However, LOD project in domestic is being participated in a specific field to the level of research. In this paper, we suggests a method to build the area of technical knowledge like legislations in type of Linked Data, and distribute such Linked Data built to LOD. The construction method suggested by this paper divides knowledge of legislations in structural, semantic, and integrated perspective, and builds each of them by converting to Linked Data according to the perspective. Also, such built Linked Legal Data prepares to link knowledge in a standardized type by distributing them onto LOD. Built Linked Legal Data are equipped with schema for link service in various types, and give help increase understand the access type to existing legal information.

• The Journal of the Korea Contents Association
• /
• v.6 no.11
• /
• pp.235-242
• /
• 2006

Many researches have achieved to reuse existent experience at each step of software life cycle. It is achieved various study about Design Pattern serving that abstract level solves design problem at high level. But, design step is not supplying design information that is abstracted so that new designers may reuse standardizing defined good design information. Therefore, in this paper, to do so that can reuse existent design information because composes Design Pattern can solve problem at design step, and extend design information that also is standardized XMI to base meta model of Design Pattern. And I did so that can compose Design Pattern utilizing MetaModel of Design Pattern standardized by XMI. Therefore, software designer can reuse composing existent design information that is could standardize problem at design because uses MetaData of standardized Design Pattern, and designs by Design Pattern base.