11.01.2014 Views

ANNUAL REPORT 2012

ANNUAL REPORT 2012

ANNUAL REPORT 2012

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Centre for Research on Embedded Systems<br />

CERES<br />

<strong>ANNUAL</strong> <strong>REPORT</strong> <strong>2012</strong><br />

halmstad university


Cover photos<br />

Zain-ul-Abdin, Kristina Kunert, Jan Duracz, Hoai<br />

Hoang Bengtsso and Anita Sant’Anna<br />

Jonson, humanoid<br />

Edward Lee<br />

Kristoffer Lidström<br />

Adam Duracz and Annette Böhm<br />

Photos in the Annual Report: Roland Thörner and others<br />

CERES Annual Report <strong>2012</strong>


CERES<br />

Centre for Research on Embedded Systems<br />

Research Profile<br />

Annual Report <strong>2012</strong>


Table of Contents<br />

CERES 5<br />

Preface 5<br />

Introduction 6<br />

CERES Research Focus 6<br />

Main scientific areas 6<br />

Main application areas 6<br />

CERES Research Focus in a Broader Context 7<br />

First year of the “CERES+” Phase 7<br />

Phases of Development 8<br />

CERES Management during <strong>2012</strong> 8<br />

Cooperation with Industry 9<br />

Funding10<br />

CERES Funding <strong>2012</strong> 10<br />

Personell11<br />

Highlights <strong>2012</strong>14<br />

Halmstad Colloquium 14<br />

CERES Open Day 14<br />

IEEE Workshop on Vehicular Communications 14<br />

Halmstad University now a Foundation Research Centre 15<br />

New Industrial Graduate School 15<br />

Best paper Award 15<br />

Second Summer School on Accurate Programming 15<br />

Second Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy’12) 15<br />

11th meeting of the IFIP Working Group 2.11 15<br />

International Cooperation in Prestigious National Science Foundation Project 16<br />

CERES at Embedded Conference Scandinavia 16<br />

Ph D Graduation 17<br />

Four New Professors 18<br />

Extended Abstracts20<br />

JUMP - Jump to Manycore Platforms 20<br />

STAMP - Streaming Applications on Embedded High-Performance Commercial Platforms 22<br />

HTM - Hierarchical Temporal Memory on Manycores 23<br />

HIPEC - High Performance Embedded Computing 24<br />

SMECY - Smart multicore embedded systems 26<br />

Acumen+: Core Enabling Technology for Acumen 27<br />

MaC2WiN – Management Challenges in Cognitive Wireless Networks 28<br />

WisCon - Wireless sensor concept node 31<br />

VehicleNets – Dependable Real-Time Services in Vehicular Ad Hoc Networks 32<br />

CVAN: Cross-Layer Design of VANETs for Traffic Safety 34<br />

A Virtual Testbed for Smart Micro Grids 36<br />

Publications 2010-<strong>2012</strong>37<br />

International full-paper reviewed journal papers 37<br />

Books, book chapters and editorial work 38<br />

Doctoral and Licentiate theses 38<br />

International full-paper reviewed conference papers 38<br />

Internal reports 42<br />

Other (incl. national conferences and international conferences without full-paper review) 42<br />

4 CERES Annual Report <strong>2012</strong>


CERES<br />

Centre for Research on Embedded Systems<br />

Annual Report <strong>2012</strong><br />

Preface<br />

Summing up the year <strong>2012</strong> it is clear that it has been a very<br />

important year in the progression of CERES as an internationally<br />

well-known research centre. The cooperation with industry<br />

has been taken one step further by starting new research<br />

projects together with our strategic industry partners – projects<br />

that include international research cooperation. We have continued<br />

to develop our strategic research alliances with academic<br />

partners in continental Europe and the Americas, as well as<br />

with our ELLIIT partners in Sweden. Our research capability<br />

has been considerably increased and sharpened by the enrollment<br />

of four new professors: two guest professors, one promoted<br />

professor, and one newly recruited full professor. We have<br />

started up an advanced, distinguished-speaker seminar series,<br />

the Halmstad Colloquium, which helps to put CERES and<br />

Halmstad University on the scientific world map.<br />

All this is part of the ambition to lift CERES one step further<br />

in international reputation and attractiveness as a research<br />

partner. The development programme, named CERES+ and<br />

financed by the Knowledge Foundation, runs over two years<br />

(<strong>2012</strong>-2013). We expect to see the full effects of the ambitious<br />

build-up during the years to come.<br />

Equally important is the development of the research at Halmstad<br />

University as a whole, especially the research in co-production<br />

with industry. This is growing rapidly, also with support<br />

from the Knowledge Foundation, under the name of Research<br />

for Innovation. <strong>2012</strong> was the first year of the University’s status<br />

as a “Foundation Research Centre (KK-miljö)”, a status that,<br />

among other things, opens improved opportunities for interdisciplinary<br />

research initiatives bridging information technology,<br />

health and innovation sciences.<br />

This annual report highlights the most important achievements<br />

within CERES during <strong>2012</strong> and gives brief presentations of<br />

ongoing or recently finished research projects. PhD graduation<br />

and a best paper award were among the things we celebrated in<br />

<strong>2012</strong>. The staff of CERES has made a remarkable job during<br />

<strong>2012</strong> and I am happy to welcome several new, enthusiastic coworkers<br />

joining the crew in the turn of the year to 2013!<br />

Bertil Svensson<br />

Director of CERES<br />

CERES Annual Report <strong>2012</strong><br />

5


Introduction<br />

The Centre for Research on Embedded Systems (CERES) is<br />

a research centre within the School of Information Science,<br />

Computer and Electrical Engineering (School of IDE) at<br />

Halmstad University. The centre was initiated in 2003 and has<br />

been built up in close cooperation with industry and with support<br />

from The Knowledge Foundation.<br />

The scientific focus of CERES is on Cooperating Embedded<br />

Systems, more specifically on enabling solutions for cooperating<br />

and high-performance embedded systems and their applications.<br />

The prioritized applications come from health care,<br />

traffic and transport, and advanced sensing and communication<br />

systems. The research projects provide knowledge (solutions,<br />

theories, methods and tools) to bridge the gap from basic<br />

enabling technologies to application domains. By this, CERES<br />

is intended to increase the competitiveness of Swedish industry.<br />

Main scientific areas<br />

Computer architectures and languages is one main scientific<br />

area. It includes the new opportunities and challenges related<br />

to parallel and reconfigurable systems, particularly their programming,<br />

as well as the development and use of languages<br />

for specific domains. Special attention is given to languages<br />

for modeling and simulation of cyber-physical systems. An<br />

other main area is real-time and wireless communication,<br />

which includes methods for guaranteed real-time services and<br />

dependable information transfer in wired as well as wireless<br />

networks, and also hardware and software technologies to enable<br />

low-power wireless applications. Finally, in distributed<br />

systems, research is concentrated on technologies for coordination<br />

of such systems, for example wireless sensor networks.<br />

CERES is an arena for industrially motivated, long-term research.<br />

In this, CERES serves as a partner for industry’s own<br />

research and development, as a recruitment base for those who<br />

seek staff with cutting-edge knowledge, and as a competence<br />

resource for industry and society. CERES hosts research education<br />

and profiled master and bachelor studies.<br />

CERES plays an important role in the profile and strategic development<br />

of Halmstad University, for example by hosting a<br />

major part of the PhD education in Information Technology<br />

and by being a leading player in the University’s strategic research<br />

initiative, Research for Innovation. Also, with its strong<br />

record of spin-off companies from the embedded systems area,<br />

CERES is considered vitally important for the University’s further<br />

development as a strongly innovation-oriented university.<br />

Zain Ul-Abdin, Kristina Kunert, Jan Duracz, Hoai Hoang Bengtsson<br />

and Anita Pinheiro Sant´ Anna at CERES Open Day where they all<br />

gave talks.<br />

Jonson, humanoid and Walid Taha, professor, expert of cyber-psysical<br />

systems.<br />

Main application areas<br />

Solutions Enabling for embedded Systems systems cooperation are End widely usage applicable.<br />

CERES has chosen to put particular effort into a few.<br />

and<br />

technologies solutions<br />

Applications<br />

business models<br />

The first is health and elderly care, in which “ambient assisted<br />

living” is used as a term for technologies and services to support<br />

elderly people to continue to live an independent and active<br />

life. The second is intelligent traffic and transport systems, in<br />

which cooperative systems can be used for collision avoidance,<br />

intelligent cruise control, more efficient public transportation,<br />

safer and more secure transport of goods, and many other benefits.<br />

Finally, in sensing and communication systems, massively<br />

parallel, cooperating embedded processors are needed for<br />

efficient signal processing in array-antenna based radar systems,<br />

radio base stations and advanced multimedia terminals and<br />

sports equipment.<br />

CERES Research Focus<br />

Cooperating Embedded Systems is the “three-word focus” of<br />

CERES. The cooperation opportunities among and within<br />

embedded systems are enabled by new, emerging technologies.<br />

However, it is not these emerging technologies per se that are in<br />

focus for CERES researchers, rather, it is the solutions for cooperation<br />

on a higher level (in terms of architectures, protocols,<br />

networks, modeling and programming tools, system development<br />

methods, etc.) that are developed, analyzed and applied.<br />

Human care can be further assisted by the use of technology<br />

6 CERES Annual Report <strong>2012</strong>


First year of the “CERES+” Phase<br />

Following up on its six-year support of CERES in the form of<br />

“profile funding”, The Knowledge Foundation in 2011 offered<br />

CERES to qualify for two-year “profile+ funding” during <strong>2012</strong><br />

and 2013. The goal of the new two-year period must be to<br />

further develop the centre’s international research edge and its<br />

international research network, while at the same time maintaining<br />

its focus on industrially relevant research and industrial<br />

collaborations.<br />

Andreas Olofsson, Adapteva, giving a seminar about Epiphany<br />

Manycore Architecture<br />

CERES Research Focus in a Broader Context<br />

Within the School of IDE, CERES is part of a larger, coordinated<br />

research arena within information technology, covering<br />

the entire spectrum from basic, enabling technologies to<br />

end usage and business models, see Figure 1. The right-going<br />

arrows can be understood as “enables” and the left-going as<br />

“demands”. The core expertise of CERES is mainly used in<br />

the two circles meeting in “systems solutions”. In projects performed<br />

in cooperation with industry it is a great asset to CE-<br />

RES to have access to this wide-ranging expertise.<br />

Enabling<br />

technologies<br />

Systems<br />

solutions<br />

Applications<br />

End usage and<br />

business models<br />

Figure 1. Embedded and intelligent systems research, ranging from<br />

enabling technologies, via systems solutions and applications, to<br />

business models.<br />

Over the years, CERES has achieved strong national recognition<br />

and is also attractive as an international partner, for example<br />

in European research projects. In that light, CERES ambition<br />

during the current two-year period is to further establish<br />

itself as an internationally renowned research centre for cooperating<br />

intelligent embedded systems, with a special tip of smart<br />

cooperation and communication, and smart programming<br />

and execution.<br />

For smart cooperation and communication, research in realtime<br />

communication is focusing on the efficiency of interaction<br />

and communication in distributed systems in that it is<br />

characterized by a cross-layer approach. Thus it does not address<br />

the various “layers” of communication solutions in isolation,<br />

but together (“cross-layer design,” or so-called multi-layer<br />

synthesis), including also the application level. This results in<br />

smarter, more tailored cooperating embedded systems that take<br />

into consideration the conditions, application requirements<br />

and limited resources.<br />

For smart programming and execution, research on integrated<br />

parallel computers (“manycores”) focuses on the effectiveness<br />

of the programming and execution of the embedded systems.<br />

Programming techniques appropriate for the application area<br />

are developed, meaning that they should both be effective for<br />

the application programmer and allow for adaptivity and smart<br />

energy saving during execution. The latter requires cooperation<br />

between language and architecture researchers on the one hand<br />

and real-time researchers on the other.<br />

CERES position as a leading actor in embedded systems has<br />

attracted national cooperation in the ELLIIT consortium, consisting<br />

of the universities in Linköping, Lund, Halmstad and<br />

Blekinge. This consortium was selected by the Swedish Government<br />

(in 2009) to achieve long-term extra funding of research<br />

that is considered to be of particular strategic importance to<br />

Sweden. Since 2010 CERES has been performing joint, strategic<br />

research projects together with the other ELLIIT partners.<br />

CERES is also active in international collaborations, the largest<br />

and most important one being the EU Artemis project SMECY<br />

(Smart Multicore Embedded Systems) which has 29 partners<br />

from nine European countries. CERES is national coordinator<br />

for the Swedish part of the consortium. Another positioning<br />

on the international arena is in relation to the European<br />

Telecommunications Standards Institute (ETSI). Researchers<br />

of CERES have become well-known for their expertise in<br />

understanding the characteristics of different communication<br />

standards when applied to inter-vehicle communication for<br />

increased road traffic safety. These researchers have been contracted<br />

by ETSI to be involved in the work towards future European<br />

standards for vehicle-to-vehicle communication.<br />

Ambric Software evaluation board, used by CERES researchers for<br />

programming on multicore processors.<br />

CERES Annual Report <strong>2012</strong><br />

7


Through this focusing, the different CERES skills are taken<br />

advantage of in a more targeted way. It is also an approach<br />

that has its origins in the needs of the applications, which is<br />

pleasing to the industrial partners of CERES, enabling them to<br />

significantly continue to contribute to research. Practical conditions,<br />

requirements and restrictions create interesting strategic<br />

research questions that lead to industry relevant research.<br />

The two-year CERES+ funding started in January <strong>2012</strong>. New<br />

collaborative projects have started together with the most important<br />

industrial partners. In each project there is also cooperation<br />

with foreign, leading international players from both<br />

academia and industry. To further sharpen the profile CERES<br />

has also developed specific cooperative projects and exchanges<br />

with selected academic research centres in the U.S., Europe and<br />

South America. To increase the visibility of CERES and spread<br />

the word about our special expertise and interest to both academia<br />

and industry, recurring seminars on intelligent cooperating<br />

embedded systems have been held with invited speakers of<br />

very high quality. The seminars, known by the name Halmstad<br />

Colloquium, are recorded and made publicly available on the<br />

internet.<br />

Overall, this should lead to Halmstad University not only consolidating<br />

its position as belonging to the country’s leaders in<br />

embedded systems, but is also becoming known and sought<br />

after as a partner at global level in the chosen research edge.<br />

The phase of national recognition, when the centre became<br />

well-known nationally and attracted increasing industry cooperation,<br />

can be seen as the period 2007 – 2010. The phase of<br />

effects on society is when direct and indirect effects of CERES<br />

research and innovation activities can be seen in industry and<br />

society. These effects are mainly achieved through the innovation<br />

support activities of CERES. Results in terms of, e.g., new<br />

companies and innovation centres can be seen from 2009 and<br />

onwards.<br />

The phase of international excellence, finally, is when the<br />

centre is attractive in national and international excellence networks<br />

and joint projects. Initial signs of this phase appeared<br />

during 2011 and continued during <strong>2012</strong>. The efforts in the<br />

CERES+ programme, funded by The Knowledge Foundation<br />

during <strong>2012</strong>-2013, are aimed at strengthening this position<br />

during these years and beyond.<br />

CERES Management during <strong>2012</strong><br />

Management group:<br />

CERES Director:<br />

CERES Vice Director:<br />

CERES Coordinator:<br />

Leadership Group:<br />

Bertil Svensson<br />

Magnus Jonsson<br />

Roland Thörner<br />

The above, plus:<br />

Hoai Hoang Bengtsson,<br />

Tomas Nordström, and<br />

Elisabeth Uhlemann<br />

Bertil Svensson<br />

Magnus Jonsson<br />

Walid Taha introducing Edward A. Lee from UC Berkeley before<br />

he’s giving a seminar at Halmstad Colloquium. The seminars are<br />

published on the Internet. The video from this occasion has been<br />

viewed more than 500 times.<br />

Phases of Development<br />

The development of CERES over a 10 – 15 years period towards<br />

its vision of international excellence and positive effects<br />

on industry and society can be described in terms of four phases:<br />

The build-up phase was when the orientation was defined, the<br />

first partnerships were established, the necessary first recruitments<br />

were done and the co-production projects with industry<br />

all got started. This phase started when CERES was first initiated<br />

in 2001; it continued through the platform years 2003 −<br />

2004 and the first couple of years (2005 – 2007) of the profile<br />

period.<br />

Roland Thörner<br />

Tomas Nordström<br />

Hoai Hoang Bengtsson<br />

Elisabeth Uhlemann<br />

8 CERES Annual Report <strong>2012</strong>


Cooperation with Industry<br />

A group of eight Swedish companies were contracted partners<br />

when CERES was started as a profile. Over the years, these<br />

partners have participated in research projects, often with several<br />

companies in each project. With some of the companies a<br />

long-term, stabile strategic relationship has developed, resulting<br />

in joint strategic recruitments, joint efforts in European research<br />

initiatives, etc. Others have a somewhat less active role,<br />

while yet other companies have joined CERES as partners in<br />

specific projects. At the same time the cooperation with academic<br />

partners, in Sweden and abroad, has developed, sometimes<br />

into long-term strategic alliances.<br />

The number of industrial and academic partners of different<br />

kinds is shown in Figure 2. It shows a steady increase of both<br />

industrial and academic collaboration over the years. From<br />

2010 there is a significant increase in industrial partnership,<br />

due to involvement in a large EU project.<br />

60 <br />

50 <br />

SAAB<br />

SAAB has an established relationship to Halmstad University<br />

dating back to the early 1990-s, and over the years the<br />

cooperation has broadened and deepened. SAAB has benefited<br />

from it not only from the knowledge gained, but also<br />

through recruitment based on the fact that a large number<br />

of PhD students have worked in joint projects.<br />

SAAB’s main aim with the continued collaboration in the<br />

network management area is to create an integrated project<br />

team in which company representatives work together<br />

with academia to address key network management challenges,<br />

rather than establishing separate work packages for<br />

the industry. Our intention is therefore to contribute to<br />

the research activity through a partnership complementing<br />

and benefitting from academic excellence. Within such an<br />

integrated project team, SAAB will act to provide domain<br />

information that characterizes the problem space and sets<br />

long-term goals for network management system behaviour<br />

emanating from our background and ongoing national and<br />

international research and development activities.<br />

http://www.saabgroup.com/<br />

40 <br />

30 <br />

20 <br />

10 <br />

0 <br />

2003 2004 2005 2006 2007 2008 2009 2010 2011 <strong>2012</strong> <br />

Swedish industries and ins8tutes <br />

Swedish universi8es <br />

Foreign industries and ins8tutes <br />

Foreign universi8es <br />

Figure 2: Number of partners of different kinds in CERES research<br />

projects 2003 – 2011<br />

An important part of the CERES+ programme <strong>2012</strong>-2013 is<br />

to extend and deepen the research cooperation with the strategic<br />

industrial partners.<br />

This is how these partners motivate their continued participation<br />

in the CERES research programme:<br />

Free2move<br />

Free2move has earlier had an industrial PhD student within<br />

CERES, who has now graduated and works in the company.<br />

Signal processing and architectures for low power signal<br />

processing is a core competence for the company. In order<br />

to be able to develop products pushing state-of-the-art, we<br />

need to be involved in research in these fields. The company<br />

is developing communication products for the outdoor<br />

market with novel functionality. There is an increasing<br />

demand for high audio quality and long battery lifetime<br />

for these devices. One of the most prioritized issues is to<br />

find and learn how to use architectures for our processing<br />

needs that, through massive parallelism at low clock rates,<br />

are much more energy efficient than the more traditional<br />

approaches used today.<br />

