SNART'99
Konferens om Realtidssystem
Linköping, 24-25 augusti, 1999

Konferensbidrag

Vi söker bidrag som berör alla delar av ett realtidssystems livscykel:

• specifikation
• analys
• konstruktion
• realisering
• underhåll

Några nyckelord: modellering, kommunikation, synkronisering, specifikationsspråk, hantera komplexitet, modularisering, distribution, feltolerans, integration av delsystem/komponenter, samkonstruktion av maskinvara och programvara, realtidsoperativsystem, realtidsspråk, test, felsökning, verifiering, validering, certifiering, schemaläggning, säkerhetskritiska system, formella metoder, automatisk diagnos, obruten drift vid uppdatering/service.

Speciellt inbjudes i år också bidrag som beskriver utvecklingsplaner, kursinnehåll, laborativ verksamhet vad gäller realtidsområdet inom grundutbildning och forskarutbildning vid universitet och högskolor - inom Sverige men även internationellt.

Bidrag i form av sammanfattningar på svenska eller engelska omfattande minst 2 sidor skall ha inkommit senast den 7/5 1999 till konferensorganisatören. Bidragen kan skickas i elektronisk form (postscript eller pdf) till snart99@ida.liu.se eller i pappers form till Petru Eles, IDA, Linköpings universitet, 581 83 Linköping.

Besked om acceptans lämnas av programkommittén senast den 10/6 1999. Senaste datum för inlämnande av det fullständiga konferensbidraget är 30/7 1999. Dokumentationen registreras ej, icke förstagångspublicering accepteras.

Eventuellt kommer en mindre utställning (demo av labbar, utrustning, system, etc.) att arrangeras i anslutning till konferensen. Förslag till utställningen skall skickas till konferensorganisatören senast den 1/6 1999.

Preliminärt program

Tisdag 24/8
09.00 - 10.00	Registrering
10.00 - 17.00	Inledningsanförande och presentation av konferensbidrag
19,00 -	Konferensmiddag
Onsdag 25/8
09.00 - 12.00	Presentation av konferensbidrag
12.00 - 13.30	Lunch
13.30 - 16.30	SNARTs årsmöte

SNART 99 ingår i Realtidsveckan i Linköping, 23-27 augusti 1999. Realtidsveckan arrangeras gemensamt av SNART och det nationella forskningsprogrammet ARTES. Information om övriga aktiviteter under realtidsveckan finns på http://www.docs.uu.se/artes.

Praktisk information

Plats: Linköpings universitet

Anmälan:
Med bifogad anmälningsblankett:

• till reducerad avgift, 1400 kr exkl moms, senast den 20 juni
  
• till ordinarie avgift, 2000 kr exkl moms, senast 11 augusti
  

Medlemmar i SNART, föredragshållare och doktorander erhåller 100 kr rabatt på ovanstående avgifter (motsvarar SNARTs årsavgift). Moms tillkommer. Avgiften faktureras och inkluderar dokumentation, luncher, kaffe och konferensmiddag.

Anmälan skickas eller faxas till:
Institutionen för datavetenskap
Linköpings universitet
Attn: Charlotte Nissen
581 83 Linköping

Fax: 013-28 26 66
Epost: snart99@ida.liu.se

Information:
Zebo Peng
Epost: zpe@ida.liu.se
Tel: 013-28 20 67
Fax: 013-28 26 66

Logi: Hotellrum bokas av konferensdeltagare själv. Information om hotell i Linköping finns på http://www.ida.liu.se/conferences/snart99/hotel.html.

Programkommitté

Zebo Peng, Datavetenskap, Linköping - Ordförande
Petru Eles, Datavetenskap, Linköping - Organisatör

Jakob Axelsson, Volvo Teknisk Utveckling, Göteborg
Hans Hansson, Mälardalen Real-Time Research Centre, Västerås
Rolf Leidhammar, Softlab, Linköping
Lennart Lindh, Mälardalen Real-Time Research Centre, Västerås
Lars Lundberg, Programvaruteknik, Ronneby
Jan Torin, Datorteknik, Göteborg
Anders Törne, Datavetenskap, Linköping
Jonas Vasell, Datorteknik, Göteborg
Per-Arne Wiberg, Datorsystemarkitektur, Halmstad
Jan Wikander, DAMEK, Stockholm
Karl-Erik Årzén, Reglerteknik, Lund