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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:International Conference on Actual Problems of Electronic Instrument Engineering proceedings s. 1000 - 1005
Hlavní autori: Kozlova, Anastasia V., Zyubin, Vladimir E., Garanina, Natalia O.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 10.11.2023
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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