http://www.free2move.se<br />

Volvo Group Advanced Technology & Research<br />

Over the past six years, Volvo Group Advanced Technology<br />

& Research has participated in the CERES program,<br />

through which we have gained in-depth knowledge of cooperating<br />

embedded systems and wireless real-time communication.<br />

The cooperation with Halmstad University, combined<br />

with our participation in European research projects<br />

such as CVIS, Safespot and PRE_DRIVE C2X, has given<br />

Volvo a knowledge platform on which to build future cooperative<br />

Intelligent Transport Systems and services, for more<br />

efficient, safer and more environmentally friendly transport.<br />

Our goal with the continuation of the CERES cooperation<br />

is to continue to deepen our knowledge of the subject area<br />

along with Halmstad University, in order to be able to make<br />

important contributions to the on-going European standardization<br />

in the field of ITS.<br />

http://www.volvogroup.com<br />

CERES Annual Report <strong>2012</strong><br />

9


Funding<br />

During the first years of CERES, The Knowledge Foundation was of course the dominating funding source. This is seen in the<br />

diagram of Figure 3 as the blue and red parts of the bars. Over the years, this situation has changed − due to increased funding from<br />

other sources − so that in later years the funding from The Knowledge Foundation amounts to about one third of the total research<br />

funding. The most important other financing sources are VINNOVA, the European Union, and the government’s strategic research<br />

initiative within ICT.<br />

18 000 <br />

16 000 <br />

14 000 <br />

12 000 <br />

10 000 <br />

8 000 <br />

6 000 <br />

4 000 <br />

2 000 <br />

0 <br />

2003 2004 2005 2006 2007 2008 2009 2010 2011 <strong>2012</strong> <br />

KK pla0orm or profile or profile+ Other KK funding Other external funding HH internal funding <br />

Figure 3: Research funding (in KSEK) from The Knowledge Foundation (KK), other external funding, and internal funding, 2003<br />

– <strong>2012</strong>.<br />

CERES Funding <strong>2012</strong><br />

CERES Funding <strong>2012</strong> KSEK<br />

Profile+ funding from The Knowledge Foundation 5 000<br />

Other funding from The Knowledge Foundation 420<br />

Other external funding 5 960<br />

Internal funding, Halmstad University 5 494<br />

Sum 16 874<br />

Figure 4: Financing of CERES research during <strong>2012</strong>. Only cash financing<br />

is shown. The additional in-kind financing from industrial<br />

partners during <strong>2012</strong> amounts to approximately 2 500 KSEK.<br />

Internal funding, <br />

Halmstad <br />

University <br />

Profile+ funding <br />

from The <br />

Knowledge <br />

Founda6on <br />

Other external <br />

funding <br />

Other funding <br />

from The <br />

Knowledge <br />

Founda6on <br />

Figure 5. Financing of CERES research<br />

during <strong>2012</strong>. Distribution among funders.<br />

Other external funding consist of EU,<br />

SSF, ELLIIT, VINNOVA and others.<br />

10 CERES Annual Report <strong>2012</strong>


Personell<br />

Jonsson, Magnus<br />

Prof., Ph.D<br />

Prof., Real-time Computer Systems<br />

Vice Director of CERES<br />

Magnus.Jonsson@hh.se<br />

Larsson, Tony<br />

Prof., Ph.D.<br />

Prof., Embedded Systems<br />

Uhlemann, Elisabeth<br />

Ph.D. E.E.<br />

Associate Prof., Communication<br />

Systems<br />

Elisabeth.Uhlemann@hh.se<br />

Wickström, Nicholas<br />

Ph.D. C.E.<br />

Associate Prof., Computer Systems<br />

Tony.Larsson@hh.se<br />

Bertil Svensson<br />

Prof., Ph.D.<br />

Prof., Computer Systems Engineering<br />

Director of CERES<br />

Nicholas.Wickstrom@hh.se<br />

Bengtsson, Jerker<br />

PhD. C.E.<br />

Assistant Prof., Computer Architecture<br />

Bertil.Svensson@hh.se<br />

Walid Taha<br />

Prof., Ph.D.<br />

Prof., Computer Science<br />

walid.taha@hh.se<br />

Nordström, Tomas<br />

Prof., Ph.D.<br />

Prof., Computer Engineering<br />

tomas.nordstrom@hh.se<br />

Hammerstrom, Dan<br />

Prof., Ph.D.<br />

Guest Prof., Computer Architecture<br />

Hoang Bengtsson, Hoai<br />

Ph.D. C.E.<br />

Assistant Prof., Computer Systems Engineering<br />

Hoai.Hoang@hh.se<br />

Ul-Abdin, Zain<br />

Ph.D. C.E.<br />

Post Doc, Computer Science & Engineering<br />

Zain-ul-Abdin@hh.se<br />

Kunert, Kristina<br />

Ph.D. C.E.<br />

Post doc, Comp.Eng./Data Comm.<br />

Kristina.Kunert@hh.se<br />

Gaspes, Verónica<br />

Ph.D. C.S.<br />

Assoc. Prof., Computer Science<br />

Nilsson, Björn<br />

Ph.D. C.E.<br />

Lecturer, Computer Engineering<br />

(part time)<br />

Veronica.Gaspes@hh.se<br />

CERES Annual Report <strong>2012</strong><br />

11


Duracz, Jan<br />

Ph.D. C.S.<br />

Postdoc Computer Science<br />

Nilsson, Emil<br />

Lic.Tech.,E.E.<br />

Research Engineer Electronics<br />

jan.duracz@hh.se<br />

Bilstrup, Urban<br />

Ph.D. C.E.<br />

Lecturer, Computer Engineering/<br />

Wireless Communication<br />

Urban.Bilstrup@hh.se<br />

Emil.Nilsson@hh.se<br />

Weckstén, Mattias<br />

Lic.Tech.,C.S.<br />

Lecturer, Computer Engineering<br />

Mattias.Wecksten@hh.se<br />

SantAnna, Anita<br />

PhD Signals and Systems<br />

Postdoc Cyber-physical Systems<br />

Sjöberg, Katrin<br />

Lic.Tech. Signals and Systems<br />

Ph.D. stud,. Signals and Systems<br />

anita.santanna@hh.se<br />

Atkinson,Kevin<br />

PhD C. S.<br />

Post-doctoral Fellow<br />

Hertz, Erik<br />

Lic.Tech., Eng.<br />

Research Engineer<br />

kevin.atkinson@hh.se<br />

Masood, Jawad<br />

PhD Mechanical Engineering<br />

Postdoctoral Researcher Cyber-physical<br />

Systems<br />

jawad.masood@hh.se<br />

Lidström, Kristoffer<br />

Lic.Tech, C.E.<br />

Ph.D. stud., Information Technology<br />

Graduated February <strong>2012</strong><br />

erik.hertz@hh.se<br />

Eldemark, Hans-Erik<br />

M.Sc. E.E.<br />

Lecturer, Computer Engineering and<br />

Innovation Engineering<br />

Hans-Erik.Eldemark@hh.se<br />

Parsapoor, Mahboobeh<br />

M.Sc. EIS<br />

Research Engineer<br />

mahboobeh.parsapoor@hh.se<br />

Böhm, Annette<br />

Lic.Tech. C.E.<br />

Ph.D. stud., Computer Science and<br />

Engineering<br />

Annette.Bohm@hh.se<br />

Hoang, Le-Nam<br />

M.Sc.<br />

Ph.D. stud., Computer Science and<br />

Engineering<br />

le-nam.hoang@hh.se<br />

12 CERES Annual Report <strong>2012</strong>


Duracz, Adam<br />

M. Sc. C. S.<br />

PhD Student Computer Science and<br />

Engineering<br />

adam.duracz@hh.se<br />

Gebrewahid, Essayas<br />

M. Sc. C.E.<br />

Ph.D.Stud., Computer Science and<br />

Engineering<br />

essayas.gebrewahid@hh.se<br />

de Morais, Wagner<br />

M.Sc. C.E.<br />

Ph.D. stud., Computer Science and<br />

Engineering<br />

wagner.demorais@hh.se<br />

Thörner, Roland<br />

M.Sc. Informatics<br />

Project coordinator<br />

Bornhager, Malin<br />

B.Sc. C.E.<br />

Lecturer<br />

Malin.Bornhager@hh.se<br />

Torstensson, Olga<br />

M.Sc.<br />

Lecturer<br />

Olga.Torstensson@hh.se<br />

Heimer, Philip<br />

B.Sc.<br />

Lecturer<br />

philip.heimer@hh.se<br />

Lithén, Thomas<br />

Engineer<br />

Research engineer<br />

roland.thorner@hh.se<br />

thomas.lithen@hh.se<br />

Dellstrand, Börje<br />

M.Sc. E.E.<br />

Lecturer<br />

Månsson, Nicolina<br />

M.Sc.<br />

Lecturer<br />

Nicolina.Mansson@hh.se<br />

Erlandsson, Stella<br />

B.Sc. Innov. Eng.<br />

Project manager, Liaison officer<br />

stella.erlandsson@hh.se<br />

CERES Annual Report <strong>2012</strong><br />

13


Highlights <strong>2012</strong><br />

Halmstad Colloquium<br />

The Halmstad Colloquium is a distinguished speaker series<br />

hosted by the School of Information Science and Computer<br />

& Electrical Engineering at Halmstad University. The speakers<br />

are invited from universities around the world to talk about<br />

topics in the areas of embedded and intelligent systems, cyber<br />

physical systems, and related areas. The colloquium is an activity<br />

of CERES and CAISR (Centre for Applied Intelligent<br />

Systems Research).<br />

CERES Open Day<br />

The annual CERES Open Day was held on November 7th.<br />

The day, as usual, attracted many visitors from industry and<br />

academic partners, who could listen to an invited talk by Hans-<br />

Peter Schwefel, Scientific Director at FTW, Vienna, Austria,<br />

and see demonstrations of ongoing research at CERES. Oral<br />

presentations were given by the young researchers of CERES:<br />

Hoai Hoang Bengtsson, Anita Pinheiro Sant’Anna, Jan Duracz,<br />

Kristina Kunert, and Zain-ul-Abdin. A talk on dark silicon<br />

and heterogeneous manycore processors by the newest professor<br />

of CERES, Tomas Nordström concluded the day.<br />

During <strong>2012</strong> Halmstad Colloquium had the pleasure to welcome:<br />

Edward A. Lee, UC Berkeley<br />

Charles Consel, INRIA<br />

Steven Shladover, ITS Berkeley<br />

Aaron Ames, Texas A&M University<br />

IEEE Workshop on Vehicular Communications<br />

On behalf of the IEEE Vehicular Technology Society and the<br />

VT/COM Sweden Chapter Board, CERES organized a oneday<br />

Workshop on Wireless Vehicular Communications on November<br />

30, <strong>2012</strong> with around 40 participants. The workshop<br />

featured an invited speaker, Andreas Festag from NEC, Germany,<br />

funded by the IEEE VTS, as well as presentations by senior<br />

researchers from Lund, Chalmers and Halmstad Universities.<br />

Participants came from Lund, Chalmers, Blekinge Institute of<br />

Technology, Tampere University of Technology, SP Technical<br />

Research Institute of Sweden, Volvo Cars, Volvo Group Trucks<br />

Technology, Ericsson Research, Qamcom Research and Technology,<br />

and Kapsch TrafficCom. The host was Dr. Elisabeth<br />

Uhlemann, CERES.<br />

Karl-Erik Årzén, LTH<br />

Claus Führer, LTH<br />

Invited speaker Andreas Festag<br />

14 CERES Annual Report <strong>2012</strong>


Halmstad University now a Foundation Research<br />

Centre<br />

Effective January 1st, <strong>2012</strong>, Halmstad University is now a<br />

Foundation Research Centre (Swedish: KK-miljö), meaning<br />

that a ten-year contract has been signed concerning support of<br />

the long-term development of strategic research at the University.<br />

The investment will be made in the areas of information<br />

technology, especially embedded intelligent systems, further in<br />

innovation sciences and in health and lifestyle – as well as, not<br />

least, interdisciplinary research involving all three areas. The<br />

long-term further development of CERES is of course expected<br />

to benefit from this venture, and the CERES research centre is<br />

now part of this over-arching initiative, named Research for<br />

Innovation.<br />

Second Summer School on Accurate Programming<br />

On May 30 – June 1, <strong>2012</strong>, CERES organized the second<br />

summer school on accurate programming. The school attracted<br />

around 20 participants including 8 from industry: HMS,<br />

Etteplan and Bombardier. Lectures and tutorials were offered<br />

by Veronica Gaspes (CERES), John Hughes (Chalmers and<br />

QuviQ), Rex Page (Oklahoma University) and Walid Taha<br />

(CERES). The topics of the school include property based testing<br />

and test-driven software development. The tools used include<br />

Erlang, Scala, Quickcheck and Scalacheck.<br />

New Industrial Graduate School<br />

In December <strong>2012</strong>, The Knowledge Foundation decided to finance<br />

an industrial graduate school with eight PhD students,<br />

all employed in industry but being trained at Halmstad University<br />

and participating in joint academic/industrial research.<br />

The goal of the industrial graduate school, named Embedded<br />

and Intelligent Systems Industrial Graduate School (EISIGS),<br />

is to provide the right environment for producing qualified,<br />

independent researchers (PhDs) that understand, advance, and<br />

champion embedded and intelligent systems research. It aims<br />

to strengthen Swedish industry by training doctoral-level researchers<br />

that have both technical depth and a broad understanding<br />

of industrial requirements and innovation processes.<br />

In particular, recognizing the importance of a firm’s ability to<br />

innovate and transform innovation to new business opportunities,<br />

an emphasis on innovation pervades the school’s entire<br />

program. To realize the emphasis on innovation, the graduate<br />

school will be managed and run in cooperation with researchers<br />

in Halmstad University’s Center for Innovation, Entrepreneurship<br />

and Learning Research (CIEL), which is also a leading<br />

player in the Research for Innovation initiative.<br />

PhD students and partners from industry attending a course in<br />

accurate programming<br />

Second Workshop on Design, Modeling and Evaluation<br />

of Cyber Physical Systems (CyPhy’12)<br />

On June 6 – 8, <strong>2012</strong>, CERES hosted CyPhy’12. The workshop<br />

was attended by researchers from Alfaisal University, Aston<br />

University, Halmstad University, Linköping University, Texas<br />

A&M University, and University of Twente.<br />

Best paper Award<br />

At the 9th IEEE International Workshop on Factory Communication<br />

Systems – Communication in Automation (WFCS<br />

<strong>2012</strong>) in Lemgo/Detmold, Germany, May 21-24, <strong>2012</strong>, the<br />

CERES contribution “Deterministic real-time medium access<br />

for cognitive industrial radio networks” was honoured with the<br />

Best Paper Award in the category Work in Progress Papers. The<br />

paper was authored by Kristina Kunert, Magnus Jonsson,<br />

and Urban Bilstrup.<br />

11th meeting of the IFIP Working Group 2.11<br />

On June 25-27, <strong>2012</strong>, CERES hosted the 11th meeting of the<br />

IFIP working group 2.11. The working group collects excellent<br />

researchers in the area of program generation. The meeting was<br />

attended by around 30 attendees and included more than 20<br />

presentations as well as a number of discussions.<br />

CERES Annual Report <strong>2012</strong><br />

15


International Cooperation in Prestigious National<br />

Science Foundation Project<br />

The US NSF project “A CPS Approach to Robot Design", with<br />

Halmstad/CERES and Rice University professor Walid Taha as<br />

principal investigator was granted funding from the National<br />

Science Foundation. Professor Taha's group at Halmstad has<br />

hosted one post-doctoral fellow working on the development<br />

of Acumen, Kevin Atkinson, and also hosted a member of the<br />

"Halmstad Group" NAO robots called Jonson. The development<br />

of Acumen is currently supported by this US NSF project,<br />

base funding from Halmstad University, and a CERES+<br />

project co-funded by the Swedish KK foundation. The NSF<br />

project supports one PhD student, Yingfu Zeng, who graduated<br />

from Halmstad University and started his PhD studies at<br />

Rice in <strong>2012</strong>. Halmstad/CERES is also hosting Prof. Robert<br />

Cartwright from Rice University, who is also involved in leading<br />

the project. Halmstad University has also developed and<br />

offered a Cyber-Physical Systems (CPS) course that was first<br />

proposed within and is closely coordinated with this project.<br />

In the summer of 2013, two PhD students from Rice University<br />

will be visiting Halmstad to use Acumen to develop<br />

models of different types of robots representative of the type<br />

of robots developed by Professors O'Malley (Rice) and Ames<br />

(Texas A&M).<br />

More information about the project can be found here: http://<br />

www.effective-modeling.org/p/robot-design.html . Here is a<br />

summary of first year results: http://cps-vo.org/node/5938<br />

CERES at Embedded Conference Scandinavia<br />

As previous year CERES took part in the Embedded Conference<br />

Scandinavia in Stockholm. Hoai Hoang Bengtsson, Zainul-Abdin<br />

and Urban Bilstrup gave appraised talks. At the conference,<br />

held in early October, Halmstad University succeeded<br />

one more time to win the Swedish Embedded Award (student<br />

category), this time with the project “Smartbeat” developed by<br />

Robert Bäckström and Isak Ladeborn.<br />

One of the students, Isak Ladeborn from Halmstad University,<br />

in the winning team at Student Embedded Award, together with<br />

Hans-Erik Eldemark, Halmstad University and Professor em Bengt<br />

Magnhagen in the Competition Committee.<br />

Jonson and Walid Taha<br />

Lorentzon<br />

The winners of Student Embedded Award <strong>2012</strong>,<br />

Robert Bäckström and Isak Ladeborn<br />

Aaron D. Ames<br />

Marcia O’Malley<br />

16 CERES Annual Report <strong>2012</strong>


Ph D Graduation<br />

Situation-Aware Vehicles<br />

Supporting the Next Generation of Cooperative Traffic Systems<br />

KRISTOFFER LIDSTRÖM<br />

PhD thesis, Örebro University<br />

Main supervisor: Tony Larsson (Halmstad University)<br />

Co-supervisors Mathias Broxvall Örebro Universitet<br />

Opponent: Dr. Steven Shladover, University of California at Berkeley, Berkeley, USA<br />

Grading Committee: Professor Claes Beckman, Center for Wireless Systems, Royal Institute<br />

of Technology KTH, Kista, Stockholm, Professor Simin Nadjm-Tehrani, Real-Time Systems<br />

lab, Department of Computer and Information Science, Linköping University<br />

Docent Paolo Falcone, Signals and Systems, Chalmers Institute of Technology, Göteborg<br />

Wireless communication between road vehicles enables a range<br />

of cooperative traffic applications including safety, efficiency<br />

and comfort functions. A common characteristic of the envisioned<br />

applications is that they act on environmental information<br />

to intepret traffic situations in order to provide the driver<br />

with warnings or recommendations. In this thesis we explore<br />

both the detection of hazardous traffic situations in order to<br />

provide driver warnings but also the detection of situations in<br />

which the cooperative system itself may fail.<br />

The first theme of this thesis investigates how traffic<br />

safety functions that incorporate cooperatively exchanged<br />

information can be constructed so that they become resilient<br />

to failures in wireless communication. Inspired by how human<br />

drivers coordinate with limited information exchange,<br />

the use of pre-defined models of normative driver behavior is<br />

investigated by successfully predicting driver turning intent at<br />

an intersection using mobility traces extracted from video recordings.<br />

Furthermore a hazardous driving warning criterion<br />

based on model switching behavior is proposed and evaluated<br />

through test drives. Maneuvers classified as hazardous in the<br />

