Artes-rapport f 2006 2 · 1. Allmänt om programmet 1.1 Programbeskrivning ARTES uppdrag sedan år 2004 är att stödja doktorandkurser inom realtid och inbyggda system, samt att

2

Sammanfattning ARTES nuvarande uppdrag beskrivs i två beslut:

• ARTES styrelse beslutade 2002-12-11 att förlänga nätverksverksamheten.

• SSF beviljade år 2003 att förlänga ARTES forskarskola till och med 2006.

• SSF beviljade år 2006 att förlänga ARTES forskarskola till och med 2006

ARTES uppdrag var under åren 1998-2003 att organisera forskning och forskarutbildning inom realtidsområdet, samt att stimulera tekniköverföring mellan akademi och svensk industri. Åren 1998-2004 finansierade ARTES 43 doktorander och byggde upp ett kontaktnätverk. ARTES har sammanfattat verksamheten från 1997 till mars 2006 i boken "ARTES - A network for Real-Time research and graduate Education in Sweden 1997 - 2006. Editor: Hans Hansson, March 5, 2006"

ARTES uppdrag sedan år 2004 inkluderar ej att organisera forskning. Verksamheten har koncentrerats till forskarutbildning inom området realtidssystem, samt att fortsätta stimulera tekniköverföring, och bygga vidare på kontaktnätverket. I mars 2006 omfattande nätverket c:a 96 doktorander, 71 disputerade ARTES realtidsdoktorander, handledare till dessa och deras industrikontakter samt SNART nätverket med ca 200 medlemmar inom industri och akademi. Alla svenska universitet och de flesta större industriföretag med aktivitet inom området deltar.

Under år 2006 disputerade 12 doktorander, 7 blev klara med licentiatexamen inom realtidsområdet av dessa har 7 av doktoranderna fått finansiering av ARTES före 2005. ARTES arrangerade Swedish Embedded Systems Meeting under våren 2006 i Stockholm och den årliga sommarskolan organiserades på Nässlingen tillsammans med ett SNART seminarie på temat "Scandinavian ARTIST2 Seminar on Embedded Systems Design" på KTH.

Summary ARTES current commission is described in two decisions

• ARTES board decided 2002-12-11 to extend the network activity

• SSF granted 2003 a prolongation of ARTES graduate school to the end of 2006.

• SSF granted 2006 a prolongation of ARTES graduate school to the end of 2007.

ARTES did during the years 1998 to 2003 organise research and graduate education in the area of real-time systems. In addition ARTES was active in stimulating technology transfer from academia to Swedish industry. In 1998 to 2004 ARTES financed 43 Ph.D. students and built up a network. The activies during the time period 1997 to 2006 is described in the book “ARTES - A network for Real-Time research and graduate Education in Sweden 1997 - 2006. Editor: Hans Hansson, March 5, 2006"

ARTES commission since 2004 has not been to organise research. It has been focused on graduate education in the real-time systems, technology transfer, and network activates. In March 2006, the network consisted of 96 Ph.D. students, 71 Ph.Ds that formerly were associated to ARTES as Ph.D. students, and the SNART network with approx. 200 members from industry and academia. All Swedish universities and most large companies active in the area are represented.

During 2006, 12 Ph.D. students defended their theses, and 7 defended their Lic theses. Of these, 7 were funded by ARTES before 2005. ARTES arranged the Swedish Embedded Systems Meeting in the spring 2006 in Stockholm, and the annual summer school where held in Nässlingen in association with the SNART seminar on "Scandinavian ARTIST2 Seminar on Embedded Systems Design" at KTH.

3

1. Allmänt om programmet 1.1 Programbeskrivning ARTES uppdrag sedan år 2004 är att stödja doktorandkurser inom realtid och inbyggda system, samt att stödja doktoranders mobilitet. ARTES arrangerar årligen sex kurser inom området realtid och inbyggda system, en doktorandkonferens, samt en sommarskola i samarbete med Svenska Realtidsföreningen (SNART).

I ARTES verksamhet ingår att stimulera tekniköverföring mellan akademi och svensk industri. Under åren 1998 till 2004 finansierade ARTES 43 doktorander och byggde upp ett kontaktnätverk. I juni 2007 omfattande nätverket 286 personer varav 98 doktorander, 91 disputerade ARTES doktorer samt ytterligare 97 forskare inom akademi och industri. Dessutom finns ett nära samarbete med SNART nätverket med ca 200 medlemmar inom industri och akademi. Alla svenska universitet och de flesta större industriföretag med aktivitet inom området deltar. Genom nätverket och vid konferenser bidrar ARTES till att sprida information om forskningsresultat inom realtid.

ARTES stödjer tekniköverförning från doktorandprojekt genom en industriambassadör som arbetar med industriseminarier, pressreleaser och andra presskontakter.

1.2 Projektförteckning Alla ARTES projekt är nu avslutade. Resultaten av projekten sammanfattades i boken "ARTES - A network for Real-Time research and graduate Education in Sweden 1997 - 2006. Editor: Hans Hansson, March 5, 2006"

Fig. 1. Omslag till ARTES-boken.

Boken släpptes på "Swedish Embedded Systems Meeting" som ARTES arrangerade den 13 mars 2006 tillsammans med SNART och forksningsprogrammen ASTEC, CEDES, CERES, FLEXCON, MRTC, SAVE och STRINGENT. Boken finns tillgäng som "Print-on-demand" samt i fulltext via http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-6628

4

2. Forskarutbildning 2.1 Forskarstuderande ARTES++ hade 49 doktorander antagna under 2006. De kom från 9 universitet och högskolor Chalmers Tekniska Högskola, Högskolan i Halmstad, Högskolan i Skövde, Kungliga Tekniska Högskolan, Linköpings universitet, Luleå tekniska universitet, Mittuniversitet, Sundsvall, Mälardalens Högskola och Uppsala Universitet. Se fomlulär 3 i den ekonomiska redovisningen.

2.2 Forskarstuderande som avbrutit sina studier En forskarstuderande avbröt sina studier, Anna Otto slutade ganska snart efter att hon blivit antagen i Halmstad. 2.3 Kurser för forskarstuderande som har hållits under året Kurs Poäng Antal deltagande

forskarstuderande från ARTES++

Antal övriga deltagande forskarstuderande

Antal övriga delta-gare, t ex från industrin

Formella analysmetoder för realtidssystem

5 6 3 1

Embedded Control Systems 5 3 3 Parallella och Distribuerade

Realtidssystem 5 8

Distributed Real-Time and Database Systems

5 5 4

Real-Time Communication 5 6 Design of Embedded Real-Time

Systems 5 7 9 4

För en fullständig lista över de 35 kurstillfällen som ARTES gett eller planerar att stödja se Appendix A "Projects and Courses" i boken "ARTES - A network for Real-Time research and graduate Education in Sweden 1997 - 2006." 2.4 Doktorsavhandlingar framlagda 2006 av doktorander som har finansierats av ARTES Inom ARTES nätverk har 12 personer doktorerat och 9 avlagt licentiatexamen under året. Här nedan listas de som tidigare fått projektstöd från ARTES. Författare

Titel

Datum för presentation

ARTES andel av finansiering

El-Khoury, Jad A Model Management and Integration Platform for Mechatronics Product Development

06-03-03 ca 60%

Martin Karlsson Memory System Design for Chip Multiprocessors

06-01-13 ca 50%

Thomas Nolte Share-Driven Scheduling of Embedded Networks

06-05-05 ca 50%

Robert Nilsson A Mutation-based Framework for Automated Testing of Timeliness

06-10-18 ca 60%

Sven Gestegård Robertz

Automatic memory management for flexible real-time systems

06-05-24 ca 50%

Aleksandra Tesanovic

Developing Reusable and Reconfigurable Real- Time Software using Aspects and Components

06-03-23 ca 50%

Fredrik Warg Techniques to Reduce Thread-Level Speculation Overhead

06-06-13 ca 25%

5

För en lista över de tidigare 28 doktorsavhandlingar som ARTES projekt gett upphov till, se Appendix B "Theses by ARTES Teal-Time Graduate Students" i boken "ARTES - A network for Real-Time research and graduate Education in Sweden 1997 - 2006." 2.5 Licentiatavhandlingar framlagda 2006 av forskarstuderande som har finansierats av ARTES Inga licentiatavhandlingar med ARTES finansiering lades fram 2006. För en fullständig lista över de 28 licenciatavhandlingar som ARTES projekt gett upphov till se Appendix B "Theses by ARTES Teal-Time Graduate Students" i boken "ARTES - A network for Real-Time research and graduate Education in Sweden 1997 - 2006." 2.6 Andra viktiga händelser under året och eventuella avvikelser från tidigare planer ARTES utlysningar för antagande av nya doktorander har de senast åren lockat sökande från Luleå, Umeå och Mittuniversitet som därigenom blivit nya noder i ARTES nätverk. Under 2006 tycks också antalet doktorander inom ARTES ämneområde öka. På grund av detta har två antagningar av nya doktorander genomförts under året. Vid en utlysning våren 2006 antogs 10 nya doktorander. Vid en utlysning under hösten 2006 antogs ytterligare 17 nya doktorander. Inga ytterligare antagningar av nya doktorander planeras.

