스마트 디바이스의 소프트웨어 플랫폼 기술

홍장의 충북대학교 컴퓨터정보통신연구소 2011 컴퓨터정보통신연구 Vol.19 No.2

-본문참고-

임베디디 소프트웨어 상세설계정제 기법

홍장의 충북대학교 컴퓨터정보통신 연구소 2005 컴퓨터정보통신연구 Vol.13 No.2

임베디드 소프트웨어에 대한 소요가 증대되고, 응용 분야의 확대로 인하여, 가전, 휴대폰, 자동차, 항공기 등에 탑재되는 임베디드 소프트웨어의 품질이 더욱 중요시 되고 있다. 소프트웨어의 품질 향상에 대한 연구는 설계 모델의 품질과 소스 코드의 품질 차원에서 이루어지고 있다. 본 연구에서는 임베디드 소프트웨어에 대한 품질 향상을 목표로 설계 모델에서의 품질 향상 기법을 제안한다. 특히 상세설계 과정에서 개발된 모델의 정제를 통하여 보다 개선된 품질을 제공하고자 하였다. 이를 위해 구조적 분석 기법에서의 상세 모델에 대한 정제 규칙을 제시하고, 규칙 적용 결과를 분석하였다. Quality of embedded software becomes more important issue in the software development because the application of embedded software is more complicated and fast increased. The software quality can be improved in two dimension; the first is improving the quality of software model, and the second is improving source code quality. In this paper, we suggest a method to improve the quality of software design model through model refinement techniques. This technique contains some rules to refine the detailed design model in structured modeling methodology. This paper also presents the comparison result for the quality between prior and posterior to the refinement rules application.

스모(相撲)경기의 변천과정과 그 특성

강신석,최종균,김의영,홍장표 龍仁大學校 武道硏究所 1998 武道硏究所誌 Vol.9 No.1

The purpose of this study are to examine the historical transition of the SUMO, the mother of the Japanese chivalry culture and to investigate the cultural character of the Japanese chivalry which has sprung from the SUMO techniques as well, The conculusion from this study as follow: The history of the Japanese SUMO has start from the myth and has been developed with the agricultual belief, the nature worship and peaceful war-settlment as its backing. The historical transition of the SUMO is as follow: JINJI SUMO - In the age of the civil wars, the SUMO was used as a body training method for warrios to prepare the hand-to-hand fighting and the JU JYUTS were derived from the TORI TE, one of the SUMO's techniques. Besides it was a great epoch that a primitive from of the SUMO -playing ground (the DO HYO) was originated from this age. KAN JIN SUMO- As the war situation has been stabilized, the SUMO started to be adapted for performance. From this spot, the private-initiated SUMO and SUMO-playing ground analoguous to the present ground have emerged. Through this transition, the SUMO has passed by changes of techniques and systems and is it all its glory of today. The SUMO is a intangible cultural asset which connotes a cultural, philosophical thought and an outlook on the phsique of JAPAN and Now expends a great effort on the SUMO-globalization.

성인의 만성 기침에 대한 감별진단으로서의 백일해

박완범,박상원,이기덕,이창섭,장희창,김홍빈,김의종,오명돈,최강원 대한감염학회 2004 감염과 화학요법 Vol.36 No.6

목적 : 백일해는 소아기에 발생하는 전염병으로 오랫동안 알려져 왔다. 그러나, 미국과 유럽에서는 1990년대에 들면서 성인에서도 백일해가 유행하며, 만성 기침 환자의 20% 정도가 백일해를 앓는 것으로 보고하고 있다. 저자들은 국내에서 성인 만성기침의 원인으로 백일해의가능성을 확인하고자 하였다. 재료 및 방법 : 2002년 9월부터 2003년 5월까지 서울의 일개 대학보건진료소 또는 일개 시립병원 외래를 방문한 환자 중 기저 폐질환 없이 1주 이상 기침을 하는 성인을 대상으로 Bordetetlla pertussis에 대한 배양검사와 중합효소 연쇄반응검사(PCR)를 시행하였다. 결과 : 1주 이상의 기침을 하는 성인 102명 중 배양검사에서 양성인 환자는 없었으나 3명(2.7%)에서 PCR 양성이었으며 이들 모두 3주 이상 기침이 지속되었고 백일해의 특징적인 증상을 호소하였다. 결론 : 국내에도 성인에서 백일해가 발생하고 있음을 확인하였고 따라서 성인 만성기침의 원인으로 백일해를 감별 진단해야 한다. Background : Pertussis was long considered a childhood illness. However, in the last two decades, it has been reported as a cause of prolonged cough in adolescents and adults in other countries. Infection of Bordetella pertussis was prospectively searched among adults with a persistent cough. Materials and Methods : Adult patients, who visited either the outpatient clinic of a municipal hospital or a university health service center due to cough of more than six days' duration without underlying pulmonary disease, from September 2002 to May 2003, were enrolled. The culture and polymerase chain reaction (PCR) were used for confirming of B. pertussis infection. Results : 102 adult patients with persistent cough were evaluated. 3 (2.9%) patients were PCR positive for B. pertussis. There were no patients with positive culture. All patients with positive PCR had one or more classic symptoms of pertussis and their cough persisted for 3-7 weeks. Conclusion : We confirmed the morbidity of pertussis in Korean adults with persistent cough. Pertussis should be considered as a differential diagnosis of chronic cough in adults.