tests, such as swerving between lanes and not braking for traffic<br />

lights, are shown to be correctly detected using the criterion.<br />

Whereas robust coordination mechanisms may mask communication<br />

faults to some degree, severe degradations in communication<br />

are still expected to occur in non-line-of-sight conditions<br />

when using wireless communication at 5.9 GHz.<br />

The second theme of the thesis explores how communication<br />

performance can be efficiently logged, gathered<br />

and aggregated into maps of communication quality. Both innetwork<br />

aggregation as well as centralized aggregation is investigated<br />

using vehicles in the network as measurement probes<br />

and the feasibility of the approach in terms of bandwidth and<br />

storage requirements is shown analytically. In conjunction with<br />

a proposed communication quality requirements format, tailored<br />

specifically for vehicle-to-vehicle applications, such maps<br />

can be used to enable application-level adaptation in response<br />

to situations where quality requirements likely cannot be met.<br />

Dr. Kristoffer Lidström<br />

CERES Annual Report <strong>2012</strong><br />

17


Four New Professors<br />

Towards the end of <strong>2012</strong>, four new professors at CERES were appointed:<br />

Tomas Nordström was, by the Faculty Board and the Vice Chancellor, promoted docent and professor and is, from November <strong>2012</strong>,<br />

Professor of Computer Engineering at Halmstad University.<br />

Mohammad Mousavi was recruited as new professor. He comes from TU Eindhoven in the Netherlands and was, by the Vice Chancellor,<br />

appointed professor at Halmstad University in November <strong>2012</strong>. He starts his employment as Professor of Computer Systems<br />

Engineering in March 2013.<br />

Robert “Corky” Cartwright was appointed Guest Professor in Computer Science at Halmstad University. He is professor at Rice<br />

University, TX, USA, and will spend the full year 2013 with CERES at Halmstad University. The visit is funded by The Knowledge<br />

Foundation.<br />

Alexey Vinel was appointed Guest Professor in Real-Time Communication at Halmstad University. He holds a position at Tampere<br />

University of Technology and will be part-time at Halmstad University during 2013 – 2014. The visit is funded by The Knowledge<br />

Foundation.<br />

Robert “Corky” Cartwright<br />

Robert “Corky” Cartwright is Professor of Computer Science at Rice University. He earned a bachelor’s degree magna cum laude<br />

in Applied Mathematics from Harvard College in 1971 and a doctoral degree in Computer Science from Stanford University in<br />

1977 under the supervision of David Luckham and John McCarthy. After serving as an Assistant Professor at Cornell University<br />

from 1976 to 1980, he joined the faculty of Rice University, where he helped found the Computer Science Department in 1984.<br />

He has been a tenured member of the Rice faculty since 1981.<br />

For the past 40 years, Professor Cartwright has conducted fundamental research on the theory, design, and implementation of<br />

programming languages. His early work focused on formalizing functional programs as definitions extending a first order theory<br />

of the program data, enabling proofs of correctness by simple structural induction. He subsequently extended this framework to<br />

encompass higher order data by allowing data constructors to be lazy (non-strict). In the process, he identified the constructive<br />

reals as an interesting case study in higher order data definition and did seminal research (with Hans Boehm) on the definition<br />

and implementation of exact real arithmetic. This line of research culminated in the construction a comprehensive framework<br />

(with M. Felleisen and P.L. Curien) for formalizing the semantics of arbitrary deterministic interactive computations.<br />

In a quest to make program verification more tractable, Prof. Cartwright recognized that many program invariants could be<br />

expressed as types in a sufficiently rich type system. So he suggested enriching type systems beyond the limits that can be enforced<br />

by a compiler and dubbed the resulting type systems “soft type systems”. He and his graduate students developed tractable algorithms<br />

(based on unification) for inferring the correctness of soft typing annotations for functional programs.<br />

More recently, Professor Cartwright’s research has focused on improving the languages and tools used in mainstream software<br />

engineering, notably Java. Together with Guy Steele, he designed an extension of Java called NextGen that supports first-class generics<br />

(classes and methods parameterized by type) while retaining compatibility with the Java Virtual Machine. He is currently<br />

collaborating with Walid Taha on developing better linguistic frameworks built on top of the Java Virtual Machine for specifying<br />

and simulating cyber-physical systems such as robots.<br />

Professor Cartwright has a passionate interest in improving introductory computer science curricula. To this end, he has served<br />

on numerous committees formed by the College Board and the ACM, culminating in his appointment to the ACM Education<br />

Board from 1997 to 2006. At Rice, he led (with Zung Nguyen and Stephen Wong) the development of an object-oriented<br />

programming curriculum based on data-directed design using design patterns. To support this curriculum, he supervised the<br />

development of an open-source pedagogic programming environment called DrJava which has been adopted by many other<br />

colleges and universities.<br />

Throughout his career, Professor Cartwright has been active in professional service including serving on the editorial boards;<br />

serving as general chair, program chair, or program committee member for major research conferences; serving on the ACM<br />

Turing Award Committee; and serving as a member of the Board of Directors of the Computing Research Association. In 1998,<br />

he was elected as a Fellow of the ACM.<br />

18 CERES Annual Report <strong>2012</strong>


Mohammad Mousavi<br />

Mohammad Mousavi (born on July 3, 1978 in Tehran) is a professor of Computer Systems<br />

Engineering and specializes in model-based testing and verification.<br />

Mohammad received his Ph.D. in Computer Science in 2005 from from Eindhoven University<br />

of Technology (TU/e), the Netherlands, under the supervision of Jan Friso Groote<br />

(TU/e) and Gordon Plotkin (Edinburgh). Since then, he has been assistant professor at<br />

the Department of Electrical Engineering at TU/e, postdoctoral researcher at Reykjavik<br />

University, Iceland, assistant and associate professor at the Department of Computer Science<br />

at TU/e.<br />

Mohammad has been involved in several national and European research projects and is<br />

the (co-)author of more than 80 chapters and scientific papers in refereed books, journals<br />

and conference proceedings.<br />

Mohammad has been the guest editor of special issues for Science of Computer Programming<br />

(Elsevier) and Innovations in Systems and Software Engineering (Springer).<br />

Mohammad Mousavi<br />

Tomas Nordström<br />

Tomas Nordström received the M.S.E.E. degree in 1988, the licentiate degree in 1991, and<br />

the Ph.D. degree in 1995, all from Luleå University of Technology, Sweden.<br />

His PhD Thesis “Highly Parallel Computers for Artificial Neural Networks” is linking the<br />

two scientific areas computer engineering and signal processing, between which he has<br />

been moving ever since.<br />

Between 1996 and 1999, he was with Telia Research (the research branch of the Swedish<br />

incumbent telephone operator) where he developed broadband Internet communication<br />

over twisted copper pairs. He also became Telia’s leading expert in speaker verification<br />

during these years. In December 1999, he joined the FTW Telecommunications Research<br />

Center Vienna, Austria, where he has been working as a Key Researcher in the field of<br />

“broadband wireline access.”<br />

In 2009 he got a position as an Associate Professor in computer systems engineering at<br />

Halmstad University (HH), Sweden. At HH he has returned to the area of computer architecture<br />

and his current research interests include all aspects of energy-efficient embedded<br />

computers. Since <strong>2012</strong> he holds a full Professor position in Computer Engineering and is<br />

building up a research group focusing on heterogeneous many-core architectures. Additionally,<br />

he will also be engaged in exploring novel non-conventional computing and communication<br />

concepts, like hierarchical temporal memory, a new machine learning concept,<br />

and the use of nano-communication for wireless network-on-chip communication.<br />

Tomas Nordström<br />

Photo: FTW<br />

Alexey Vinel<br />

Alexey Vinel (born on February 7, 1983 in Leningrad) is a guest professor in data communications<br />

and specializes in intelligent transportation systems and performance evaluation<br />

of wireless networks. Alexey received his Ph.D. degree (candidate of science) in technical<br />

sciences from the Institute for Information Transmission Problems, Russian Academy of<br />

Sciences, Moscow in 2007. He has been a researcher at the Department of Electronics and<br />

Communications Engineering, Tampere University of Technology, Finland since 2010.<br />

Alexey is the (co-)author of scientific papers in recognized journals (e.g. IEEE JSAC, IEEE<br />

TVT, etc.) and conference proceedings. He is a member of organizing (e.g. General Chair<br />

of ITST-2011) and technical committees of many international conferences. He has been<br />

a Senior Member of IEEE and Associate Editor for IEEE Communications Letters since<br />

<strong>2012</strong>. Alexey Vinel<br />

CERES Annual Report <strong>2012</strong><br />

19


Extended Abstracts<br />

JUMP - Jump to Manycore Platforms<br />

JUMP - The JUmp to Manycore Platforms<br />

Anders Åhlander (SAAB), Bertil Svensson (HH), Hoai Hoang Bengtsson (HH/SAAB), Per Ericsson (SAAB),<br />

Per-Arne Wiberg (F2M), Suleyman Sava (F2M), and Zain-ul-Abdin (HH)<br />

1 Challenges<br />

Development of advanced embedded signal processing systems,<br />

such as smart phones, multimedia devices, radio base<br />

stations, and radar systems require high performing parallel<br />

computer platform solutions. Although the specific design and<br />

implementation requirements of the different kinds of applications<br />

within this domain are not the same, they share many<br />

functional characteristics and typically require performance-,<br />

cost- and engineering efficient development solutions in order<br />

to be competitive on the commercial market.<br />

The consensus today is that increased parallelism in various<br />

forms is the main way ahead for providing significant performance<br />

improvement in advanced computing systems while<br />

keeping the energy consumption and heat dissipation under<br />

control [1]. Manycore processor architectures offer scalable<br />

parallelism and the performance needed for implementation of<br />

the functionality required in high-end embedded sensor- and<br />

communication systems. However, the increasing programming<br />

complexity of such highly parallel computing technology<br />

will to a large degree affect existing product development and<br />

in particular software development processes. Industry need<br />

to take a jump in terms of re-targeting from existing software<br />

development solutions to solutions compatible with evolving<br />

manycore platforms, i.e., not just one parallel platform but a<br />

sequence of ever more parallel architectures.<br />

The main challenge ahead for industry is how to efficiently<br />

perform the technology shift from current application hardware<br />

platforms to future generations of platforms including<br />

heterogeneous manycore technology. The scientific challenge<br />

is to reconcile two conflicting needs: development productivity<br />

and performance efficiency. Software portability, program<br />

correctness and programmer productivity all demand that programs<br />

are written in a high-level language capable of expressing<br />

application-level parallelism while abstracting away platform<br />

dependent physical parallelism. In contrast, performance efficiency<br />

is traditionally better achieved by developing code tuned<br />

for the specific target hardware. Software development tools<br />

need to bridge this gap.<br />

2 Goals<br />

The overall goal of the project is to investigate and develop<br />

programming and development technologies enabling the efficient<br />

design and programming of highly integrated embedded<br />

manycore systems. This will in particular deal with embedded<br />

signal processing systems where traditional generic processor<br />

architectures and their corresponding programming models are<br />

not efficient enough to meet the required performances and/or<br />

other non-functional system properties. The project will focus<br />

on studying new performance- and energy-efficient manycore<br />

processors and developing new parallel programming tools with<br />

the aims to,<br />

• enable engineering-efficient development and power efficient<br />

implementations,<br />

• support platform independency and hardware/software<br />

scalability, and<br />

• present solutions that can evolve with future manycore<br />

architectures.<br />

A concrete objective in order to demonstrate the approach is<br />

to develop a convenient programming tool for the Adapteva<br />

manycore used in signal processing (radar signal processing and<br />

video encoding).<br />

3 Engagement<br />

3.1 Halmstad University (HH)<br />

HH will focus on (i) investigation of trends in processing architectures<br />

suitable for high-performance embedded signal processing<br />

and, in particular on (ii) investigation of programming<br />

and scheduling tools for scalable, platform independent signal<br />

processing software development on manycore hardware. Important<br />

parts of (ii) are intermediate languages and models of<br />

computation.<br />

3.2 SAAB<br />

SAAB will focus on investigating future trends in application<br />

requirement and how the manycore capability meets the performance<br />

requirements of future signal processing systems. In<br />

particular, SAAB is interested in:<br />

• Scalable, heterogeneous, and reconfigurable parallel architectures<br />

for complex multi-function radar systems.<br />

• Software models, which are scalable and reusable for different<br />

parallel architectures.<br />

• How to minimize the impact on the application’s nonfunctional<br />

behaviour when changing hardware platform.<br />

3.3 Free2move (F2M)<br />

F2M will focus on research questions related to energy efficiency.<br />

F2M’s core interest is handheld or wearable communication<br />

devices for sports and harsh environments. The latest<br />

generation manycore architectures have promising properties.<br />

The programming tool chain is however lagging behind. F2M’s<br />

particular interests are:<br />

• Low power signal processing for voice and video streaming<br />

• Exploration of the mapping of video codecs on the low<br />

power floating-point manycore architecture.<br />

3.4 International Engagement<br />

• The project will have active involvement from Adapteva<br />

Inc., a privately held fabless semiconductor company<br />

based in Lexington, Massachusetts. Adapteva has developed<br />

maybe the world’s most energy efficient manycore<br />

microprocessor and is in the process of scaling this up to<br />

hundreds of processors. The company’s technology thus<br />

offers high performance at very low power, which is exactly<br />

what is asked for by the industrial partners in the<br />

project. Adapteva will supply the project with hardware,<br />

software development tools, and detailed knowledge of the<br />

20 CERES Annual Report <strong>2012</strong>


characteristics of the architectures. The close contacts with<br />

the company will enable the researchers to get a more accurate<br />

view of the expected up-scaling and other development<br />

of manycore architectures.<br />

• The project will make use of the established connections<br />

with other partners from SMECY project such as Verimag/<br />

UFJ (Universite Joseph Fourier) and open new connection<br />

with other potention partner in Europe: ETH Zurich.<br />

4 Working Plan<br />

The complexity of future embedded manycore systems development<br />

requires an overall strategy establishing a close interaction<br />

between applications, programming models and hardware<br />

architecture platforms. The project is organized into three work<br />

packages:<br />

4.1 WP1. Studies of challenges in future signal processing<br />

applications<br />

An important aspect when it comes to the applications is the<br />

trend, i.e., the way that the requirements increase over time.<br />

We must find application development solutions for manycore<br />

platforms that can manage a continuous increase of the<br />

signal processing requirements. The requirements come from<br />

increased raw performance demands and/or performance per<br />

watt demand, as well as increased functional complexity. The<br />

objective of this WP is to give the application requirements<br />

needed to study how/if many-cores can increase the processor<br />

performance and allow the implementation of new features requested<br />

by future DSP applications. Outcome of this WP can<br />

be used as input for WP2 and WP3.<br />

4.2 WP2. Investigation of potential hardware architectures<br />

for future signal processing applications<br />

The key objective of this work package is to analyze the important<br />

trends in massively parallel processor architectures that<br />

could be used for future embedded signal processing applications.<br />

The investigations in this work package will focus on<br />

identifying the salient characteristics of the selected architectures:<br />

Adapteva, CoherentLogix and ElementCXI.<br />

Partners<br />

Halmstad University (HH)<br />

SAAB AB, business area electronic defence systems (SAAB)<br />

Free2move AB (F2M)<br />

Adapteva, Inc. (AI)<br />

Duration and Financial<br />

The project will run over 2 years (Sept 2011 – August 2013)<br />

Project size: ca 4.5 MSEK or more<br />

HH: 3.0 MSEK (=67%), funded by KKS (CERES+)<br />

SAAB EDS: 900 KSEK (=20%) in kind<br />

F2M: 600 KSEK (13%) in kind<br />

Adapteva: TBD (not counted as matching to KKS)<br />

References<br />

1. K. Asanovic, R. Bodik, B. C. Catanzaro, J. J. Gebis, P.<br />

Husbands, K. Keutzer, D. A. Patterson, W. L. Plishker, J.<br />

Shalf, S. W. Williams and K. A. Yelick, ”The Landscape<br />

of Parallel Computing Research: A View from Berkeley”,<br />

Technical Report No. UCB/EECS-2006-183, EECS Department
,<br />

University of California, Berkeley, Dec 18,<br />

2006<br />

2. Yury Markovskiy, Eylon Caspi, Randy Huang, Joseph<br />

Yeh, Michael Chu, John Wawrzynek, and André DeHon,<br />

“Analysis of Quasi-Static Scheduling Techniques in a Virtualized<br />

Reconfigurable Machine”, In Proceedings of the<br />

Tenth ACM International Symposium on Field-Programmable<br />

Gate Arrays (FPGA 2002), Monterey CA, pp. 196-<br />

-205, Feb. 24--26, 2002.<br />

3. J. Eker, J. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S.<br />

Sachs, Y. Xiong, “ Taming heterogeneity - the Ptolemy approach”,<br />

Proceedings of the IEEE, 91(1):127-144, January<br />

2003.<br />

4. P. Bourgos, A. Basu, S. Bensalem, K. Huang, J. Sifakis,<br />

Verimag Research Report N0 TR-2011-1, January 2011.<br />

5. W. Haid, K. Huang, I. Bacivarov, and L. Thiele, Multiprocessor<br />

SoC Software Design Flows. IEEE Signal Processing<br />

Magazine, 26(6):64—71, Nov. 2009<br />

4.3 WP3. Methods and Tools for Application Development<br />

on Manycores<br />

In this work package we will investigate tool infrastructure for<br />

DSP software development on manycore processors. We have<br />

chosen one tool chain from SMECY project: DOL/BIP [4],<br />

which was developed at ETH Zurich and Verimag. Inparticular<br />

we focus on using DOL (Distributed Operation Layer) [5] for<br />

modelling signal processing applications and architecture. The<br />

goal of the project is to complete development of the tool flow<br />

from software model to code generation for chosen architecture.<br />

One of the key components to an efficient implementation of<br />

such a tool flow is to make use of suitable and well-defined<br />

parallel models of computation, which capture parallelism and<br />

expose design time predictable execution behaviour.<br />

CERES Annual Report <strong>2012</strong><br />

21


STAMP - Streaming Applications on Embedded High-Performance Commercial Platforms<br />

Streaming Applications on Embedded High-Performance Commercial Platforms<br />

Zain-ul-Abdin 1 , Bertil Svensson 1 , Hoai Hoang Bengtsson 1<br />

1. Centre for Research on Embedded Systems, Halmstad University, SE-301 18 Halmstad, Sweden<br />

STAMP project has sprung out of the successful ELLIIT cooperation ”Flexible embedded platforms for ELLIIT applications” between<br />

LTH/CS, LTH/EIT, LiU/datorteknik, and HH/CERES. The consortium managed to get funding from SSF for a five-year<br />

project within the framework program Electronic and Photonic Systems (project HiPEC – High Performance Embedded Computing,<br />

project leader Kris Kuchcinski). While the HiPEC project has a focus on the design of new hardware architectures and efficient<br />

mapping of applications on these, the proposed project has a focus on the efficient use of architectures that are emerging on the<br />

commercial market at an increasing pace.<br />

The focus in this project is on the efficient use of architectures that are emerging on the commercial market at an increasing pace.<br />

We will develop the necessary methods and tools to complete the design flow, namely compiling and running CAL applications,<br />

targeting these emerging commercial architectures. The project started in <strong>2012</strong> and will continue until 2014.<br />

Introduction & Motivation<br />

The massively parallel processor arrays are customized to<br />

achieve high-performance in the order of tens of GFLOPS at<br />

a very low power budget typically a few watts. It is these properties<br />

that make these architectures very well-suited for implementing<br />

high-performance embedded applications having<br />

