Developing EDTL IDE Kernel with Xtext Framework

This process of creating an IDE core for the event-driven temporal requirements specification language called EDTL is outlined in the paper. Developed at the Institute of Automation and Electrometry SB RAS, EDTL is used for specifying requirements for reactive software. Such programs control cyber-p...

Full description

Saved in:
Bibliographic Details
Published in:International Conference on Actual Problems of Electronic Instrument Engineering proceedings pp. 1000 - 1005
Main Authors: Kozlova, Anastasia V., Zyubin, Vladimir E., Garanina, Natalia O.
Format: Conference Proceeding
Language:English
Published: IEEE 10.11.2023
Subjects:
Codes
cyber-physical systems
domain specific languages
EDTL-requirements
Embedded systems
Generators
IDE design
Libraries
Navigation
parser
process-oriented programming
requirements engineering
Semantics
Syntactics
ISSN:2473-8573
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This process of creating an IDE core for the event-driven temporal requirements specification language called EDTL is outlined in the paper. Developed at the Institute of Automation and Electrometry SB RAS, EDTL is used for specifying requirements for reactive software. Such programs control cyber-physical systems, embedded systems, and PLC systems built using IEC 61131-3 or poST languages. Most of these safety critical systems are subject to mandatory verification. At the same time, as practice shows, failures in the operation of such systems in most cases are caused by errors in the specification of requirements. Therefore, the issue of requirements specification and the issue of requirements specification language are extremely important for the safety of the reactive system being developed. The advantages of EDTL include the relative simplicity of the language, the ability to specify requirements in terms of events and time intervals, independence from verification systems, and the presence of strict formal semantics that can be expressed using linear temporal logic. These advantages make EDTL a very promising requirements specification tool. The EDTL IDE comprises a language-oriented editor equipped with syntax and semantic analysis capabilities, an abstract syntax tree generator, and a library facilitating interaction with the generated abstract syntax tree. The research, the results of which are presented in the paper, is aimed at creating and EDTL IDE. The paper provides the motivation for the research, development requirements, IDE architecture, and the process of creating an IDE using the Eclipse toolchain. Finally, the article discusses the possibility of creating a web version of the EDTL IDE based on the results obtained and using Theia IDE.
ISSN:2473-8573
DOI:10.1109/APEIE59731.2023.10347639