• 대한안전경영과학회지
• /
• 제9권6호
• /
• pp.89-96
• /
• 2007

It is well known that the test and evaluation plan (TEP) is very crucial in the successful development of safety-critical systems. As such, this paper discusses an approach to the development of the TEP for a system that should meet safety requirements in the systems development process. It is studied how to incorporate the result of preliminary hazard analysis (PHA) in generating the safety requirements. It is also discussed how to deal with them when the system requirements (i.e., functions, performance, constraints, components, etc) and the safety requirements are integrated into one model. While doing so, we have constructed the required traceability among them, which is necessary and very useful when the safety requirements need to be corrected or be changed. The use of the traceability makes it possible to easily check out whether and how the safety requirements are properly incorporated in the system design process. Furthermore, without the verified traceability, the system cannot be changed or upgraded later. In order to implement the model on a computer-aided tool, we have constructed a database (DB) schema. As a result, the implemented model/DB allows to automatically generate TEP which can be used to measure the performance and safety level of the developed system.

• 농업과학연구
• /
• 제49권1호
• /
• pp.61-75
• /
• 2022

The first purpose of this study is to evaluate the usefulness of pork traceability data, which is monthly time-series data, and to draw implications with regard to its usefulness. The second purpose is to construct a dynamic ecological equation model (DEEM) that reflects the biological characteristics at each growth stage, such as pregnancy, birth and growth, and the slaughter of pigs, using traceability data. With the monthly pig model devised in this study, it is expected that the number of slaughtered animals (supply) that can be shipped in the future is predictable and that policy simulations are possible. However, this study was limited to traceability data and focused only on building a supply-side model. As a result of verifying the traceability data, it was found that approximately 6% of farms produce by mixing great grand parent (GGP), grand parent (GP), parent stock (PS), and artificial insemination (AI), meaning that it is necessary to separate them by business type. However, the analysis also showed that the coefficient values estimated by constructing an equation for each growth stage were consistent with the pig growth outcomes. Also, the model predictive power test was excellent. For this reason, it is judged that the model design and traceability data constructed with the cohort and the dynamic ecological equation model system considering biological growth and shipment times are excellent. Finally, the model constructed in this study is expected to be used as basic data to inform producers in their decision-making activities and to help with governmental policy directions with regard to supply and demand. Research on the demand side is left for future researchers.

• 한국콘텐츠학회논문지
• /
• 제8권3호
• /
• pp.32-40
• /
• 2008

수입자유화 이후 외국에서 생산된 농수축산물의 수입이 급증하고 있다. 그러나 질이 낮은 수입산이 국산으로 둔갑하는 일이 자주 발생하면서 제주산 농수축산물의 신뢰도 및 판로에 부정적인 영향을 미쳐왔다. 이에 생산이력관리에 대한 필요성이 많이 요구되어지고 있다. 따라서 본 논문에서는 RFID를 활용한 흑돼지 출하이력관리 시스템을 설계하고 구현하였다. 제안 시스템은 청정 제주의 이미지를 한층 더 고양시킬 수 있게 지역 특산물인 흑돼지의 사육에서부터, 도축, 가공, 출하에 이르는 전 과정을 RFID 태그로부터 입력받아 관리하도록 설계하였다. 또한 사용자가 구현 시스템으로부터 관리되는 출하이력관리 정보를 언제 어디서든지 웹을 통하여 제공받을 수 있다. 이를 통하여 농가 소득 향상과 FCS, FCG, HACCP인증과 함께 제주산 농수축산물의 품질 보증 확보 및 안정적인 공급에 기여할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2022년도 춘계학술발표대회
• /
• pp.244-247
• /
• 2022

In recent years, the logistics industry has greatly driven the world's economic development. Due to the frequent occurrence of logistics information leakage and forgery, it is necessary to find a solution that can accurately trace the logistics information and ensure the security and authenticity of the logistics information. The birth of blockchain technology has enabled the logistics industry to realize the development from quantitative change to qualitative change. The distributed storage idea, decentralization characteristics, immutable nature, complex encryption algorithm, and other technical characteristics of the blockchain technology make it have a wide range of application prospects in the logistics industry. The purpose of this paper is to apply blockchain technology to the whole chain of logistics information traceability, to indirectly store the corresponding data generated by the logistics circulation link on the blockchain, and to combine the researched consensus algorithm and searchable encryption algorithm to form A set of logistics information traceability system to achieve efficient and accurate traceability of logistics information.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2017년도 제56차 하계학술대회논문집 25권2호
• /
• pp.281-284
• /
• 2017

최근 임베디드 시스템 개발이 Model Driven Engineering 방식으로 변화하면서 요구사항과 모델 간의 추적성을 보장하는 것이 매우 중요해졌다. 이 논문에서는 기존의 FDD(Feature Driven Development)와 FOSE(Feature Oriented Software Engineering) 방법론에 적용된 feature 개념을 재정의하여 이를 AUTOSAR platform에 적용하는 방법을 제시하며 요구사항부터 model, code까지 추적성을 검증한다.