regular data streaming patterns. While these massively parallel<br />

and reconfigurable architectures promise to bring the needed<br />

performance and energy efficiency to tomorrow’s industrial<br />

applications, the big challenge is how to program them efficiently<br />

and achieve the necessary portability and scalability.<br />

STAMP Tool-chain<br />

In this project, we intend to propose the necessary methods<br />

(and tools) to complete the design flow, namely compiling<br />

and running CAL applications, targeting these emerging commercial<br />

architectures.<br />

Goals<br />

The overall goals of the project are:<br />

(1)<br />

(2)<br />

to complete the design flow (methodology and tools)<br />

for efficient execution, in terms of performance and energy<br />

consumption, of Cal programs on selected commercial<br />

architectures.<br />

to propose transformations, optimizations, representations,<br />

and runtime-environments that would enable the<br />

best scaling of an implementation across diverse commercial<br />

architectures, obtained from the same initial<br />

specification.<br />

The project does not address general purpose processing;<br />

rather it is oriented towards the needs of high-performance<br />

embedded signal processing applications.<br />

Results so far<br />

1. Intermediate Representation for dataflow programs based<br />

on Actor Machine Model: A machine model for dataflow<br />

actors has been proposed that captures the structure and<br />

logic of selecting and executing the actions comprising the<br />

actor.<br />

2. Translator from CAL actor language into the Intermediate<br />

Representation: A translator has been developed that translates<br />

the CAL actor language to the intermediate representation<br />

of actor machine model.<br />

3. CAL compilation backend to Ambric array of processors: A<br />

prototype backend of CAL compilation framework has been<br />

developed to compile CAL programs to the proprietary languages<br />

of Ambric i.e., aJava and aStruct languages.<br />

22 CERES Annual Report <strong>2012</strong>


HTM - Hierarchical Temporal Memory on Manycores<br />

HTM - Hierarchical Temporal Memory on Many-cores<br />

T. Nordström, D. Hammerstrom, Zain-ul-Abdin, J. Duracz, and B. Svensson<br />

Centre for Research on Embedded Systems<br />

Introduction<br />

An increasingly important aspect of embedded computing is<br />

the processing and understanding of noisy real world data,<br />

then making decisions and taking timely actions based on these<br />

data. Consequently, various kinds of intelligent computing<br />

structures are being investigated as important building blocks<br />

in embedded system design.<br />

One very promising algorithm is Hierarchical Temporal Memory<br />

(HTM) which is being developed by Numenta, Inc. and<br />

which is already being used in a number of real applications.<br />

Being based on more biological kinds of models, HTM is massively<br />

parallel, but it is also computationally intensive and as<br />

it is integrated into real applications, it is starting to run into<br />

performance limitations. The goal of this CERES project is to<br />

explore suitable hardware support for the acceleration of the<br />

Hierarchical Temporal Memory<br />

HTM Learning<br />

Cortical Learning Algorithm (CLA) is a memory system that<br />

learns sequences of patterns and makes predictions. When an<br />

HTM model is exposed to a stream of data the CLA predicts<br />

what is likely to happen next, similar to how you predict the<br />

next note in a familiar song or the next word someone is likely<br />

to say in a common phrase. In addition, the CLA modifies<br />

its memory with each new record. Thus the HTM models are<br />

continually adapting to reflect the most recent patterns.<br />

Next Steps<br />

As memory is critical in HTM, as in most artificial neural network<br />

models, we will focus our effort on many-core mapping<br />

strategies towards optimizing memory management.<br />

In our cooperation with Portland State University, PSU has<br />

been focusing on FPGA and GPU implementation and HH<br />

on multi-core and Ambric/Adapteva “many-core” style parallelism.<br />

As a next step we hope to compare these different implementations.<br />

Project Key Data<br />

Partners: Halmstad University, Portland State University, Numenta,<br />

Inc., Nethra Imaging, Inc. , and Adapteva, Inc.<br />

Duration: Sep. 2011 – Dec. 2013,<br />

Funding: CERES+ project, Volume: 820 kSEK<br />

Contact: Tomas Nordström, HH<br />

HTM Structure<br />

The HTM-CLA is a highly detailed model of a layer of cells in<br />

the neocortex. In a typical CLA implementation there are 2000<br />

columns of simulated neurons (one per output bit of the spatial<br />

memory structure) and twenty simulated neurons per column,<br />

giving each CLA over 40,000 neurons. Each neuron has dozens<br />

of non-linear dendrite segments and potentially thousands of<br />

synapses.<br />

HTM on Adapteva<br />

Master students Zhou Xi & Luo Yaoyao, have implemented<br />

CLA on our Adapteva development board.<br />

They have investigated how to map HTM-CLA onto Adapteva’s<br />

Epiphany many-core architecture and have been running<br />

experiments to find out the speedup and efficiency of this<br />

HTM mapping onto this many-core architecture. Preliminary<br />

results show an almost perfect scalability when mapping HTM<br />

onto Adapteva.<br />

CERES Annual Report <strong>2012</strong><br />

23


HIPEC - High Performance Embedded Computing<br />

HIGH-PERFORMANCE EMBEDDED COMPUTING<br />

V. Gaspes 1 , E. Gebrewahid 1 , T. Nordström1, Zain-ul-Abdin 1<br />

1. Centre for Research on Embedded Systems, Halmstad University, SE-301 18 Halmstad, Sweden<br />

HiPEC is a project partly financed by SSF, the Swedish Foundation for Strategic Research, in which CERES collaborates with Lund<br />

University and Linköping University. The project started on July 2011 and addresses the development of programmable parallel<br />

platforms for high performance signal processing applications. Two research groups at Lund and Linköping universities address the<br />

development of parallel hardware architectures while CERES and a group at Lund University develop programming languages and<br />

tools for programming these and other commercial parallel architectures.<br />

1. Background and Motivation<br />

Parallelism is the main way to provide significant performance<br />

improvement of embedded systems while keeping energy consumption<br />

low. Streaming applications are good candidates for<br />

parallelization since they are regular and exhibit data parallelism.<br />

Traditionally, ASICs have been designed to implement<br />

specific functionality with high performance and low power<br />

constraints. Recently, coarse-grained reconfigurable array architectures<br />

have been proposed as flexible but still high performance<br />

alternatives. It is therefore expected that a DSP computing<br />

system, increasingly parallel and reconfigurable, will be one<br />

of the dominating parts in OEM equipments in 2020 because<br />

it maximally exposes opportunities of parallelization. In this<br />

project, we address reconfigurable array processor architectures<br />

as well as software tools for their programming. A massively<br />

parallel execution platform with powerful computing nodes<br />

and hierarchical interconnection struc- ture suitable for streaming<br />

applications will be developed and studied. The distinct<br />

features of our software development approach are the use of<br />

the CAL language for programming of these architectures as<br />

well as the development and use of tools for timing and energy<br />

analysis at early design stages. Combining both hardware and<br />

software experts in the same project provides a strong basis for<br />

covering the whole spectrum of this new technology.<br />

2. Problem<br />

Up until recently, the evolution of computing machines was<br />

characterized by an unabated increase in performance. This<br />

progress was in large part due to steady advances in silicon<br />

manufacturing technology, which provided cheaper, smaller,<br />

and faster circuits, and, to some degree due to improvements<br />

in processor ar- chitecture that exploited those advances to create<br />

ever faster processors. This development, however, has considerably<br />

slowed down in the last few years. As a result of these<br />

developments, the computational power of individual processors<br />

is no longer increasing, and consequently the only way to<br />

significantly improve the performance of a computing machine<br />

is to use more processors operating at the same time: the age of<br />

parallelism has finally arrived.<br />

The model of the sequential instruction set computer has been<br />

a very powerful abstraction that brought enormous benefit to<br />

the computing community. This is in stark contrast with the<br />

situation in the world of parallel machines, where no such nearly-universal<br />

machine model exists. There is no common machine<br />

model tying these platforms together, and consequently<br />

there are no common tools, no common languages, and no<br />

common code in the form of applications or libraries. In this<br />

project, we propose to narrow this gap and work on both massively<br />

parallel hardware platform architecture and tools for software<br />

development.<br />

3. Approach<br />

We focus on stream/dataflow computing and related parallel<br />

computing platforms and programming models. In our view,<br />

only a synergy between the hardware platform and the software<br />

paradigm can truly bring forth the benefits of parallelism that<br />

computing strives after today. For this purpose we adopt an<br />

actor based programming paradigm realized in the programming<br />

language CAL and we design and study massively parallel,<br />

hyerarchical and heterogeneous architectures. The CERES<br />

team will focus on tools for mapping programs written in CAL<br />

and on studying forms of organizing the networks that lead to<br />

opportunities to reduce power consumption. Figure 1 exposes<br />

the vision for the design flow using the tools resulting from the<br />

project.<br />

Figure 1: Proposed design flow for mapping CAL applications<br />

onto reconfigurable platforms.<br />

24 CERES Annual Report <strong>2012</strong>


PARTNERS AND STATUS<br />

Project funding: SSF, Rambidrag Elektronik/Fotonik 2010,<br />

HiPEC: Högpresterande inbyggda system, diarienummer<br />

RE10-0081.<br />

The project started on July 2011. One of the young researchers<br />

left the university and moved to industry. One of the PhD students<br />

abandoned her studies due to her personal situation. One<br />

project addressing the use of similar methods but addressing<br />

commercial architectures has started as a collaboration between<br />

Lund and CERES.<br />

The project leader is Krzysztof Kuchcinski. Veronica Gaspes is<br />

coordinator for the CERES group.<br />

Results from the project will form part of the PhD theses of<br />

Essayas Gebrewahid (admitted at Halmstad University in the<br />

fall of 2011) and of a new PhD student that is being recruited<br />

during January 2013 to replace a PhD student that had to interrupt<br />

her studies.<br />

PUBLICATIONS<br />

[1] Zain-ul-Abdin, B. Svensson, “Occam-pi for programming<br />

of massively parallel reconfigurable architectures”, International<br />

Journal of Reconfigurable Computing, Vol. <strong>2012</strong>, Article ID<br />

504815, <strong>2012</strong>.<br />

[2] Zain-ul-Abdin, E. Gebrewahid, B. Svensson, “Managing<br />

dynamic reconfiguration for fault-tolerance on a manycore architecture”,<br />

accepted for Reconfigurable Architectures Workshop,<br />

part of IEEE International Symposium on Circuits and<br />

Systems, May <strong>2012</strong>.<br />

CERES Annual Report <strong>2012</strong><br />

25


SMECY - Smart multicore embedded systems<br />

SMECY - Smart Multicore Embedded Systems<br />

T. Nordström, J. Bengtsson, Zain-ul-Abdin, H. Hoang Bengtsson, E. Gebrewahid, and B. Svensson<br />

Centre for Research on Embedded Systems<br />

Introduction<br />

One of the grand challenges with multicore technology is to<br />

develop efficient design and development tools for multicore<br />

architectures for various resource-constrained embedded system<br />

applications, such as wireless communication and radar.<br />

The mission of the SMECY project is to develop new system<br />

design and development technologies enabling the exploitation<br />

of many (100s) core architectures.<br />

Applications<br />

The two main applications we at HH are looking at are:<br />

- Radar, mainly Digital Beam Forming (DBF) as part<br />

of AESA (Active Electronic Scanned Array) signal processing,<br />

done in collaboration with SAAB<br />

- Mobile Video and Wireless Transmission, done in<br />

collaboration with Free2Move<br />

Platforms<br />

At HH we have been focusing on the P<strong>2012</strong> architecture from<br />

STMicroelectronics, which is a many-core architecture that, in<br />

its first incarnation, will have 4 clusters with 16 cores each.<br />

Hardware<br />

We are currently exploring ways to best introduce heterogeneity<br />

into the P<strong>2012</strong> architecture, as separate HW accelerators or<br />

as part of the many-core processors.<br />

Software<br />

HAMMER tool-chain<br />

We have developed the HAMMER tool, which is an actororiented<br />

programming front-end for DSP kernels.<br />

The HAMMER tool provides techniques for dynamic analysis<br />

of non-functional execution properties of many-core programs.<br />

HAMMER relies on the PAR4ALL backend to enable<br />

compilation to the P<strong>2012</strong> platform.<br />

Occam-pi tool-chain<br />

By using the mobility features of the occam-pi language we<br />

have provided language-based abstractions enabling dynamic<br />

resource management in the P<strong>2012</strong> platform. We have also<br />

implemented an occam-pi compiler back-end to generate native<br />

programming model code for the P<strong>2012</strong> platform. With<br />

occam-pi we got up to a six-fold reduction in lines-of-code<br />

compared to the native programming model (NPM) implementation<br />

provided by STM. We, furthermore, got a 50% reduction<br />

in application accumulated execution time.<br />

Publications<br />

Zain-ul-Abdin, E. Gebrewahid, and B. Svensson, ”Managing<br />

Dynamic Reconfiguration for Fault-tolerance on a Manycore<br />

Architecture”, RAW <strong>2012</strong> held in conjunction with 26th Annual<br />

Int. Parallel & Distributed Processing Symp. (IPDPS<br />

<strong>2012</strong>), May 21-22, Shanghai, China, <strong>2012</strong>.<br />

Zain-Ul-Abdin, and B. Svensson, “Occam-pi for programming<br />

of massively parallel reconfigurable architectures”, International<br />

Journal of Reconfigurable Computing, vol. <strong>2012</strong>, Article ID<br />

504815, <strong>2012</strong>. 17 pages.<br />

E. Gebrewahid, Zain-ul-Abdin, and B. Svensson, ”Mapping<br />

Occam-Pi Programs to a Manycore Architecture”, Presented at<br />

MCC’11, Linköping, Sweden, Nov. 2011.<br />

Zain-ul-Abdin, “Programming of Coarse-Grained Reconfigurable<br />

Architectures,” Ph.D. Thesis, May 2011.<br />

Zain-ul-Abdin and B. Svensson, “Occam-pi as a high-level<br />

language for coarse-grained reconfigurable architectures”.<br />

Proceedings of the 18th International Reconfigurable Architectures<br />

