• 한국시뮬레이션학회논문지
• /
• 제5권1호
• /
• pp.67-79
• /
• 1996

This paper proposes an intelligent simulation generator, called INSIMS, for manufacturing systems. The INSIMS provides an interactive dialogue interactive dialogue interface and code generation tools for modeling and code genration of manufacturing systems. The interactive dialogue interface helps non-expert simulation modeler specify manufacturing systems with ease. After completing the model construction processes, the modeling specifications are automatically converted into SLAM II codes by code generation tools. To validate the usefulness of INSIMS and to illustrate the modeling processes, an example system has been presented.

• Nuclear Engineering and Technology
• /
• 제47권2호
• /
• pp.212-218
• /
• 2015

We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

• 정보보호학회논문지
• /
• 제14권6호
• /
• pp.47-56
• /
• 2004

본 논문에서 다루는 보안 정형 명세를 지원하는 도구인 SPEAR II와 IFAD VDM-SL Toolbox의 추요 기능과 사용자 환경 및 동작 모듈, 코드 생성 과정을 비교하고, 보안 소프트웨어 개발을 위한 두 도구의 성능적 측면을 살펴 본 후 용이한 개발을 제공해주는 도구로부터의 보안 소프트웨어 개발 방안을 제시한다. 본 논문에서 제시하는 보안 프로토콜 코드 생성 도구 기능 비교는 정형 명세 기법을 이용한 소프트웨어 개발 방법에서 정형 명세를 통한 보다 안전한 보안 소프트웨어를 개발하는 방향을 제시한다. 이러한 방향 제시를 통하여 보다 안전한 보안 소프트웨어 개발을 이룰 수 있다.

• 한국콘텐츠학회논문지
• /
• 제9권2호
• /
• pp.152-162
• /
• 2009

현재 위피 응용프로그램을 개발하기 위한 저작도구는 코드 작성의 편의성이 부족하고, 시각화를 배제한 문법 중심의 프로그래밍 도구가 대부분이다. 이로 인해 위피 응용프로그램 개발 시 개발자가 전체 개발과정에 걸쳐서 직접 코딩하여 개발하고 있다. 본 논문에서는 위피 응용프로그램을 신속하고 용이하게 개발 할 수 있는 절차로써 위피API의 상위레벨(High level) 컴포넌트를 그래픽 컨트롤로 시각화하고, 이를 이용하여 시스템에서 제공한 모바일 레이아웃에 개발자가 쉽게 디자인한 후, UI 명세 언어와 소스 코드로 생성 해주는 과정을 거치는 개발 방안을 제시한다. 이를 위하여 위피 Jlet의 UI 명세 언어인 JIML(Jlet Interface Markup Language)을 제안하고, 제안한 JIML로부터 위피 Jlet의 UI와 관련된 위피 코드로의 생성을 위한 변환 규칙을 제시한다. 또한 위의 개발 과정을 자동으로 처리하는 시스템을 구현하였다. 구현한 시스템은 위피 비즈니스 프로그램 개발 시 효율성을 제공하고, 빠른 개발이 가능하도록 도와준다.

• Nuclear Engineering and Technology
• /
• 제56권6호
• /
• pp.2404-2411
• /
• 2024

The GEOUNED code is specifically designed to convert CAD models, defined using the B-rep approach, into MC radiation transport models, defined using the CSG approach, and vice versa from MC to CAD. This code incorporates standard features commonly found in conversion tools, including decomposition, conversion, and automatic void generation. Additionally, it introduces innovative features, mainly in the automatic void generation part, which are described in this article. GEOUNED has demonstrated successful application in highly detailed 3D models used in fusion neutronics, which are known for their complex geometries, particularly those utilized in ITER. The article includes examples showcasing GEOUNED's performance in these challenging models, as well as custom applications that highlight its flexibility in addressing non-standard problems. The code is open-source and utilizes Open CASCADE as the geometry engine, with FreeCAD serving as the Python API.

• Nuclear Engineering and Technology
• /
• 제56권3호
• /
• pp.880-885
• /
• 2024

For Safety Assisted Engineering works, real-time simulators have emerged as a mandatory tool among all the key actors involved in the nuclear industry (utilities, designers and safety authorities). EDF, Electricité de France, as the leading worldwide nuclear power plant operator, has a crucial need for efficient and updated simulation tools for training, operating and safety analysis support. This paper will present the work performed at EDF/DT to develop a new generation of engineering simulator to fulfil these tasks. The project is called SiRENE, which is the acronym of Re-hosted Engineering Simulator in French. The project has been economically challenging. Therefore, to benefit from existing tools and experience, the SiRENE project combines: - A part of the process issued from the operating fleet training full-scope simulator. - An improvement of the simulator prediction reliability with the integration of High-Fidelity models, used in Safety Analysis. These High-Fidelity models address Nuclear Steam Supply System code, with CATHARE thermal-hydraulics system code and neutronics, with COCCINELLE code. - And taking advantage of the last generation and improvements of instructor station. The intensive and challenging uses of the new SiRENE engineering simulator are also discussed. The SiRENE simulator has to address different topics such as verification and validation of operating procedures, identification of safety paths, tests of I&C developments or modifications, tests on hydraulics system components (pump, valve etc.), support studies for Probabilistic Safety Analysis (PSA). etc. It also emerges that SiRENE simulator is a valuable tool for self-training of the newcomers in EDF nuclear engineering centers. As a modifiable tool and thanks to a skillful team managing the SiRENE project, specific and adapted modifications can be taken into account very quickly, in order to provide the best answers for our users' specific issues. Finally, the SiRENE simulator, and the associated configurations, has been distributed among the different engineering centers at EDF (DT in Lyon, DIPDE in Marseille and CNEPE in Tours). This distribution highlights a strong synergy and complementarity of the different engineering institutes at EDF, working together for a safer and a more profitable operating fleet.

