• 정보처리학회논문지D
• /
• 제11D권2호
• /
• pp.415-422
• /
• 2004

산업분야에서 자동화 시스템은 제품의 설계, 생산 공정의 제어, 장애 처리, 품질검사 등과 관련된 처리 과정을 자동으로 수행할 수 있도록 하여 생산성을 향상시킨다. 이러한 자동화 시스템에서 감시 및 제어에 대한 처리 과정을 기술하는 언어를 흐름 제어 언어라 한다. 현재 사용되고 있는 흐름 제어 언어는 문자 기반의 IL, ST와 그래픽 기반의 FBD, SFC, LD가 있다. 일반적으로 감시 제어 시스템에서 사용되는 소프트웨어는 사용할 수 있는 흐름 제어 언어를 2종류 이하로 제한하고 있고, 동일한 시스템 환경에서는 언어의 혼용을 통한 통합 시뮬레이션이 불가능하다. 본 논문에서는 흐름 제어 언어의 특성을 분석하고 기존 시스템 환경에서 언어 작성 및 처리 과정에 대하여 분석하고, 언어의 통합 처리를 위하여 고급언어 형태의 ST를 확장한 EST 언어를 제안하였다. 이러한 연구를 기초로 그래픽 언어인 FBD, LD, SFC를 통합 처리하여 EST로 변환하는 그래픽 언어 편집기와 EST를 저급언어인 교로 변환하는 EST-IL변환기를 구현하였다. 이러한 편집기 및 변환기를 통한 교 기반의 시스템 구현 및 실험 결과는 흐름 제어 언어의 통합 처리 방안을 제시한 것이다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 II
• /
• pp.819-822
• /
• 2003

This paper defines an algorithmic description language in cycle-accurate level which can be used to design hardware components. The proposed language is less complex and more flexible than VHDL language. In that the language includes C-like control flow descriptions and brief timing information(i.e. clock cycle boundaries) indicated by 'wait_edge' statements. We generate RTL VHDL codes from the descriptions. The proposed language requires only 10～30% of the # of lines to describe the same functionality compared with RTL VHDL.

• 디지털산업정보학회논문지
• /
• 제5권3호
• /
• pp.87-98
• /
• 2009

This paper discuss secure information flow analysis and its visualization. Information leak is defined as existence of information flow from variables which have user's private informations to variables that anyone can access. Secure information flow analysis has been made to decide of whether the information leak is or not. There are many researches for secure information flow analysis concerning high level programming languages. But actually, programs that user executes don't have program source code represented in high level programming language. Thus there is need for analysis of program represented in low level language. More to analysis, visualization of analysis is very important. So, this paper discuss visualization of secure information flow analysis. In this paper, Mini x86 Assembly Language which is subset of x86 assembly language is defined and secure information flow analysis of program is proposed. In addition, this paper defines transfer function that is used for analysis and shows how to visualize control flow graph.

• 한국정보통신학회논문지
• /
• 제9권6호
• /
• pp.1260-1268
• /
• 2005

PLC는 자동화 시스템의 발달에 따라 적용 범위가 확대되어왔으며 현재 PLC의 기본 언어 중 LD 언어가 가장 많이 사용되어 지고 있으나 제어 흐름을 나타내는 순차 제어 논리의 기술이나 조건이 많아질 경우 프로그램의 이해가 어려운 단점이 있다. SFC 그래픽 언어는 플로우 차트 형식을 기반으로 하여 순차 제어 논리의 기술에 적합한 언어이며 제어의 흐름을 이해하기 쉽고 유지보수가 용이하여 신뢰성이 향상된다. 본 논문에서는 SFC 언어를 이용하여 3층의 간이 엘리베이터를 동작시키는 제어회로를 설계하고 LD 언어와 비교하여 보았다. 엘리베이터의 운전 제어회로를 설계함에 있어 액션 제한자와 선택 분기문을 사용함으로써 LD언어를 사용할 때 보다 프로그램 메모리의 용량을 줄이고 처리시간을 단축시켰다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권11호
• /
• pp.876-880
• /
• 2009

프로그램에 대한 자료흐름분석(data flow analysis)를 수행하기 위해서는 입력된 프로그램에 대응하는 제어흐름그래프(control flow graph)가 필요하다. 본 논문에서는 동기(synchronous)식 절차(imperative)형 언어 중 하나인 Esterel로 작성된 프로그램에 대해서 단순하면서 입력 프로그램의 구조와 흡사한 형태로 표현되는 근사-제어흐름그래프(over-approximated CFG) 생성방법을 제안한다. 제안된 방법을 이용하면 병렬 제어흐름을 표현하는 부분에서 실행 불가능한 경우까지 포함할 수 있다. 그렇지만, 생성방법이 직관적이고, 실제 수행경로를 모두 포함하기 때문에 다른 분석을 수행하는데 매우 적차하다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 정기총회 및 창립40주년기념 학술대회 학회본부
• /
• pp.435-438
• /
• 1987

