A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool

Applying Model-Driven Engineering can improve development efficiency. But gaining such benefits for legacy software requires models, and creating them manually is both laborious and error prone. Active automata learning has the potential to make it cost-effective, but practitioners face practical challenges applying it to software components of...

Constructive Model Inference: Model Learning for Component-based Software Architectures

Model learning, learning a state machine from software, can be an effective model-based engineering technique, especially to understand legacy software. However, so far the applicability is limited as models that can be learned are quite small, often insufficient to represent the software behavior of large industrial systems. We introduce a...

Comparing the Performance of Organic Solvent Nanofiltration Membranes in Non-Polar Solvents

Organic solvent nanofiltration (OSN) is gradually expanding from academic research to industrial implementation. The need for membranes with low and sharp molecular weight cutoffs that are able to operate under aggressive OSN conditions is increasing. However, the lack of comparable and uniform performance data frustrates the screening and...

Industrial experiences with the evolution of a DSL

At Philips IGT, we develop and produce interventional X-ray systems. For a controller in these systems, we have an approximately five years old domain specific language. Like general programming languages, domains specific languages also evolve. These languages co-evolve together with their domain. The language used at IGT was initially created...

Reducing code duplication by identifying fresh domain abstractions

When software components are developed iteratively, code frequently evolves in an inductive manner: A unit is created and is then copied and modified many times. Such development often happens when variation points and, hence, proper domain abstractions are initially unclear. As a result, there may be substantial amounts of code duplication, and...

ICM: An Intuitive Model Independent and Accurate Certainty Measure for Machine Learning

End-users of machine learning-based systems benefit from measures that quantify the trustworthiness of the underlying models. Measures like accuracy provide for a general sense of model performance, but offer no detailed information on specific model outputs. Probabilistic outputs, on the other hand, express such details, but they are not...

Improving maintenance by creating a DSL for configuring a fieldbus

The high-tech industry produces complex devices in which software plays an important role. Since these devices have been developed for many decades, an increasing part of the software can be classified as legacy which is difficult to maintain and to extend. To improve the maintainability of legacy components, domain specific languages (DSLs)...

Evaluating the effect of a lightweight formal technique in industry

We evaluate the effect of applying the commercial formal technique Analytical Software Design (ASD) to an industrial project. In ASD, interfaces and software designs are modelled using a formal tabular notation. The ASD tool set supports formal checks of these models, such as deadlock freedom and interface compliance. In addition, full code can...

Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs

Analyzing worst-case application timing for systems with shared resources is difficult, especially when non-monotonic arbitration policies like First-Come-First-Served (FCFS) scheduling are used in combination with varying task execution times. Analysis methods that conservatively analyze these systems are often based on state-space exploration,...

Aspergillus niger RhaR, a regulator involved in L-rhamnose release and catabolism

The genome of the filamentous fungus Aspergillus niger is rich in genes encoding pectinases, a broad class of enzymes that have been extensively studied due to their use in industrial applications. The sequencing of the A. niger genome provided more knowledge concerning the individual pectinolytic genes, but little is known about the regulatory...

Fast multiprocessor scheduling with fixed task binding of large scale industrial cyber physical systems

Latest trends in embedded platform architectures show a steady shift from high frequency single core platforms to lower-frequency but highly-parallel execution platforms. Scheduling applications with stringent latency requirements on such multiprocessor platforms is challenging. Our work is motivated by the scheduling challenges faced by ASML,...

Performance and population analysis of a non-sterile trickle bed reactor inoculated with caldicellulosiruptor saccharolyticus, a thermophilic hydrogen producer

Non-axenic operation of a 400 L trickle bed reactor inoculated with the thermophile Caldicellulosiruptor saccharolyticus, yielded 2.8 molH 2mol hexose converted. The reactor was fed with a complex medium with sucrose as the main substrate, continuously flushed with nitrogen gas, and operated at 73°C. The volumetric productivity was 22 mmolH2(L...

SLAM: A fast high volume additive manufacturing concept by impact welding; application to Ti6Al4V alloy

Against the manufacturing requirement for both lower lead time and reduced machining time for titanium components, a new concept was conceived assembling sheet material and other stock into semi finished parts by (explosive) impact welding. It is believed that this concept (which we named SLAM) could be especially beneficial for titanium alloy...

Calendula oil processing: Seed classification, oil extraction, refining process development and oil quality aspects

The difference in Calendula oil quality from fractions obtained after seed classification is enormous. The oil quality varies from excellent to very poor, according to important aspects such as in the hulls and dust fraction, high free fatty acid values (13% vs. 0.6%) are found. This can be explained by the presence of active lipase enzymes in...

Capture of carbon dioxide using membrane gas absorption and reuse in the horticultural industry

The principle and engineering aspects of the membrane gas absorption process are discussed. It is shown that membrane gas absorbers have size advantages over conventional equipment. A suitable choice of absorption liquids and membranes is necessary to achieve a workable system. Significant reductions in the energy consumption of absorption...

A participatory ergonomics approach to reduce mental and physical workload

A step-by-step approach to better work, aimed at reducing mental and physical workload in office work, is evaluated. This approach is based on a strong commitment of the management in the enterprise, and on as much direct worker participation as possible. After every step the workers proposed how to continue and a steering group led by the...