• 한국콘텐츠학회논문지
• /
• 제8권12호
• /
• pp.63-71
• /
• 2008

최근 임베디드 시스템의 폭넓은 보급은 응용 소프트웨어 개발과 더불어 임베디드 소프트웨어 개발 도구의 필요성 및 중요성이 강조되고 있으며 임베디드 소프트웨어를 위한 컴파일러의 개발을 동시에 요구하고 있다. 특히, 임베디드 프로세서를 탑재한 모바일 장치에서는 제한된 전력/에너지의 하드웨어적인 관리 못지않게 소프트웨어적인 관리 기술의 중요성이 강조되고 있다. 본 논문에서는 검증된 재목적 컴파일러 후단부 도구인 EXPRESSION을 통해 최적화된 에너지 소비를 고려한 MIPS 코드 생성 기술을 제안하였다. 이를 위해, 효율적인 MIPS 코드 생성을 위한 코드 생성 규칙을 기술하였으며 생성된 코드에 대한 다양한 성능분석 결과를 제시한다.

• 한국IT서비스학회지
• /
• 제10권4호
• /
• pp.205-218
• /
• 2011

Unit testing which is the first task to perform software testing has a major impact on reducing s/w development cost and improving s/w quality. In order to make unit testing become the formal procedure rather than ad-hoc tasks performed by developer, the language-neutral measures are necessary in the programming which is able to specify the test cases. This paper presents a test assertion language for the language-neutral specification of the test cases. The suggested language is based on the ISO/IEC 24709-1, but it supports object oriented features and can describe test cases for unit testing. The test cases that are specified by the language can be used for generating test oracle source codes by test oracle generation tools.

• 한국정보통신학회논문지
• /
• 제26권10호
• /
• pp.1509-1516
• /
• 2022

본 논문에서는 UML 상태 다이어그램으로부터 코드 구현 모델을 생성하는 방법을 제시한다. 첫째로 상태 다이어그램의 상태를 객체화하고, 상태 디자인 패턴에 기반하여 동작 메커니즘을 구조화한다. 다음으로 이 구조에 기반하여 컨텍스트 클래스와 이의 인터페이스 역할을 하는 추상 상태 클래스, 그리고 하위 구상 클래스의 구현 코드를 생성하는 규칙들을 설정한다. 이들 규칙들은 Java의 언어 구조에 기반해서, 상태 다이어그램의 상태들과 동작들에 대한 코드 구현 모델을 생성하게 된다. 한편, 코드의 자동 생성을 위해서는 코드 모델로부터 코드 생성을 위해 구조화된 정보가 필요하다. 따라서, 코드 생성을 위한 정보를 메타 클래스 모델과 메타 행위 모델 형태로 구조화하여 구축한다. 이 메타 정보들에 기반하여 상태 다이어그램으로부터 Java 프로그래밍 언어로의 자동 코드 생성을 위한 엔진의 구축이 가능하다. 또한 코드 모델 생성 엔진은 독자적으로 또는 UML 도구의 상태 다이어그램 기능을 지원하는 도구에 통합된 모듈로서 사용될 수 있다.

• 한국소프트웨어감정평가학회 논문지
• /
• 제7권1호
• /
• pp.29-39
• /
• 2011

프로그램 내의 코드클론을 찾아주는 도구나 기술들을 평가하기 위해서는 해당 도구가 탐지하는 못하는 클론이 있는지 확인해야 한다. 이를 위해서 샘플 소스코드에 대해서 코드클론을 모두 모아놓은 표준 표본 집합체가 필요하다. 그런데 기존의 코드클론 표본 집합체는 여러 클론탐지 도구의 결과들을 참조해 수작업으로 구축하지만 평가 기준으로 사용하기에는 빠져있는 표본이 많다. 본 연구에서는 자동으로 코드클론 표본 집합체를 생성하는 방법을 제안하고 도구를 구현하였다. 이 도구는 프로그램 소스를 핵심구문트리로 변환한 뒤, 트리를 샅샅이 비교하여 클론 패턴을 찾아낸다. 본 도구는 오탐이 없으며, 특정한 패턴을 제외하고 미탐도 없어서 코드클론 표본 집합체를 자동으로 생성하기 적합하다. 실험결과 상용도구인 CloneDR에서 찾아낸 클론을 모두 포함하면서 2-3배 더 많은 클론들을 찾아내었고, Bellon의 기존 표본 집합체의 클론들을 거의 대부분 포함(93-100%)하면서 자동 구축한 표본 집합체의 크기가 훨씬 크다.