Steven Smyth
YOU?
Author Swipe
View article: AI-Assisted Modeling: DSL-Driven AI Interactions
AI-Assisted Modeling: DSL-Driven AI Interactions Open
AI-assisted programming greatly increases software development performance. We enhance this potential by integrating transparency through domain-specific modeling techniques and providing instantaneous, graphical visualizations that accura…
View article: LLM-based code generation and system migration in language-driven engineering
LLM-based code generation and system migration in language-driven engineering Open
This paper illustrates the power of extending Language Driven Engineering (LDE) with Domain-Specific Natural Languages (DSNLs) through a case study on two levels. Both cases benefit from the characteristic decomposition feature of LDE, res…
View article: Language-Driven Engineering An Interdisciplinary Software Development Paradigm
Language-Driven Engineering An Interdisciplinary Software Development Paradigm Open
We illustrate how purpose-specific, graphical modeling enables application experts with different levels of expertise to collaboratively design and then produce complex applications using their individual, purpose-specific modeling languag…
View article: From Lustre to Graphical Models and SCCharts
From Lustre to Graphical Models and SCCharts Open
We introduce a systematic approach for automatically creating a visual diagram, akin to the graphical Safety Critical Application Development Environment (SCADE) model, from a Lustre program. This not only saves tedious manual drawing effo…
View article: Interactive Model-Based Compilation
Interactive Model-Based Compilation Open
There is a growing tendency for using domain-specific languages, which help domain experts to stay focussed on abstract problem solutions. It is important to carefully design these languages and tools, which fundamentally perform model-to-…
View article: Extracting Interactive Actor-Based Dataflow Models from Legacy C Code
Extracting Interactive Actor-Based Dataflow Models from Legacy C Code Open
Graphical actor-based models provide an abstract overview of the flow of data in a system. They are well-established for the model-driven engineering (MDE) of complex software systems and are supported by numerous commercial and academic t…
View article: Guidance in Model-based Compilations
Guidance in Model-based Compilations Open
The modeler should not be burdened with maintaining an overview over all potential conflicts. They should further be able to understand what is happening. Model-based compilers and modeling tools in general should guide a modeler. The KIE…
View article: SCCharts
SCCharts Open
SCCharts are a visual language proposed in 2012 for specifying safety-critical reactive systems. This is the second SCCharts report towards the usability of the SCCharts visual language and its KIELER SCCharts implementation. KIELER is an …
View article: Using SCCharts models in Simulink to model an electronic control unit
Using SCCharts models in Simulink to model an electronic control unit Open
When constructing an electrical racing car, special attention needs to be directed to the development of its engine control unit. Functionality of the motor-torque calculation and the integration of advanced driver assistance systems are c…
View article: Watch Your Compiler Work Compiler Models and Environments
Watch Your Compiler Work Compiler Models and Environments Open
We can observe many similarities between classical programming paradigms and model-driven engineering. A chain of model-to-model transformations often prescribes a particular work process, while executing such a chain generates a concrete …
View article: Model Extraction of Legacy C Code in SCCharts
Model Extraction of Legacy C Code in SCCharts Open
With increasing volumes of developed software and steadily growing complexity of these systems, software engineers struggle to manually maintain the vast amount of legacy code. Therefore, it is of interest to create a system which supports…
View article: A sequentially constructive circuit semantics for Esterel
A sequentially constructive circuit semantics for Esterel Open
Static Single Assignment (SSA) is an established concept that facilitates various program optimizations. However, it is typically restricted to sequential programming. We present an approach that extends SSA for concurrent, reactive progra…
View article: Runtime enforcement of reactive systems using synchronous enforcers
Runtime enforcement of reactive systems using synchronous enforcers Open
Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box system satisfies some desired properties. This paper deals with…