Visit of Walid Taha

Two talks and discussions on modeling hybrid system models, and compiling models.


When: April 27th, 12.30 (until ca. 4pm).
Where: IT University of Copenhagen, room 2A08

Walid Taha, Halmstad University. The Acumen Project.


Abstract: Over the last ten years there has been significant
interest in the verification of hybrid systems. This trend is
timely because of the growing markets for innovations such as
Segways, autonomous cars, unmanned aerial vehicles, and the
like. Such "cyber/physical" systems closely couple computational
and physical components. At least five years ago it appeared
that verification tools for hybrid systems had the same steep
learning curve as traditional verification tools. To address
this problem, the Acumen project started as a practical approach
to enable the testing of embedded and real-time systems in the
context of a simulated physical environment. From the outset,
achieving rigor while maintaining accessibility has been the
primary goal. This vision makes language design and
specification methods key tools in the project. In this talk, we
review progress so far, and briefly outline goals for the
future.


Adam Duracz, Halmstad University. Compiling Acumen to Parallel Platforms.


Abstract: Acumen is a modeling and simulation environment for
hybrid (continuous/discrete) systems. It has both floating-point
and rigorous semantics, and they are both currently implemented
as interpreters. The goal of my doctoral research is to develop
methods for compiling this language to parallel platforms. As
an initial step in this direction, I am building a compiler that
takes an Acumen program and produces a program in Sven-Bodo
Scholz's Single Assignment C (SAC). This talk will describe my
progress towards the first prototype implementation of such a
compiler. The talk is informal and is given on the occasion of
meeting with the colleagues from ITU and DIKU who have an
interesting in languages, compilers and parallel computing. My
hope is to get as much input as possible on this research while
it is still at an early stage.