• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.511-513
• /
• 2005

하드웨어의 성능향상으로 임베디드 통신 소프트웨어의 복잡도가 크게 증가되고, 이에 따르는 추가적인 개발 비용이 발생하고 있다. 개발자들은 임베디드 통신 소프트웨어의 복잡도를 해결하는데 필요한 소프트웨어 도구와 기술을 필요로 하고 있다. 본 논문에서는 임베디드 통신 소프트웨어 개발에 효과적인 SDL(Specification Description Language) 기반의 통합 개발도구인 SDT(SDL Design Tool)를 사용하여 소프트웨어를 개발하는 절차에 대하여 기술한다. 그리고 통신 소프트웨어인 ITU-T V.76 프로토콜에 개발 절차를 적용하여, SDT를 사용한 개발 절차와 일반적인 임베디드 통신 소프트웨어 개발 절차를 비교, 분석한다. 그 결과, SDT를 사용한 개발 절차가 개발 효율성과 유지보수 효율성에서 더 좋은 성능을 보였다.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.29B no.11
• /
• pp.1-7
• /
• 1992

The conformance test is a methodology which verifies whether the Implementation Under Test (IUT) conforms to its standard specification or not. In this paper, first, the Conformance Test System(CTS) is implemented in prototype including verification test type, black-box test strategy, conformance test class, remote test structure, and IUT which is described by the ISO Estelle among Formal Description Techniques. Second, through this prototype the proposed system is experimented. The prototype is composed of two modules. The first module is the Estelle-to-Pascal preprocessor which converts the Estelle program to the corresponding Pascal program because the experimental IUT was described using the unexecutable code form of Estelle before being tested by the TD(Test Driver). The TD, the second module, is based on the master-slave concept and plays important role is CTS. The TD acts as the master with the IUTd being the slave. The prototype system is implemented using Turbo-C, Turbo-Pascal and Turbo-Assembly.

• Journal of KIBIM
• /
• v.8 no.2
• /
• pp.19-28
• /
• 2018

Recent increase in the interest and adoption of BIM for infrastructure projects has created a need for formal BIM guidelines in the civil engineering domain. Currently a BIM guideline has been developed in Korea exclusively for the road sector. However, the guideline has gaps in the specification of how BIM models should be generated, managed and applied for maximum effect in projects. This study reviewed the guidelines and tender documents of Singapore to determine potential improvements to adopt in Korea. Results showed that Korea's guideline should focus more on process integration as to stipulating BIM deliverables, encourage a common data environment, clearly distinguish between compulsory and selective BIM applications, and require data and models that can be leveraged in the operation phase of the facility.

• Journal of Information Technology Services
• /
• v.10 no.4
• /
• pp.205-218
• /
• 2011

Unit testing which is the first task to perform software testing has a major impact on reducing s/w development cost and improving s/w quality. In order to make unit testing become the formal procedure rather than ad-hoc tasks performed by developer, the language-neutral measures are necessary in the programming which is able to specify the test cases. This paper presents a test assertion language for the language-neutral specification of the test cases. The suggested language is based on the ISO/IEC 24709-1, but it supports object oriented features and can describe test cases for unit testing. The test cases that are specified by the language can be used for generating test oracle source codes by test oracle generation tools.

• Journal of Korean Society for Quality Management
• /
• v.46 no.3
• /
• pp.379-396
• /
• 2018

Purpose: The purpose of this study was to propose a standard form of noise filter drawing, which is widely used in the field of weapon systems, to define the essential specification which is not standardized at the existing drawings and to employ the reference for manufacturing and qualification test. Methods: To do that, it identifies the improvements to analyze 19 noise filter drawings, studies the principle of noise filtering to find the essential part of the spec. and reviews the MIL-STD-220C and KS IEC 60939, which is the widely used as a formal spec. pertaining to the noise filter. Throughout the study, a standard form is developed to standardize the attenuation characteristics and find eight crucial metrics to specify the noise filter. Results: The results of this study are as follows; The standardized drawings can be used as the qualification test of the item and the manufacturing and engineering documents to make the noise filter, which are also applicable to the reference document to review KDS(Korea Defense Standard) drawings.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.880-882
• /
• 2002

최근 사용자 정보의 안전한 정보 전송 및 네트워크 시스템의 안전성을 보장하기 위한 방법으로 각종보안 인증 프로토콜에 대한 연구가 진행 중에 있다. 그 중에서 AAA 는 다중 네트워크와 플랫폼에서 인증(Authentication), 권한 부여(Authorization), 자원 체크(Accounting)의 기능들을 제공하는 모든 프로토콜을 말한다. 이 논문에서는 AAA 프로토콜의 대표적인 예인 RADIUS(Remote Authentication Dial-in User Service)를 보안 프로토콜 디자인 및 분석 도구인 SPEAR(Security Protocol Engineering & Analysis Resource)를 이용해 SSL 상에서 동작하는 RADIUS 보안 프로토콜의 문제점 및 성능을 디자인 단계에서부터 분석하여 보안 프로토콜의 안정성을 보다 향상시키고자 하였다

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.1
• /
• pp.405-412
• /
• 2011

This paper analyzes the requirements of an ideal augmented-reality contents authoring tool that can allow non-programmers as content creators to author contents easily and quickly. To satisfy the requirements, we employ the approach using formal and visual specification techniques. In this paper, we also introduce an integrated augmented-reality framework for the ideal authoring tool, and demonstrate the effectiveness of our research results by illustrating an example content.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.214-216
• /
• 2011

Statechart는 상태 기계를 기반으로 하는 정형 명세 언어로 반응형 시스템의 행위를 상태와 그 상태에서 받는 이벤트에 의한 전이로 표현한다. 프로세스 알제브라의 한 종류인 ACSR은 이벤트 기반으로 프로세스들 간의 통신과 프로세스의 우선 순위, 자원 소모 등의 표현 이 용이한 정형 명세 언어이다. 본 논문에서는 서로 다른 관점의 명세를 하는 이 두 가지 언어가 서로를 보완하여 ACSR을 이용하여 Statechart의 공유 자원에 대한 사용과 제어를 표현하여 보다 시스템을 정확하게 명세할 수 있는 언어를 제시한다. 이를 위해 두 언어의 연결을 위한 정형적 문법과 의미를 제시한다.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1038-1041
• /
• 1987

Non-monotonic logic is one in which the introduction of new axioms can eliminate old theorems. Such logic is very important in modeling the beliefs of the systems which, in the presence of complete information, must make and subsequently revise assumptions in light of new observations. In the present paper, we suggest that the formal systems, such as Reiter's default logic could be the useful implement for the specification and description of non-monotonic systems. WE develop a theory of inheritance network in order to illustrate the benefits of this theory.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.800-807
• /
• 2008

We introduce some well-known approaches to formalization and automatization of the meta-theory of a programming language with binders. They represent the trends in POPLmark Challenge. We demonstrate some characteristics of each approach by showing how to formalize some basic notations and concepts of Lambda-calculus using the proof assistant Coq.