An approach to model the embedded software using UML interaction diagrams

Hong, Jang-Eui 충북대학교 컴퓨터정보통신 연구소 2006 컴퓨터정보통신연구 Vol.14 No.1

Embedded systems are becoming more complex due to the demand for new and complicated features. To address such complexity, systematic development methods for embedded software are needed. UML has become de facto standard for visually describing the structure and the behavior of software. Now it is emerging in embedded system design. In this paper, we propose an approach to model the behavior of embedded software using UML 2.0 interaction diagrams; interaction overview diagrams and sequence diagrams. Our interaction-based behavior modeling provides some benefits such as intuitive modeling guidance for software engineers, easy communication with users, and light-weight development activities. We present, in this paper, the method of constructing interaction overview diagrams with an example and also address consistency and completeness properties of the behavioral models.

CPN을 이용한 사이버 공격·방어의 모델링

Jang-Eui Hong 충북대학교 컴퓨터 정보통신 연구소 2011 컴퓨터정보통신연구 Vol.19 No.1

-본문참고-

“임베디드 소프트웨어 기반 기술" 특집을 내면서

홍장의(Jang-Eui Hong),권진백(Jin Bak Kwon) 한국정보과학회 2006 정보과학회지 Vol.24 No.8

소프트웨어공학 교육을 위한 프로세스 모형화

홍장의(Jang Eui Hong),배두환(Doo Hwan Bae) 한국정보과학회 2008 정보과학회지 Vol.26 No.2

객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증

홍장의(Jang Eui Hong),윤일철(Il-Cheol Yoon),배두환(Doo-Hwan Bae) 한국정보과학회 2000 정보과학회논문지 : 소프트웨어 및 응용 Vol.27 No.2

요구사항이 복잡하고 다양해지면서 정형적인 방법을 이용한 시스템 명세가 방대해지고 이해하기 어려워진다는 문제들이 생겨났다. 따라서 요구사항의 명세를 위해 모듈화 및 객체화 개념 등을 도입하고 있으며, 특히 복잡한 시스템의 경우에 있어서는 요구사항을 하향식 접근 방법에 의해 분할하고, 이들을 각각 정형적으로 명세하여 합성하는 접근 방법을 사용하고 있다. 본 연구에서는 이러한 추세에 따라 요구사항을 계층적으로 모델링하고, 객체지향 개념을 충분히 표현할 수 있는 정형적인 방법을 제안한다. 제안된 객체지향 페트리 넷인 HOONet은 모듈화, 객체화, 추상화, 및 상세화 등의 개념을 지원하도록 설계되었으며, 복잡한 요구사항을 체계적으로 명세할 수 있는 방법을 제공한다. 특히 요구사항이 부분적으로 제시되었거나, 분석이 전체적으로 완료되지 않은 상황에서도 명세 및 검증이 가능하도록 하였으며, 점진적인 명세의 합성을 통해 시스템 모델링이 이루어지도록 하였다. As the requirements of a software system become large and complex, it causes some problems such that requirements specification using formal methods becomes larger in its size and less understandable. In order to solve such problems, the concepts of modularity and object are adopted to specify the requirements. In addition, top-down and compositional approach to handle such requirements are also adopted. In our paper, we suggest an object-oriented Petri net, called HOONet, to hierarchically specify and verify the complex requirements by incorporating the concepts of modularity, object, abstraction and refinement into a formal method. Our HOONet method supports the incremental specification and verification of partially described or not yet fully analyzed requirements. We also show the applicability of our method by modeling and verifying the requirements of a reactor safety control system.

분산 실시간 시스템에서의 트랜잭션처리를 위한 프로토콜의 설계 및 분석

홍장의(Jang Eui Hong),배인한(In Han Bae),김영찬(Young Chan Kim) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2

분산 트랜잭션 지역적으로 분산되어 있는 노드들에서 동시에 처리되어질수 있으며, 이 때 이들의 수행은 상호조정(Coordination)되어야 한다. 또한 이들 트랜잭션의 처리시 요구되는 조건은 그 트랜잭션의 atomicity(all or nothing)를 보장하는 것이다. 특히 분한 실시간 트랜잭션의 처리시에서는 일반적인 트랜잭션 처리와는 달리 빠른 응답시간의 요구(Deadline : timing constraint)라는 강한 제약조건을 갖는다. 본 연구에서는 분산환경의 실시간 트랜잭션 처리를 위한 기본적인 시스템모델을 설정하고 이의 통신 프로토콜을 제시하며, 결함(Failure) 발생시 복구를 위해 자율 복구(Independent Recovery)정책을 도입한다. 여기서 제시한 모델은 메시지 전송량을 줄이고, 통신지연으로 인한 데드라인 조건도 만족시킬수 있도록 설계한다.