• International Journal of Contents
• /
• v.7 no.1
• /
• pp.23-28
• /
• 2011

In a SoC (system-on-chip) design, a design complexity is a big bottleneck. In order to overcome the design complexity, platform based design method is widely adopted for designers. Most complex SoCs need a heterogeneous design development environment for hardware and software co-design. In this paper, we discuss about some kinds of verification approaches with platform based design methodology at various abstraction levels of SoC design. We separate the verification process to two steps according to the different levels of verification. We employ a flexible SoC design environment to support simultaneous hardware and software development. We demonstrate the verification strategy of a target SoC design, IEEE 802.11a WLAN SoC.

• International Journal of Internet, Broadcasting and Communication
• /
• v.15 no.3
• /
• pp.219-230
• /
• 2023

With the development of autonomous driving technology, as the use of software in vehicles increases, the complexity of the system increases and the difficulty of development increases. Developments that meet ISO 26262 must be carried out to reduce the malfunctions that may occur in vehicles where the system is becoming more complex. ISO 26262 for the functional safety of the vehicle industry proposes to consider functional safety from the design stage to all stages of development. Specifically at the software level, the requirements to be complied with during development and the requirements to be complied with during verification are defined. However, it is not clearly expressed about specific design methods or development methods, and it is necessary to supplement development guidelines. The importance of analysis and verification of requirements is increasing due to the development of technology and the increase of system complexity. The vehicle industry must carry out developments that meet functional safety requirements while carrying out various development activities. We propose a process that reflects the perspective of system engineering to meet the smooth application and developmentrequirements of ISO 26262. In addition, the safety analysis/verification FMEA processforthe safety of the proposed ISO 26262 function was conducted based on the FCAS (Forward Collision Avoidance Assist System) function applied to autonomous vehicles and the results were confirmed. In addition, the safety analysis/verification FMEA process for the safety of the proposed ISO 26262 function was conducted based on the FCAS (Forward Collision Avoidance Assist System) function applied to the advanced driver assistance system and the results were confirmed.

• Proceedings of the KSRS Conference
• /
• 2008.10a
• /
• pp.84-87
• /
• 2008

ATTOL is a software unit testing tool produced by the ATTOL Testware SA in France. It automates the entire software unit testing process: test plan template and test program generation, test program execution, test result analysis and test report generation. ATTOL is suited for the development of embedded software as it allows programmers to operate in native and cross development environments. Particularly, it is used for the development of the flight software which is embedded in the Communication Ocean Meteorological Satellite (COMS). As the flight software is mission-critical, it requires the strict software quality and high testing constraints. The flight software of COMS is verified by ATTOL in native and cross platforms. In 2002, ATTOL was taken over by the IDM Rational Software and has been supplied with the name of Test RealTime (TestRT). The test process of TestRT becomes different from that of ATTOL as TestRT provides the new functionalities that were absent from ATTOL. TestRT provides the new features in the test script language, as well. In this paper, we compare the test process of ATTOL to TestRT With an example of COMS and explain what has been changed in the test script language.

• Journal of information and communication convergence engineering
• /
• v.9 no.1
• /
• pp.100-104
• /
• 2011

In software system development, an application interface is the main communication platform between human developers and applications. Interaction in any software application requires human's mental and physical activities. Although software systems have increased drastically in diverse sectors and many forms to quench human's needs and satisfactions, human always concern about the ease in usability of the software application so that it can be easily understood and navigated. Since many software developers still focus on the quantity of contents instead of the quality of the interface from the user's point of view, it is important to address human factors need in the early stage of the design and to continue addressing them during the entire stages of the software design for the persistent support of usability. In this paper, we propose the Modified Prototype Model (MPM), which helps the software designers and developers to design user-friendly software systems with easy-to-navigate interfaces by uncovering human factors in a convenient way. Moreover, we propose methods that assist to identify more human factors regarding software design. In this paper, we also study the implications of the proposed model and the proposed methods.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.14 no.4
• /
• pp.292-299
• /
• 2021

