• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.565-567
• /
• 2001

원자력 발전 및 항공 시스템과 같은 실시간 시스템의 설계는 자원 및 시간적인 분석은 상당히 중요한 부분을 차지하고 있다. 이러한 설계는 그 설계단계로부터 철저한 명세 및 집중이 이루어져야 한다. Statechart는 Reactive 시스템을 모델링 하는 도식언어이다. 하지만 기존 Statechart 언어는 자원에 대한 시간적 명세가 분명치 않아 상태로 모든 것을 표현하기에는 복잡하고 용이하지 않다. 또만 이러한 명세 도구는 시스템의 검증은 물론 시간적 행위의 검증은 수월치 한다. 본 논문은 Statechart에 시간을 소모하는 자원을 명세하는 문법을 소개하고 이를 검증하는 기법을 제시하고자 한다.

• Journal of The Korean Association For Science Education
• /
• v.42 no.2
• /
• pp.201-214
• /
• 2022

The purpose of this study is to examine the characteristics of model of the experiment in students' open inquiry. The research is a reinterpretation of the data collected from the performance of a three-year research project under the theme of 'school science inquiry' the perspective of model of the experiment. The inquiry activities of a focus group made up of four students have been recorded seven times. The recorded files and transcribed copies were analyzed according to interpretive methods. Students' activities were divided into three modeling of the experiment units, considering the modeling unit that includes the process of starting from the problem until it gets solved. The results of the study include illuminating the dynamic process and characteristics of modeling of the experiment and discussing its educational meaning as a distributed cognitive system at each modeling unit. First, students, instruments, and the primitive form of calculation represented by the interaction between them turned out to be important factors in the distributed cognitive system that constitutes model of the experiment. Second, in the early stages, non-verbal activities were carried out in which students became familiar with instruments, and verbal quantitative signs were created when the activities were sufficiently carried out. The generated quantitative signs became a source of data and confidence that can be referenced in subsequent activities. Third, the specialization of instrumentalization occurred, and factors that were important in inquiry, such as variable control, appeared. The results of the study provide new implications for science education research and education, which have been centered on explanatory models, by unfolding the characteristics of model of the experiment that have not been noticed in science education through students' inquiry.

• Journal of the KSME
• /
• v.25 no.2
• /
• pp.117-121
• /
• 1985

SIMAN의 주요한 논리적 특성은 시뮬레이션프로그램이 시스템 모델부분과 실험부분의 두가지로 구성이 되어 있으며, 일반적인 시스템의 모델링과 분석뿐만 아니라, 자재운반시스템, 로봇 시스템, 제조 셀(manufacturing cell), 플렉시블 제조시스템(Flexible Manufacturing System, FMS)등의 모델링에 유용한 특성을 가지고 있어서 생산시스템의 시뮬레이션에 아주 적합한 시뮬레이션 언 어이다. 또 SIMAN은 대형. 중형 컴퓨터는 물론, 16비트 바이크로컵퓨터에서도 사용이 가능하 다(5). 이 글에서는 SIMAN 시뮬레이션 언어를 사용한 생산시스템의 시뮬레이션에 대한 개념과 방법을 고찰하고, 생산시스템의 시뮬레이션에 관한 간단한 사례를 고찰하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.439-441
• /
• 2000

절차지향 소프트웨어를 객체지향 소프트웨어로의 재공학은 소프트웨어 유지.보수 비용의 절감과 기존의 시스템에 새로운 요구사항을 수용하는 등 많은 장점이 있다. 본 논문은 절차지향 소프트웨어를 재공학하는 과정에서 안전한 지속성(Safe Persistency) 결정문제, 즉 객체의 생성과 생성 주기의 결정 방법을 제안하였다. 본 논문에서는 지속성 결정을 위해 다섯 단계의 모델링 과정을 제시하였으며 모델링 과정을 통해 객체의 정확한 생성과 소멸 시점을 추출하였고 정제 과정을 거침으로써 메시지 전달과 생성/소멸 과정에서 안정성과 일관성을 유지할 수 있도록 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.37-39
• /
• 2002

정형 언어 OCL은 UML의 한 부분으로써 클래스 다이어그램과 상태 기계의 조건을 표현하는데 많은 장점을 가지고 있다. 그렇지만, OCL을 이용하여 상태 기계를 메타모델링 하는데는 적지 않은 한계가 있다. UML/OCL은 모델의 정적인 구조를 강조하지만, 시스템이나 서브 시스템의 시간과 환경에 대한 반응을 고려는 미흡하다. 또한, 시스템의 변화에 있어 시그널은 오퍼레이션과 유사하지만 상태 기계에서만 다루어진다. 결국, 시스템의 변화에 대한 고려는 상태 기계를 통하여 보다 명확하게 명세 될 수 있으며, 현재 OCL의 확장으로써 이러한 문제를 해결 할 수 있다.