In this paper, among the robot programming languages that enable processing of sensory information, eight exemplary languages are chosen, and investigated in terms of their characteristics, why they are designed the way they are, and the kind of sensors each language can use and apply to. In addition, the characteristics of each language is compared with one another from the sensor point of view and the flow of each language is analyzed from the robot language classification point of view. Finally, We investigate the progress and the requirements of the sensor-based robot programming languages for further developments.

• 정보처리학회논문지D
• /
• 제13D권1호
• /
• pp.117-124
• /
• 2006

UML(Unified Modeling Language)은 객체지향 모델링을 위한 언어이다 UML에 포함되어 있는 AD(Activity Diagram; 활동 다이어그램)는 워크플로우 시스템의 모델링에 적합하지만 수행 과정의 평가가 수학적이지 못하므로 수행 과정을 직관적으로 파악해야 하는 단점이 있다. 그러나 EMFG(Extended Mark Flow Graph)는 이산적인 시스템의 모델링에 적합할 뿐 아니라 수행 과정을 수학적으로 평가할 수 있다. 따라서 본 연구에서는 EMFG를 사용하여 모델링된 AD의 수행 동작을 평가하려고 한다. 우선 AD를 EMFG로 변환하는 방법에 대하여 제안하고, 변환된 EMFG의 수행을 평가함으로써 모델링된 AD의 수행완료 가능성을 평가한다. 그리고 컴퓨터 시뮬레이션을 통하여 이를 입증한다. 제안한 알고리듬은 대규모 워크플로우 시스템을 모델링한 AD의 수행완료 가능성도 쉽게 평가할 수 있는 장점이 있다.

• 대한조선학회논문집
• /
• 제36권3호
• /
• pp.93-106
• /
• 1999

본 연구에서는 에이전트 기본 아키텍쳐를 설계하였고 다른 에이전트에게 관심있는 정보를 등록하는 메시지, 처리할 수 있는 업무를 표시하는 메시지, 정보를 알려주는 메시지, 정보에 대해 질문하는 메시지를 처리하는 KQML 처리기의 기본적인 알고리즘을 구현하였다. 에이전트 기본 아키텍쳐는 KQML 처리기가 KIF 번역기, 제어코드(Flow control code)로 구성되어 있다. 에이전트는 전달하고자 하는 지식을 KIF(Knowledge Interchange Format)로 표현하여 메시지 통신을 위한 외부 언어인 KQML(Knowledge Query and Manipulation Language)을 통해 실어나르는데 KQML 처리기가 메시지 통신을 관리한다. KQML 처리기를 통해 전달된 메시지의 내용은 KIF 번역기에 의해 저장되고 해석된다. 제어 코드는 프로그램의 수행 순서 및 정보의 흐름을 제어하여 실제 목표하는 일을 수행하는 프로그램 코드이며 KIF 번역기의 지식 베이스(Knowledge Base)에서 필요한 정보를 얻어서 내부 실행 코드와 외부 프로그램을 관리한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1987년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 16-17 Oct. 1987
• /
• pp.300-306
• /
• 1987

This paper deals with a modeling of manufacturing system and a model analysis by a SIMAN language. A flow of production process is analyzed, and a mathematical model on the basis of the analyzed data is simulated by a SIMAN language. An object of this study is to achieve an optimization of production a reduction of cost, and an improvement of quality by a applicable line-balancing technique and an optimization technique in a real factor induced an analysis and synthesis of the result of simulation.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권3_4호
• /
• pp.152-159
• /
• 2004

그리드는 기존의 컴퓨팅 환경을 대체하는 새로울 환경으로 각광받고 있다. 그러나 그리드가 원천적으로 가지고 있는 이질적인 특성으로 인한 사용상의 복잡함 때문에 일반 사용자가 사용하기 어렵다. 본 논문에서는 그리드 안경에서 사용자에게 편리하고 향상된 작업 환경을 제공하고 효율적인 작업의 수행을 돕는 JCML(Job Control Markup Language)과 편집기에 대해 소개한다. JCML은 기존의 글로버스에서 사용하는 RSL을 향상시킨 작업 제어 언어이다. JCML은 표준 XML 문서 형식으로 설계되어 그리드 서비스와의 데이타 호환성을 제공하며, 작업의 표현과 의존성 정보를 표시하기 위해 GXL(Graph eXchange Language)을 이용한 그래프 방식으로 노드와 에지를 사용하여 두 노드간의 의존성을 표현한다. 그리고 JCML 편집기는 사용자가 직관적으로 이해할 수 있도록 GUI 기반의 비주얼 환경을 제공하며, 끌어다 놓기와 같은 간단한 조작만으로도 복잡한 작업 지시를 수행할 수 있도록 구성되었다.