An interview study about the use of logs in embedded software engineering

Context: Execution logs capture the run-time behavior of software systems. To assist developers in their maintenance tasks, many studies have proposed tools to analyze execution information from logs. However, it is as yet unknown how industry developers use logs in embedded software engineering. Objective: In this study, we aim to understand...

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...

A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems

Software-intensive systems constantly evolve. To prevent software changes from unintentionally introducing costly system defects, it is important to understand their impact to reduce risk. However, it is in practice nearly impossible to foresee the full impact of software changes when dealing with huge industrial systems with many configurations...

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...

Kansen en aandachtspunten bij het synthese-gebaseerd ontwikkelen van besturingssoftware voor infrastructurele objecten

Rijkswaterstaat staat voor een enorme uitdaging wat betreft vervangen en renovatie (VenR) van objecten. Momenteel behelst dit voor elk object maatwerk, wat flexibiliteit biedt, maar ook bijzonder inefficiënt is. Voor het specificeren, ontwerpen, realiseren en testen van veilige besturingssoftware voor het object werkt het programma Industriële...

Improving Model Inference in Industry by Combining Active and Passive Learning

Inferring behavioral models (e.g., state machines) of software systems is an important element of re-engineering activities. Model inference techniques can be categorized as active or passive learning, constructing models by (dynamically) interacting with systems or (statically) analyzing traces, respectively. Application of those techniques in...

Computational effort of bdd-based supervisor synthesis of extended finite automata

We consider supervisor synthesis of Extended Finite Automata that are represented using Binary Decision Diagrams (BDDs). Peak used BDD nodes and BDD operation count are introduced as platform independent and deterministic metrics that quantitatively indicate the computational effort needed to synthesize a supervisor. The use of BDD operation...

RERS 2019: Combining Synthesis with Real-World Models

This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019. For the first time in the history of RERS, the challenge features industrial tracks where benchmark programs that participants need to analyze are synthesized from real-world models. These new tracks comprise LTL, CTL, and Reachability properties. In addition,...

Bow-tie risk assessment combining causes and effects applied to gasoil storage in an abandoned salt cavern,

A semi-quantitative risk assessment is presented for the storage of gas oil in depleted salt caverns in the Twente region, the Netherlands. It is based on a bow-tie model, in which an incident, leakage of gas oil from the storage system (cavern and wells), is evaluated by assessing its possible causes and effects. The causes are all the events...

Zeitliche und räumliche Verteilung der Grundwasser-Oberflächenwasser-Interaktion in den Niederlanden

In the Netherlands the groundwater-surface water interaction processes vary spatially and temporarily. In this article we present maps of the spatial distribution of monthly water exchange modelled with the National Hydrological Instrument of the Netherlands (NHI) for three years that represent a dry, an average and a wet year. Additionally, for...