• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.130-132
• /
• 2002

NATM(Network Abstract Timed Machine)은 통신 네트워크와 같이 다양한 형태의 시스템을 기술하는데 사용되고 크고 복잡한 네트워크에 대해서 요구사항을 만족하도록 설계된 모델링 언어이다. NATM은 기존의 네트워크 설계 언어에서 기술하기 어려운 다양한 형태의 네트워크 표현과 네트워크를 고정 네트워크 환경과 무선 네트워크 환경으로 나누어 유/무선 네트워크 환경을 명세 할 수 있다. 본 논문에서는 NATM의 다양한 네트워크 환경에서의 여러 Component들을 기술하고 이 Component 속성들을 예제를 통해서 살펴본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.31-33
• /
• 2002

이동 분산 실시간 시스템(MDRTS:Mobile Distributed Real-Time System)은 특정 시간 내에 분산 네트워크를 통한 정보 교환 및 요구된 동작을 실행한다. 그리고 경로, 시간 및 속력에 관한 제약사항에 따라 머신이 이동하는 시스템이다. 본 논문은 MDRTS에서 발생되는 머신의 이동을 분석하기 위해, PATM[1]에 위치 공간 개념을 추가하여 확장한 DATM(Distributed Abstract Timed Machine)을 정의한다. 머신의 이동과 이동을 제약하는 사항들, 경로, 시간 및 속력 등을 나타내는 표현법을 정의하며, 각 제약 사항에 따른 이동에 관한 규칙을 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.424-426
• /
• 2002

PATM(Probabilistic Abstract Timed Machine) [1]은 시스템의 진행 중 다양한 환경 요인에 의해 발생하는 불확실성을 명세하기 위해 개발된 정형 명세 기법이다. PATM으로 명세한 시스템은 도달성 그래프를 분석하게 된다. 본 논문에서는 다양한 물리적 환경 요소를 고려하여 시스템을 분석하는 과정에서 발생하는 실행모델의 복잡도를 줄이기 위한 방법을 제시한다.

• 한국시뮬레이션학회논문지
• /
• 제9권1호
• /
• pp.39-54
• /
• 2000

Presented in this paper is a modeling and simulation methodology for 3 dimensional man-made systems. Based on DEVS(discrete event system specification) formalism[13], we propose GK-DEVS (geometrical and kinematic DEVS) formalism to describe the geometrical and kinematic structure and continuous state dynamics. To represent geometry and kinematics, we add a hierarchical structure to the conventional atomic model. In addition, we employ the "empty event" and its external event function for continuous state changing. In terms of abstract simulation algorithm[13], the simulation method of GK-DEVS, named GK-Simulator, is proposed for combined discrete-continuous simulation. Using GK-DEVS, the simulation of an FMS(flexible manufacturing system) consisting of a luring machine, a 3-axis machine and a RGV-mounted robot has been peformed.en peformed.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.519-522
• /
• 2004

자바는 현재 가장 널리 사용되는 범용 프로그래밍 언어중 하나로 컴파일러에 의해 중간언어인 바이트코드로 변환되며 JVM(Java Virtual Machine)에 의해 실행되는 플랫폼 독립적인 언어이다. SIL(Standard Intermediate Language)은 Microsoft사의 .NET 언어와 SUN사의 Java 언어 등을 모두 수용할 수 있는 임베디드 시스템을 위한 중간언어로 가상기계인 EVM(Embedded Virtual Machine)에서 실행된다. 본 논문에서는 자바 프로그램을 컴파일하여 생성된 클래스 파일에서 Oolong 코드를 추출하고 추출된 Oolong 코드를 EVM의 SIL 코드로 변환하여 자바로 구현된 프로그램이 EVM에서 실행되도록 하는 Bytecode-to-SIL 번역기 시스템을 구현하였다. 그리고 본 번역기 시스템을 다른 플랫폼에 용이하게 설치하기 위한 재목적성(retargetability)을 위해 단일패스(one-pass)을 사용하는 기존의 번역기들과 달리 AST를 이용한 컴파일러 기법을 사용하여 AST가 가지고 있는 정보에 대해 최적화 작업을 수행하여 보다 효과적인 코드 변환을 할 수 있도록 설계하였다.

• ETRI Journal
• /
• 제43권3호
• /
• pp.549-560
• /
• 2021

Cyberattacks are often difficult to identify with traditional signature-based detection, because attackers continually find ways to bypass the detection methods. Therefore, researchers have introduced artificial intelligence (AI) technology for cybersecurity analysis to detect malicious PowerShell scripts. In this paper, we propose a feature optimization technique for AI-based approaches to enhance the accuracy of malicious PowerShell script detection. We statically analyze the PowerShell script and preprocess it with a method based on the tokens and abstract syntax tree (AST) for feature selection. Here, tokens and AST represent the vocabulary and structure of the PowerShell script, respectively. Performance evaluations with optimized features yield detection rates of 98% in both machine learning (ML) and deep learning (DL) experiments. Among them, the ML model with the 3-gram of selected five tokens and the DL model with experiments based on the AST 3-gram deliver the best performance.