A form of data mining software, based on manufacturing-based IIoT environment with the development of IT technologies are increasingly growing. However, it is difficult to evaluate the software quality in the same form as general software due to the characteristics of the software of a manufacturing company that has a large amount of data that needs to be carried out with big data and data mining. In addition, in a manufacturing-based environment where heterogeneous equipment and software are mixed, it is difficult to perform quality judgment on software used by applying existing quality characteristics. Therefore, in this paper, the characteristics of the manufacturing base are investigated, and a software quality evaluation model suitable for it is developed and evaluated.

• Bulletin of the Korean Space Science Society
• /
• 2008.10a
• /
• pp.26.1-26.1
• /
• 2008

The Korean first geostationary meteorological satellite, COMS, will be launched during second half of 2009. For the next meteorological geostationary satellite mission, KARI is now preparing the development process and tools. As one of the endeavor, a software tool is being developed for the analysis and design of geostationary transfer orbit. Generally, these kind of tools should be able to do various analysis works like apogee burn planning, dispersion analysis, ground visibility analysis, and launch window analysis etc. In this presentation, a brief introduction about a design process and analysis software tool development. And simulated calculation results are provided for the geostationary transfer orbit. These software can be used for the next geostationary satellite mission design and development.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.450-450
• /
• 2000

This paper presents a software design simulation method for controlling multiple mechanism carrier system (MMCS), which is mainly used in a wrapping machine or a case packing machine. This method uses a mechanical tool-work interactive model proposed in this paper, in order to represent the interactive behaviors between some tools and a work driven by their tools, in which low effect states of a work are defined. Based on this method, a 3-D simulation system has been built. It consists of shape modeling of each device, behavior definitions of tools, and control logic using if-then expression. By applying it to a ase packing machine having about 30 mechanical devices and 100 inputs/outputs for control, the effectiveness of this method has been shown in general verification of control logic specification in an early software design phase and the possibility of smooth communication tool between mechanical and software designers.

• Electronics and Telecommunications Trends
• /
• v.8 no.3
• /
• pp.39-52
• /
• 1993

This study involves a Common Cause Failure (CCF) problem on the ultra-high reliability required system development such as war game operations, nuclear power control, air traffic control, space shuttle missions, and large scale network communication system. The system situation problems are defined according to CCF, reliability and system fault identifications for the development cast verifications in the multi-version redundant software system. Then, CCF analysis of redundant system, system principles and statistical dependence are also described. This validation oh the CCF in the human software interaction system will notify software engineers to conceive what really is CCF contribution factor, not only the internal but the external ones.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.833-834
• /
• 2009

국내 많은 기업들이 CMMI(Capability Maturity Model Integration) 모델을 도입해서 소프트웨어 개발 프로세스를 구축 및 내재화 후 CMU(Carnegie Mellon University)의 SEI(Software Engineering Institute)로부터 인증을 받고 있지만, CMMI Maturity Level 3 이상 인증 받은 조직에서 조차도 프로젝트 지연 및 품질 문제가 자주 발생한다. 프로젝트 지연 문제는 개발 단계 이후에 대부분 발생되고 있으며, 이는 현저히 낮은 소프트웨어 개발 생산성의 영향 때문이다. 본 논문에서는 프로젝트 개발 생산성에 영향을 미치는 중요 요인을 분석하고, 이에 따른 작업의 가치를 결정하는 방법을 제시한다.

• Journal of Internet of Things and Convergence
• /
• v.6 no.2
• /
• pp.87-92
• /
• 2020

The surrounding environments in which we live are changing from time to time due to the influence of ICT. At the heart of this change is not only the industrial sector, but it appears in most areas of everyday life. At the center of information and communication technology are software, intelligence, and sensing technology. The government and related organizations are promoting policies to foster various software, and with these policies, the software-related industry is steadily developing. There are positive aspects about software development, but also negative ones. The problems of duplication and progress due to software development have been increasing as the software industry has increased in quantity. In this study, we proposed a more objective method based on software engineering as a solution to problems when problems related to development progress occurred during the software development process.