• 인터넷정보학회논문지
• /
• 제10권1호
• /
• pp.175-182
• /
• 2009

사용자 요구 분석에 있어 품질 요구에 대한 표현과 검증은 다른 활동에 비해 체계적인 연구가 미진한 분야로 알려져 왔다. 본 논문은 UML을 기반으로 정보시스템을 개발할 경우 적용이 가능한 품질 요소 중 사용성, 성능, 이해성 등에 대한 표현과 구현 추적 방법을 제안한다. 특히 유스케이스와 시퀀스 다이어그램의 품질 표현 확장을 통해 기능 요구의 구현 추적과 더불어 관계되는 품질 요구에 대한 표현과 추적을 할 수 있도록 한다. 이를 통해 개발자는 기능요구와 비기능 요구가 올바로 구현되었음을 사전에 확인할 수 있다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2010년도 춘계학술대회 논문집
• /
• pp.1821-1828
• /
• 2010

In this study we suggest a method of optimization of verification hierarchy structure and system requirements management by using a verification matrix with traceability consideration. Verification items were gathered in the process of CDR(Critical Design Review), and analyzed with respect to requirements traceability structure. Missed or overlapped items were adjusted, and cross-correlated items between sub-systems were clustered and rearranged in order to structurize verification requrements (VRs). Those VRs are to be used as a guideline for the test and evaluation planning, development of test items and procedure, and system requirements management throughout the system integration stages.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2002년도 춘계공동학술대회
• /
• pp.1079-1084
• /
• 2002

Systems engineering technology development program for Korea next-generation high-speed railway(KNHR) system in progress is a national large-scale system development program that is not only a large-size and complex but also multi-disciplinary in nature. Using the RDD-IOO, a systems engineering tool, the KNHR program can establish requirements traceability and development process management in the course of development. This paper presents the results from a computer-aided systems engineering application to KNHR system technology development project over the three years of activities. The traceability among the system design database in the vertical direction of SE process, as the results of the first year and the second year research was accomplished. The database in both the requirement management domain and the project management domain was developed and set up the traceability between them in the horizontal direction of the SE process in the V model as the results of the third year research. Therefore, KNHR design database was built to support the life-cycle management of the system as well as to reuse the knowledge in future programs. In the following development phase, this database will be utilized to accomplish the test and integration activities providing a baseline database. The outcome of the study contributes to the establishment of the model-based systems engineering approach as a best practice in the accumulation and advancement of systems engineering technology for railway system development.

• 한국정보통신학회논문지
• /
• 제12권9호
• /
• pp.1623-1632
• /
• 2008

식품선택에 있어서 소비자들은 철저한 품질관리를 통한 식품의 안전성과 신뢰성을 중요하게 여긴다. 또한 지역과 환경을 고려한 지속 가능한 생산과 소비에 관심이 많다. 본 연구에서는 소비자의 요구와 세계적인 식품인증 흐름에 따른 안전성과 신뢰성 있는 수산물 생산을 위해, 국제적 위생관리 기준인 HACCP인증과 이력제 인증, 친환경 수산물인증의 기반시스템이 되도록 고품질 수산물 생산지원시스템을 제안하고 설계하였다. 고품질 수산물 생산지원 시스템은 양식장 HACCP, 환경 제어모니터링, 생산이력, 질병예방/질병알림, 수산물 가격조회 등 5개 부분으로 구성된다. 제안 시스템은 다양한 u-IT 기술인 USN, 네트워크 CCTV, 모바일 기기 등의 첨단 융 복합 기술을 활용한다.

• 한국한의학연구원논문집
• /
• 제12권3호통권18호
• /
• pp.31-47
• /
• 2006

Nowadays Korean governments use Information Technology to improve the quality of life for a people. One of these tries is building the Food Tracing System based on Information Technology. Koreans have big concern about food that is good for health. The Food Tracing System means that the system can follows, traces, and records every steps of production and delivery of food and its ingredient. And this process should be identified and grouped by using tags, marks, and other methods. For example, producer of ingredient, processing steps of food, delivered place could be traced. In addition to food, medical herbs need consumer's trust in production and delivery. To trace and prosecute contaminated medical herbs, medical herbs also need this kind of Tracing System based on Information Technology. This study shows current medical herbs tracing ways and RFID(Radio Frequency IDentification) technology trend. As preceding study for future RFID based medical herbs tracing system, this study suggests the building plan and scenario of the Medical Herbs Tracing System. The determination of the main body for sticking RFID Tags is very important to design for RFID Traceability System. In this study, the starting point of information to medical herbs is an inspection agency. The Medical Herbs to product domestically or import moved to an inspection agency. An inspection agency bond the RFID Tags to packing of the Medical Herbs after examining the a basic its component. At the same time inspector give the information of production or importation to the Tags. This Tags are moved for logistical process to end point, the Korean medicine agency. The customer confirmed the traceability and certification information of the Medical Herbs. For success tracing of medical herbs, institutional support and close cooperation between related organizations is necessary besides good system design.