ARTES arrangerade 13 mars 2006 Swedish Embedded Systems Meeting i Stockholm tillsammans med forskningsinitiativen ASTEC, CEDES, CERES, FLEXCON, MRTC, SAVE och STRINGENT. Antalet deltagare var 76 från både akademi och industri. För mer info se websidan http://www.snart.org/conference/2006/ses/. Årets sommarskola hölls på Nässlingen och hade YY deltagare. I samband med sommarskolan arrangerades en seminariedag på temat "Scandinavian ARTIST2 Seminar on Embedded Systems Design” av SNART på KTH.

2.7 Nuvarande arbetsplats för tidigare examinerade forskarstuderande inom programmet Namn Examen Examensår Nuvarande arbetsplats för

examinerade Joakim Aidemark Doktor 2004 Volvo Car Corporation

Björn Andersson Doktor 2003 Postdoc på Polytechnic Insititute of Porto School of Engineering, Porto, Portugal.

Ulf Assarsson Doktor 2003 Chalmers tekniska högskola

Magnus Broberg Doktor 2002 Blekinge Tekniska Högskola

Anton Cervin Doktor 2003 Lunds universitet

De Jiu Chen Doktor 2004 KTH, Mechatronics Lab

Alexandre David Doktor 2003 Aalborg University, Danmark

Radu Dobrin Doktor 2005 Mälardalens högskola

Julien d'Orso Doktor 2003 University of Illinois, Chicago, USA

Cecilia Ekelin Doktor 2004 Volvo, Göteborg

Magnus Ekman Doktor 2004 Sun Microsystems i Sunnyvale, Kalifornien

Jad El-Khoury Doktor 2006 KTH, Mechatronics Lab

6

Sven Gestegård Robertz

Doktor 2006

Flavius Gruian Doktor 2002 University of Auckland, Nya Zeeland

Daniel Häggander Doktor 2001 Egen företagare, tjänstledig från Blekinge Tekniska Högskola

Damir Isovic Doktor 2004 Mälardalens högskola

Martin Karlsson Doktor 2006 Sun Microsystems, Processors and Networks Product Division.

Sorin Manolache Doktor 2005 Linköpings universitet

Jukka Mäki-Turja Doktor 2005 Mälardalens högskola

Robert Nilsson Doktor 2006 Google

Thomas Nolte Doktor 2006 Mälardalens högskola

Dag Nyström Doktor 2005 50% på Mälardalens högskola som forskare och 50% på eget spin-off företag, Dag Nyström Konsult och Utveckling utvecklar "Mimer SQL

Real-Time edition".

Paul Pop Doktor 2003 Linköpings universitet

Ola Redell Doktor 2003 ENEA OSE Systems AB

Paul Scerri Doktor 2001 Carnegie Mellon University in USA

Håkan Sundell Doktor 2004 VD Parallel Scalable Solutions AB, (ARTES spin-off företag).

Alexandra Tesanovic

Doktor 2006 Philips Research in Einhoven, Holland

Henrik Thane Doktor 2000 VD Zealcore Embedded Solutions (ARTES spin-off företag) och forskare vid Mälardalens högskola

Elisabeth Uhlemann

Doktor 2004 Högskolan i Halmstad

Anders Wall Doktor 2003 ABB AB avd CRC

Fredrik Warg Doktor 2006 IT-universitetet, Göteborg.

Thiemo Voigt Doktor 2002 SICS

Yi Zhang Doktor 2003 SAP, Tyskland

Johan Andersson Licenciat 2005 Mälardalens högskola, fortsätter till doktor

Carl Bergenhem Licenciat 2002 Sveriges Provnings- och Forskningsinstitut + doktorerar på Chalmers

Urban Bilstrup Licenciat 2005 Högskolan i Halmstad

7

Johan Fredriksson Licenciat 2005 Mälardalens högskola, fortsätter till doktor

Hoai Hoang Licenciat 2003 Högskolan i Halmstad

Andreas Johnsson Licenciat 2005 Mälardalens högskola, fortsätter till doktor

Jonas Lext Licenciat 2001 Illuminate Labs AB, Göteborg (startat företaget)

Anders Möller Licenciat 2005 SunGard FRONT ARENA

Patrik Persson Licenciat 2000 EAB/M (Ericsson Mobile Platforms) i Lund

Anders Pettersson Licenciat 2003 Mälardalens högskola, fortsätter till doktor

Mikael Åkerholm Licenciat 2005 CC Systems AB och industridoktorand vid Mälardalens högskola

3. Forskning 3.1 Medverkande forskare. Under året har 56 forskare och andra seniora personer medverkat i ARTES (se formulär 4 i den ekonomiska redovisningen). De allra flesta får ingen direkt lön av ARTES utan medverkar som handledare till doktorander samt lärare i kurser och aktiviteter som ARTES arrangerar. Ersättning för aktiviteterna utgår vanligen som engångsarvoden. I formulär 4 anges en uppskattad årsarbetstid. 3.2 Publikationer, erhållna och sökta patent samt andra resultat av verksamheten 2005 redovisas nedan. Eftersom ARTES inte finansierar forskningsprojekt sedan 2004 redovisas inte de forskarstuderandes publikationer. I mars 2006 publicerades boken "ARTES - A network for Real-Time research and graduate Education in Sweden 1997 - 2006." Editor Hans Hansson, Uppsala University. ISBN 91-506-1859-8, ISSN 1404-3203, ISSN 1404-3041, ISRN MDH-MRTC-197/2006-1-SE, 830 pages. http://urn.kb.se/resolve?urn=urn:nb:se:uu:diva-6628. Boken summerar ARTES resultat till och med mars 2006, samt ger några representativa exempel på vetenskapliga resultat som framkommit i ARTES forkningsprojekt. 3.3 Andra viktiga resultat och händelser under året samt eventuella avvikelser från tidigare planer Under året beslutade SSF att bevilja ARTES förlängd dispositionsrätt för beviljade medel. Med anledning av detta har ARTES styrelse beslutat rekrytera doktorander också under 2006, och planerat versamhet för 2007 i form av ett kursutbud om sex kurser och en sommarskola. Det har visat sig att vid utlysningarna 2006 sökte ett stort antal doktorander till ARTES, som antog 10 under våren samt ytterligare 17 vid höstantagningen.

8

4. Utåtriktad verksamhet 4.1 Samarbete med svensk industri ARTES kurser är öppna för deltagare från industrin. Genom styrelses sammansättning och kontakter med Svenska nationella realtidsföreningen (SNART) upprätthålls en bra industrikontakt för beslut kring verksamheten och informationsspridning. Fyra doktorander har vistats längre tider i industrin under året. Rapport från en av vistelserna finns i bilaga 1 samt på hemsidan www.artes.uu.se. 4.2 Industriell användning av forskningsresultat eller kompetens inom programmet Ett stort antal av de examinerad arbetar inom industrin. De flesta vi känner till arbetar med verksamheter som har en direkt koppling till deras forskning. Fem av de examinerade har startat egna företag utifrån sina resultat (se punkt 2.7 ovan). Under året etablerades företaget "Dag Nyström Konsult och Utveckling " i Västerås. Huvudverksamheten bygger på resultat från ARTES projekt "Embedded Databases for Embedded Real-Time Systems (COMET)". 4.3 Samarbete med andra SSF-finansierade program Samarbeten pågår med SAVE, SAVE-IT och Flexcon genom att doktorander i dessa program ofta även är doktorander i ARTES. På så sätt samordnas delvis kursverksamheten. 4.4 Internationellt samarbete som har haft betydelse för programverksamheten Under 2006 har ARTES doktorander rapporterat från 10 internationella konferenser, även en industri vistelse hos Ericson AB rapporterades. Rapporter från alla vistelserna (Bilaga 1) sprids inom nätverket via hemsidan www.artes.uu.se.

ARTES forskare är mycket aktiva på den internationella arenan. De är bland annat medlemmar i programkommittéer för ett stort antal internationella konferenser i området (i flera fall är 3-4 ARTES-forskare med i programkommittén). Svensk realtidsforskning är dessutom mycket väl representerad på dessa konferenser.

4.5 Annat viktigt samarbete under 2006 ARTES arrangerade Swedish Embedded Systems Meeting som samlade deltagare från industri och akademi. Dagen arrangerades i samarbete med forskningsinitiativen ASTEC, CEDES, CERES, FLEXCON, MRTC, SAVE and STRINGENT och besöktes av 79 deltagare. Dagen belyste forksningen inom realtidsystem och inbyggda systems som bedrivs i Sverige. ARTES årliga sommarskola koordinerades med SNARTs seminarie på temat "Scandinavian ARTIST2 Seminar on Embedded Systems Design". 4.6 Hemsidor ARTES har ansvar att informera forskarsamhället, industrin, forskningsfinansiärer, press och allmänheten om sina aktiviteter och utvecklingen inom området. ARTES hemsida

9

www.artes.uu.se fungerar som en viktig kanal för informationsspridning. För närvarande innehåller sidorna information om resultat, forskningsprojekt, nyheter från konferenser, nya avhandlingar, ledningens beslut och andra viktiga aktiviteter.

