ANNUAL REPORT 2012

Halmstad University now a Foundation Research
Centre
Effective January 1st, 2012, Halmstad University is now a
Foundation Research Centre (Swedish: KK-miljö), meaning
that a ten-year contract has been signed concerning support of
the long-term development of strategic research at the University.
The investment will be made in the areas of information
technology, especially embedded intelligent systems, further in
innovation sciences and in health and lifestyle – as well as, not
least, interdisciplinary research involving all three areas. The
long-term further development of CERES is of course expected
to benefit from this venture, and the CERES research centre is
now part of this over-arching initiative, named Research for
Innovation.
Second Summer School on Accurate Programming
On May 30 – June 1, 2012, CERES organized the second
summer school on accurate programming. The school attracted
around 20 participants including 8 from industry: HMS,
Etteplan and Bombardier. Lectures and tutorials were offered
by Veronica Gaspes (CERES), John Hughes (Chalmers and
QuviQ), Rex Page (Oklahoma University) and Walid Taha
(CERES). The topics of the school include property based testing
and test-driven software development. The tools used include
Erlang, Scala, Quickcheck and Scalacheck.
New Industrial Graduate School
In December 2012, The Knowledge Foundation decided to finance
an industrial graduate school with eight PhD students,
all employed in industry but being trained at Halmstad University
and participating in joint academic/industrial research.
The goal of the industrial graduate school, named Embedded
and Intelligent Systems Industrial Graduate School (EISIGS),
is to provide the right environment for producing qualified,
independent researchers (PhDs) that understand, advance, and
champion embedded and intelligent systems research. It aims
to strengthen Swedish industry by training doctoral-level researchers
that have both technical depth and a broad understanding
of industrial requirements and innovation processes.
In particular, recognizing the importance of a firm’s ability to
innovate and transform innovation to new business opportunities,
an emphasis on innovation pervades the school’s entire
program. To realize the emphasis on innovation, the graduate
school will be managed and run in cooperation with researchers
in Halmstad University’s Center for Innovation, Entrepreneurship
and Learning Research (CIEL), which is also a leading
player in the Research for Innovation initiative.
PhD students and partners from industry attending a course in
accurate programming
Second Workshop on Design, Modeling and Evaluation
of Cyber Physical Systems (CyPhy’12)
On June 6 – 8, 2012, CERES hosted CyPhy’12. The workshop
was attended by researchers from Alfaisal University, Aston
University, Halmstad University, Linköping University, Texas
A&M University, and University of Twente.
Best paper Award
At the 9th IEEE International Workshop on Factory Communication
Systems – Communication in Automation (WFCS
2012) in Lemgo/Detmold, Germany, May 21-24, 2012, the
CERES contribution “Deterministic real-time medium access
for cognitive industrial radio networks” was honoured with the
Best Paper Award in the category Work in Progress Papers. The
paper was authored by Kristina Kunert, Magnus Jonsson,
and Urban Bilstrup.
11th meeting of the IFIP Working Group 2.11
On June 25-27, 2012, CERES hosted the 11th meeting of the
IFIP working group 2.11. The working group collects excellent
researchers in the area of program generation. The meeting was
attended by around 30 attendees and included more than 20
presentations as well as a number of discussions.
CERES Annual Report 2012
15