Pain-mitigation Techniques for Model-based Engineering using Domain-specific Languages

Changing an established way of working can be a real headache. This is particularly true if there are high stakes involved, e.g., when changing the development process for complex systems. New design methods, such as model-based engineering (MBE) using domain-specific languages (DSLs) promise significant gains, such as cost reductions and...

Industrial Experience with the Migration of Legacy Models using a DSL

Software departments of companies that exist for several decades often have to deal with legacy models. Important business assets have been modelled with tools that are no longer preferred within the company. Manually remodelling these models with a new tool would be too costly. In this paper, we describe an approach to migrate from Rhapsody...

Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach

Cyber-physical systems consist of many hardware and software components. Over the life-cycle of these systems, components are replaced or updated. To avoid integration problems,good interface descriptions are crucial for component-based development of these systems. For new components, a Domain Specific Language (DSL) called Component Modeling &...

CoHLA: Design Space Exploration and Co-simulation Made Easy

The inherent multi-disciplinary nature of cyberphysical systems makes it difficult to get early insight in key system properties and trade-offs that have to be made. Our aim is to support system architects of such systems by facilitating the co-simulation of models from different disciplines and design space exploration. This has been achieved...

Building Distributed Co-simulations using CoHLA

The construction of a co-simulation for large cyberphysical systems can be very time consuming. We have defined a domain specific language called CoHLA that facilitates this construction based on the standards FMI and HLA. Scalability of this approach is investigated by the application to Internet of Things (IoT) systems. Because of the...

Industrial application of formal models generated from domain specific languages

Domain Specific Languages (DSLs) provide a lightweight approach to incorporate formal techniques into the industrial workflow. From DSL instances, formal models and other artefacts can be generated, such as simulation models and code. Having a single source for all artefacts improves maintenance and offers a high return on investment of the...

Industrial Experiences with a Formal DSL Semantics to Check the Correctness of Generated DSL Artifacts

A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that generate implementation code or analysis models. The semantics of the language is often defined implicitly and...

Formalizing and testing the consistency of DSL transformations

A domain specific language (DSL) focuses on the essential concepts in a specific problem domain, and abstracts from low-level implementation details. The development of DSLs usually centers around the metamodel,

Using domain specific languages to improve the development of a power control unit

To improve the design of a power control unit at Philips, two Domain Specific Languages (DSLs) have been used. The first DSL provides a concise and readable notation for the essential state transitions. It is used to generate both configuration files and analysis models. In addition, we also generate instances of a second DSL which represents...

Modeling alien-line impedance mismatch in wideband vectored wireline systems

Sudden changes of channel coefficients in a wideband vectored wireline system (such as G.fast) due to changes in the terminating impedance of lines outside the vectored group can seriously degrade stability and throughput. This letter presents a model that predicts the impact of termination mismatch based exclusively on crosstalk data for the...

Formalizing DSL semantics for reasoning and conformance testing

A Domain Specific Language (DSL) focuses on the essential concepts in a certain problem domain, thus abstracting from low-level implementation details. In combination with code generators, DSLs bring software development closer to domain requirements. The development of DSLs usually centers around the grammar and a code generator; there is...

Cable and DSL: A Comparison of their Capabilities and their Upgrade Roadmaps

DSL in the Dutch Consumer Broadband Market: Innovation is about more Bandwidth

Early Fault Detection in DSLs using SMT Solving and Automated Debugging

In the context of Domain Specific Languages (DSLs), we study ways to detect faults early in the software development cycle. We propose techniques that validate a wide range of properties, classified into basic and advanced. Basic validation includes syntax checking, reference checking and type checking. Advanced validation concerns domain...

Towards a compatible Level-2 DSM algorithm to protect downstream multiuser xDSL legacy systems

Higher levels of Dynamic Spectrum Management (DSM) are strongly desired; however, we still need methods that are compliant with the current spectrum management specifications and DSM-proven, at the same time. Therefore, we propose a simple yet efficient pre-Level-2 DSM algorithm to protect legacy xDSL systems from new technology implementations ...

An algorithmic architecture model for VDSL2 spectrum management studies

We propose an algorithmic architecture model for Very-high speed Digital Subscriber Lines (VDSL2) transmitters enabling a convenient way to perform unambiguous spectral management (SpM) studies. The model combines (a) the flexibility needed to model VDSL2 transmitters, with (b) a straight forward specification on which capabilities have been...