KR101118036B1 - Api 변환 래퍼를 이용하여 리얼 코드와 연동할 수 있는 시뮬레이터 및 시뮬레이션 방법 - Google Patents
Api 변환 래퍼를 이용하여 리얼 코드와 연동할 수 있는 시뮬레이터 및 시뮬레이션 방법 Download PDFInfo
- Publication number
- KR101118036B1 KR101118036B1 KR1020100029524A KR20100029524A KR101118036B1 KR 101118036 B1 KR101118036 B1 KR 101118036B1 KR 1020100029524 A KR1020100029524 A KR 1020100029524A KR 20100029524 A KR20100029524 A KR 20100029524A KR 101118036 B1 KR101118036 B1 KR 101118036B1
- Authority
- KR
- South Korea
- Prior art keywords
- simulation
- real
- real code
- model
- wrapper
- Prior art date
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
- G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/44—Encoding
- G06F8/447—Target code generation
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Abstract
Description
도 2는 SITL을 이용한 시뮬레이터와 리얼 시스템 간의 연동 구조들을 나타낸다.
도 3은 래퍼를 이용하여 리얼 코드와 연동되는 본 발명의 실시예에 따른 시뮬레이터의 블락도이다.
도 4는 본 발명의 일실시예에 따른 시뮬레이터와 소프트웨어 개발환경에서 작성된 리얼 코드의 연동 관계를 나타낸다.
도 5는 도 3에 도시된 래퍼가 래퍼 파일들을 결정하는 과정을 나타낸다.
도 6은 도 3에 도시된 래퍼의 API 매핑의 일예를 나타낸다.
도 7은 본 발명의 실시예에 따른 시뮬레이션 방법을 포함하는 리얼 시스템과 시뮬레이터 사이의 통합 운용 과정을 나타내는 흐름도이다.
도 8은 OPNET의 프레임워크에 따라 제작된 시나리오 모델, 노드 모델, 및 프로세스 모델의 일예를 나타낸다.
320: 시뮬레이션 엔진 330A, 330B, 330C: 시뮬레이션 모델
340A, 340B: 래퍼
Claims (9)
- 각각이 다수의 레이어들(Layers)을 포함하는 적어도 하나의 시뮬레이션 모델(Simulation model);
리얼 코드 모델(Real Code Model)과 상기 적어도 하나의 시뮬레이션 모델을 조합하여 시뮬레이션 시나리오를 구성하고, 상기 시나리오에 기초하여 상기 리얼 코드 모델의 성능 분석을 위한 시뮬레이션을 수행하는 시뮬레이션 엔진; 및
리얼 시스템(Real System)에 적재되는 리얼 코드를 상기 적어도 하나의 시뮬레이션 모델에 포함된 적어도 하나의 레이어와 연동시키기 위하여, 상기 시뮬레이션 엔진의 API(Application Programming Interface)에 기초하여 상기 리얼 코드를 상기 시뮬레이션 엔진에서 실행 가능한 상기 리얼 코드 모델로 변환하여 상기 시뮬레이션 엔진에 링크시키는 래퍼(Wrapper)를 포함하며,
상기 리얼 코드 모델은 상기 시뮬레이션 엔진에서 실행 가능하도록 상기 래퍼에 의해 상기 리얼 코드로부터 변환되는 시뮬레이터 장치. - 제1항에 있어서, 상기 래퍼는
적어도 하나의 리얼 코드 파일 및 상기 적어도 하나의 리얼 코드 파일에 대응하는 상기 시뮬레이션 엔진의 API에 따른 적어도 하나의 래퍼 파일을 함께 컴파일하여 상기 리얼 코드 모델을 생성하는 것을 특징으로 하는 시뮬레이터 장치. - 제2항에 있어서, 상기 적어도 하나의 래퍼 파일은
상기 리얼 시스템의 운영체계의 API에 따른 타이머 서비스, 메모리 관리 서비스, 테스크 서비스, 동기 서비스, 내부 프로세서 통신 중 적어도 하나를 수행하기 위한 리얼 코드 파일에 대응하는 것을 특징으로 하는 시뮬레이터 장치. - 제3항에 있어서, 상기 래퍼는
상기 리얼 코드의 작성 프로그래밍 언어, 상기 리얼 시스템의 운영체계의 종류, 및 상기 시뮬레이션 엔진의 종류에 기초하여 상기 적어도 하나의 리얼 코드 파일을 상기 적어도 하나의 래퍼 파일로 매핑(Mapping)하는 것을 특징으로 하는 시뮬레이터 장치. - 래퍼에서, 리얼 시스템에 적재되는 리얼 코드를 적어도 하나의 시뮬레이션 모델에 포함된 적어도 하나의 레이어와 연동시키기 위하여, 시뮬레이션 엔진의 API(Application Programming Interface)에 기초하여 상기 리얼 코드를 상기 시뮬레이션 엔진에서 실행 가능한 리얼 코드 모델로 변환하여 상기 시뮬레이션 엔진에 링크시키는 단계;
상기 시뮬레이션 엔진에서, 상기 리얼 코드가 상기 시뮬레이션 엔진에서 실행 가능하도록 상기 래퍼에 의해 변환되는 상기 리얼 코드 모델과 각각이 다수의 레이어들을 포함하는 적어도 하나의 시뮬레이션 모델을 조합하여 시뮬레이션 시나리오를 구성하는 단계; 및
상기 시뮬레이션 엔진에서, 상기 시나리오에 기초하여 상기 리얼 코드 모델의 성능 분석을 위한 시뮬레이션을 수행하는 단계를 포함하는 시뮬레이션 방법. - 제5항에 있어서, 상기 래퍼는
적어도 하나의 리얼 코드 파일 및 상기 적어도 하나의 리얼 코드 파일에 대응하는 상기 시뮬레이션 엔진의 API에 따른 적어도 하나의 래퍼 파일을 함께 컴파일하여 상기 리얼 코드 모델을 생성하는 것을 특징으로 하는 시뮬레이션 방법. - 제6항에 있어서, 상기 적어도 하나의 래퍼 파일은
상기 리얼 시스템의 운영체계의 API에 따른 타이머 서비스, 메모리 관리 서비스, 테스크 서비스, 동기 서비스, 내부 프로세서 통신 중 적어도 하나를 수행하기 위한 리얼 코드 파일에 대응하는 것을 특징으로 하는 시뮬레이션 방법. - 제7항에 있어서, 상기 래퍼는
상기 리얼 코드의 작성 프로그래밍 언어, 상기 리얼 시스템의 운영체계의 종류, 및 상기 시뮬레이션 엔진의 종류에 기초하여 상기 적어도 하나의 리얼 코드 파일을 상기 적어도 하나의 래퍼 파일로 매핑(Mapping)하는 것을 특징으로 하는 시뮬레이션 방법. - 제5항 내지 제8항 중 어느 하나의 항에 기재된 시뮬레이션 방법을 실행하기 위한 코드를 저장하는 컴퓨터로 읽을 수 있는 기록 매체.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
KR1020100029524A KR101118036B1 (ko) | 2010-03-31 | 2010-03-31 | Api 변환 래퍼를 이용하여 리얼 코드와 연동할 수 있는 시뮬레이터 및 시뮬레이션 방법 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
KR1020100029524A KR101118036B1 (ko) | 2010-03-31 | 2010-03-31 | Api 변환 래퍼를 이용하여 리얼 코드와 연동할 수 있는 시뮬레이터 및 시뮬레이션 방법 |
Publications (2)
Publication Number | Publication Date |
---|---|
KR20110109694A KR20110109694A (ko) | 2011-10-06 |
KR101118036B1 true KR101118036B1 (ko) | 2012-02-24 |
Family
ID=45026818
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
KR1020100029524A KR101118036B1 (ko) | 2010-03-31 | 2010-03-31 | Api 변환 래퍼를 이용하여 리얼 코드와 연동할 수 있는 시뮬레이터 및 시뮬레이션 방법 |
Country Status (1)
Country | Link |
---|---|
KR (1) | KR101118036B1 (ko) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR101194246B1 (ko) * | 2012-03-21 | 2012-10-29 | 국방과학연구소 | 컴포넌트기반 통합 시뮬레이션 환경과 c/c++ 시뮬레이션 프로그램 연동 방법 및 연동 에이전트/인터페이스 설계 방법 |
CN103439953A (zh) * | 2013-08-29 | 2013-12-11 | 中国船舶重工集团公司第七一一研究所 | 具有优化试验功能的单缸机试验测控系统和测控方法 |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104899391B (zh) * | 2015-06-18 | 2018-01-19 | 哈尔滨工程大学 | 一种j型铺管作业模型建模仿真方法 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR100272095B1 (ko) | 1996-07-30 | 2000-12-01 | 윤종용 | 실시간 운영체제의 커널 자동생성 시스템 및 방법 |
KR20080112833A (ko) * | 2007-06-22 | 2008-12-26 | 재단법인서울대학교산학협력재단 | 디지털 시스템 설계 방법 |
-
2010
- 2010-03-31 KR KR1020100029524A patent/KR101118036B1/ko active IP Right Grant
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR100272095B1 (ko) | 1996-07-30 | 2000-12-01 | 윤종용 | 실시간 운영체제의 커널 자동생성 시스템 및 방법 |
KR20080112833A (ko) * | 2007-06-22 | 2008-12-26 | 재단법인서울대학교산학협력재단 | 디지털 시스템 설계 방법 |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR101194246B1 (ko) * | 2012-03-21 | 2012-10-29 | 국방과학연구소 | 컴포넌트기반 통합 시뮬레이션 환경과 c/c++ 시뮬레이션 프로그램 연동 방법 및 연동 에이전트/인터페이스 설계 방법 |
CN103439953A (zh) * | 2013-08-29 | 2013-12-11 | 中国船舶重工集团公司第七一一研究所 | 具有优化试验功能的单缸机试验测控系统和测控方法 |
Also Published As
Publication number | Publication date |
---|---|
KR20110109694A (ko) | 2011-10-06 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Singh et al. | A survey of simulation in sensor networks | |
Herrera et al. | The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems | |
US9268551B2 (en) | Runtime creation, assignment, deployment and updating of arbitrary radio waveform techniques for a radio waveform generation device | |
Guessi et al. | Checking the architectural feasibility of systems-of-systems using formal descriptions | |
KR101118036B1 (ko) | Api 변환 래퍼를 이용하여 리얼 코드와 연동할 수 있는 시뮬레이터 및 시뮬레이션 방법 | |
Karsai et al. | Model-driven architecture for embedded software: A synopsis and an example | |
Petroulakis et al. | Patterns for the design of secure and dependable software defined networks | |
Risco‐Martín et al. | xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems | |
Viana et al. | One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches | |
Heinzemann et al. | Automata-based refinement checking for real-time systems | |
Hariche et al. | Embedded systems design using event-b theories | |
Radermacher et al. | Generating execution infrastructures for component-oriented specifications with a model driven toolchain: A case study for marte's gcm and real-time annotations | |
Yin et al. | Research on Formal Verification Technique for Aircraft Safety-Critical Software. | |
Hussein et al. | An end-to-end framework for safe software development | |
Cortellessa et al. | MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis | |
Triantafyllidis et al. | ProMARTES: Accurate network and computation delay prediction for component-based distributed systems | |
Suresh Kumar et al. | Abstracting IoT protocols using timed process algebra and SPIN model checker | |
Bernardeschi et al. | Cross-level co-simulation and verification of an automatic transmission control on embedded processor | |
Lang | Compositional verification using SVL scripts | |
Alloush et al. | A domain-specific framework for creating early trusted underwater systems relying on enterprise architecture | |
Layeb et al. | Metrics, platforms, emulators, and testnets for ethereum | |
Intana | Formal engineering methodologies for wireless sensor network development with simulation | |
Bannour et al. | Exploring IoT trickle-based dissemination using timed model-checking and symbolic execution | |
Olenev et al. | Co-modeling of embedded networks using systemc and SDL: From theory to practice | |
Castro et al. | M&S-based design of embedded controllers on network processors |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A201 | Request for examination | ||
E902 | Notification of reason for refusal | ||
E701 | Decision to grant or registration of patent right | ||
GRNT | Written decision to grant | ||
FPAY | Annual fee payment |
Payment date: 20150109 Year of fee payment: 4 |
|
FPAY | Annual fee payment |
Payment date: 20151127 Year of fee payment: 5 |
|
FPAY | Annual fee payment |
Payment date: 20170210 Year of fee payment: 6 |
|
FPAY | Annual fee payment |
Payment date: 20180404 Year of fee payment: 7 |
|
FPAY | Annual fee payment |
Payment date: 20190225 Year of fee payment: 8 |
|
FPAY | Annual fee payment |
Payment date: 20191125 Year of fee payment: 9 |