1. Evolution of domain-specific modeling language: an example of an industrial case study on an RT-sequencerTomaž Kos, Marjan Mernik, Tomaž Kosar, 2022, original scientific article Abstract: Model-driven engineering is a well-established software development methodology that
uses models to develop applications where the end-users with visual elements model abstractions
from a specific domain. These models are based on domain-specific modeling language (DSML),
which is particular to the problem domain. During DSML use, new ideas emerge and DSMLs evolve.
However, reports on DSML evolution are rare. This study presents a new DSML called RT-Sequencer
that evolved from our DSML Sequencer to support, in addition to the Data Acquisition domain,
also a new domain—Real-Time Control (RTC) systems. The process of defining models with a new
language RT-Sequencer has changed in a way that new end-users were introduced—advanced endusers, which use general-purpose language (GPL) and advanced programming concepts to define
modeling environments for the RT-Sequencer end-users. More specifically, an industrial experience
with the RT-Sequencer is presented, where DSML was opened for extension so that a GPL code
could be inserted into the model to create new visual blocks for the end-user, and the possibility to
adapt and optimize the execution code for a particular task. Our experience shows the specific case
of DSML evolution supporting another problem domain, and the implementation effort needed to
extend domain-specific modeling language with GPL support.
Keywords: model-driven engineering, domain-specific modeling languages, measurement systems, Real-Time Control systems, data acquisition, language evolution, experience report
Published in DKUM: 27.03.2025; Views: 0; Downloads: 2
 Full text (1,70 MB)
This document has many files! More... |
2. Wearable online freezing of gait detection and cueing systemJan Slemenšek, Jelka Geršak, Božidar Bratina, Vesna M. Van Midden, Zvezdan Pirtošek, Riko Šafarič, 2024, original scientific article Abstract: This paper presents a real-time wearable system designed to assist Parkinson’s disease patients experiencing freezing of gait episodes. The system utilizes advanced machine learning models, including convolutional and recurrent neural networks, enhanced with past sample data preprocessing to achieve high accuracy, efficiency, and robustness. By continuously monitoring gait patterns, the system provides timely interventions, improving mobility and reducing the impact of freezing episodes. This paper explores the implementation of a CNN+RNN+PS machine learning model on a microcontroller-based device. The device operates at a real-time processing rate of 40 Hz and is deployed in practical settings to provide ‘on demand’ vibratory stimulation to patients. This paper examines the system’s ability to operate with minimal latency, achieving an average detection delay of just 261 milliseconds and a freezing of gait detection accuracy of 95.1%. While patients received on-demand stimulation, the system’s effectiveness was assessed by decreasing the average duration of freezing of gait episodes by 45%. These preliminarily results underscore the potential of personalized, real-time feedback systems in enhancing the quality of life and rehabilitation outcomes for patients with movement disorders.
Keywords: Parkinson’s disease, freezing of gait, machine learning, real-time systems, wearable devices, on-demand stimulation
Published in DKUM: 31.01.2025; Views: 0; Downloads: 4
Full text (6,29 MB) |
3. |
4. Implementation of hard real-time embedded control systemsMatjaž Colnarič, Domen Verber, Roman Gumzej, Wolfgang A. Halang, 1998, independent scientific component part or a chapter in a monograph Abstract: Although the domain of hard real-time systems has been thoroughly elaborated in the academic sphere, embedded computer control systems - being an important in mechatronic design - are seldom dealt with consistemntly. Often, off-the-shelf computer systems are used, with no guarantee that they will be able to meet the requirements specified. In this paper, a design for embedded control systems is presented. particulary, the paper deals with the hardware architecture and design details, the operating sustem, and the high-level real-time language support. It is shown how estimates of process run-times necessary for schedulability analysis can be acquired on the basis of deterministic behavior of the hardware platform.
Keywords: kontrolni sistemi, realni čas, mikrokontrolerji, programski jeziki, embedded compuer control systems, hard real-time systems, microcontrollers, transputers, earliest-deadline-first scheduling, real-time programming languages
Published in DKUM: 10.07.2015; Views: 1351; Downloads: 104
 Link to full text |
5. |
6. |
7. |
8. Specification PEARL constructs for embedded real-time systems co-designRoman Gumzej, Matjaž Colnarič, 2002, original scientific article Abstract: In the article a HW/SW co-design methodology is presented, which enables early reasoning about system integration as well as verification of the designs. Specification PEARL methodology is based on a specification language with the same name, whose ori-gins are in the standard Multiprocessor PEARL language. It has been enhanced by addi-tional components for asymmetrical multiprocessor systems design as well as by additional parameters for RTOS parameterisation and feasibility analysis. Timed State Transition Diagrams have been introduced for program/task modelling, supporting the PEARL pro-cess model. The resulting task models are easily translated to PEARL task prototypes. The methodology and its specification language components are being presented.
Keywords: embedded systems, real-time systems, co-design, modelling, PEARL
Published in DKUM: 01.06.2012; Views: 2614; Downloads: 26
Link to full text |
9. A safety shell for UML-RT projectsRoman Gumzej, Wolfgang A. Halang, 2008, published scientific conference contribution Abstract: A safety shell pattern was defined based on a reconfiguration management pattern, and inspired by the architectural specifications in Specification PEARL. It is meant to be used for real-time applications to be developed with UML-RT as described. The implementation of the safety shell features as defined by in [8], namely its timing and state guards as well as I/O protection and exception handling mechanisms, is explained. The pattern is parameterised by defining the properties of its components as well as by defining the mapping between software and hardware architectures. Initial and alternative execution scenarios as well as the method for switching between them are defined. The goal pursued with the safety shell is to obtain clearly specified operation scenarios with well defined transitions between them. To achieve safe and timely operation, the pattern must provide safety shell mechanisms for an application designed, i.e., enable its predictable deterministic and temporally predictable operation now and in the future.
Keywords: real-time systems, embedded systems, UML profiles, UML patterns, safety
Published in DKUM: 31.05.2012; Views: 1770; Downloads: 173
Link to full text |
10. A reconfiguration pattern for distributed embedded systemsRoman Gumzej, Matjaž Colnarič, Wolfgang A. Halang, 2007, original scientific article Abstract: A reconfiguration pattern for UML-based projects of embedded (real-time) systems is defined. It enables to set up hardware/software configurations, and to specify conditions and methods for dynamic reconfiguration. The reconfiguration pattern was inspired by the reconfiguration management solution of the Specification PEARL methodology, which is based on the standard for Multiprocessor PEARL whose original idea it was to extend the language to enable the programming of distributed real-time applications in PEARL. In Specification PEARL, the possibility for abstract descriptions of hardware and software architectures and for defining mappings from software to hardware components has been enhanced in correspondence with the standard. Here, a UML pattern for reconfiguration management in distributed embedded applications based on concepts from Specification PEARL is presented. Its behavioural, structural and functional aspects are outlined. It addresses stereotype entities from the Specification PEARL language, which were joined in a UML profile, and outlines the related reconfiguration management mechanisms, which were carried over to the mentioned UML pattern. The proposed reconfiguration pattern is to facilitate the development of distributed embedded application in UML with consistent and temporally predictable reconfiguration support. It should also support and enhance the applicationsć flexibility and portability.
Keywords: real-time, distributed, embedded systems, dynamic reconfiguration, UML profiles and patterns, UML-RT, specification PEARL
Published in DKUM: 31.05.2012; Views: 2018; Downloads: 110
Link to full text |