Webb-adress Ansvarigs namn Telefon e-postadress ARTES http://www.artes.uu.se Roland Grönroos 018-471 6847 [email protected]

4.7 Insatser för att sprida information om programmet eller forskningsresultat Industriambassadör Anita Andler har under 2006 gjort pressreleaser. 5. Programadministration 5.1 Styrelse och programansvariga Uppgifter om årsverken och lönekostnader lämnas på formulär 5 för ekonomisk redovisning. Efternamn Förnamn Titel Program-funktion Högskola/

företag Telefon E-postadress

Andler Sten F. Professor Lärare. Handledare för 2 ARTES++ doktorander. Medlem i ARTES referensgrupp.

Högskolan i Skövde

0500-448 313 [email protected]

Axelsson Jakob Adjugerad professor

Styrelseordförande MdH/Volvo personvagnar


Emmertz Bertil Styrelseledamot ABB Automation Technology Products AB


Forsberg Kristina PhD Styrelseledamot Saab Avitronics

[email protected]

Grönroos Roland Docent Biträdande programdirektör

Uppsala Universitet


Hansson Hans A. Professor Tidigare program direktör, Lärare, Medlem i ARTES referensgrupp.

Mälardalens Högskola,


Holmgren Sverker Docent Styrelseledamot Uppsala Universitet


Jonsson Jan Docent Lärare. Medlem i ARTES referensgrupp.

Chalmers 031-772 5220 [email protected]

Jonsson Magnus Professor Lärare. Handledare för 1 ARTES++ doktorand. Medlem i ARTES referensgrupp.

Högskolan i Halmstad

035-167177 [email protected]

Lundberg Lars Professor Medlem i ARTES referensgrupp.

Blekinge tekniska högskola


Nadjm-Tehrani

Simin Professor Lärare. Handledare för 3 ARTES++ doktorander. Medlem i ARTES referensgrupp.

Linköpings universitet


Pettersson Paul Professor Programdirektör. Lärare. Medlem i ARTES

Uppsala Universitet och


10

referensgrupp. Handledare för 1 ARTES++ doktorand.

Mälardalens högskola

Törngren Martin Professor Styrelseledamot, Medlem i ARTES referensgrupp.

KTH 08-790 6307 [email protected]

Årzén Karl-Erik Professor Medlem i ARTES referensgrupp.

Lunds Tekniska Högskola


5.2 Andra rådgivare och styrgrupper ARTES har inte permanenta rådgivare utan anlitar vid behov experter anpassade för ändamålet. Under år 2006 har ingen extern utvärdering av verksamheten gjorts. Vi har därför inte anlitat någon rådgivare. 5.3 Övriga medarbetare Anita Andler är på deltid engagerad som industriambassadör. Visst administrativt stöd erhålls från Institutionen för informationsteknologi vid Uppsala universitet. 6. Övriga upplysningar om programmet och synpunkter på samarbetet med SSF, medverkande högskolor och andra samarbetsparter: 7. Ekonomisk redovisning Formulär 1 – 4 är ifyllda enligt stiftelsens anvisningar

Reports by ARTES Real-Time Graduate students from Conferences and Industry visits 2006

Travel reports by Real-Time graduate students

• Johan Lindhult reports from The International Workshop on Compilers for Parallel Computers (CPC).

• Martin Kero reports from POPL (Principles Of Programming Languages), SPACE (Semantics, Program Analysis and Computing Environments for memory management) and PEPM (Partial Evaluation and Program Manipulation), January 2006.

• Ewa Hansen reports from International Symposium on Wireless Pervasive Computing January 2006. and from The Fifth Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net 2006).

• Alexander Karlsson reports from "The 9th International Conference on Information Fusion, 2006" in Florence, Italy, 10-13 July 2006.

• Jerker Bengtsson reports from RTCSA06 "12th IEEE conference on Embedded Real-Time Computing Systems and Applications",16th to 18th of August in Sydney, Australia.

• AnnMarie Ericsson reports from First international Workshop on Event-driven Architecture, Processing and Systems (EDA-PS 06), September 2006, Chicago.

• Christer Gerdtman rapporterar från ”Svenska Läkaresällskapets Riksstämma” Göteborg, 29 november - 1 december, 2006. och från European Medical and Biological Engineering Conference (EMBEC 05)

• Viacheslav Izosimov reports from a visit to DTU and describe the "Paper Pipeline".

• Carl Bergenhem reports from "The 12th IEEE Pacific Rim Symposium on Dependable Computing".

• Raul Barbosa reports from "The 12th IEEE Pacific Rim Symposium on Dependable Computing".

• Moris Behnam reports from RTSS 2006 conference in Rio.

• Kaj Hänninen reports from RTSS 2006 conference in Rio.

Location: http://www.artes.uu.se/mobility/reports/

Industry visit reports by Real-Time graduate students • Johan Lindhult visited Ericsson in Älvsjö 2006

Location: http://www.artes.uu.se/mobility/industri/

Travel Report from CPC’06

Johan LindhultDepartment of Computer Science and Electronics

Malardalen [email protected]

The International Workshop on Compilers for Parallel Computers (CPC), is a series ofworkshops which covers all aspects of parallelism and optimizations; from embedded systemsto large scale parallel systems and computational grids. This year, the workshop (CPC’06)was organized by the Computer Architecture Group of the University of A Cor una, Spain, andwas held between the 9th and 11th of January (2006) in A Coruna.

A Coruna, also called ”a balcony overlooking the Atlantic” is a town on the Atlantic seaside,located in the Northwest of Spain, and part of the Galicia community. Among things worthseeing in the city is the Tower of Hercules, a two thousand year old lighthouse that is still inuse. A Coruna is not far (approximately 60 km) from Santiago de Compostela where, accord-ing to the legend, the holy relics of Saint James are kept in the cathedral. A guided visit tothe cathedral, Fig. 1, was included in the workshop program.

I had no paper to present at this workshop, instead the purpose with my trip was to get toknow the ”parallel community” and see if any of the work presented could be of interest formy own research (which up til now has been in the area of programming language semantics).

Although I didn’t find any of the presentations directly applicable on our own work therewere a lot of interesting presentations and discussions; besides work on different hardwareissues (such as cache prediction e.g.) there were presentations on subjects such as instructionscheduling, speculative parallelization, and loop transformations, to name a few.

A reflection I made is that there are a number of projects/research groups working on dif-ferent aspects of concurrent execution of Java (something that is also emphasized by a specialjournal issue [1]), ranging from attempts to minimize the actual number of necessary locks inan application, to adapting an existing model (OpenMP) for parallel Java programming. Myimpression is that the interest for Java (i.e., for parallel execution of Java programs) is due tothe fact that the language is explicitly multi-threaded.

A second observations is the usage of genetic algorithms in attempts to generate optimalexecutables (i.e., as optimal as possible).

A final remark is that there seems to be a lack of existing, suitable applications that cantake full advantage of modern, parallel hardware (something that was underlined by some ofthe speakers).

My overall impression is that it was a very well organized workshop at a very pleasantlocation. All in combination with a lot of interesting people.

1

Figure 1: The cathedral of Santiago de Compostela. (Photo by the author.)

References

[1] M. Moir, N. Shavit and J. Vitek (Editors) Science of Computer Programming; SpecialIssue on Concurrency and Synchronization in Java Programs. 58(3), Dec. 2005.

2