Workshop (RAW'2011) in conjunction with International<br />

Parallel and Distributed Processing Symposium (IP-<br />

DPS'2011), 2011.<br />

Zain-ul-Abdin, A. Åhlander, and B. Svensson, “Programming<br />

real-time autofocus on a massively parallel reconfigurable architecture<br />

using Occam-pi,” Proceedings of the 19th Annual<br />

IEEE International Symposium on Field-Programmable Custom<br />

Computing Machines (FCCM'2011), 2011.<br />

Bengtsson J., “Intermediate representations for simulation and<br />

implementation,” in Handbook of Signal processing systems,<br />

1st ed., Bhattacharyya, S.S., E.F. Deprettere, R. Leupers and<br />

J. Takala, Springer, Aug. 29, 2010. ISBN: 978-1-4419-6344-4<br />

Project Key Data<br />

HH People: Tomas Nordström (coordinator since summer<br />

<strong>2012</strong>), Jerker Bengtsson, Zain-ul-Abdin, Essayas Gebrewahid,<br />

Bertil Svensson, Hoai Hoang Bengtsson<br />

Partners: Halmstad University, Free2Move, Realtime Embedded,<br />

Saab, STMicroelectronics, and 22 more partners from<br />

nine countries<br />

Duration: Feb. 2010 – Jan. 2013,<br />

Funding: EU, ARTEMIS programme, Volume: 20.4 M€.<br />

Web: http://smecy.eu/<br />

26 CERES Annual Report <strong>2012</strong>


Acumen+: Core Enabling Technology for Acumen<br />

Acumen+: Core Enabling Technology for Acumen<br />

Walid Taha, Veronica Gaspes, Jerker Bengtsson<br />

Centre for Research on Embedded Systems (CERES),<br />

Halmstad University, Halmstad, Sweden.<br />

Introduction<br />

We are developing a modeling and simulation language design<br />

called Acumen around the thesis that, for a variety of reasons<br />

mathematics is the right formalism for describing many cyberphysical<br />

systems. Two key hypotheses underlying this thesis are<br />

that<br />

• Precise modeling is essential for meaningful experimentation,<br />

analysis, and verification and<br />

• Mathematical models are more amenable to parallel simulation<br />

than efficient codes.<br />

For the Acumen research program to take off, and to develop<br />

more traditional research funding proposals, attaining some<br />

preliminary results along these two dimensions is of crucial importance.<br />

To this end, we propose a two year activity that will<br />

develop Acumen along two dimensions that will allow us to<br />

accumulate a wide range of preliminary results that would form<br />

a solid basis for pursuing funding from a wide range of sources<br />

beyond CERES and the KK foundation. The proposed project<br />

also includes a component on developing international connections<br />

both in terms of software development and in terms<br />

of teaching a course on the results of the project internationally.<br />

[1]<br />

[2]<br />

[3]<br />

[4]<br />

[5)<br />

[6]<br />

[7)<br />

References<br />

The Acumen Distribution at www.acumen-language.org.<br />

Mathematical Equations as Executable Models, Yun Zhu,<br />

Edwin Westbrook, Jun Inoue, Alexandre Chapoutot,<br />

Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha,<br />

Marcia O’Malley, Robert Cartwright, Aaron Ames, Raktim<br />

Bhattacharya, The First International ACM/IEE Conference<br />

on Cyber Physical Systems (ICCPS’10), Stockholm,<br />

2010.<br />

In Pursuit of Real Answers, Angela Yun Zhu, Walid Taha,<br />

Robert Cartwright, Matthieu Martel, Jeremy G. Siek, International<br />

Conference on Embedded Software and Systems<br />

(ICESS’09), Hangzhou, 2009.<br />

“Globally Parallel, Locally Sequential”, Paul Brauner and<br />

Walid Taha, International Workshop on Parallel/High-<br />

Performance Object-Oriented Scientific Computing (PO-<br />

OSC'10), Las Vegas, 2010.<br />

Differential dynamic logic for hybrid systems, Andre<br />

Platzer, Journal of Automated Reasoning, 2008 - Springer.<br />

The Ambric, Wikipedia Article.<br />

A new representation for exact real numbers, A Edalat,<br />

Electronic Notes in Theoretical Computer Science, 1997<br />

- Elsevier.<br />

Research Questions<br />

The overarching question behind this research is whether simulation<br />

technologies can be relied on for early experimentation<br />

with novel designs of embedded and cooperative systems. This<br />

general question gives rise to important technical questions,<br />

including:<br />

• Are there effective and efficient methods for detecting numerical<br />

precision errors?<br />

• Are there ways to effectively and efficiently compute with<br />

variable precision representations?<br />

• Are there ways to unify the diverse methods available from<br />

numerical computation, starting from integration to more<br />

sophisticated operations?<br />

CERES Annual Report <strong>2012</strong><br />

27


MaC2WiN – Management Challenges in Cognitive Wireless Networks<br />

Management Challenges in Cognitive Wireless Networks<br />

(MaC 2 WiN)<br />

U. Bilstrup 1 , H. Åkermark 2 , M. Parsapoor<br />

1. Centre for Research on Embedded Systems, Halmstad University, SE-301 18 Halmstad, Sweden<br />

2. Security and Defense Solutions, Saab, SE-581 11 Linköping, Sweden<br />

Abstract – In this project a cognitive radio network management system architecture is proposed and evaluated in the context of network<br />

and spectrum management of next generation military tactical communication system. The emphasis is on proposing a cognitive<br />

engine especially considering features like: capabilities for local processing of goals, monitoring of the local environment, reaction to<br />

contextual events by self-configuration and information propagation for interactions with and between components and network elements,<br />

objective functions and their interrelations to measuring and control parameters.<br />

_______________________________________________________________________________________________________________<br />

_<br />

1. Background and Motivation<br />

Today the context of a modern military operation can<br />

span from small special unit operations to large<br />

multinational military endowers. It include: humanitarian<br />

relief, peace support, restoration of administrative control,<br />

regional and interstate conflict and defense of national<br />

territory. To support this large mission spectrum it<br />

requires that a force has “tactical agility” [1], i.e. is able to<br />

quickly comprehend unfamiliar situations, creatively<br />

apply doctrine, and make timely decisions. The agility<br />

requirement is a result of the transformation of the modus<br />

operandi of the industrial age cold war era doctrine<br />

towards an information age asymmetric warfare doctrine.<br />

As consequence, the traditional military command and<br />

control (C2) structure is changing from a hierarchical<br />

platform centric view to a network centric view. In the<br />

traditional platform centric view “the ability to engage a<br />

target normally resides on the weapons system” [2]. In a<br />

network centric view a target can be sensed by any sensor<br />

(on any platform) and that target data can be sent through<br />

the battlefield wide network to the most appropriate<br />

shooter to engage the target. It should be noted that<br />

control is still essential and that fundamental elements of<br />

command and control (C2) are still valid, e.g. it is better<br />

to act then react and to dictate time, place and purpose,<br />

scope and peace of operation. It is obvious that these<br />

abilities inherently require situation awareness, speed of<br />

command, and responsiveness. From a communication<br />

system perspective the network centric view introduces<br />

some differences from the traditional tactical<br />

communication architecture: the information flows is not<br />

following the chain of command, patterns of interaction is<br />

less constrained, roles and responsibilities are change<br />

appropriately to the state of the operation, and one size<br />

does not fit all. These requirements demand for a<br />

communication infrastructure that is highly mobile and<br />

adaptive to the context of operation. Furthermore, the<br />

requirement of situation awareness requires more<br />

bandwidth at the tactical edge of the communication<br />

system. Considering the heterogeneous set of systems of<br />

systems that is interacting in such infrastructure of<br />

networks of networks, the configuration, management and<br />

optimization is not a trivial problem.<br />

2. Problem<br />

The communications field is continuously undergoing<br />

technical changes where new capabilities are added to<br />

increase efficiency, decrease costs or add value in some<br />

other performance dimension. Two of these technical<br />

changes are the development of more general radio<br />

architectures with a separation of functionality into<br />

general hardware and extensible software (SDR, Software<br />

Defined Radio), and cognitive radio (CR) technology<br />

where radio platforms are allowed to adaptively seek out<br />

and use an unoccupied part of the electromagnetic<br />

spectrum. Together, SDR and CR technologies are<br />

expected to bring a number of benefits to wireless<br />

network operation for several different wireless<br />

networking environments. Depending on the application,<br />

such wireless networks can also be expected to add<br />

several challenges compared to other wireless network<br />

environments:<br />

• A wide range of operating conditions: Where<br />

cellular networks can be designed and<br />

provisioned to support of given set of services<br />

within a known area, ad hoc networks are often<br />

asked to support (through configuration and<br />

adaptive mechanisms) a wide range of different<br />

operating conditions with various mobility<br />

patterns, network densities and traffic patterns.<br />

• Operation and internetworking in heterogeneous<br />

network environments: MANETs (Mobile Adhoc<br />

NETworks) can be expected to be deployed<br />

and used in a manner where services are<br />

expected to traverse over a number of different<br />

wired or wireless networks.<br />

• User and service differentiation: Due to the<br />

bandwidth constraints and high variability,<br />

MANETs can be expected to encounter<br />

28 CERES Annual Report <strong>2012</strong>


comparatively more frequent instances where<br />

there is a negative mismatch between demands<br />

for and supply of communication resources. It is<br />

expected that resources can be allocated in a<br />

manner where some users and services, that have<br />

been identified as particularly important,<br />

experience less service disruptions in these<br />

situations.<br />

Traditional network management systems are based on<br />

a manager-agent architecture where each network element<br />

contains an agent that provides software component<br />

interfaces, which allow for remote configuration and<br />

extraction of variables. A centralized manager<br />

periodically polls the agent of a network element to get or<br />

set a value of different variables’. An agent of a network<br />

element can also asynchronously send a message to the<br />

manager, e.g. reporting the occurrence of a fault.<br />

Traditional network management systems are managed<br />

manually by a network system operator via some<br />

graphical interface. The wireless networking<br />

environments that are of primary interest in this research<br />

project, characterized by the properties described earlier,<br />

bring several added challenges to traditional, centralized<br />

network management paradigms. Such traditional<br />

network management paradigms often rely on centralized<br />

and human-controlled management decisions propagated<br />

to network elements, which are clearly not adequate as a<br />

centralized entity can never be expected to have and<br />

analyze the network state information that is necessary to<br />

make informed network management decisions. This<br />

proposed research primarily addresses two management<br />

aspects, performance management and security<br />

management, coupled to a support tool that is used during<br />

the provisioning, operation and evaluation of a cognitive<br />

network on a per-mission basis. We will here and in the<br />

following research areas use the term Cognitive Network<br />

Management System as an abstraction for this software<br />

tool.<br />

3. Goal<br />

The goal is to give an architectural description of a<br />

cognitive radio network management system in the<br />

context of network and spectrum management of next<br />

generation military tactical communication system. The<br />

main capabilities that are focused on are: simplify and<br />

shorten the mission preparation and configuration phases<br />

for national and multi-national deployments of tactical<br />

networks, improve tactical network performance by<br />

enabling dynamic spectrum and network management,<br />

and improve spectrum utility to maximize the use of<br />

military spectrum allocations. Some identified important<br />

aspects are: security aspects of cognitive network<br />

management, capabilities for local processing of goals,<br />

monitoring of the local environment, reaction to<br />

contextual events by self-configuration and information<br />

propagation for interactions with and between CNMS<br />

components and network elements, objective functions<br />

and their interrelations to measuring and control<br />

parameters. As a reference point for describing the<br />

architecture a waveform is described and analyzed from<br />

the perspective of measures, control parameters, behavior,<br />

and their relation to objective functions and mission based<br />

utility. Identification of important parameters, their<br />

behavior and relations are conducted by smaller<br />

simulation (small world isolation) and implementation<br />

studies included in the project. The approach for<br />

designing these experiments is based on requirement<br />

extraction from available scenarios and user cases. The<br />

main focus is directed towards the goal of indentifying a<br />

feasible architecture for cognitive network management<br />

system, i.e. its structural design and its behavior..<br />

4. Accomplishments<br />

The proposed system architecture is a multi-tier structure,<br />

where individual tiers can operate autonomous without<br />

overlaying tiers. These tiers reflect the horizontal structure<br />

in a network of networks. It includes everything from<br />

individual parameters of a protocol executing on a<br />

platform to higher level policy respiratory. The<br />

management interfaces, figure 1, towards the waveform is<br />

inherited from architecture derived in the ARAGORN<br />

project [3]. The low level control and learning, blue box<br />

in figure 1, is representing all algorithms that control and<br />

optimize the operation of the system in short term. It is a<br />

very big challenge to truly understand all these control<br />

parameters in waveform, how they are dependent on each<br />

other and their time constant. In order to get a better<br />

understanding of such control parameters, mechanisms,<br />

and their behavior the project especially have looked at<br />

evolutionary algorithms for resource assignment [4]-[6]<br />

(typically NP hard problems), were algorithmic stability<br />

(robustness), algorithmic convergence and time<br />

complexity especially been studied for centralized<br />

algorithms. The next step is to look at the same algorithms<br />

with decentralized implementation.<br />

Figure 1. Functional modules and interfaces.<br />

Furthermore, to understand and to be able to model the<br />

behavior of the mechanisms a theoretical benchmark<br />

CERES Annual Report <strong>2012</strong><br />

29


waveform is under construction [7]. The main objective<br />

for this part of the project is to identify important<br />

parameters, their time constants and their<br />

interdependencies.<br />

The working hypothesis for high level reasoning and<br />

learning (the core of a cognitive engine) is to apply a new<br />

cognitive model based on emotional learning. The<br />

proposed cognitive model is based on the function and the<br />

anatomical structure of the human emotional system,<br />

figure 2. The function of the emotional system is to<br />

control basic instincts like: aggression, fear, laughter,<br />

sexual arousal etc. In the proposed model the structural<br />

sub parts, figure 2, mimic the limbic system regions [8] in<br />

the human brain including: thalamus, sensory cortex,<br />

amygdala, and orbitofrontal cortex. The connections<br />

between these sub parts are similar to the structure of<br />

those regions of the limbic system of a human brain that<br />

have a role in emotional learning.<br />

Figure 2. Structural model of emotional learning.<br />

Developing an artificial cognitive model for high level<br />

reasoning and learning is a challenge since it must provide<br />

four capabilities: decision, prediction, control and,<br />

optimization. The focus has so far been to evaluate the<br />

prediction capability of the proposed computational<br />

model of emotional learning. Especially, evaluating its<br />

capability of predicting stochastic time series [9]-[10],<br />

this unfortunately is a very common parameter context<br />

that a network management system has to operate within.<br />

For the evaluation of the prediction capability of the<br />

cognitive model as well artificial stochastic time series as<br />

natural stochastic time series have been used, Lorenz time<br />

series, Henon time series and sun spot time series,<br />

respectively.<br />

The graph in figure 3 displays the monthly smoothed<br />

sunspot number from 1976 to 1996 both the real value<br />

and the value predicted 6 month ahead by using a<br />

proposed implementation of emotional learning model<br />

[10].<br />

Figure 3. The real and predicted values of smoothed monthly<br />

sunspots from January 1976 to April 1996 using BELFIS.<br />

References<br />

[1]S. R. Atkinsson and J. Moffat, The Agile Organization – From<br />

informal networks to complex effects and agility, Command and Control<br />

Research Program (CCRP) publishing series, 2005.<br />

[2] M. J. Ryan an d M. R. Frater, Tactical Communication for the<br />

Digitized Battlefield, Artech House, 2002.<br />

[3]ARAGORN homepage: http://www.ict-aragorn.eu/<br />

[4] M. Parsapoor, U. Bilstrup, " Using the grouping genetic algorithm<br />

(GGA) for channel assignment in a cluster-based mobile ad hoc network<br />

," in proceedings of the 8th Swedish National Computer Networking<br />

Workshop. SNCNW <strong>2012</strong>, June, <strong>2012</strong>.<br />

[5] M. Parsapoor and U. Bilstrup, "Imperialist Competition Algorithm<br />

for DSA in Cognitive Radio Networks," in proceedings of 8th<br />

International Conference on Wireless Communications, Networking and<br />

Mobile Computing, WiCOM <strong>2012</strong>, Shanghai, China September, <strong>2012</strong>.<br />

[6] M. Parsapoor and U. Bilstrup, “Merging ant colony optimization<br />

based clustering and an imperialist competitive algorithm for spectrum<br />

management of a cognitive mobile ad hoc network,” in proceedings of<br />

The Wireless Innovation Forum Conference on Communications<br />

Technologies and Software Defined Radio, SDR-WInnComm 2013,<br />

Wahington D.C., U.S. January 2013.<br />

[7] K. Kunert, M. Jonsson and U. Bilstrup, “Deterministic real-time<br />

medium access for cognitive industrial radio networks,” in Proceedings<br />

of the 9th IEEE International Workshop on Factory Communication<br />

Systems, WFCS <strong>2012</strong>, Lemgo, Germany, <strong>2012</strong>.<br />

[8] M.S. Gazzaniga, R. B. Ivry and G.S. Mangun, Cognitive<br />

Neuroscience – The Biologu of the Mind, 3 ed ., W. W. Norton &<br />

Company, 2009.<br />

[9] M. Parsapoor and U. Bilstrup, " Neuro-Fuzzy Models, BELRFS and<br />

LOLIMOT, for Prediction of Chaotic Time Series," in proceedings of<br />

the International Symposium on INnovations in Intelligent SysTems and<br />

Applications, INISTA <strong>2012</strong>, Trabzon, Turkey, July, <strong>2012</strong>.<br />

[10] M. Parsapoor and U. Bilstrup, “Brain Emotional Learning Based<br />

Fuzzy Inference System (BELFIS) for Solar Activity Forecasting,” in<br />

proceedings of 24 th IEEE International Conference on Tools with<br />

Artificial Intelligence, ICTAI <strong>2012</strong>, Athens, Greece November, <strong>2012</strong>.<br />

______________________________________________<br />

PARTNERS AND STATUS<br />

Funding: CERES+, KK-Foundation<br />

Partners: Saab Security and Defense Solutions<br />

Project period: January <strong>2012</strong> – December 2013.<br />

Project members: Urban Bilstrup, Hans Åkermark,<br />

Mahboobeh Parsapoor, Kristina Kunnert<br />

Project leader: Urban Bilstrup<br />

______________________________________________<br />

30 CERES Annual Report <strong>2012</strong>


WisCon - Wireless sensor concept node<br />

WiSCoN – WIRELESS SENSOR CONCEPT NODE<br />

P. Enoksson 1 , B. Fliesberg 2 , E. Johansson 3 , M. Jonsson 4 , K. Kunert 4 , and M. Öhman 3<br />

1. Chalmers University of Technology, Gothenburg, Sweden<br />

2. Volvo 3P, Gothenburg, Sweden<br />

3. Volvo Technology Corporation, Gothenburg, Sweden<br />

4. Centre for Research on Embedded Systems (CERES), Halmstad University, Halmstad, Sweden<br />

The objective of the project is to explore and show the concrete benefits and potential of self-sustaining wireless sensors and<br />

to understand their limitations. The scope of the project includes not only wireless communication, but also aspects related to<br />

energy supply and storage. The intention is to build a wireless-sensor concept node that can be used to realistically assess the<br />

feasibility of self-sustaining wireless sensors from an industrialization viewpoint.<br />

1. Background and Motivation<br />

In today’s advanced and complex vehicles systems, sensors<br />

are key components, acting as sources of much of the data<br />

that is required input into a large number of complex invehicle<br />

control functions. Typically, the sensors’ power<br />

supply, as well as the data exchange, is realized with<br />

standard wiring. A reduction or elimination of sensor<br />

wiring will allow for a reduction of material cost, product<br />

weight (leading to better fuel economy), and issues with the<br />

wiring harness quality. It will also enable new concepts that<br />

are infeasible today due to limitations set by the wiring<br />

harness (routing and packaging issues, placement of<br />

moving parts, etc.).<br />

The purpose of this project is to build a knowledge base<br />

covering the technology behind self-sustaining wireless<br />

sensors in vehicles. The goal is to realistically assess the<br />

feasibility of wireless sensors from an industrialization<br />

viewpoint.<br />

We aim at developing a wireless-sensor concept node for<br />

studying and evaluating various concepts and technologies<br />

needed for wireless sensors for automotive applications,<br />

including energy supply, communication technologies, and<br />

power management. The overall goal is to explore and<br />

show the concrete benefits and potential of self-sustaining<br />

wireless sensors and also to understand its limitations.<br />

Some of the prospective benefits of wireless sensors in<br />

automotive applications include:<br />

Reduction of product cost by elimination of wiring<br />

harness and connectors<br />

Increased quality by removing sources of failures<br />

related to wiring and connectors<br />

Reduction of manufacturing and aftermarket costs by<br />

reducing the installation and replacement time for<br />

sensors<br />

Reduction of wiring harness variants (→ simpler<br />

variant handling → lower development and product<br />

cost)<br />

Possibility to place sensors where it is infeasible to<br />

have wired sensors (such as moving and sealed parts)<br />

2. Approach<br />

In order to achieve the vision of self-sustaining wireless<br />

sensors, it is necessary to achieve a good level of maturity<br />

in a number of technologies, such as energy harvesting,<br />

local energy storage, wireless energy distribution, lowpower<br />

sensor technologies, and short-range wireless<br />

communication.<br />

Local energy storage<br />

Energy storage can be dimensioned to carry energy for<br />

short time intervals (as a container for locally generated<br />

energy), or for long time intervals (service period or<br />

lifetime of a vehicle). Possible short-time storage<br />

technologies include, e.g., rechargeable batteries (NiMh,<br />

LiIon, etc.) or small supercaps. For long-time storage nonrechargeable<br />

battery technologies are a possibility.<br />

Energy harvesting devices<br />

MEMS (Microelectromechanical systems) based energy<br />

harvesting devices can generate energy in the µW range<br />

from vibrations. In most cases this is too low for powering<br />

sensors, but combined with efficient energy storage, a<br />

complete system can be built.<br />

Low power sensors<br />

Ultra-low power sensors available on the market together<br />

with proper energy management make it possible to lower<br />

the energy consumption of a sensor node so it can be<br />

powered by an energy scavenger.<br />

Short range wireless digital communication<br />

Communication between the sensor nodes need to be<br />

energy efficient. Quality of service issues need to be<br />

addressed, and frequency and modulation must be chosen<br />

correctly in order to increase the probability of signals<br />

reaching the receivers in a space full of metallic structures.<br />

Partners and Status<br />

Academic partner: Chalmers University of Technology<br />

Industrial partner: Volvo Technology Corporation<br />

Project funding: Funded by VINNOVA through the FFI –<br />

Strategic Vehicle Research and Innovation program<br />

(Vehicle Development collaboration program)<br />

Project volume: 5.24 MSEK (HH share: 0.35 MSEK)<br />

Duration: January 1, 2011 – December 31, 2013.<br />

Project leader: Mikaela Öhman, Volvo Technology<br />

Corporation<br />

Participating researchers at CERES: Dr Kristina Kunert,<br />

Prof. Magnus Jonsson<br />

CERES Annual Report <strong>2012</strong><br />

31


VehicleNets – Dependable Real-Time Services in Vehicular Ad Hoc Networks<br />

VehicleNets – Dependable Real-Time Services in Vehicular Ad Hoc Networks<br />

Annette Böhm 1 , Le-Nam Hoang 1 , Magnus Jonsson 1 , Kristina Kunert 1 , Tony Larsson 1 ,<br />

Katrin Sjöberg 2 , Lars Strandén 3 , Elisabeth Uhemann 1 , Alexey Vinel 1,4 , and Hossein Zakizadeh 2<br />

1. Centre for Research on Embedded Systems, Halmstad University; 2. Volvo Technology Corporation;<br />

3. SP Technical Research Institute of Sweden; 4. Tampere University of Technology<br />

In this project, we investigate how to improve the communication support in cooperative traffic safety and traffic efficiency<br />

applications. Especially, we investigate wireless ad hoc networks carrying data traffic having concurrent requirements on<br />

reliability and real-time performance. The aim is to increase the performance of the communication systems used by these<br />

applications by tailoring the deployed protocols to the specific communication requirements, operating conditions and system<br />

constraints.<br />

________________________________________________________________________________________________________________<br />

communication requirements and data traffic models<br />

1. Background and Motivation<br />

derived from the application layer are used to influence<br />

the lower layers of the protocol stack, at the same time as<br />

the operating conditions such as current channel<br />

conditions and interference situation determine the<br />

content and type of future data traffic. This implies that<br />

the realization must not only support the current<br />

requirements and conditions, but also be able to adapt<br />

during runtime to cope with the dynamic nature of<br />

vehicular ad hoc networks.<br />

Many emerging applications enabled by wireless ad hoc<br />

networks have concurrent requirements on reliable and<br />

time-critical (real-time) communication. A typical<br />

example of such an emerging application area is traffic<br />

safety systems. This project aims to increase the<br />

performance of the communication systems used by these<br />

applications by tailoring the deployed protocols to the<br />

specific communication requirements, operating<br />

conditions and system constraints.<br />

2. Project Goals<br />

The overall project goal of this two-year project is to<br />

provide design guidelines for low complexity<br />

communication systems tailored to the requirements and<br />

conditions encountered in vehicular ad hoc networks. The<br />

communication systems should give the best possible<br />

performance under given constraints, and allow trading<br />

off used resources against achievable performance for<br />

varying operating conditions. Typical constraints are<br />

complexity, upper bounded delay in terms of real-time<br />

deadlines and limited network-induced interference to<br />

enable fairness and scalability in decentralized ad hoc<br />

networks. The considered performance metrics are<br />

derived from emerging traffic safety applications and<br />

include spectral efficiency, outage probability, network<br />

fairness and deadline miss ratio. In this context two<br />

example applications are considered: platooning and<br />

emergent approaching vehicles.<br />

One goal is to investigate how 802.11p, the new standard<br />

for short to medium range vehicular communication,<br />

performs in the targeted type scenario and to compare<br />

802.11p to own solutions in terms of real-time<br />

performance and reliability.<br />

3. Approach<br />

To approach theoretical limits for reliable<br />

communications with practical receiver complexity while<br />

utilizing the scarce radio spectrum as efficiently as<br />

possible, cross-layer design of cooperative<br />

communication strategies is adopted. This implies that<br />

As the communication environment encountered in<br />

vehicular networks is highly dynamic, it is necessary to<br />

make the communication protocols at all layers context<br />

aware. The qualitative communication requirements<br />

imposed by the applications must be connected to the<br />

current channel conditions in a given area. By using<br />

information from onboard sensors like radar, lidar, and<br />

cameras, as well as knowledge about sensor readings of<br />

surrounding vehicles, a better picture of the surroundings<br />

and the radio environment can be obtained. By relating<br />

the requirements from the applications to kinematic and<br />

specific traffic situations, more dependable services can<br />

be developed with, e.g., graceful degradation in case of<br />

communication outage.<br />

The data traffic models and the communication<br />

requirements are also used to derive performance metrics,<br />

which could be of a traditional sort, such as spectral<br />

efficiency, reliability and throughput, but also metrics<br />

from emerging applications such as outage probability,<br />

network fairness, deadline miss ratio and energy<br />

efficiency should be considered. Next, the performance<br />

goals together with the operating conditions and particular<br />

constraints on complexity, hardware or software will<br />

determine the chosen realization. The different tools used<br />

for realization in this project include cooperative coding<br />

and diversity, iterative signal processing algorithms,<br />

incremental redundancy, relaying, network coding,<br />

routing, scheduling and medium access methods.<br />

4. Results (so far)<br />

A study of how to adapt the CAM (periodically<br />

broadcasted status messages) report rate to the<br />

potentially low road traffic density of a rural road has<br />

been performed. By making use of the priority levels<br />

32 CERES Annual Report <strong>2012</strong>


provided by the 802.11p quality of service mechanism,<br />

we showed that hazards can be detected earlier and the<br />

available bandwidth is used more efficiently, while still<br />

not over-exploiting the network resources.<br />

Two technical reports (TR) [ETSI 2011] [ETSI <strong>2012</strong>]<br />

have been handed in to ETSI about time-slotted<br />

medium access control (MAC) methods for vehicular<br />

communications. ETSI had funded the work with the<br />

two TRs in a so-called specialist task force (STF), but<br />

the work is highly connected to the VehicleNets project.<br />

The dissemination of event-triggered warning messages<br />

(DENM) within a platoon of vehicles, together with<br />

CAM messages, has been studied. We have evaluated<br />

the effect of adaptive send rates, priority schemes and<br />

message dissemination models on the dissemination<br />

delay of warning messages within the platoon and on<br />

the successful exchange of periodic status updates.<br />

A method to increase the reliability of Road Side Unit<br />

(RSU) based communication by incorporating a realtime<br />

retransmissions scheme has been developed. The<br />

RSU is responsible for the scheduling. Simulation<br />

results show that significant improvements of the<br />

reliability can be obtained, especially when the number<br />

of vehicles communicating is limited.<br />

The methods for reliable RSU based real-time<br />

communication has been adapted and evaluated for the<br />

platooning scenario. The performance for, e.g., different<br />

platoon sizes has been evaluated and the results are<br />

promising.<br />

An analytical model to evaluate the CAM<br />

transmissions, which accounts for frequent periodic<br />

updates of broadcasted data and IEEE 802.11p<br />

prioritized channel access with multichannel-related<br />

phenomena under various link quality conditions, has<br />

been developed.<br />

Joint work has been initiated with Lund University to<br />

determine how shadowing and hidden terminals affect<br />

the MAC method.<br />

An initial study on the adaptation of the physical layer<br />

in IEEE 802.11p has been made.<br />

An initial study of city safety and the role of wireless ad<br />

hoc networks has been made.<br />

PARTNERS AND STATUS<br />

The project is funded by the Knowledge Foundation<br />

(through the CERES profile+). Moreover, the project is<br />

funded by SP Technical Research Institute of Sweden and<br />

Volvo Technology Corporation in the form of, e.g.<br />

manpower.<br />

Project leader: Magnus Jonsson.<br />

Project duration: formally <strong>2012</strong>-2013, but in practice the<br />

project started in 2011.<br />

PUBLICATIONS & <strong>REPORT</strong>S (SO FAR)<br />

Böhm, A., M. Jonsson, E. Uhlemann, “Adaptive cooperative<br />

awareness messaging for enhanced overtaking assistance on<br />

rural roads,” Proc. IEEE Vehicular Technology Conference<br />

(VTC Fall), San Francisco, CA, USA, Sept. 2011.<br />

Campolo, C., A. Molinaro, A. Vinel, and Y. Zhang “Modeling<br />

prioritized broadcasting in multichannel vehicular networks,”<br />

IEEE Transactions on Vehicular Technology, vol. 61, no. 2, pp.<br />

687-701, Feb. <strong>2012</strong>.<br />

“Intelligent Transport Systems (ITS); Performance Evaluation of<br />

Self-Organizing TDMA as Medium Access Control Method<br />

Applied to ITS; Access Layer Part,” ETSI TR 102 862 V1.1.1,<br />

ETSI, Sophia Antipolis Cedex, France, <strong>2012</strong>.<br />

“Intelligent Transport Systems (ITS); STDMA recommended<br />

parameters and settings for cooperative ITS; Access Layer Part,”<br />

ETSI TR 102 861 V1.1.1, ETSI, Sophia Antipolis Cedex, France,<br />

<strong>2012</strong>.<br />

Jonsson, M., K. Kunert, and A. Böhm, “Increased<br />

communication reliability for delay-sensitive platooning<br />

applications on top of IEEE 802.11p,” M. Berbineau et al.<br />

(Eds.): Nets4Cars/Nets4Trains 2013, LNCS 7865, Springer-<br />

Verlag Berlin Heidelberg, pp. 121-135, 2013. 15 pages.<br />

Jonsson, M., K. Kunert, and A. Böhm, “Increasing the<br />

probability of timely and correct message delivery in road side<br />

unit based vehicular communication,” Proc. 15th IEEE<br />

Intelligent Transportation Systems Conference (ITSC <strong>2012</strong>),<br />

Anchorage, AK, USA, Sept. 16-19, <strong>2012</strong>. 8 pages.<br />

Jonsson, M. "Why real-time communication matters," Embedded<br />

Conference Scandinavia (ECS2011), Stockholm, Sweden, Oct.<br />

4-5, 2011.<br />

Lidström, K., K. Sjöberg, U. Holmberg, J. Andersson, F. Bergh,<br />

M. Bjäde, and S. Mak, "A modular CACC system integration<br />

and design," IEEE Transactions on Intelligent Transportation<br />

Systems, vol. 13, no. 3, pp. 1050-1061, Sept. <strong>2012</strong>.<br />

Sjöberg, K., E. Uhlemann, and E. Ström, "How severe is the<br />

hidden terminal problem in VANETs when using CSMA and<br />

STDMA?," Proc. IEEE Vehicular Technology Conference (VTC<br />

Fall), San Francisco, CA, USA, Sept. 2011.<br />

Uhlemann, E., “Report on Wireless Vehicular Communications<br />

(VTS News),” IEEE Vehicular Technology Magazine, vol. 7, no.<br />

3, pp. 102-106, <strong>2012</strong>.<br />

CERES Annual Report <strong>2012</strong><br />

33


CVAN: Cross-Layer Design of VANETs for Traffic Safety<br />

CVAN: Cross-­‐Layer Design of VANETs for Traffic Safety <br />

Project manager: Elisabeth Uhlemann 1<br />

Project members: Taimoor Abbas 2 , Le Nam Hoang 1 , Maria Kihl 2 , Erik G. Larsson 3 , Katrin Sjöberg 1 and Fredrik Tufvesson 2<br />

1 Halmstad University (HH), 2 EIT, Lund University (LU) and 3 ISY, Linköping University (LiU)<br />

Rationale and Motivation<br />

Traffic-safety applications based on inter-vehicle<br />

communications have quite demanding operating<br />

conditions and generate delay-sensitive data traffic<br />

with requirements on high reliability. From ongoing<br />

standardization activities (IEEE 802.11p, ETSI ITS-<br />

G5 and ISO CALM M5), it is clear that most trafficsafety<br />

applications will be based on vehicular ad<br />

hoc networks (VANETs) where event-driven hazard<br />

warning messages and time-triggered positioning<br />

messages are broadcasted on the 5.9 GHz band.<br />

Traffic-safety applications differ from most existing<br />

applications using wireless communications<br />

in that reliability and predictable delay are required<br />

concurrently. Traditional performance measures,<br />

such as throughput, are therefore not directly applicable.<br />

Existing wireless protocols have been designed<br />

to provide reliable (web browsing) or timecritical<br />

communications (voice) but not both concurrently.<br />

Achieving high data reliability within a<br />

given time frame is particularly difficult in vehicular<br />

networks due to the highly dynamic radio channel<br />

and fading characteristics. Traffic-safety applications<br />

must also be designed to take the characteristics<br />

of a VANET into account, namely: a decentralized<br />

network topology, peer-to-peer communications<br />

between highly mobile terminals, one common<br />

channel where broadcast is the preferred communication<br />

mode. Consequently, the technical issues that<br />

need to be resolved concern all layers in the protocol<br />

stack. A cross-layer design paradigm enables<br />

sufficient dynamics to meet the increased performance<br />

requirements of traffic-safety applications<br />

such that both quality of service (QoS) constraints<br />

and the specific conditions expected for vehicular<br />

systems can be satisfied.<br />

Scientific Questions Addressed<br />

The CVAN project address the following crosslayer<br />

scientific questions:<br />

Develop new channel models: Due to the carrier<br />

frequency of 5.9 GHz, the high relative speed between<br />

transceivers and the antennas being located at<br />

approx. the same height (as opposed to the case<br />

with a base station and a mobile terminal), existing<br />

channel models are not applicable.<br />

Develop new performance metrics: Trafficsafety<br />

applications imply a distributed control system,<br />

with concurrent requirements on high reliability<br />

and real-time deadlines. Existing performance<br />

metrics throughput and data rate are thus not applicable.<br />

Further, also the metric deadline miss ratio<br />

traditionally used for real-time traffic, needs to be<br />

redefined for broadcast.<br />

Design new protocols: The ad hoc network with<br />

broadcast data dissemination implies that the solutions<br />

need to be self-organizing and scalable. The<br />

time-critical and reliable-sensitive data traffic requires<br />

a solution that provides predictable delay and<br />

high reliability. All these features should imbue all<br />

layers in the protocol stack.<br />

On the individual layers, the following scientific<br />

questions are addressed:<br />

Channel characterization and antenna placement:<br />

Radio channel models are seminal for performance<br />

evaluation of wireless systems. The timevariations<br />

encountered in a VANET arise because<br />

of the high mobility of transmitter, receiver as well<br />

as many important scattering objects. In CVAN we<br />

construct channel models based on radio measurements<br />

of vehicle-to-vehicle (V2V) propagation. The<br />

models include the typical non-stationary conditions,<br />

and can be used for simulations of system<br />

performance as well as analysis of antenna-channel<br />

interaction. Note that both single and multiple antenna<br />

models are considered, with emphasis on robustness<br />

rather than maximizing spectral efficiency.<br />

Medium Access Control: To support real-time<br />

deadlines, the medium access control (MAC) method<br />

must be predictable such that the maximum<br />

channel access delay is known. Further, all nodes<br />

should be able to access the channel with equal<br />

probability within a limited time period, i.e., the<br />

MAC method must be fair. If the MAC protocol<br />

schedules transmissions appropriately, the packet<br />

reception probability (PRP) for the closest neighboring<br />

nodes is maximized and reliability is improved.<br />

The number of vehicles participating in a<br />

VANET is unknown and cannot be restricted. The<br />

adopted MAC method must therefore be scalable.<br />

The MAC method adopted by current standardization,<br />

CSMA, has some of the desired properties, it is<br />

34 CERES Annual Report <strong>2012</strong>


decentralized, self-organizing and aims at minimizing<br />

interference between any transmitters, but it<br />

does not necessarily maximize the PRP for the closest<br />

neighboring nodes or provide scalable, fair and<br />

predictable channel access for broadcast. In CVAN,<br />

a decentralized, self-organizing, predictable and<br />

scalable MAC algorithm capable of maintaining a<br />

high PRP for the closest neighboring nodes also in<br />

overloaded networks is under development.<br />

Traffic-safety applications based on broadcast:<br />

An efficient data dissemination strategy for trafficsafety<br />

applications must ensure a high success rate<br />

regarding the timely delivery of the emergency<br />

message to all the vehicles within a safety zone.<br />

Thus, we have developed an adaptive selective<br />

broadcast algorithm which increments the transmission<br />

power level of the sender each time it senses<br />

that warning messages are not received. Compared<br />

to regular selective broadcast algorithms and flooding,<br />

our algorithm shows a clear improvement in<br />

warning delivery ratio even when network connectivity<br />

is low. A high-performance dissemination algorithm<br />

proactively adapting transmission power to<br />

network density is the next objective in CVAN.<br />

Scientific Achievement and Activities<br />

Halmstad actively participates in standardization<br />

within ETSI TC ITS. The work on the MAC layer<br />

resulted in ETSI initiating a specialist task force<br />

(STF395) to evaluate time-slotted MAC approaches<br />

for VANETs. Katrin Sjöberg from Halmstad was<br />

elected the STF leader and received Euro 45 000:-<br />

from the European Commission funding her research.<br />

The project members organize a yearly workshop<br />

on Wireless Vehicular Communications, which<br />

apart from speakers from Lund and Halmstad also<br />

features invited speakers funded by IEEE VTS. In<br />

<strong>2012</strong> it was Andreas Festag, NEC and the workshop<br />

took place Nov. 30, <strong>2012</strong> in Halmstad,<br />

www.hh.se/wwvc<strong>2012</strong>.<br />

CERES Annual Report <strong>2012</strong><br />

35


A Virtual Testbed for Smart Micro Grids<br />

A VIRTUAL TESTBED FOR SMART MICRO GRIDS<br />

A. Sant’Anna 1 , V. Gaspes 1 , W. Taha 1 , R. Bass 2<br />

1. Centre for Research on Embedded Systems, Halmstad University, SE-301 18 Halmstad, Sweden<br />

2. Power Engineering Lab, Portland State University, 97207 Oregon, USA<br />

This project is part of CERES+. The project addresses the cooperation between Portland State University (PSU)<br />

and Halmstad University (HU) and strengthens the group at HU working on modeling cyber physical systems.<br />

The project started on June <strong>2012</strong> and is concerned with the development of models and simulations that support<br />

the study and development of smart micro grids.<br />

1. Background and Motivation<br />

Electrical grids with the ability to automatically<br />

gather, monitor, and react to information are<br />

commonly referred to as “smart grids”. Grids are<br />

becoming “smarter,” in part, thanks to the<br />

proliferation of phasor measurement units (PMU),<br />

which enable synchronized real-time measurements of<br />

multiple remote points on the grid. The tendency for<br />

the future is to have more and more of these units<br />

deployed throughout the grid, making new ways of<br />

monitoring and managing power systems possible.<br />

Power systems are composed of three main elements:<br />

generation, transmission and distribution. These can<br />

span thousands of kilometers and provide electricity to<br />

thousands of houses, offices and industries. In this<br />

project, however, we will consider small parts of the<br />

grid referred to as micro grids. An example of micro<br />

grid could be a neighborhood or a university campus.<br />

In this context, smart buildings are important<br />

components of smart micro grids. They can monitor<br />

the use of electricity, optimize costs based on current<br />

electricity prices and even predict its occupant’s<br />

needs.<br />

2. Problem Statement<br />

Micro grids can be decomposed into three layers:<br />

The physical layer, which includes appliances and<br />

equipment that consume electricity;<br />

The sensor and communication networks, which<br />

gather and transmit information about the grid;<br />

The grid management, which processes the<br />

acquired information and makes decisions about<br />

when and how to use electricity.<br />

Normally, each layer is studied separately. However,<br />

smart grids are the combination of all three and can<br />

only be studied by considering all three layers<br />

together.<br />

This project addresses the need for models and<br />

simulation tools that can consider all three layers<br />

concurrently.<br />

3. Approach<br />

This project will be organized as two interrelated<br />

studies. The activities of each of the studies are<br />

explained below.<br />

A. Residential heating systems for demand response<br />

programs<br />

This study will develop models of residential heating<br />

systems composed of an isolated water tank and<br />

forced convection. It is believed these heating systems<br />

may be used by electricity distribution companies to<br />

dynamically adjust voltage, frequency and load in the<br />

grid - known as demand response programs.<br />

Simulations will be used to investigate whether this is<br />

possible to achieve without compromising the thermal<br />

comfort of the home.<br />

B. Modeling a smart home: development and<br />

validation<br />

This study will develop models of home appliances<br />

and other residential loads, as well as models of<br />

sensors and management schemes that are feasible<br />

with the technology commercially available today.<br />

This incorporates all three layers described in Section<br />

2. These models will represent a real home where data<br />

can be collected. The acquired data will be compared<br />

to the simulated data in order to validate the models.<br />

PARTNERS AND STATUS<br />

Funding: CERES+ (KK foundation)<br />

Duration: 01 June <strong>2012</strong> – 01 June 2013<br />

Project coordinator: Veronica Gaspes<br />

This project includes two trips to Portland, Oregon,<br />

where Anita Sant’Anna can meet and interact with<br />

Robert Bass and his team, and a number of other<br />

actors in the field of smart grids. The first trip took<br />

place during October <strong>2012</strong>.<br />

The first study is being conducted jointly with Robert<br />

Bass at Portland State University. The respective<br />

publication will be written during January and<br />

February 2013.<br />

The second study will enlist the help of Hans Erik<br />

Eldemark. Most models have been developed, but the<br />

data collection and the writing of the respective<br />

publication will take place during February, March,<br />

April and May 2013.<br />

PUBLICATIONS<br />

Two publications have been planned:<br />

A feasibility study of the use of residential heating<br />

systems for demand response programs based on<br />

simulations;<br />

Comparison of simulation results and real data<br />

collected from a smart home.<br />

36 CERES Annual Report <strong>2012</strong>


Publications 2010-<strong>2012</strong><br />

International full-paper reviewed journal papers<br />

Accepted during <strong>2012</strong> for publication during 2013<br />

Wolkerstorfer M., J. Jaldén, and T. Nordström, “Lowcomplexity<br />

optimal discrete-rate spectrum balancing in<br />

digital subscriber lines,” Signal Processing, vol. 93. no. 1, pp.<br />

23-34, 2013.<br />

N. Noroozi, R. Khosravi, M.R. Mousavi, and T.A.C.<br />

Willemse. Synchrony and Asynchrony in Conformance<br />

Testing, Software and Systems Modeling, Springer, 2013.<br />

Accepted. Available online at Online First.<br />

<strong>2012</strong><br />

Zain-Ul-Abdin, and B. Svensson, “Occam-pi for<br />

programming of massively parallel reconfigurable<br />

architectures”, International Journal of Reconfigurable<br />

Computing, vol. <strong>2012</strong>, Article ID 504815, <strong>2012</strong>. 17 pages.<br />

Lidstrom, K., K. Sjöberg, U. Holmberg, J. Andersson, F.<br />

Bergh, M. Bjade, and S. Mak, “A modular CACC system<br />

integration and design,” IEEE Transactions on Intelligent<br />

Transportation Systems, vol. 13, no. 3, pp. 1050-1061, Sept.<br />

<strong>2012</strong>.<br />

Wolkerstorfer, M., S. Trautmann, T. Nordström, and<br />

B. Putra, “Modeling and optimization of line-driver<br />

power consumption in xDSL systems,” EURASIP<br />

Journal on Advances in Signal Processing, <strong>2012</strong>;(<strong>2012</strong>:226),<br />

doi:10.1186/1687-6180-<strong>2012</strong>-226.<br />

Wolkerstorfer M., D. Statovci, and T. Nordström,<br />

“Energy-saving by low-power modes in ADSL2,”<br />

Computer Networks, vol. 56, no. 10, pp. 2468-2480, <strong>2012</strong>.<br />

Wolkerstorfer M., D. Statovci, and T. Nordström,<br />

“Enabling greener DSL access networks by their<br />

stabilization with artificial noise and SNR margin,” Cluster<br />

Computing, Apr. <strong>2012</strong>.<br />

Wolkerstorfer M., J. Jaldén, and T. Nordström, “Column<br />

generation for discrete- rate multi-user and multi-carrier<br />

power control,” IEEE Transactions on Communications, vol.<br />

60, no. 9, pp. 2712-2722, <strong>2012</strong>.<br />

2011<br />

Böhm, A., and M. Jonsson, “Real-time communication<br />

support for cooperative, infrastructure-based traffic<br />

safety applications,” International Journal of Vehicular<br />

Technology, 2011. 17 pages.<br />

Salama, C., G. Malecha, W. Taha, J. Grundy, and J.<br />

O’Leary, “Static consistency checking for verilog wire<br />

interconnects,” Higher-Order and Symbolic Computation<br />

2011, pp. 1-34, Sept. 2011.<br />

Taha, W., P. Brauner, R. Cartwright, V. Gaspes, A. Ames,<br />

and A. Chapoutot, “A core language for executable<br />

models of cyber physical systems: work in progress<br />

report,” SIGBED Review,” vol. 8, no. 2, pp. 39-43, 2011.<br />

Pignaton de Freitas, E., T. Heimfarth, C. E. Pereira,<br />

A. Morado Ferreira, F. Rech Wagner, and T. Larsson,<br />

“Multi-agent support in a middleware for mission-driven<br />

heterogeneous sensor networks”, The Computer Journal,<br />

vol. 54, no. 3, pp. 406-420, 2011.<br />

Sant’Anna, A., A. Salarian, N. Wickström, “A new<br />

measure of movement symmetry in early Parkinson’s<br />

disease patients using symbolic processing of inertial<br />

sensor data,” IEEE Transactions on Biomedical Engineering,<br />

vol. 58, no. 7, pp. 2127-2135, 2011.<br />

Zaveri, M.S. and D. Hammerstrom, “Performance/<br />

price estimates for cortex-scale hardware: A design space<br />

exploration,” Neural Networks, (Archival Journal of the<br />

International Neural Network Society), vol. 24, no. 3, pp. 291-<br />

304, Apr. 2011.<br />

Mhaidat, K. M., M.A. Jabri, and D. Hammerstrom,<br />

“Representation, methods, and circuits for time-based<br />

conversion and computation,” International Journal of<br />

Circuit Theory and Applications, vol. 39, no. 3, pp. 299-311,<br />

Mar. 2011.<br />

2010<br />

Freitas E.P., T. Heimfarth, R.S. Allgayer, F.R. Wagner, C.E.<br />

Pereira, T. Larsson, and A.M. Ferreira. “Coordinating<br />

aerial robots and unattended ground sensors for<br />

intelligent surveillance systems,” International Journal of<br />

Computers, Communications & Control. vol. 5, no.1, 2010. p.<br />

55-73.<br />

Sant’Anna, A. & N. Wickström “A symbol-based approach<br />

to gait analysis from acceleration signals: identification<br />

and detection of gait events and a new measure of gait<br />

symmetry”, IEEE Transactions on Information Technology in<br />

Biomedicine, vol. 14, no. 5, pp. 1180-1187, Sept. 2010.<br />

Nilsson, B., L. Bengtsson, and B. Svensson, “An energy<br />

and application scenario aware active RFID protocol,”<br />

EURASIP Journal on Wireless Communications and<br />

Networking, vol. 2010, Article ID 432938, 15 pages, 2010.<br />

doi:10.1155/2010/432938<br />

Zaveri, M. S. and D. Hammerstrom, “Nano/CMOS<br />

implementations of inference in bayesian memory – an<br />

architecture assessment methodology,” IEEE Transactions<br />

on Nanotechnology, vol. 9, no. 2, pp. 194-211, Mar. 2010.<br />

CERES Annual Report <strong>2012</strong><br />

37


Books, book chapters and editorial work<br />

<strong>2012</strong><br />

Mecklenbräuker, C., L. Bernadó, O. Klemp, A. Kwoczek,<br />

A. Paier, M. Schack, K. Sjöberg, E. Ström, F. Tufvesson,<br />

E. Uhlemann, and T. Zemen, “Vehicle-to-vehicle<br />

communications,” in Pervasive Mobile and Ambient Wireless<br />

Communications,” edited by R. Verdone and A. Zanella,<br />

Springer London <strong>2012</strong>, pp. 577-608. ISBN: 978-1-4471-<br />

2314-9.<br />

Bellalta, B., A. Vinel, M. Jonsson, J. Barcelo, R.<br />

Maslennikov, P. Chatzimisios, and D. Malone, editors.<br />

Multiple Access Communications, 5th International Workshop,<br />

MACOM <strong>2012</strong>, Maynooth, Ireland, Nov. 19-20, <strong>2012</strong>,<br />

Lecture Notes in Computer Science, vol. 7642, Springer, ISBN<br />

978-3-642-34975-1. 183 pages.<br />

2011<br />

De Freitas, E., B. Bösch, R. Allgayer, L. Steinfeld, F.<br />

Wagner, L. Carro, C. Pereira, and T. Larsson, “Mobile<br />

Agents Model and Performance Analysis of a Wireless<br />

Sensor Network Target Tracking Application,” Smart<br />

spaces and next generation wired/wireless networking: 11th<br />

International Conference, NEW2AN 2011, and 4th<br />

Conference on Smart Spaces, ruSMART 2011, St.<br />

Petersburg, Russia, August 22-25 2011 : proceedings.<br />

Springer, Heidelberg. pp. 274-286, 2011.<br />

Müller, I., A. Cavalcante, E. De Freitas, R. Allgayer, C.<br />

Pereira, and T. Larsson, ”Evaluation of RTSJ-Based<br />

Distributed Control System,” Smart spaces and next<br />

generation wired/wireless networking: 11th international<br />

conference, NEW2AN 2011, and 4th Conference on<br />

Smart Spaces, ruSMART 2011, St. Petersburg, Russia,<br />

August 22-15, 2011 : proceedings. Springer, Berlin. pp.<br />

295-303, 2011.<br />

Wolkerstorfer M., Nordström, T., B. Krasniqi, M.<br />

Wrulich, and C. Mecklenbräuker, “OFDM/OFDMA<br />

Subcarrier Allocation”, Cross Layer Designs in WLAN<br />

Systems, Eds. N. Zorba, C. Skianis and C. Verikoukis,<br />

Troubador Publishing Ltd, vol. 1, Chapter 6, pp. 177-216,<br />

2011, ISBN 9781848762275.<br />

2010<br />

Bengtsson J., “Intermediate representations for simulation<br />

and implementation,” in Handbook of Signal processing<br />

systems, 1st ed., Bhattacharyya, S.S., E.F. Deprettere, R.<br />

Leupers and J. Takala, Springer, Aug. 29, 2010. ISBN:<br />

978-1-4419-6344-4<br />

Jonsson, M., and K. Kunert. “Wired and wireless reliable<br />

real-time communication in industrial systems,” in<br />

Factory Automation, Editor: J. Silvestre-Blanes, IN-TECH,<br />

Vienna, Austria, pp. 161-176, 2010, ISBN 978-953-7619-<br />

42-8. 2010.<br />

Heimfarth, T., E. P. Freitas, F. R. Wagner, and T. Larsson.<br />

“Middleware support for wireless sensor networks: a<br />

survey,” in Handbook of Research on Developments and Trends<br />

in Wireless Sensor Networks: From Principle to Practice, H.Jin<br />

and W.Jiang (organizers), Hershey, Information Science<br />

Reference (IGI Global), 2010.<br />

Zaveri, M. S. and D. Hammerstrom, “Chapter 4: CMOL/<br />

CMOS implementations of bayesian inference engine:<br />

digital and mixed-signal architectures and performance/<br />

price – a hardware design space exploration,” in CMOS<br />

Processors and Memories, Ed. Krzysztof Iniewski, Springer,<br />

2010. DOI: 10.1007/978-90-481-9216-8.<br />

Doctoral and Licentiate theses<br />

<strong>2012</strong><br />

Lidström, K., “Situation-Aware Vehicles Supporting the<br />

Next Generation of Cooperative Traffic Systems,” Ph.D.<br />

Thesis, Örebro University, Feb. <strong>2012</strong>.<br />

2011<br />

Pignaton de Freitas, E., “Cooperative Context Aware<br />

Setup and Performance of Surveillance Missions Using<br />

Static and Mobile Wireless Sensor Networks,” Ph.D. thesis,<br />

Halmstad University, November 2011.<br />

Zain-ul-Abdin, “Programming of Coarse-Grained<br />

Reconfigurable Architectures,” Ph.D. Thesis, Örebro<br />

University, May 2011.<br />

Wang, Y., “A Domain-Specific Language for Protocol<br />

Stack Implementation in Embedded Systems,” Ph.D.<br />

Thesis, Örebro University, June 2011.<br />

2010<br />

Nilsson, B., “Energy efficient protocols for active RFID,”<br />

Ph.D. Thesis, Chalmers University of Technology, Göteborg,<br />

Sweden, June 2010.<br />

Kunert, K., “Architectures and protocols for performance<br />

improvements of real-time networks,” Ph.D. Thesis,<br />

Chalmers University of Technology, Göteborg, Sweden, Dec.<br />

2010.<br />

International full-paper reviewed conference papers<br />

Accepted during 2013<br />

Riegler, E., T. Magesacher, D. Statovci, and T. Nordström,<br />

“Outage analysis for vectored wireline communications”,<br />

Proc. IEEE International Conference on Communications<br />

(ICC), Budapest, Hungary, June 9-13, 2013.<br />

N. Noroozi, M.R. Mousavi, and T.A.C. Willemse. Decomposability<br />

in Input Output Conformance Testing.<br />

Proceedings of the 8th Workshop on Model-Based Testing<br />

(MBT 2013), Rome, Italy, Electronic Proceedings in<br />

Theoretical Computer Science, volume 11, pages 51--66,<br />

2013.<br />

38 CERES Annual Report <strong>2012</strong>


F. Dechesne and M.R. Mousavi. Interpreted Systems Semantics<br />

for Process Algebra with Identity Annotations.<br />

Post-Proceedings of the 9th International Tbilisi Symposium<br />

on Language, Logic and Computation (TbiLLC 2011,),<br />

Kutaisi, Georgia, volume 7758 of Lecture Notes in Computer<br />

Science, pages 182–-205, Springer, 2013.<br />

Accepted during <strong>2012</strong> for publication during 2013<br />

Parsapoor, M. and U. Bilstrup, “Merging ant colony<br />

optimization based clustering and an imperialist<br />

competitive algorithm for spectrum management of a<br />

cognitive mobile ad hoc network,” Proc. of The Wireless<br />

Innovation Forum Conference on Communications Technologies and<br />

Software Defined Radio (SDR-WInnComm 2013), Wahington<br />

D.C., USA, Jan. 2013.<br />

<strong>2012</strong><br />

Parsapoor, M. and U. Bilstrup, “Brain Emotional Learning<br />

Based Fuzzy Inference System (BELFIS) for Solar<br />

Activity Forecasting,” Proc. of 24th IEEE International<br />

Conference on Tools with Artificial Intelligence (ICTAI <strong>2012</strong>),<br />

Athens, Greece, Nov. <strong>2012</strong>.<br />

Parsapoor, M. and U. Bilstrup, “Imperialist competition<br />

algorithm for DSA in cognitive radio networks,” Proc.<br />

of 8th International Conference on Wireless Communications,<br />

Networking and Mobile Computing (WiCOM <strong>2012</strong>), Shanghai,<br />

China, Sept. <strong>2012</strong>.<br />

Parsapoor, M. and U. Bilstrup, “Neuro-fuzzy models,<br />

BELRFS and LOLIMOT, for prediction of chaotic time<br />

series,” Proc. of the International Symposium on INnovations<br />

in Intelligent SysTems and Applications (INISTA <strong>2012</strong>),<br />

Trabzon, Turkey, July <strong>2012</strong>.<br />

Zain-ul-Abdin, E. Gebrewahid, and B. Svensson,<br />

”Managing dynamic reconfiguration for fault-tolerance<br />

on a manycore architecture”, Proc. 26th IEEE International<br />

Parallel & Distributed Processing Symposium (IPDPS <strong>2012</strong>),<br />

Shanghai, China, May 21-22, <strong>2012</strong>. 8 pages.<br />

Girs, S., E. Uhlemann, and M. Björkman, “The effects<br />

of relay behavior and position in wireless industrial<br />

networks,” Proc. IEEE International Workshop on Factory<br />

Communication Systems, Lemgo, Germany, May <strong>2012</strong>, p.<br />

183-190.<br />

Inoue, J., W. Taha, “Reasoning about multi-stage<br />

programs,” Proc. of the 22nd European Symposium on<br />

Programming (ESOP <strong>2012</strong>) held as part of the European Joint<br />

Conferences on Theory and Practice of Software, ETAPS <strong>2012</strong>,<br />

Tallinn, March 24 - April 1, pp. 357-376. Lecture Notes in<br />

Computer Science, vol. 7211, <strong>2012</strong>.<br />

Alam, A., Z. Ul-Abdin, and B. Svensson, “Parallelization<br />

of the estimation algorithm of the 3D structure tensor,”<br />

Proc. of International Conference on Reconfigurable Computing<br />

and FPGAs (ReConFig’12), Cancun, Mexico, Dec. 5-7,<br />

<strong>2012</strong>.<br />

Jonsson, M. and K. Kunert, “MC-EDF: A controlchannel<br />

based wireless multichannel MAC protocol with<br />

real-time support,” Proc. 17th IEEE International Conference<br />

on Emerging Technologies and Factory Automation (ETFA<br />

<strong>2012</strong>), Krakow, Poland, Sept. 17-21, <strong>2012</strong>. 6 pages.<br />

Jonsson, M., K. Kunert, and A. Böhm, “Increasing the<br />

probability of timely and correct message delivery in<br />

road side unit based vehicular communication,” Proc.<br />

15th IEEE Intelligent Transportation Systems Conference (ITSC<br />

<strong>2012</strong>), Anchorage, AK, USA, Sept. 16-19, <strong>2012</strong>. 8 pages.<br />

Kunert, K., M. Jonsson, and U. Bilstrup, “Deterministic<br />

real-time medium access for cognitive industrial radio<br />

networks,” Proc. of the 9th IEEE International Workshop<br />

on Factory Communication Systems (WFCS <strong>2012</strong>), Lemgo/<br />

Detmold, Germany, May 21-24, <strong>2012</strong>. Best WiP Paper<br />

Award.<br />

Taha, W., P. Brauner, Y. Zeng, R. Cartwright, V. Gaspes,<br />

A. Ames, and A. Chapoutot, ”A core language for<br />

executable models of cyber-physical systems,” Proc.<br />

International Workshop on Cyber-Physical Networked Systems<br />

(CPNS’12), Macau, China, June 20, <strong>2012</strong>.<br />

Willig, A and E. Uhlemann, “On relaying for wireless<br />

industrial communications: Is careful placement of<br />

relayers strictly necessary?,” Proc. IEEE International<br />

Workshop on Factory Communication Systems, Lemgo,<br />

Germany, May <strong>2012</strong>, pp. 191-200.<br />

Taha, W. and R. Philippsen, “Modeling basic aspects of<br />

cyber-physical systems,” Proc. 3rd International Workshop<br />

on Domain-Specific Languages and models for ROBotic systems<br />

(DSLRob-12). 3rd International Conference on Simulation,<br />

Modeling, and Programming for Autonomous Robots<br />

(SIMPAR-<strong>2012</strong>), Tsukuba, Japan, Nov. 5-8, <strong>2012</strong>.<br />

2011<br />

Marrocco, G., M. Wolkerstorfer, T. Nordström, and D.<br />

Statovci, “Energy-efficient DSL using vectoring”, , Proc.<br />

IEEE Global Communications Conference (GLOBECOM),<br />

Houston, Texas, USA, Dec. 5-9, 2011.<br />

Wolkerstorfer, M. and T. Nordström, “Coverage<br />

optimization in DSL networks by low-complexity discrete<br />

spectrum balancing”, Proc. IEEE Global Communications<br />

Conference (GLOBECOM), Houston, Texas, USA, Dec.<br />

5-9, 2011.<br />

Bruneau, J., C. Consel, M. O’Malley, W. Taha, and W.<br />

M. Hannourah, “Virtual testing for smart buildings,”<br />

International Conference on Intelligent Environments (IE’12),<br />

Guanajuato, Mexico, June 26-28, <strong>2012</strong>. 8 pages.<br />

CERES Annual Report <strong>2012</strong><br />

39


Sjöberg, K., E. Uhlemann, E. G. Ström, “How severe<br />

is the hidden terminal problem in VANETs when using<br />

CSMA and STDMA?,” in Proc. IEEE Vehicular Technology<br />

Conference (VTC Fall), San Francisco, CA, September<br />

2011, pp. 1-5.<br />

Lidström, K., J. Andersson, F. Bergh, M. Bjäde, and S.<br />

Mak, “ITS as a tool for teaching cyber-physical systems,”<br />

8th ITS European Congress, Lyon, France, 2011.<br />

Taha, W. and R. Cartwright, “The trouble with real<br />

numbers,” Proceedings of the Workshop on Software Language<br />

Engineering for Cyber-Physical Systems (WS4C 2011), Lecture<br />

Notes in Informatics, Berlin, Germany, 2011.<br />

Taha, W., V. Gaspes, and R. Page, “Accurate programming:<br />

thinking about programs in terms of properties,” IFIP<br />

Working Conference on Domain-Specific Languages (DSL<br />

2011), Bordeaux, France, 2011.<br />

Ourique de Morais, W. and N. Wickström, “A serious<br />

computer game to assist Tai Chi training for the elderly,”<br />

IEEE 1st International Conference on Serious Games and<br />

Applications for Health (SeGAH 2011), Braga, Portugal,<br />

2011.<br />

Wang, Y. and V. Gaspes. “An embedded language for<br />

programming protocol stacks in embedded systems”<br />

Proc. 20th ACM SIGPLAN 2011 Workshop on Partial<br />

Evaluation and Program Manipulation (PEPM’11), Austin,<br />

TX, USA, Jan. 24-25, 2011.<br />

Zain-ul-Abdin and B. Svensson, “Occam-pi as a<br />

high-level language for coarse-grained reconfigurable<br />

architectures”. Proceedings of the 18th International<br />

Reconfigurable Architectures Workshop (RAW’2011) in<br />

conjunction with International Parallel and Distributed Processing<br />

Symposium (IPDPS’2011), 2011.<br />

Böhm, A., M. Jonsson, E. Uhlemann, “Adaptive<br />

cooperative awareness messaging for enhanced<br />

overtaking assistance on rural roads,” in Proc. IEEE<br />

Vehicular Technology Conference (VTC Fall), San Francisco,<br />

CA, September 2011, pp. 1-5.<br />

Freitas, E.P., T. Heimfarth, L. A. G. Costa, C. E. Pereira,<br />

A. M. Ferreira, F. R. Wagner, and T. Larsson, “Analyzing<br />

different levels of geographic context awareness in agent<br />

ferrying over VANETs,” Proc. of the 2011 ACM Symposium<br />

on Applied Computing (SAC 2011), Taiwan, Mar. 2011, pp.<br />

413-418.<br />

Hassan, A., and T. Larsson, “On the requirements on<br />

models and simulator design for integrated VANET<br />

Simulation,” International Workshop on Intelligent<br />

Transportation - WIT, Hamburg, Germany, 2011.<br />

Larsson, T., W. Taha, K.-E. Årzen, “Dependable<br />

automotive systems based on model certified<br />

components,” Automotive CPS Workshop, June 2011.<br />

Motter, P., R. S. Allgayer, I. Müller, C. E. Pereira, and<br />

E. P. Freitas, “Practical issues in wireless sensor network<br />

localization systems using received signal strenght<br />

indication,” Proc. of IEEE SAS 2011, San Antonio, USA,<br />

Feb. 2011, pp. 227-232.<br />

Nilsson, E., and C. Svensson, “Envelope detector<br />

sensitivity and blocking characteristics,” 20th European<br />

Conference on Circuit Theory and Design (ECCTD 2011). pp.<br />

802-805, 2011.<br />

Nilsson, E., B. Nilsson, and E. Järpe, “A pharmaceutical<br />

anti-counterfeiting method using time controlled<br />

numeric tokens,” 2011 IEEE International Conference on<br />

RFID-Technologies and Applications, pp. 335-339, 2011.<br />

Freitas, E.P., T. Heimfarth, I. Farah Netto, C.E.Pereira,<br />

A.M.Ferreira, F.R.Wagner, and T.Larsson. “Handling<br />

failures of static sensor nodes in wireless sensor network<br />

by use of mobile sensors,” Proc. of IEEE FINA-AINA<br />

2011, Singapore, Mar. 2011, pp. 127-134.<br />

Sajadian, S., A. Ibrahim, E. P. Freitas, and T. Larsson,<br />

“Improving connectivity of nodes in mobile WSN,” Proc.<br />

of IEEE Advanced Information Networking and Applications<br />

(AINA 2011). Singapore, pp. 364-371, Mar. 2011.<br />

Sjöberg, K., E. Uhlemann, and E. G. Ström, “Delay and<br />

interference comparison of CSMA and self-organizing<br />

TDMA when used in VANETs,” in Proc 7 th International<br />

Wireless Communications and Mobile Computing Conference,<br />

Istanbul, Turkey, July 2011, pp. 1488-1493.<br />

Wang, Y., and V. Gaspes, “A compositional implementation<br />

of Modbus in protégé,” 6th IEEE International Symposium<br />

on Industrial Embedded Systems (SIES), pp. 123-131, 2011.<br />

Zain-ul-Abdin, A. Åhlander, and B. Svensson,<br />

“Programming real-time autofocus on a massively parallel<br />

reconfigurable architecture using Occam-pi,” Proceedings<br />

of the 19th Annual IEEE International Symposium on Field-<br />

Programmable Custom Computing Machines (FCCM’2011),<br />

2011.<br />

2010<br />

Freitas E.P., T. Heimfarth, I. Farah Netto, C.E. Lino,<br />

C.E.Pereira, A.M.Ferreira, F.R.Wagner, T.Larsson. “UAV<br />

Relay Network to Support WSN Connectivity.” Proc.<br />

International Conference on Ultra Modern Telecommunications<br />

and Control Systems. Moscow, Russia, Oct. 2010.<br />

Böhm, A., K. Lidström, M. Jonsson, and T. Larsson,<br />

“Evaluating CALM M5-based vehicle-to-vehicle<br />

communication in various road settings through field<br />

trials”, The 4th IEEE LCN Workshop On User MObility<br />

and VEhicular Networks (ON-MOVE), Denver, CO, USA,<br />

Oct. 2010<br />

40 CERES Annual Report <strong>2012</strong>


Freitas E.P., T. Heimfarth, C.E. Pereira, A.M. Ferreira,<br />

F.R. Wagner, T. Larsson. “Experimental analysis of<br />

coordination strategies to support wireless sensor<br />

networks composed by static ground sensors and UAVcarried<br />

Sensors”. ISPA 2010 - IEEE International Symposium<br />

on Parallel and Distributed Processing with Applications. Taipei,<br />

Taiwan, September 2010.<br />

Freitas E.P., T. Heimfarth, F.R. Wagner, A.M. Ferreira,<br />

C.E. Pereira, and T. Larsson. “Geo-aware handover of<br />

mission agents using opportunistic communication<br />

in VANET”. Proc. of New2An 2010 - 10th International<br />

Conference on Next Generation Wired/Wireless Advanced<br />

Networking, St. Petersburg, Russia, August 2010. p. 365-<br />

376.<br />

Freitas E.P., R. Allgayer, T. Heimfarth, F.R. Wagner, T.<br />

Larsson, C.E. Pereira, and A.M. Ferreira. “Coordination<br />

Mechanism and Customizable Hardware Platform to<br />

Provide Heterogeneous Wireless Sensor Networks<br />

Support”. Proc. of WTR 2010 - 12th Brazilian Workshop<br />

on Real-Time and Embedded Systems, Gramado, Brazil, May<br />

2010. p. 77-88.<br />

Freitas E.P., T. Heimfarth, A.M. Ferreira, C.E. Pereira, F.R.<br />

Wagner, and T. Larsson. Pheromone-based coordination<br />

strategy to static sesors on the ground and unmanned<br />

aerial vehicles carried sensors. Proc. of SPIE, 0277-786X,<br />

v. 7694. April 2010, p. 769416-1 - 769416-9.<br />

Freitas E.P., T. Heimfarth, A.M. Ferreira, C.E. Pereira,<br />

F.R. Wagner, and T. Larsson. “Decentralized task<br />

distribution among cooperative UAVs in surveillance<br />

systems applications”. Proc. of WONS 2010 - 7th<br />

International Conference on Wireless On-demand Network<br />

Systems and Services, Kranjska Gora, Slovenia, February<br />

2010. pp. 121-128.<br />

Heimfarth T., E.P. Freitas, C.E. Pereira, A.M. Ferreira,<br />

F.R. Wagner, and T. Larsson. “Experimental analysis of<br />

a wireless sensor network setup strategy provided by<br />

an agent-oriented middleware”, Proc. of AINA 2010 -<br />

24th IEEE International Conference on Advanced Information<br />

Networking and Applications. Perth, Australia, April 2010.<br />

p. 820-826.<br />

Islam Cheema, F, Zain-Ul-Abdin, and B. Svensson.<br />

A design methodology for resource to performance<br />

tradeoff adjustment in FPGAs. Proc. of 7th FPGAWorld<br />

Conference 2010, Copenhagen, Denmark, September 6,<br />

2010.<br />

Kunert K., E. Uhlemann and M. Jonsson, “Enhancing<br />

reliability in IEEE 802.11 based real-time networks<br />

through transport layer retransmissions,” in Proc. IEEE<br />

International Symposium on Industrial Embedded Systems,<br />

Trento, Italy, July 2010, pp. 146-155.<br />

Kunert K., E. Uhlemann and M. Jonsson, “Predictable<br />

real-time communications with improved reliability for<br />

IEEE 802.15.4 based industrial networks,” in Proc. IEEE<br />

International Workshop on Factory Communication Systems,<br />

Nancy, France, May 2010, pp. 13-22.<br />

Kunert K., M. Jonsson and E. Uhlemann “Exploiting<br />

time and frequency diversity in IEEE 802.15.4 industrial<br />

networks for enhanced reliability and throughput.” in<br />

Proc. IEEE International Conference on Emerging Technologies<br />

and Factory Automation, Bilbao, Spain, September 2010, pp.<br />

1-9. Best paper award.<br />

Lidström K., and T. Larsson. “A Spatial QoS Requirements<br />

Specification for V2V Applications”, Proc. of IEEE<br />

Intelligent Vehicles Symposium, pp. 548-553, 2010<br />

Nilsson, B.; L. Bengtsson; and B. Svensson, “A snoozing<br />

frequency binary tree protocol,” Proc. of The Third<br />

International EURASIP Workshop on RFID Technology, 6-7<br />

Sept, 2010.<br />

Nilsson, B., L. Bengtsson, B. Svensson, U. Bilstrup,<br />

and P.A. Wiberg, “An active backscatter wake-up and<br />

tag identification extraction protocol for low cost and<br />

low power active RFID,” Proc. of 2010 IEEE Conference<br />

on RFID-Technology and Applications, 17-19 June, 2010,<br />

Guangzhou, China, pp. 86-91. ISBN/ISSN: 978-<br />

142446700-6.<br />

Nilsson E., P. Linnér, A. Sikö, U. Bilstrup and P-A. Wiberg<br />

” A new CMOS radio for low power RFID applications,”<br />

Proc. of IEEE International Conference on RFID-Technology<br />

and Applications 2010, Guangzhou, China, June 17-19,<br />

2010.<br />

Nilsson E., B. Nilsson, L. Bengtsson, B. Svensson, P-A.<br />

Wiberg and U. Bilstrup ” A low power-long range active<br />

RFID-system consisting of active RFID backscatter<br />

transponders,” Proc. of IEEE International Conference<br />

on RFID-Technology and Applications 2010, Guangzhou,<br />

China, June 17-19, 2010.<br />

Sant’Anna, A. & Wickström, N. “A linguistic approach<br />

to the analysis of accelerometer data for gait analysis”,<br />

Proceedings 7th IASTED International Conference on Biomedical<br />

Engineering (BioMed2010), Innsbruck, 2010.<br />

Sjöberg-Bilstrup K., E. Uhlemann and E. G. Ström,<br />

“Scalability issues of the MAC methods STDMA and<br />

CSMA of IEEE 802.11p when used in VANETs,” in Proc.<br />

IEEE International Conference on Communications Workshops,<br />

Cape Town, South Africa, May 2010, pp. 1-5.<br />

Sjöberg K., J. Karedal, M. Moe, Ø. Kristiansen, R.<br />

Søråsen, E. Uhlemann, F. Tufvesson, K. Evensen, E.<br />

G. Ström, “Measuring and using the RSSI of IEEE<br />

802.11p,” in Proc. 17th World Congress on Intelligent Transport<br />

Systems, Busan, Korea, October 2010, 9 pages.<br />

CERES Annual Report <strong>2012</strong><br />

41


Wang Y., and V. Gaspes, “A domain-specific language<br />

approach to protocol stack implementation,” Practical<br />

Aspects of Declarative Languages 12th International Symposium,<br />

PADL 2010, Madrid, Spain, Jan. 18-19, 2010.<br />

Zain-ul-Abdin and B. Svensson, “Specifying run-time<br />

reconfiguration in processor arrays using high-level<br />

language,” Proc. of 4th HiPEAC Workshop on Reconfigurable<br />

Computing, Jan. 23, 2010.<br />

Freitas, E.P., T. Heimfarth, I. F. Netto, A. G. Cardoso de<br />

Sá, C. E. Pereira, A. M. Ferreira, F. R. Wagner, T. Larsson,<br />

“Enhanced wireless sensor network setup strategy<br />

supported by intelligent software agents,” Proc. Sensors’10<br />

- The 9th Annual IEEE Conference on Sensors, Waikoloa,<br />

USA, Nov. 2010, pp. 813 - 816.<br />

Brauner, P. and W. Taha, “Globally parallel, locally<br />

sequential: a preliminary proposal for Acumen objects,”<br />

Proc. 9th SPLASH/OOPSLA Workshop on Parallel/High-<br />

Performance Object-Oriented Scientific Computing (POOSC’10),<br />

Renoe-Tahoe, NV, USA, Oct. 18, 2010.<br />

Bruneau, J., C. Consel, M. O’Malley, W. Taha, and W.<br />

M. Hannourah, “Preliminary results in virtual testing<br />

for smart buildings,” Proc. International ICST Conference on<br />

Mobile and Ubiquitous Systems: Computing, Networking, and<br />

Services (MOBIQUITOUS), Sydney, Australia, Dec. 6-9,<br />

2010.<br />

Internal reports<br />

<strong>2012</strong><br />

Bergenhem, C. and M. Jonsson, “Two Protocols with<br />

heterogeneous real-time services for high-performance<br />

embedded networks”, Research Report, School of Information<br />

Science, Computer and Electrical Engineering (IDE), Halmstad<br />

University, Sweden, <strong>2012</strong>.<br />

2011<br />

Lidström, K., J. Andersson, F. Bergh, M. Bjäde, S. Mak,<br />

and K. Sjöberg, “Halmstad University Grand Cooperative<br />

Driving Challenge,” Research Report IDE1120, School of<br />

Information Science, Computer and Electrical Engineering (IDE),<br />

Halmstad University, Sweden, 2011. 14 pages.<br />

Patoary M.N.I., H. Ali, B. Svensson, J. Eker and H.<br />

Gustafsson, “Implementation of AMR-WB encoder<br />

for multi-core processors using dataflow programming<br />

language CAL”, Research Report IDE1103, School of<br />

Information Science, Computer and Electrical Engineering (IDE),<br />

Halmstad University, Sweden, 2011.<br />

Ul-Abdin Z., and B. Svensson, “Programming realtime<br />

autofocus on a massively parallel reconfigurable<br />

architecture using Occam-pi”, Research Report IDE1102,<br />

School of Information Science, Computer and Electrical<br />

Engineering (IDE), Halmstad University, Sweden, 2011.<br />

2010<br />

Jonsson, M. and K. Kunert, “Control-channel based<br />

wireless multi-channel MAC protocol with real-time<br />

support “, Research Report IDE1054, School of Information<br />

Science, Computer and Electrical Engineering (IDE), Halmstad<br />

University, Sweden, 2010.<br />

Other (incl. national conferences and international<br />

conferences without full-paper review)<br />

<strong>2012</strong><br />

Uhlemann, E., “Report on Wireless Vehicular<br />

Communications (VTS News),” IEEE Vehicular Technology<br />

Magazine, vol. 7, no. 3, pp. 102-106, <strong>2012</strong>.<br />

Girs, S., E. Uhlemann, and M. Björkman, “On the<br />

benefits of using relaying in industrial networks with<br />

different wireless channel characteristics,” Third Nordic<br />

Workshop on Systems & Network Optimization for Wireless,<br />

Trysil, Norway, Apr. <strong>2012</strong>.<br />

Parsapoor, M. and U. Bilstrup, “Using the grouping<br />

genetic algorithm (GGA) for channel assignment in a<br />

cluster-based mobile ad hoc network ,” Proc. of the 8th<br />

Swedish National Computer Networking Workshop (SNCNW<br />

<strong>2012</strong>), June <strong>2012</strong>.<br />

Zain-ul-Abdin and B. Svensson, “Synthetic-aperture<br />

radar processing on a manycore architecture,” 5th Swedish<br />

Workshop on Multi-Core Computing MCC-2011,” Stockholm,<br />

Sweden, Nov. <strong>2012</strong>.<br />

2011<br />

Uhlemann, E., “Communication requirements of<br />

emerging cooperative driving systems,” in Proc. IEEE<br />

International Conference on Consumer Electronics, Las Vegas,<br />

NV, Jan. 2011, pp. 281-282. Invited paper.<br />

Ku, B.-Y., and E. Uhlemann, “Report on rail conference<br />

and wireless communications : [VTS News]”. IEEE<br />

Vehicular Technology Magazine, vol. 6, no. 3, pp. 111-117,<br />

2011.<br />

Gebrewahid, E., Zain-ul-Abdin, and B. Svensson,<br />

“Mapping occam-pi programs to a manycore<br />

architecture,” 4th Swedish Workshop on Multi-Core Computing<br />

MCC-2011,” Linköping, Sweden, 2011.<br />

Jonsson, M. “Why real-time communication matters,”<br />

Embedded Conference Scandinavia (ECS2011), Stockholm,<br />

Sweden, Oct. 4-5, 2011.<br />

Böhm, A., M. Jonsson, and H. Zakizadeh, “Vehicular<br />

ad-hoc networks to avoid surprise effects on sparsely<br />

trafficked, rural roads,” 10th Scandinavian Workshop on<br />

Wireless Ad-hocNetworks (ADHOC ´11), Stockholm,<br />

Sweden, May 10-11, 2011. 5 pages.<br />

42 CERES Annual Report <strong>2012</strong>


Böhm, Annette, Jonsson, Magnus (2011). Positionbased<br />

real-time communication support for cooperative<br />

traffic safety services. Proc. of the 11th biennial SNART<br />

Conference on Real-Time Systems (Real-Time in Sweden<br />

– RTiS’11), Västerås, Sweden, June 13-14, 2011. 11 pages.<br />

Taha, W. and M. Weckstén, “Real-time reflection for<br />

threat detection and prevention,” position paper,<br />

Workshop on Cooperative Autonomous Resilient Defenses in<br />

Cyberspace, Arlington, VA, USA, Jan. 27-28, 2011.<br />

S. Girs, E. Uhlemann and M. Björkman, “The effects of<br />

channel characteristics on relay behavior and position<br />

in wireless industrial networks,” presented at the IEEE<br />

Swedish Communication Technologies Workshop, Stockholm,<br />

Sweden, Oct. 2011.<br />

B.-Y. Ku and E. Uhlemann, “Report on Rail Conference<br />

and Wireless Communications (VTS News),” IEEE<br />

Vehicular Technology Magazine, vol. 6, no. 3, pp. 111-117,<br />

September 2011.<br />

A. Alonso, K. Sjöberg, E. Uhlemann, E. Ström, and<br />

C.F. Mecklenbräuker, “Challenging Vehicular Scenarios<br />

for Self-Organizing Time Division Multiple Access,”<br />

presented at the 1 st COST IC1004 Management Committee<br />

Meeting, Lund, Sweden, TD(11)01031, Jun. 2011.<br />

2010<br />

Ström, E., E. Uhlemann and C.F. Mecklenbräuker,<br />

“Performance Metrics for mobile-to-mobile<br />

communications,” presented at 12th COST2100<br />

Management Committee Meeting, Bologna, Italy,<br />

TD(10)12026, Nov. 2010.<br />

CERES Annual Report <strong>2012</strong><br />

43


44 CERES Annual Report <strong>2012</strong>


CERES Annual Report <strong>2012</strong>


HALMSTAD UNIVERSITY<br />

PO Box 823 • SE-301 18 Halmstad • Visiting Adress: Kristian IV:s väg 3<br />

Phone: +46 35 16 71 00 • Fax: +46 35 18 61 92<br />

E-mail: registrator@hh.se • www.hh.se

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!