CREST - A DSL for Reactive Cyber-Physical Systems

Klikovits, Stefan; Linard, Alban; Buchs, Didier

doi:10.1007/978-3-030-01042-3_3

Cited by 3 publications

(4 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Even the use of UML [25] has been proposed for automatic code generation in embedded systems [22]. Another DSL, CREST [19], models requirements visually through diagrams created with a Python DSL. This approach requires the programmer to define their diagrams in Python and cannot be used to generate code for a cyber-physical system.…”

Section: Dsls In Embedded Systemsmentioning

confidence: 99%

Triton: a Domain Specific Language for Cyber-Physical Systems

Wood

Azim

2021

2021 22nd IEEE International Conference on Industrial Technology (ICIT)

View full text Add to dashboard Cite

The design of cyber-physical systems is non-trivial and often filled with tedious, error-prone tasks that could be represented in a better way. Engineers often work with low-level languages such as C and C++, with real-time operating systems under limited computational resources, which requires extensive domain-specific knowledge.This work proposes Triton, a language focused on increasing abstraction by providing high-level domain-specific features to cyber-physical systems. We propose dedicated code blocks to handle task scheduling, constraint management, and computational offloading at the language level. Triton provides an easy way to offload tasks with bidirectional communication channels to enable continuous streaming of data between the master application and the tasks it offloads. Triton's prototype implementation targets the Java virtual machine (JVM), supporting execution on any platform with an available JVM. Experiments and example code provided shows the effectiveness of the proposed solution when compared with languages traditionally seen in cyber-physical systems development.

show abstract

Section: Dsls In Embedded Systemsmentioning

confidence: 99%

Triton: a Domain Specific Language for Cyber-Physical Systems

Wood

Azim

2021

2021 22nd IEEE International Conference on Industrial Technology (ICIT)

View full text Add to dashboard Cite

show abstract

“…However, they go further and also created an interpreter for the DOM, allowing the browser to be manipulated through scripts that interact with the DOM. CREST, presented by Klikovits et al [29], is another DSL that aims to model CPSs of small scale that has synchronous evolution and reactive behavior. Riedel et al [44] present a tool that generates C, C# and Java code relying on SOAP Web Services (WS-SOAP) as the communication protocol.…”

Section: Model-based Approaches For Synchronous Communicationsmentioning

confidence: 99%

“…https://opendds.org/ 28. https://www.ibm.com/docs/en/rhapsody/8.2?topic=tutorialscreate-data-distribution-service-real-time-systems-application 29. https://community.rti.com/static/documentation/connextdds/5.2.3/doc/manuals/connext_dds/code_generator/ RTI_CodeGenerator_UsersManual.pdf…”

mentioning

confidence: 99%

Model-driven development of asynchronous message-driven architectures with AsyncAPI

et al. 2021

View full text Add to dashboard Cite

In the Internet-of-Things (IoT) vision, everyday objects evolve into cyber-physical systems. The massive use and deployment of these systems has given place to the Industry 4.0 or Industrial IoT (IIoT). Due to its scalability requirements, IIoT architectures are typically distributed and asynchronous. In this scenario, one of the most widely used paradigms is publish/subscribe, where messages are sent and received based on a set of categories or topics. However, these architectures face interoperability challenges. Consistency in message categories and structure is the key to avoid potential losses of information. Ensuring this consistency requires complex data processing logic both on the publisher and the subscriber sides. In this paper, we present our proposal relying on AsyncAPI to automate the design and implementation of these asynchronous architectures using model-driven techniques for the generation of (part of) message-driven infrastructures. Our proposal offers two different ways of designing the architectures: either graphically, by modeling and annotating the messages that are sent among the different IoT devices, or textually, by implementing an editor compliant with the AsyncAPI specification. We have evaluated our proposal by conducting a set of experiments with 25 subjects with different expertise and background. The experiments show that one-third of the subjects were able to design and implement a working architecture in less than an hour without previous knowledge of our proposal, and an additional one-third estimated that they would only need less than two hours in total.

show abstract

“…Furthermore, its textual syntax is difficult to understand for newcomers and requires a lot of experience for proficiency. A more complete and detailed description of our evaluation, including discussion of the other languages and formalisms is provided in [50] and [52].…”

Section: Language Requirementsmentioning

confidence: 99%

Pragmatic reuse for DSML development

Klikovits

Buchs

2020

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

By bridging the semantic gap, domain-specific language (DSLs) serve an important role in the conquest to allow domain experts to model their systems themselves. In this publication we present a case study of the development of the Continuous REactive SysTems language (CREST), a DSL for hybrid systems modeling. The language focuses on the representation of continuous resource flows such as water, electricity, light or heat. Our methodology follows a very pragmatic approach, combining the syntactic and semantic principles of well-known modeling means such as hybrid automata, data-flow languages and architecture description languages into a coherent language. The borrowed aspects have been carefully combined and formalised in a well-defined operational semantics. The DSL provides two concrete syntaxes: CREST diagrams, a graphical language that is easily understandable and serves as a model basis, and , an internal DSL implementation that supports rapid prototyping—both are geared towards usability and clarity. We present the DSL’s semantics, which thoroughly connect the various language concerns into an executable formalism that enables sound simulation and formal verification in , and discuss the lessons learned throughout the project.

show abstract

CREST - A DSL for Reactive Cyber-Physical Systems

Cited by 3 publications

References 17 publications

Triton: a Domain Specific Language for Cyber-Physical Systems

Triton: a Domain Specific Language for Cyber-Physical Systems

Model-driven development of asynchronous message-driven architectures with AsyncAPI

Pragmatic reuse for DSML development

Contact Info

Product

Resources

About