• International Journal of Computer Science & Network Security
• /
• 제21권3호
• /
• pp.153-164
• /
• 2021

The increasing importance of such fields as embedded systems, pervasive computing, and hybrid systems control is increasing attention to the time-dependent aspects of system modeling. In this paper, we focus on modeling conceptual time. Conceptual time is time represented in conceptual modeling, where the notion of time does not always play a major role. Time modeling in computing is far from exhibiting a unified and comprehensive framework, and is often handled in an ad hoc manner. This paper contributes to the establishment of a broader understanding of time in conceptual modeling based on a software and system engineering model denoted thinging machine (TM). TM modeling is founded on a one-category ontology called a thimac (thing/machine) that is used to elaborate the design and analysis of ontological presumptions. The issue under study is a sample of abstract modeling domains as exemplified by time. The goal is to provide better understanding of the TM model by supplementing it with a conceptualization of time aspects. The results reveal new characteristics of time and related notions such as space, events, and system behavior.

• 한국통신학회논문지
• /
• 제32권5B호
• /
• pp.286-294
• /
• 2007

ASIP 디자인에서 디자인되는 프로세서의 성능을 측정할 수 있는 컴파일러가 요구된다. 머쉰에 맞는 컴파일러 설계는 매우 많은 시간을 요구한다. 본 논문은 MDL 기술로부터 C 컴파일러를 생성하는 시스템을 보인다. MDL을 이용한 컴파일러 생성은 user retargetability와 컴파일러와 프로세서 디자인의 일관성을 유지시켜 준다. 그러나 MDL을 이용한 컴파일러 생성 시스템은 컴파일러와 머쉰 간 의미적 차이를 줄여야 한다. 이러한 문제를 해결하기 위해 제안하는 시스템은 트리 패턴마다 행위정보를 가지는 라이브러리에 머쉰 행위기술을 맵핑한다. 맵핑된 인스트럭션과 레지스터 파일 사용정보를 이용해 제안하는 시스템은 컴파일러 후위부 interface function을 생성한다. 생성된 MIPS R3000와 ARM9 컴파일러가 C로 기술된 어플리케이션 프로그램으로 검증되었다.

• 한국전자거래학회지
• /
• 제11권2호
• /
• pp.93-110
• /
• 2006

웹 서비스를 기반으로 하는 비즈니스 프로세스 관리 시스템은 트랜잭션에 대한 신뢰도의 확보를 위하여 트랜잭션 관리가 필요하다. 이를 위한 여러 트랜잭션 프로토콜들이 제시되었지만, 다양한 프로토콜들은 서로간의 이질성으로 인해 트랜잭션 관리 시스템간의 상호 호환을 저해한다. 본 연구에서는 시맨틱스를 기반으로 비즈니스 트랜잭션 프로토콜을 정의한다. 제안된 시맨틱스에 기반한 비즈니스 트랜잭션은 상태와 메시지에 대한 정적 시맨틱스(Static Semantics)와 상태 전이에 관한 동작 시맨틱스( Operational Semantics)를 기반으로 정의된다. 정적 시맨틱스는 상태와 메시지에 대한 의미들을 Web Ontology Language(OWL)을 사용하여 온톨로지 기반으로 정의함으로써 비즈니스 트랜잭션 프로토콜의 개념들에 대한 표현의 이질성을 해결한다. 동작 시맨틱스는 비즈니스 트랜잭션의 상태전이를 Abstract State Machine(ASM)을 통해 정의함으로써 트랜잭션 운용에 대한 정형성(Formalism)을 얻을 수 있다. 또한 정적 시맨틱스에서 정의한 상태와 메시지를 동작 시맨틱스에서 참조하여 사용함으로써 트랜잭션 운용에 대한 이해도 높일 수 있다. 이를 통해 기존의 트랜잭션 프로토콜들간의 상호 호환성을 높이고 트랜잭션 프로토콜에 대한 상호 이해도를 높이며, 트랜잭션 실행에 대한 자동화와 체계적인 모니터링을 지원할 수 있을 것으로 기대된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권12호
• /
• pp.926-939
• /
• 2002

시스템이 실행 중 다양한 환경 요인에 의해 발생할 수 있는 불확실성을 명세하기 위해 확률의 개념을 적용한 명세 방범이 요구되고 있다. 본 논문에서는 실행에 영향을 주는 많은 환경 요인들을 고려하여, 변화하는 실행 환경에서 시스템의 행위를 예측, 분석하기 위한 확률 정형 기법인 확률 추상 시간 기계(PATM:Probabilistic Abstract Timed Machine)를 제안한다. PATM에서는 확률에 영향을 주는 환경요인을 실행 도중 변경이 가능한 가변 확률 요인과 변경이 불가능한 고정 확률 요인으로 분류하고 있다. 시스템의 행위에 대한 분석은 PATM의 동적 실행모델인 확률 도달성 그래프를 통해서 이루어진다. 분석결과를 토대로 시스템의 동작 실패 가능성을 예측하고, 이에 영향을 미치는 가변 환경 요인을 변경하여 궁극적으로 시스템의 신뢰도를 향상할 수 있도록 한다.