모듈 Esterel의 기본단위

목차

모듈(Module)

선언부(Declaration Section)

데이터 타입(Data Type)

Operators-산술 연산자

Operators-비교 연산자

Operators-논리 연산자

Function

Procedure

Task

하위 인터페이스(Low-Level Interface)

__ ExecStatus 자료구조의 형태

상위 인터페이스(High-Level Interface)

Interface Declaration

Pure Signal

Valued Signal

사용자 정의 데이터 타입으로 선언된 Valued Signal

Control Signal

지역 선언(Local Declaration)

조건문

반복문

Temporal Loop(시제 지연 반복문)

Abort(종료문)

출력문

본문내용

모듈: Esterel의 기본단위
moduleNAME_MOD:
interface [declaration]
type [declaration]
procedure [declaration]
function [declaration]
task [declaration]
statements
end module
char* Valued Signal로 선언한 경우
Char __PROG_Vxx[Stream] Varialbe로 선언한 경우
-PROG : 프로그램 파일 이름
-Vxx : 자동으로 생성되는 일련번호
- STRLEN : 81(Default), 변경가능
exec구문에 의해서 수행되는 태스크의 런타임 정보를 보관하고 있는 자료구조를 제공
일종의 TCB(Task Contrul Block) 또는 PCB(Process Control Block)라고 볼 수 있음.
하위 인터페이스의 중심이 되는 자료구조의 이름은 __ExecStatus으로 선언이 되어 있으며, 에스테렐 컴파일러에 의해서 생성되는 C코드에 자동으로 삽입
ExecStatus 인터페이스라고도 함
프로그램의 입/출력 담당.
Signal의 종류: Pure Signal, Valued Signal, Combined Signal
각 Signal의 용도
input : 모듈로 들어오는 신호
output : 모듈에서 출력하는 신호
return : Task 실행을 위해 사용되는 특별한 입력 신호
inputoutput : 모듈로 입/출력되는 신호

키워드

모듈,   ESTEREL,   TEMP