Author

Robin Steiger

5 papers · 2011–2012

2011peak 3 in 20112012

Frequent co-authors

Papers

showing 1–5 of 5 RSS

FASA

Manuel Oriol, Michael Wahler, Robin Steiger +4 more

Hardware and Architecture · 25 Jun 2012 · cited 32× · DOI ↗ · more like this ·

Building a distributed control application is currently performed ad hoc: it consists of building each application part as an independent program and connecting them through a communication layer. With the pervasiveness of multicore chips, future generations of controllers will include a variable number of cores and hosts, making such a static development process obsolete. To solve this issue, the FASA component framework for distributed control systems computes a deployment of the components onto the available computation resources (cores and hosts) and a static schedule for their execution. Depending on the given deployment, FASA chooses a suitable communication protocol for each pair of connected components. This makes FASA a scalable software architecture for heterogeneous distributed control systems. This article presents the framework, as well as a validation of FASA using a case…

CAST: Automating Software Tests for Embedded Systems

Michael Wahler, Ettore Ferranti, Robin Steiger +2 more

Software · April 2012 · cited 18× · DOI ↗ · more like this ·

Software integration tests for embedded systems must cater for the physical process with which the systems interact and can include user input. This can make testing very time-consuming because test engineers often manually execute test specifications with many thousand lines of instructions. Furthermore, such manual tests are often imprecise because human operators cannot execute interactions at a granularity of a few milliseconds. This article presents the CAST (Computer-Aided Specification and Testing) approach to automating the testing of embedded systems, which consists of three parts: a domain-specific language, which allows test engineers to specify test cases formally with a familiar syntax, an execution engine, which allows them to run tests either automatically or interactively, and an interface, which connects the execution engine to the embedded system. We validate the…

An efficient generic network flow constraint

Robin Steiger, Willem‐Jan van Hoeve, Radosław Szymanek

Computer Networks and Communications · 21 Mar 2011 · cited 8× · DOI ↗ · more like this ·

We propose a generic global constraint that can be applied to model a wide range of network flow problems using constraint programming. In our approach, all key aspects of a network flow can be represented by finite domain variables, making the constraint very expressive. At the same time, we utilize a network simplex algorithm to design a highly efficient, and incremental, domain filtering algorithm. We thus integrate two powerful techniques for discrete optimization: constraint programming and the network simplex algorithm. Our generic constraint can be applied to automatically implement effective and efficient domain filterng algorithms for ad-hoc networks, but also for existing global constraints that rely on a network structure, including several soft global constraints many of which are not yet supported by CP systems. Our experimental results demonstrate the efficiency of our…

An efficient generic network . . .

Robin Steiger, Willem-jan Van Hoeve, Radosław Szymanek

Computer Networks and Communications · 2011 · cited 0× · OpenAlex ↗ · more like this ·

We propose a generic global constraint that can be applied to model a wide range of network flow problems using constraint programming. In our approach, all key aspects of a network flow can be represented by finite domain variables, making the constraint very expressive. At the same time, we utilize a network simplex algorithm to design a highly efficient, and incremental, domain filtering algorithm. We thus integrate two powerful techniques for discrete optimization: constraint programming and the network simplex algorithm. Our generic constraint can be applied to automatically implement effective and efficient domain filterng algorithms for adhoc networks, but also for existing global constraints that rely on a network structure, including several soft global constraints many of which are not yet supported by CP systems. Our experimental results demonstrate the efficiency of our…

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Robin Steiger, Viktor Kuncak

Computational Theory and Mathematics · 2011 · cited 0× · OpenAlex ↗ · more like this ·

Abstract. Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of software often contain fragments that belong to quantifier-free BAPA (QFBAPA). Deciding the satisfiability of QFBAPA formulas has been shown to be NP-complete using an eager reduction to quantifier-free Presburger arithmetic that exploits a sparse-solution property. In con-trast to many other NP-complete problems (such as quantifier-free first-order logic or linear arithmetic), the applications of QFBAPA to a broader set of problems has so far been hindered by the lack of an efficient imple-mentation that can be used alongside other efficient decision procedures. We overcome these limitations by extending the efficient SMT solver Z3 with the ability to reason about cardinality…