• ICROS
• /
• v.6 no.3
• /
• pp.68-81
• /
• 2000

본 논문에서는 최근 10여년간 세계적으로 많은 관심과 더불어 비약적인 연구발전을 이루어 온 이산사건시스템의 관리제어에 있어서 기본적인 이산사건모델링과 관리제어이론을 설명하고최근의 연구동향 등을 소개한다. 또한 기존의 연속변수시스템과 대비해 이산사건시스템의 동적특성을 알아보고 구체적인 사례들을 살펴본다. 이러한 이산사건시스템의 동적특성을 기술하기 위해 형식언어이론에 기초한 논리적 이산사건모델을 소개하고 그 위에서 관리제어이론의 개념을 설명하나다 그리고 제어가능성 및 관측가능성의 관리제어기 존재조건을 토대로 관리제어기의 구현에 대해 알아본다 마지막으로 현재까지 수행되어온 관리제어에 대한 다방변의 연구 활동을 살펴보고 앞으로의 연구방향을 전만해 본다

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.496-498
• /
• 2001

분산 미들웨어 기술들이 등장하여 이기종 컴퓨팅 플랫폼마다 서로 다른 아키텍처와 언어, 표준화 장벽들을 극복하게되었다. 이러한 분산 컴퓨팅 기술과 컴포넌트 기술의 결합은 정보 시스템 구축 시 구성요소의 모듈화를 용이하게하고 인터페이스를 통한 컴포넌트 재 사용성을 가능하게 하여 소프트웨어 생산성향상에 크게 기여하였다. 컴포넌트 기반의 개발 방법론과 개발프로세스의 확립은 소프트웨어 위기를 극복하고 비용절감을 위한 최선의 해결책이 될 것이다. 본 연구에서는 정보구조 모델링 방법론을 이용하여 코바프레임 워크 기반의 분산 환경의 정보시스템의 구축 환경을 제시하고자 한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.10C
• /
• pp.1019-1024
• /
• 2007

In this paper, the 10bit 20MHz pipelined analog-to-digital converter that is able to apply to WLAN system was modeled for ADC design. Each blocks in converter such as sample and hold amplifier(SHA), comparator, multiplyng DAC(MDAC), and digital correction logic(DCL) was modeled. The pipelined ADC with these modeled blocks takes 1/50 less time than the one of simulation using HSPICE.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.343-345
• /
• 2005

소프트웨어 개발을 위한 분석 및 설계 언어로 UML이 일반화 되어 있다. UML이 갖는 객체지향 개념의 장점으로 인하여 일반 소프트웨어 개발뿐만 아니라 임베디드 소프트웨어 개발에 있어서도 UML의 사용이 증가하고 있다. 특히 UML 모델 중에서 시퀀스 다이어그램은 시스템의 다이나믹스 및 동적 시나리오 표현에 매우 유용하고, 모델링이 직관적이어서 소프트웨어 엔지니어들이 선호하고 있다. 본 연구에서는 시스템 행위를 중심으로 하는 임베디드 소프트웨어 모델링 방법으로 ESUML 방법론을 제시한다. 제시한 ESUML 방법론에서는 Use Case, Class, Interaction overview, Sequence 다이어그램과 Action Language를 이용하여 시스템을 효과적으로 모델링 하도록 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.331-333
• /
• 2005

소프트웨어 프로덕트 라인 공학은 공통성과 가변성 식별을 통해 소프트웨어 재사용을 극대화 시키는 접근방법으로 이를 지원하는 도구에 대한 연구가 다수 진행되고 있다. 하지만 기존의 도구는 특성 다이어그램만을 지원하고 있고, 특성구성 정보를 이용한 프로덕트의 조립을 수행하지 못하고 있다. 따라서 본 연구에서는 소프트웨어 개발자에게 공통적 언어인 UML을 이용하여 특성모델을 표현하고 특성구성에 따라 조립을 수행하는 특성모델링 지원도구를 제안한다. 이러한 UML 기반의 특성모델링 지원도구를 통하여 보다 쉽게 특성모델링과 프로덕트 조립을 수행할 수 있다.