ARTES Travel Report{

POPL / SPACE / PEPM 2006

2006-01-23

Martin KeroLule�a University of Technology

Department of Computer Science and Electrical EngineeringEISLAB

SE-97187 Lule�a, Swedenwww.csee.ltu.se

The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages R

(POPL) was held January 11 { 13, 2006, in Charleston, South Carolina, USA. POPL isthe major conference for the programming language research community. The call forpapers attracted a total of 167 submissions, of which only 33 were accepted. In additionto POPL, we visited two a�liated workshops, SPACE (Semantics, Program Analysis andComputing Environments for memory management) and PEPM (Partial Evaluation andProgram Manipulation).

Among the presentations (at POPL), I found the invited talk by Tim Sweeney fromEpic Games the most exciting one. The title of the talk was "The Next MainstreamProgramming Language: A Game Developer's Perspective". He mainly addressed theshortcomings of the current mainstream language family (C/C++/Java/C#), to witscalable framework for componentization and concurrency as well as the challenge ofwriting very complex software with real-time performance requirements.

At SPACE I found the presentation of the paper "Separation Logic for a Higher-Order Typed Language", by Neelakantan Krishnaswami, most interesting. Separationlogic is an extension to Hoare logic which adds a conjunction operator that separatesthe propositions to hold in disjoint parts of the heap. This logic enables local reasoning

about programs and their heap usage behaviors. The main contribution of this paperis, as the title reveals, a de�nition of separation logic for a higher-order typed language.It has previously only been used for low-level programs, which intrinsically have been�rst-order. The main problem he encounters is that the triple (precondition, command,postcondition) is not su�cient enough to assure that the speci�cation is true since thecommand might contain free-variables that are bound to functions. He solves it bydescribing the speci�cation as the triples as functions of their environments. He derivesinference rules for universal speci�cations, i.e. the speci�cation is true for all type-correctenvironments.

At our stay, we had the chance to spend one whole day devoted to sightseeing.Charleston, SC, is one of the oldest and most signi�cant southern cities. Among manyother historic events, the civil war began here, at Fort Sumter. We visited the worldwar 2 carrier U.S.S. Yorktown at Patriots Point Museum. Last but not least, the marketstreets o�er a broad variety of dining.

Report fromThe Fifth Annual Mediterranean Ad Hoc

Networking Workshop (Med-Hoc-Net 2006)Lipari, Sicily (Italy) - June 14-17, 2006

Ewa HansenDepartment of Computer Science and Electronics

Malardalen University, Sweden

1 Conference

MedHocNet 2006 was an international workshop for researchers, from academia, re-search labs and industry, to present results, discuss new ideas, as well as interactingwith colleagues in the field of wireless multihop networking. Several nationalities wererepresented on the conference e.g. Europe, Asia, USA.

On the first day, not included in the conference, a full day tutorial was held by Pro-fessor Ian F. Akyildiz (Georgia Institute of Technology) onWireless Sensor Networks.The tutorial was very fruitful for the knowledge of wireless sensor networks. The con-ference also included a panel discussion aboutDependable Coordination in Ad HocNetworks.

On the second day of the conference there was a conference dinner at the bestrestaurant on Lipari. We had two different antipasti dishes, one main course anddessert, wine was also served.

I went to this conference together with my college to present a paper, Energy-Efficient Cluster Formation for Large Sensor Networks using a Minimum SeparationDistance, and I was also a co-author of a poster, that my college presented.

In this paper we investigate the usefulness of enforcing a minimum separation dis-tance between cluster heads in a cluster based sensor network. We performed initialsimulations in order to determine how much we can lower the energy consumption inthe sensor network by separating the cluster heads. We also investigated how the num-ber of clusters affect the energy consumption for a given minimum separation distance.The results show that our sensor network performs up to 150% better when introduc-ing a minimum separation distance between cluster heads, comparing the number ofmessages received at the base station. The simulations also show that the minimumseparation distance resulting in the lowest energy consumption in our network varieswith the number of clusters.

2 Venue

Figure 1a: Hotel Tritone Figure 1b: The view from Hotel Tritone

The MedHocNet workshop was held on the wonderful island Lipari. Lipari is thelargest of the Aeolian Islands, a group of seven small islands a few miles from theSicilian coast. Lipari is also one of the most famous touristic resorts in Sicily. To reachLipari we had to take the train all the way to Milazzo port, to catch the speedboat toLipari. Since the flight, train/bus and boat timetables did not mach each other we had tospend one night in Catania both on the way to Lipari and on the way back to Sweden.On the way to Italy my luggage got lost i Milano, theblack holeaccording to someItalian people on the conference. I got my luggage on the second day of our stay.

The conference took place at hotel tritone, Figure 1a, located on the hill only a shortdistance from both the sea and the city center. The view from the hotel was amazing,Figure 1b. One afternoon we went on a boat trip to Stromboli. Stromboli is also oneof the Aeolian Islands and is one of the most active volcanoes on earth. It has beenin nearly continuous eruption for about 2000 years. The trip to Stromboli, to see theeruptions is something that I would really recommend. In Figure 2a there is somesmoke coming from the volcano, later in the evening we could also see when lava wasthrown out from the top. It was just amazing!!

Figure 2a: Stroboli Island Figure 2b: Sunset

2

The 9th International Conference on Information

Fusion, 2006

Alexander KarlssonUniversity of Skovde

School of Humanities and Informatics

[email protected]

December 8, 2006

Information Fusion 2006 Alexander Karlsson

1 Introduction

Dasarathy [1] depicts information fusion as:

”Information fusion encompasses the theory, techniques, and toolsconceived and employed for exploiting the synergy in the informa-tion acquired from multiple sources (sensor, databases, informationgathered by human, etc.) such that the resulting decision or actionis in some sense better (qualitatively and quantitatively, in termsof accuracy, robustness and etc.) than would be possible, if thesesources were used individually without such synergy exploitation.”

The information fusion conference is ”the” conference within the informationfusion community. It covers different types of fusion techniques from low-level,such as sensor fusion, to high-level information fusion. The conference containsspecial sessions on different topics as well as tutorials. It was held in Florence,Italy, 10-13 July 2006.

2 The conference

The conference had quite many sessions about high-level information fusion,situation management, and belief theory. This is interesting since most of theprevious research has been concerned about low-level information fusion suchas multi-sensor fusion in target tracking. The large number of sessions aboutbelief theory reflects the importance of uncertainty management in the contextof information fusion. Fault diagnosis, image processing, tracking and differenttypes of combination rules are some of the topics which were covered in thesesessions. Another special topic was category theory and how this formalism canbe applied in high-level information fusion.

I attended a tutorial ”Fusion of quantitative and qualitative information us-ing DSmT”, which covered the problem of how one can fuse conflicting anduncertain information. The tutorial encompassed the foundation of DSmT(Dezert-Smarandache theory) and a set of different combination rules.

3 Conclusions

The conference is a good source for information about low-level sensor-datafusion as well as for high-level information fusion and it is also a good place tomeet other researchers.

References

[1] Dasarathy, B. Information fusion - what, where, why, and how ? Infor-mation Fusion 2 (2001), 75–76.

2

Travel Report from RTCSA’06

Jerker BengtssonCentre for Research on Embedded Systems

Halmstad UniversityPO Box 823, SE-301 18 Halmstad, Sweden

[email protected]

The 12th IEEE conference on Embedded Real-Time Computing Systemsand Applications was held 16th to 18th of August. The location was at the 4points Sheraton Hotel at Darlington Harbour in Sydney, Australia. The RTCSAconference is one of the main conferences on practical oriented and applied real-time computing. I had no paper myself submitted to this conference. My workhad so far been mostly focused on parallel programming and compilation formulticore processors. Therefore I found this conference to be an interestingopportunity to get an updated view of possible related real-time work and, newideas to bring into the work.

I expected the topics on this conference to be somewhat collected but thesessions were quite wide spanning; everything between ”power aware comput-ing”, “ubiquitous computing” to ”scheduling and timing analysis”. I was moreinterested in the latter topic. In my opinion, the scope of sessions was a bit towide for this conference. A pity is that the discussion related to the papers insome cases became more or less absent.

Despite the far conference location, there were quite a few papers with au-thors and representatives from Sweden; Halmstad, Malardalen and Linkoping.One of the observations that I made during the presentations is that there ingeneral seem to be a more close connection in these works (from Sweden andother European representatives), between academia and industry.

A growing application trend in the real-time research community is wirelessensor networks. I was a bit surprised that there were not so many papersdirectly related to this topic. I also observed that there was not so much workrelated to multicore processors. It is a bit noteable since such emerging processorarchitectures are motivated mainly by real-time applications of some kind.

The best paper award was selected to be ”’Rate Monotonic SchedulabilityConditions Using Relative Period Ratios”. This paper presents work whichimproves the quite pessimistic Liu and Layland schedulability bound, by takingrelative task periods into account.

In conjunction with the conference there was a banquet dinner and a guidedboat trip. The boat trip originated in Darlington Harbour and took us out ona tour in- and outside the harbour of Sydney. We were lucky with the weather

1

Figure 1: Report author outside the opera house in Sydney. The roof tiles areSwedish-made ceramic, from Hoganas, Sweden

and it was nice to see Sydney from the seaside. The highlight on the banquetwas the live didgeridoo concert, performed by two aboriginals.

To summarize, although it was a long and quite tiresome trip it was a suc-cessful trip - many interesting people and a nice location.

2

ARTES Travel Report

First international Workshop on Event-driven Architecture,

Processing and Systems (EDA-PS 06)

September 2006, Chicago

AnnMarie Ericsson

University of Skövde

[email protected]

Introduction The first international workshop on Event-driven Architecture, Processing and Systems were

held in Chicago 18 September 2006. My paper “Detecting design errors in composite events

for event triggered real-time systems using timed automata” was accepted for publication and

I was asked to have a 20 minutes presentation of the content of the paper in the workshop.

Workshop The workshop contained presentations of papers as well as panel discussions and a poster

session. People both interested in event-stream processing (ESP) and complex event

processing (CEP) attended the workshop. The areas of ESP and CEP are related and the exact

difference between the areas is still under debate. In short, much of the research going on in

these areas is about processing and reacting to event streams as fast as possible as well as to

combine event occurrences in a way that enables high-level knowledge to be extracted from

the low-level event stream.

My contribution to the workshop is within the area of CEP. CEP can be used for building and

managing information systems such as event-driven architectures, business monitoring and

different kinds of middleware. The goal of CEP is to extract information coming from low-

level events to higher level knowledge. Based on information carried by the events in form of

parameters and information about the order and timing in which the events occurred, higher

level knowledge is extracted and can be acted upon in time.

The techniques included in CEP are, for example, detection of complex event occurrences,

event streams processing, event hierarchies, and relationships between events such as

causality.

Conclusion The main goal for my trip to Chicago was to attend the workshop, present my paper and

hopefully meet interesting people. My impression was that the audience of the workshop

seemed very interested about my work and I got a lot of questions and valuable feedback.

Additionally, I met people who were interested in cooperation in some form. In short, I got a

lot of feedback from my trip and invaluable new contacts.

EMBEC´05Om EMBECEMBEC står för European Medical and Biological Engineering Conference. EMBEC konferenser hålls var 3:e år och detta var den tredje konferensen sedan starten 1999. EMBEC är en konferens om medicinsk teknik. Eller som värdorganisationen skrev:“The scientific program represents the most relevant subdisciplines of our field, the healthcare challenges, the emerging technologies, and the most advanced methods.”

KonferensenDet är en ganska stor konferens med cirka 1200 talare som höll på i 5 dagar. Konferensen spänner över ganska många ämnesområden inom medicinsk teknik. Så det är både en fördel och nackdel då man kan hitta intressanta saker inom väldigt varierande forskningsområden. En nackdel för min del var att det ibland var ganska så ointressanta ämnen långt från mitt forskningsområde.

Jag upplevde organisationen som väldigt professionell då man skulle skicka in papper och liknande. De gav även ut en PowerPoint-mall med mera som underlättade för de med muntlig presentation. Det märktes vilka som var nya doktorander, ty de, liksom jag, använde sig av mallen.

När det sedan kom till själva tillställningen var det inte lika lyckat. Jag tyckte schemat inte var det bästa, samt CD:n man fick ut med alla kompletta forskningspapper hade en del att önska i sökväg. Gick inte att söka på det ID-nr som alla accepterade papper fick. De använde sedan ID-nr för schemat, så ganska svårt hitta rätt. Schemat var dessutom uppbyggt enligt ett SSxx (Special Session nr xx). Föreläsningar inom samma område fick nummer efter varandra, även om föreläsningarna kom på olika dagar. Det började med SS01 sedan kom föreläsningarna i ett lagom oorganiserat stegrande system, typ SS05, SS10, SS03, SS07 osv. Gick inte att leta på ett vettigt sätt.

En sak som gjorde mig irriterad var att det var 5 inlämnade papper inom mitt område, inklusive mitt. De skulle alla presenteras samma tid i 3 olika lokaler. Så de mest intressantaste föreläsningarna för min del missade jag.

De hade även en postersavdelning där alla posters stod i samma rum. Posterna stod i 8 rader med 8 stycken posters i varje rad, dvs inget mellanrum mellan olika posters. Dessutom kom följande 8 på baksidan med cirka 1,5 meters mellanrum till nästa rad. Ganska trångt med andra ord. För att bättra på trängseln så delade de gärna ut nummer efter varandra istället för att ta varannan även om det bara var hälften av postersplatserna som användes. De hade även en falsk poster tävling varje dag för att öka på intresset för postrarna.

Så sammanfattningsvis kan man säga att konferensen var väl planerad, men inte så genomtänkt i genomförandet. Om PragJag var där i November och det var ganska kallt. Minusgrader och snöfall vissa dagar, så inget väder man springer runt i direkt. Jag var väldigt mycket på konferanscentret och såg inte så mycket av staden, även om jag han med en rundtur en dag, samt de flesta kvällarna. Ganska likt Sverige i många avseenden. Mycket glas och träleksaker. Annars var det inget som var värt at köpa, förutom den goda tjeckiska ölen förstås.

Centrala Prag är rena turiststråket. Väldigt dyrt och många turister tyckte jag. Jag blev dessutom förvånad över alla negrer som kvällstid arbetade som inkastare på olika stripklubbar. De pratade bra engelska, bättre än tjeckerna faktiskt, så kanske därför de arbetade som inkastare.

Vill man uppleva det mer äkta Prag får man leta sig till någon vanlig pub en bit bort från centrala Prag. Vi hittade en sådan 500 meter från hotellet. Deras dyraste maträtt kostade cirka 30 svenska kronor och en stor stark, av bra sort, cirka 5 kronor. Helt och fullt uthärderligt. Enda nackdelen är att tjeckerna röker som borstbindare hela bunten. Så man är rena stinkbomben då man kliver ut från

puben. Men vad gör man inte för billig god öl.

Det var ganska sterilt på de flesta ställen jag var på. Däremot såg de ganska nyrenoverade ut, så Prag verkar vara en stad på frammarsch. Men det kanske är den tjeckiska kulturen som gillar det sterila.

En sak som verkar vara typisk med hotellrummen i Prag är att de är rökiga, varma, har megakuddar och konstiga täcken. Verkar vara samma på olika hotell. Man kunde dock vädra och stänga av elementen. När det är minusgrader ute ville de gärna ha närmare 30 grader inuti rummen. Täckena kunde man löra sig stå ut med, men kuddarna var helt hopplösa. Cirka 1 meter breda, en halv meter långa och 2-3 dm höga. Helt hopplösa, så ett tips kan vara att ta med sin egen kudde om man vill sova skönt.

Min erfarenhet och upplevelseDe flesta tjeckerna pratar engelska mer eller mindre. Däremot verkar de inte förstå engelska lika bra som de pratar engelska. Därför inträffade några dråpliga situationer, tex på hotellet ville de att vi skulle lämna in kortnycklarna så vi sa våra rumsnummer, vilket receptionisten inte uppfattade. Efter en stunds repeterande förstod receptionisten att vi bodde i olika rum, och sa: ”Varför sa ni inte det direkt?”. Var ungefär det vi sagt. Man fick även ut speciella frukostkort, (som de aldrig tittade på). En person i sällskapet frågade om man behövde visa kortet varje frukost och fick till svar ”Breakfast, breakfast” och viftande med kortet. Inte lönt fråga mer.

Tjeckerna upplevde jag som ganska tystlåtna. Jag kan inte påstå att de var direkt serviceinriktade, men de var inte heller ovänliga eller ohjälpsamma. Ett mellanting. Till och med tiggarna var mycket harmlösa. De låg på knä som om de bad till Mecka med kepsen i handen så folk kunde lägga pengar i mössan deras. Enda som jag upplevde man ska se upp med är taxichafförerna. Bestäm priset innan resan. Dessutom kör de som biltjuvar, så säkerhetsbälte är en självbevarelsedrift ta på sig. Annars fungerar de allmänna färdmedlena utmärkt.

Jag tyckte det var ganska skönt få gå runt i fred. Enda gången någon var på en var då man gick på turiststråken, annars en lugn och behaglig vistelse.

/Christer GerdtmanIDE, Mälardalens Högskola

Visit to Technical University of Denmark (DTU), Dept. of Informatics and Mathematical Modeling in October 2006

ARTES++ Travel Report by Viacheslav Izosimov, Linköpings Universitet, IDA/SaS/ESLAB,

[email protected]

2006-11-22 This report presents some details of my visit to DTU in Denmark in October 2006.

I spent there about two weeks from 15th to 29th of October, contributing to

establishing cooperation between our laboratory, Embedded Systems Lab

(ESLAB), in Linköpings Universitet, and the research group with a similar name

that is emerging at Dept. of Informatics and Mathematical Modeling in DTU. One

of my research advisers, Dr. Paul Pop, who moved to Copenhagen from Linköping

in the last spring, is involved into creating this research group.

The main purpose of my visit to DTU was to renew my “adviser – PhD student”

connection with Paul, discuss journal papers based on our previous research, some

ideas for future work and possibilities for cooperation. Unfortunately, the visit was

shorter than it had originally been planned due to certain constraints such as

printing deadlines for my licentiate thesis and teaching. However, we have

managed to meet the agenda, at least partially. Some deep thoughts were given to

our previous research on fault-tolerant embedded systems. As the result, two joint

journal papers are in pipeline. We have also discussed several problem

formulations for our future joint work on fault tolerance and design optimization of

embedded systems. The joint work will be done in two main dimensions: (1) joint

master thesis projects for both Swedish and Danish students supervised by me or

Paul, respectively, and (2) joint conference papers on fault tolerance and design

optimization.

I have found quite interesting some aspects of how the research is organized at

DTU. One thing that can be useful to many research groups in Sweden is the

“paper pipeline” that was recently introduced there. The “pipeline” is a wooden-

made board attached to the wall. On this board several stages of paper publishing

process are graphically depicted, such as “in-progress”, “submitted”, “accepted”,

and “presented”. Everyone should attach a piece of paper with the title of their

research work to the board. Then, as the work is being progressed, the piece of

paper is moved from stage to stage. Another interesting aspect is that researchers

there do not use desktops anymore. Instead, everyone should have a laptop (and

only laptop) bought by the department, which is supposed to be carried home after

work. As the result, not so many people stay after 5 p.m., they prefer to work while

traveling home or while staying at home.

Of course, during my visit not only research aspects were in the focus. I spent some

time in Copenhagen downtown looking around, doing some jogging and

sightseeing. One Sunday, I went to Halloween in Tivoli Garden, which was quite

cool and exciting.

ARTES++ Travel Report to PRDC’06

The 12th IEEE Pacific Rim Symposium on Dependable Computing, December 18-20th

Carl Bergenhem December 29, 2006

1 PRDC PRDC 2006 is the twelfth in this series of symposia started in 1989 that are devoted to dependable

and fault tolerant computing. PRDC is now recognized as the main regular event of the Pacific area that is covering the many dimensions of dependability and fault tolerance, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated in every aspects of daily life, the dependability of computing system has become increasingly critical. This symposium provides a forum for countries around the Pacific Rim and other areas of the world to exchange ideas for improving the dependability of computing systems. (The above passage has been copied from the PRDC 2006 website)

This year’s symposium was held at and organised by the University of California, Riverside. The city is located on the west coast of USA; a 1 hour drive from Los Angeles.

2 Contribution and Topics My contribution to this conference was a short paper titled Implementation Results of a

Configurable Membership Protocol for Active Safety Systems. This gave me the opportunity to give a short presentation (10mins) and to put up a poster presentation. Due to the absence of some other presenters, there was plenty of time for discussions and questions.

At the conference there where researchers from several well-known group that presented their results. Of main interest to me was the research done on the consensus problem (Andre Schiper et al. working at EPFL in Lausanne, Switzerland) and failure detection (Antonio Fernandez, Sergio Arevalo et al. working at Univ. Rey Juan Carlos in Madrid, Spain). Both these research topics are in the context of asynchronous system with communication networks with a mixed topology and where communication links may suffer failures. I have previously read some of the work from the different group and have been inspired by the work. The general research task of writing well specified and understandable work is of course in common. The general layout of the research, e.g. what aspects of a problem are important, how a proof is formulated, how an algorithm is presented, thoroughness etc., is important to learn and take inspiration from and can also be used in my own work. It is always an experience to listen to presentations where both the work being described and the presentations themselves are of high quality.

The membership problem, which I study, is a subset of the consensus problem. Further, the environment for which my work is targeted is “nicer” in that it is basically synchronous and static. Also real-time properties are achievable in this environment and are of importance for the envisaged application; distributed real-time control systems.

3 Relevance and Conclusion The topic of this conference (and the PRDC series) seems to correct and right for my own research

interests. The quality of the other contributions is generally very high. PRDC'06 accepted 42 regular papers and 20 short papers out of the total 117 submissions with about 35% and 17% acceptance rate for full papers and short papers respectively. The conclusion is thus that this conference would be the relevant forum to publish research work at, again in the future.

However, submitting short papers do not directly bring me closer to attaining my PhD. The return for submitting a full paper is much greater in the eyes of the follow-up group. Despite this, it has been a good experience to visit the PRDC-06 conference.

ARTES++ Travel Report to PRDC’06The 12th IEEE Pacific Rim Symposium on Dependable Computing

Raul Barbosa

December 28, 2006

1 IntroductionThe 2006 edition of PRDC was the twelfth symposium in this series dedicated to thefield of dependable and fault-tolerant computing. The symposium was organized by theUniversity of California, Riverside, a city on the west coast of the US, about one hourdrive from Los Angeles, California.

2 Conference ProgramAs a conference which aims to establish itself as the main regular event in the Pacificarea that covers the area of dependability and fault tolerance, the PRDC attracts a verybroad spectrum of scientists from all over the world. The accepted papers (42 out of117 submissions) encompassed both theoretical analysis and experimental approaches,including commercial projects, in the dependability field. There were several interestingpresentations from the software testing, security and intrusion detection communities.Some interesting ideas were also discussed in the short paper tracks.

The keynote speeches targeted a very broad audience. The topics under discussionincluded the challenges in dependability of future networked systems, software testingand software reliability, and some reflections on the development of nano-technologiesand reliability as a fundamental attribute for the success of nano-fabrication.

My presentation of the paper entitled Flexible, Cost-Effective Membership Agreementin Synchronous Systems was scheduled for December 18th (the first day of the conference).This paper is joint work of myself and my adviser – Professor Johan Karlsson. It was,as usual, extremely gratifying to hold the 30 minutes presentation and to answer thequestions from the audience, which definitely help in the development of our future workin this area.

1

3 Accommodation and Surroundings

Figure 1: Pictures from the conference area

I was accommodated at the Courtyard by Marriott, in Riverside. Figure 1 showsseveral photographs taken in the Riverside area. One hour north we found the Big BearLake with a lot of snow whereas one hour south we found the sunny Laguna Beach. Yes,the two pictures on the right hand side were taken 1 day and 200 km apart.

4 ConclusionThe trip to this year’s edition of PRDC was quite interesting. The questions after mypresentation provided me with some feedback which will certainly affect the directionof the future work (and future presentations). It was also interesting to listen to otherpresentations within my area (but not only). I think I learned a bit about the more generalconsensus problem (which has membership agreement as a sub-problem) and about someother research areas such as database transaction management and intrusion detection.

2

ARTES++ Travel Report RTSS 2006 December 5-8, 2006 Rio de Janeiro, Brazil

Moris H. Behnam, Mälardalen Real Time Research Center (MRTC)

[email protected] RTSS 06 conference RTSS 2006 is the top international symposium of the real-time systems research community. The conference was held in Rio, Brazil. The scope of the conference is to provide a forum for the presentation of high quality, original research in several areas of real-time computing, including scheduling; control and adaptive RT systems theory; testing and debugging; modeling; formal methods; communications (wireless, wireline, and sensor networks); power, thermal and energy management; embedded systems; sensor and implantable devices; robustness; fault tolerance and robustness; intelligent behavior; time-sensitive robotics; emergency/disaster management; embedded real-time systems and infrastructures; QoS support; real-time systems middleware. There were three additional sessions,

1- Workshop on Model and Analysis Methods for Automotive Systems. 2- Work in Progress session. 3- Special Activity (Cyber robotic competition).

Contribution My contribution to this conference was a working in progress paper titled Real-Time Subsystem Integration in the Presence of Shared Resources, and I gave a 5 minutes presentation. In this paper we addressed the difficulties when integrating independently developed real time subsystems with sharing logical resources problem. We proposed a two-level hierarchical framework that allows for an easier integration process without violating the timing requirements. My overall impression is that this conference was very good and useful with so many interesting papers and works, especially the following papers which are close to my research area,

- RESOURCE SHARING IN HIERARCHICAL FIXED PRIORITY PRE-EMPTIVE SYSTEMS by Robert Davis and Alan Burns. This paper focus on resource sharing in hierarchical fixed priority preemptive systems.

- RESOURCE SHARING IN EDF-SCHEDULED SYSTEMS: A CLOSER LOOK by Sanjoy Baruah. This paper takes a closer look at EDF-scheduled systems in which access to logical shared resources is synchronized by the stack resource policy SRP.

mailto:[email protected]

Rio de Janeiro Rio is a very wonderful city with its beaches, mountains and historic past. We visited the Corcovado, which is the big statue of the Christ, overlooking the city with a great view. We also went to Jardim Botanico the botanical gardens of Rio de Janeiro and the most exciting activity was the jeep tour in Rio “Enter the Tijuca Rain Forest on an open jeep where is possible to see the contrast between the Stone jungle and a tropical forest in the middle of a big city”. And of course I didn’t miss the Samba show.

http://en.wikipedia.org/wiki/Corcovado

http://www.ipanema.com/botanico/home.htm

Travel report The 27th IEEE Real-Time Systems Symposium (RTSS06)

December 5-8, 2006, Rio de Janeiro, Brazil Kaj Hänninen

The conference The RTSS’06 conference was held in Rio de Janeiro (at the Marina Palace hotel) Brazil. It is considered as the flagship real-time conference. According to the program co-chair the conference received 173 submissions (43 papers were accepted). In addition to the main conference, it also included a WiP session. This was the first time I attended the RTSS conference. I presented a paper about shared stack analysis. I found the conference really nice with a lot of interesting presentations. The conference included papers about embedded systems, languages, multicore platforms, distributed real-time systems, schedulability, OSes, applications, energy management, sensor networks and timing constraints. My overall impression is that the conference is worth visiting, even if you don’t have a paper accepted, mainly because most of the papers concern state of the art research within the real-time community.

Rio de Janeiro Rio de Janeiro is a place with the famous beaches Copacabana and Ipanema. There’s also a large statue representing Jesus standing with outstretched arms on top of Corcovado mountain.

Industry Visit Report: Ericsson AB, Stockholm

Johan LindhultDepartment of Computer Science and Electronics

Malardalen [email protected]

Introduction

During 2006, I have spent approximately 1-2 days/week at Ericsson AB in Alvsjo, Stockholm.The site in Alvsjo is, among other things, responsible for the development and the mainte-nance of the software in the AXE exchange system. Ericsson as a company shouldn’t need anyfurther introduction.

The project that I am involved in, deals with adapting software written for sequentialarchitectures to parallel hardware. This is carried out together with people from Ericsson,and I also have two of my (assistant) supervisors at the company.

The purpose of my visits

My visits to Ericsson started 2004 with the purpose to document (by a formal semantics) thelanguage PLEX, which is used to program the functionality in the AXE system. This work wascarried out together with my supervisors at Ericsson, and described in a previous IndustryVisit Report 1.

The visits has continued during 2006, with inspection of the current software in order toget an opinion on how well the existing code is suitable for parallel processing, i.e., by tryingto identify those parts of the software that are suitable candidates for concurrent processing.To determine this, we have looked at how the shared variables in the system are used, and ifthere are any potential problems/conflicts. A previous master thesis project [1] discussed thisin general terms, but did not perform the necessary inspections.

The result of our studies was planned to be published during this fall, but the inspectionhas been far more time-consuming than we first expected, and the planned Technical Report(and a corresponding conference/workshop paper) has been postponed until this spring.

References

[1] B. Lindell. Analysis of reentrancy and problems of data interference in the parallel ex-ecution of a multi processor AXE-APZ system. Master’s thesis, Malardalen University,2003.

1http://www.artes.uu.se/mobility/industri/ind ericsson-2005 JL.pdf

Ekonomisk redovisning för 2006Formulär 1: Inbetalat till Programmet och utbetalade projektbidrag

Programmets namn: ARTESSSFs Dossier-nummer:

Belopp i 1000-tal kronor (kkr)

Kvar ofördelat 2006-01-01 av SSF-anslag 591

Kvar ofördelat 2006-01-01 av anslag från annan finansiär (underskott negativt)

Inbetalat av SSF 2006 0

Andra inbetalningar till programmet 2006 (återförd moms, ränta) 74

Summa 665

Utbetalade bidrag och programgemensamt enligt nedan 756

Ofördelade medel vid årets slut (underskott anges som negativt belopp) -91

Utbetalade projektidrag och programgemensamtProjekt Högskola/

motsvarandeInstitution Projektledare Utbetalat kkr

0 Uppsala universitet ARTES Programgemensamt 756

Summa 756

Programmets namn: ARTES++SSFs Dossier-nummer:

Belopp i 1000-tal kronor (kkr)

Kvar ofördelat 2006-01-01 av SSF-anslag 1 412

Kvar ofördelat 2006-01-01 av anslag från annan finansiär (underskott negativt) 0

Inbetalat av SSF 2006 0

Andra inbetalningar till programmet 2006 (återförd högskolemoms, ränta) 59

Summa 1 471

Utbetalade bidrag och programgemensamt enligt nedan 956

Ofördelade medel vid årets slut (underskott anges som negativt belopp) 515

Utbetalade projektidrag och programgemensamtProjekt Högskola/

motsvarandeInstitution Projektledare

Utbetalat kkr

0 Uppsala universitet ARTES Programgemensamt 956

Summa 956

Ekonomisk redovisning för 2006Formulär 2: In- och utbetalningar redovisade av mottagare av projektbidrag

Programmets namn: ARTES och ARTES++ Dnr:Summa

kkrARTES

gemensamma utgifter

ARTES++ gemensamma

utgifterInbetalat 2006 och rest från 200591. Överskott- / underskott 2005 (underskott anges som negativt belopp) -148 60 -20792. Projektbidrag/programgemensamt enligt formulär 1 1 712 756 956 Avgår: högskolemoms 093. Andra inbetalningar (t ex ränta eller annat bidrag till projektet) 133 74 59

90. SUMMA EXKL MOMS 2006 1 697 889 807

Utbetalat 2006Forskarstuderande11. Löner/motsvarande 012. Utgifter i samband med resor 013. Övriga direkta utgifter för enskilda forskarstuderande 0

10. SUMMA FÖR FORSKARSTUDERANDE 0 0 0Forskarutbildning (kursutveckling- och genomförande)21. Löner/motsvarande 651 107 54322. Utgifter i samband med resor 352 104 24723. Övriga direkta utgifter för forskarutbildning 243 243

20. SUMMA FÖR FORSKARUTBILDNING 1 245 455 791Forskning31. Löner/motsvarande 034. Utrustning direktfinansierad med SSF-anslag 037. Utgifter i samband med resor 038. Övriga direkta utgifter för forskning 0

30. SUMMA FÖR FORSKNING 0 0 0Utåtriktat samarbete41. Löner/motsvarande 042. Utgifter i samband med resor 043. Exploatering av forskningsresultat 044. Övriga direkta utgifter för utåtriktat samarbete 0

40. SUMMA FÖR UTÅTRIKTAT SAMARBETE 0 0 0Information51. Löner/motsvarande 84 8452. Utgifter i samband med resor 053. Övriga direkta utgifter för information 79 79

50. SUMMA FÖR INFORMATION 163 163 0Programadministration61. Lön/ motsvarande för Programdirektör 37 19 1962. Löner/ motsvarande för Programstyrelse 063. Löner/ motsvarande för övriga administrativa tjänster 170 107 6364. Övriga direkta utgifter för administration 3 3

60. SUMMA FÖR ADMINISTRATION 210 126 84Högskoleavgifter (fördelade kostnader)71. Lokaler 072. Institutionsgemensamt 073. Högskolegemensamt 94 13 81

70. SUMMA HÖGSKOLEAVGIFTER 94 13 81

SUMMA UTBETALAT 2006 1 712 756 956

ÖVER-/UNDERSKOTT 2006 -15 134 -149

Ekonomisk redovisning för 2006Formulär 3: Forskarstuderande

Programmets namn: ARTES och ARTES++ Dnr:

Projekt Högsk/motsv Institution Efternamn Förnamn Tjänst/motsvarande

Tid inom programmet 2006 (antal månader)

Genom-snittlig % av heltid

2006

Årsverken finansierade av progr 2006

ARTES++ Högskolan i Halmstad IDE, sek för informationsvetenskap, data och elektroteknik. Adolfsson Markus doktorand 12 0 0,00ARTES++ Chalmers Tekniska Högskola datorteknik Barbosa Raul doktorand 12 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Lindhult Johan doktorand 12 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Flemström Daniel doktorand 12 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Gerdtman Christer doktorand 12 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Hansen Ewa doktorand 12 0 0,00ARTES++ Uppsala Universitet Informationsteknologi Haziza Frédéric doktorand 12 0 0,00ARTES++ Luleå tekniska universitet systemteknik Kero Martin doktorand 12 0 0,00ARTES++ Linköpings universitet IDA Kuiper Erik doktorand 12 0 0,00ARTES++ Mittuniversitet, Sundsvall informationsteknologi och medier Lawal Najeem doktorand 12 0 0,00ARTES++ Mittuniversitet, Sundsvall informationsteknologi och medier Lepistö Niklas doktorand 12 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Olsson Erik doktorand 12 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Ni Pengpeng doktorand 12 0 0,00ARTES++ Kungliga Tekniska Högskolan Maskinkonstruktion Shi Jianlin doktorand 12 0 0,00ARTES++ Chalmers Tekniska Högskola datorteknik Törner Fredrik doktorand 12 0 0,00ARTES++ Linköpings universitet IDA Asplund Mikael doktorand 12 0 0,00ARTES++ Högskolan i Skövde datavetenskap Karlsson Alexander doktorand 12 0 0,00ARTES++ Högskolan i Halmstad IDE, sek för informationsvetenskap, data och elektroteknik. Kunert Kristina doktorand 12 0 0,00ARTES++ Mittuniversitet, Sundsvall informationsteknologi och medier Linnarsson Fredrik doktorand 12 0 0,00ARTES++ Chalmers Tekniska Högskola datorteknik Skarin Daniel doktorand 12 0 0,00ARTES++ Chalmers Tekniska Högskola datorteknik Thuresson Martin doktorand 12 0 0,00ARTES++ Mittuniversitet, Sundsvall informationsteknologi och medier Wang Qinghua doktorand 12 0 0,00ARTES++ Högskolan i Halmstad IDE, sek för informationsvetenskap, data och elektroteknik. Böhm Annette doktorand 8 0 0,00ARTES++ Mittuniversitet, Sundsvall informationsteknologi och medier Cheng Peng doktorand 8 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Gustavsson Håkan doktorand 8 0 0,00ARTES++ Luleå tekniska universitet systemteknik Leijon Viktor doktorand 8 0 0,00ARTES++ Högskolan i Halmstad IDE, sek för informationsvetenskap, data och elektroteknik. Lidström Kristoffer doktorand 8 0 0,00ARTES++ Högskolan i Halmstad IDE, sek för informationsvetenskap, data och elektroteknik. Otto Anna doktorand 8 0 0,00ARTES++ Högskolan i Halmstad IDE, sek för informationsvetenskap, data och elektroteknik. Persson Andreas doktorand 8 0 0,00ARTES++ Linköpings universitet IDA Samii Soheil doktorand 8 0 0,00ARTES++ Kungliga Tekniska Högskolan Maskinkonstruktion Sandberg Anders doktorand 8 0 0,00

Page 1 of 2

Programmets namn: ARTES och ARTES++ Dnr:

Projekt Högsk/motsv Institution Efternamn Förnamn Tjänst/motsvarande

Tid inom programmet 2006 (antal månader)

Genom-snittlig % av heltid

2006


ARTES++ Mälardalens Högskola datavetenskap och elektronik Wallin Peter doktorand 8 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Aysan Hüsein doktorand 1 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Behnam Morris doktorand 1 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Bygde Stefan doktorand 1 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Hjertström Andreas doktorand 1 0 0,00ARTES++ Luleå tekniska universitet systemteknik Kruglyak Andrey doktorand 1 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Lu Yue doktorand 1 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Nemati Farhang doktorand 1 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Pei Breivold Hongyu doktorand 1 0 0,00ARTES++ Kungliga Tekniska Högskolan Maskinkonstruktion Persson Magnus doktorand 1 0 0,00ARTES++ Kungliga Tekniska Högskolan Maskinkonstruktion Qureshi TahirNaseer doktorand 1 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Santos Marcelo doktorand 1 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Sentilles Séverine doktorand 1 0 0,00ARTES++ Högskolan i Halmstad IDE, sek för informationsvetenskap, data och elektroteknik. Söderstam Per doktorand 1 0 0,00ARTES++ Högskolan i Halmstad IDE, sek för informationsvetenskap, data och elektroteknik. Ul-Abdin Zain doktorand 1 0 0,00ARTES++ Luleå tekniska universitet systemteknik Wiklander Jimmie doktorand 1 0 0,00ARTES++ Mälardalens Högskola datavetenskap och elektronik Vulgarakis Aneta doktorand 1 0 0,00ARTES++ SICS/UU Österlind Fredrik doktorand 1 0 0,00

Summa: 0,00

Page 2 of 2

Ekonomisk redovisning för 2006Formulär 4: Medverkande personer utom forskarstuderande

Programmets namn: ARTES och ARTES++ Dnr:Projekt Högsk/motsv Institution Efternamn Förnamn Tjänst Funktion Tid inom

programmet 2006 (antal månader)

Genom-snittlig % av heltid 2006


Högskolan i Skövde datavetenskap Andler Sten F. Professor Lärare. Handledare för 1 ARTES++ doktorand. Medlem i ARTES refrensgrupp. Talare på sommarskolan.

12 3 0,03

AA SoftConnect Eget företag Andler Anita Industriambassadör 12 5 0,05Uppsala universitet, VOLVO

Informationsteknologi Axelsson Jakob Adjungerad professor Styrelseordförande. Handledare för 2 ARTES++ doktorander.

12 2 0,02

Mälardalens Högskola datavetenskap och elektronik

Björkman Mats Handledare för 1 ARTES++ doktorand.

12 1 0,01

Kungliga Tekniska Högskolan

Maskinkonstruktion Chen DeJiu Handledare för 1 ARTES++ doktorand.

12 1 0,01


Crnkovic Ivica Lärare. Handledare för 3 ARTES++ doktorander.

12 3 0,03

Uppsala universitet, ABB

Informationsteknologi Emmertz Bertil Styrelseledamot 12 1 0,01

Linköpings universitet datavetenskap Eles Petru Professor Handledare för 1 ARTES++ doktorand.

12 1 0,01

Kaiserslautern University of Technology.

Real-Time Systems Department and Electrical and Computer

Fohler Gerhard Professor Handledare för 1 ARTES++ doktorander.

12 1 0,01

Uppsala universitet; SAAB Avitronics

Informationsteknologi Forsberg Kristina Styrelseledamot 12 1 0,01


Funk Peter Handledare för 1 ARTES++ doktorand.

12 1 0,01

Mälardalens högskola Datavetenskap och Elektronik

Gustafsson Jan Handledare för 1 ARTES++ doktorand.

12 1 0,01

Uppsala universitet Informationsteknologi Grönroos Roland Forskningssamordnare Bitr. Programdirektör 12 20 0,2Mälardalens högskola Datavetenskap och

ElektronikHansson Hans Professor Tidigare program

direktör, Lärare, Medlem i ARTES refrensgrupp.

12 20 0,2

Uppsala universitet Informationsteknologi Holmgren Sverker universitetslektor Styrelseledamot 12 1 0,01

Page 1 of 4





Chalmers Tekniska Högskola

datorteknik Johannessen Per Handledare för 1 ARTES++ doktorand.

12 1 0,01

Uppsala Universitet Informationsteknologi Jonsson Bengt Professor Handledare för 1 ARTES++ doktorand.

12 1 0,01

Högskolan i Halmstad IDE, sek för informationsvetenskap, data och elektroteknik.

Jonsson Magnus Professor Lärare. Handledare för 2 ARTES++ doktorander. Medlem i ARTES refrensgrupp.

12 2 0,02


Datorteknik Jonsson Jan Docent Lärare. Medlem i ARTES refrensgrupp.

12 1 0,01


datorteknik Karlsson Johan Professor Handledare för 2 ARTES++ doktorander.

12 2 0,02


Larsson Tony Lärare. Handledare för 4 ARTES++ doktorander.

12 11 0,11

Lawson Konsult AB Eget företag Lawson Harold "Bud" Lärare. 1 10 0,008333333


Lindén Maria Handledare för 1 ARTES++ doktorand.

12 1 0,01

Luleå tekniska universitet

systemteknik Lindgren Per Handledare för 2 ARTES++ doktorander.

12 2 0,02


Lisper Björn Professor Handledare för 2 ARTES++ doktorander.

12 1 0,01

Blekinge Tekniska Högskola

Lundberg Lars Professor Medlem i ARTES refrensgrupp.

12 0 0

Lunds universitet datavetenskap Magnusson Boris Handledare för 1 ARTES++ doktorand.

12 1 0,01

Linköpings universitet datavetenskap Nadjm-Tehrani Simin Lärare. Handledare för 2 ARTES++ doktorander. Medlem i ARTES refrensgrupp.

12 4 0,04


Nolte Thomas Handledare för 1 ARTES++ doktorand.

12 2 0,02

Luleå tekniska universitet

systemteknik Nordlander Johan Handledare för 2 ARTES++ doktorander.

12 3 0,03

Page 2 of 4






Norström Christer Professor Handledare för 2 ARTES++ doktorander.

12 1 0,01


Nyström Dag Handledare för 1 ARTES++ doktorand.

12 1 0,01

Mittuniversitet, Sundsvall

informationsteknologi och media

Oelmann Bengt Handledare för 2 ARTES++ doktorander.

12 1 0,01


informationsteknologi och medier

O'Nils Mattias Handledare för 2 ARTES++ doktorander.

12 2 0,02

Linköpings universitet datavetenskap Peng Zebo Professor Lärare. 12 0 0

Uppsala universitet Informationsteknologi Pettersson Paul Universitetslektor Programdirektör. Lärare. Medlem i ARTES refrensgrupp. Handledare för 1 ARTES++ doktorand.

12 20 0,2


Punnekakkat Saasikumar Handledare för 1 ARTES++ doktorand.

12 1 0,01


Sandström Kristiann Handledare för 1 ARTES++ doktorand.

12 1 0,01


datorteknik Stenström Per Professor Handledare för 1 ARTES++ doktorand.

12 1 0,01


Svensson Bertil Professor Handledare för 1 ARTES++ doktorand.

12 1 0,01

Kungliga Tekniska Högskolan

Maskinkonstruktion Törngren Martin Professor Lärare. Handledare för 3 ARTES++ doktorander. Medlem i ARTES refrensgrupp. Styrelseledamot. Talare på sommarskolan

12 3 0,03

Uppsala Universitet Informationsteknologi Victor Björn Handledare för 1 ARTES++ doktorand.

12 1 0,01

Uppsala Universitet Informationsteknologi Yi Wang Professor Talare på sommarskolan 0,25 50 0,010416667

Technical University of Braunschweig

Hamann Arne Talare på sommarskolan 0,03 100 0,0025

Page 3 of 4





Technical University of Braunschweig

Racu Razvan Talare på sommarskolan 0,03 100 0,0025

Linköpings universitet datavetenskap Curescu Calin Talare på sommarskolan 0,03 100 0,0025

Stockholms universitet

Andersson Lena Talare på sommarskolan 0,03 100 0,0025

University of Virginia Son Sang H. Professor Talare på sommarskolan 0,25 50 0,010416667

George Mason University

Offutt Jeff Professor Talare på sommarskolan 0,25 50 0,010416667

Virtutech AB Engblom, Jakob Talare på sommarskolan 0,03 100 0,0025

Volvo Technology Corporation

Ekelin, Cecila Talare på sommarskolan 0,03 100 0,0025

Aalborg University Larsen, Kim G. Professor Talare på sommarskolan 0,25 50 0,010416667

SICS Voigt Thiemo Handledare för 1 ARTES++ doktorand.

0,03 100 0,0025

Uppsala Universitet Informationsteknologi Yi Wang Professor Lärare. Handledare för 2 ARTES++ doktorander.

12 1 0,01


informationsteknologi och media

Zhang Tingting Handledare för 1 ARTES++ doktorand.

12 1 0,01

Lunds universitet reglerteknik Årzén Karl-Erik Professor Medlem i ARTES refrensgrupp.

12 2 0,02

Summa: 1,38

Page 4 of 4

Documents

Artes-rapport f 2006 2 · 1. Allmänt om programmet 1.1 Programbeskrivning ARTES uppdrag sedan år 2004 är att stödja doktorandkurser inom realtid och inbyggda system, samt att