Protokoll styrelsemöte i ARTES

Tid: 21 oktober 2002 , kl. 14.00
Plats: Telefonmöte

Anmälda förhinder: Karl-Erik Årzén.
Närvarande: Bengt Asker (ordf.), Bertil Emmertz, Jan Torin under 2003 ansökningarna, Roland Grönroos (bitr. program dir.), Hans Hansson (program dir.), , Kerstin Paulsson till och med ARTES avslutning, Lars Österberg.

Material till mötet pdf fil. (user & password needed)

1. Mötets öppnande och val av justeringsperson Bertil Emmertz.
2. Förlängning under år 2003.
   Rules:
1. ARTES projects with graduate students planning to complete their Lic or PhD-thesis before July 2003 were invited to apply for extensions.
2. Funding will be provided up until (and including) the month the thesis will be presented (but at most for 6 months from Jan 2003).
3. 100.000:- of the funding will be kept by ARTES until the thesis has been presented.
4. If the thesis is not presented before October 1st 2003, the last 100.000:- will be kept by ARTES and used for other Real-Time purposes.
5. Funding will only be provided for the period Jan-June 2003, i.e., ARTES will not take responsibility for funding of a late completion.
6. Funding will be restricted to maximum 1.2 MSEK up to licenciat exam. (lic.) or from lic. to PhD.

Ansökningarna och förslag till fördelning, Hans redogjorde för redovisningen.

1. Projekt 0005-23, Embedded Databases for Embedded Real-Time Systems .
   Doktoranderna Aleksandra Tesanovic och Dag Nyström.
   Beslut: Projektet har tidigare beviljats 1,2 milj. vardera för två doktorander till Lic. Medlen kan utnyttjas fram till 2003-06-30 enligt ovanstående regler.
2. Projekt 0005-09, Support for Real-Time 3-D Graphics on Future Mobile Terminals under Energy/Area Constraints .
   0005-09, doktorand Magnus Ekman.
   Beslut: Projektet tidigare beviljats 1,2 milj. till Lic. Medlen kan utnyttjas fram till 2003-06-30 enligt ovanstående regler.
3. Projekt P1, Simulation Concepts to Model Real-Time and Dependability Properties of Symmetric Multiprocessor Systems.
   Doktorand Lars Albertsson.
   Beslut: Av redan beviljade medel kan 300 kkr utnyttjas fram till 2003-06-30 enligt ovanstående regler.
4. Projekt A6-9805, A tool environment for the development of embedded systems .
   Doktorand Anders Wall.
   Beslut: Projektet beviljas 200 kkr att utnyttjas fram till 2003-06-30 enligt ovanstående regler.
5. Projekt 9811-5, Hierarchical Design and Analysis of Timed Systems .
   Doktorand Alexandre David.
   Beslut: Projektet beviljas 240 kkr att utnyttjas fram till 2003-06-30 enligt ovanstående regler.
6. Projekt #7, Integrated Control and Scheduling.
   Doktorand Sven Gestegaard.
   Beslut: Projektet beviljas 40 kkr att utnyttjas fram till 2003-06-30 enligt ovanstående regler.
7. Projekt #7, Integrated Control and Scheduling.
   Doktorand Anton Cervin.
   Beslut: Projektet beviljas 160 kkr att utnyttjas fram till 2003-06-30 enligt ovanstående regler.
8. Projekt #2, Hardware-Software Co-Design of Real-Time Systems.
   Doktorand Paul Pop.
   Beslut: Projektet beviljas 80 kkr att utnyttjas fram till 2003-06-30 enligt ovanstående regler.
9. Projekt P3, Design Strategies for Real-Time High-Performance Multimedia Applications on Multiprocessors.
   Doktorand Björn Andersson.
   Beslut: Projektet beviljas 160 kkr att utnyttjas fram till 2003-06-30 enligt ovanstående regler.
10. Projekt 0005-19, RATAD, Reliability And Timing Analysis of Distributed systems .
    Doktorand Thomas Nolte.
    Beslut: Projektet tidigare beviljats 1,2 milj. till Lic. Medlen kan utnyttjas fram till 2003-06-30 enligt ovanstående regler.
11. Projekt A8-9805, Applications of wait/lock-free protocols to real-time systems.
    Doktorand Yi Zhang.
    Beslut: Projektet beviljas 200 kkr att utnyttjas fram till 2003-06-30 enligt ovanstående regler.
12. Projekt A4-9805, Real-time software for versatility, scalability and reconfigusability in complex embedded feedback control systems.
    Doktorand De-Jiu Chen.
    Beslut: Projektet beviljas 240 kkr att utnyttjas fram till 2003-06-30 enligt ovanstående regler.
13. Projekt 9811-2, Automatic Control in Distributed Applications (AIDA 2).
    Doktorand Jad El Khoury.
    Beslut: Ansökan avslås eftersom doktoranden inte beräknas ta examen före 03-10-01.
14. Doktorand Martin Sanfridson.
    Beslut: Ansökan avslås eftersom doktoranden ej tidigare försörjts av ARTES.
15. Projekt 0005-16, Switched Real-Time Communication for Industrial Applications .
    Doktorand Hoai Hoang.
    Beslut: Projektet tidigare beviljats 1,2 milj. till Lic. Medlen kan utnyttjas fram till 2003-06-30 enligt ovanstående regler.
16. Projekt 9905-2, Categorized and Specialized Caching for SMPs.
    Doktorand Martin Karlsson.
    Beslut: Projektet tidigare beviljats 1,2 milj. till Lic. Medlen kan utnyttjas fram till 2003-06-30 enligt ovanstående regler.
17. Projekt 9811-6, New directions in Symbolic Model Checkning for Real-Time Systems.
    Doktorand Julien D'orso.
    Beslut: Projektet beviljas 240 kkr att utnyttjas fram till 2003-06-30 enligt ovanstående regler.
18. Projekt 9811-3, Identification of Complexity-Reduction Techniques for Optimal Scheduling in Embedded Distributed Real-Time Systems .
    Doktorand Cecilia Ekelin.
    Beslut: Ansökan avslås eftersom doktoranden inte beräknas ta examen före 03-10-01.
19. Projekt 9811-4, Node-level Fault Tolerance for Fixed Priority Scheduling.
    Doktorand Joakim Aidemark.
    Beslut: Projektet beviljas 240 kkr att utnyttjas fram till 2003-06-30 enligt ovanstående regler.
20. Projekt 0005-07, TATOO Test And Testability Of Distributed Real-time Systems .
    Doktorand Anders Pettersson.
    Beslut: Projektet tidigare beviljats 1,2 milj. till Lic. Medlen kan utnyttjas fram till 2003-06-30 enligt ovanstående regler.
21. Projekt 0005-20, Extension of Project “Flexible Reliable Timing Constraints” .
    Doktorand Radu Dobrin.
    Beslut: Projektet tidigare beviljats 1,2 milj. till Lic. Medlen kan utnyttjas fram till 2003-06-30 enligt ovanstående regler.
22. Projekt 9905-7, Methods for Integration of Heterogeneous Real-Time Services into High-Performance Networks.
    Doktorand Carl Bergenhem.
    Beslut: Projektet tidigare beviljats 1,2 milj. till Lic som beräknas till december 2002. Inga ytterligare medel beviljas.
Beslut: Ovanstående lista sänds efter kontroll av uppgifterna genomgången till styrelsen för godkännande via e-mail.
Beslut: Styrelsen kommer att ta upp frågan om eventuella förlängningar för doktorander som blir klara senare under 2003 när den ekonomiska situationen är klarare.
3. Kontakter med SSF angående förlängning och styrelse 2003 och senare.
   Det blir sannolikt godkännande från SSF att använda medel under 2003 och senare för speciell satsning.
   (2002-10-29 meddelade SSF att förlängd dispotionsrätt medges i första hand under 2003).
   VINNOVA kontaktas att i anslutning till plan A för att få forskningsstöd.
4. Dagordningen godkändes.
5. Föregående mötesprotokoll
1. P 3 och 9.2. Realtidskurser och mobilitet ej uppföljt.
2. P 5, 6 och 7. Projekten har meddelats alla beslut och erforderliga beslutbrev har sänts ut.
3. P 5.2.3. A2, stödbrevet inkommit, finns i materialet.
4. P 5.3. Instruktioner för slutrapport 2003.
   Hans berättade att vi avvaktar besked från SSF.
5. P 5.6. Treårsrapporter .
   Beslut: Förslaget till instruktioner antogs.
6. Ekonomin
1. Beslut: Budget förslag 2003 skickas ut för beslut via e-mail.
7. Projekt, rapporter och förändringar.
   1. Ettårsrapporter.
      1. 9905-7 Carl Bergenhem , 1 år 01-04-01 2 år 02-07-01, material sänt ut via e-mail 02-09-09.
         Stadfästande av beslut fattat via e-mail (3 ja svar inkommit)
         
         Beslut: Rapporten godkändes.
   2. Tvåårsrapporter.
      1. 9905-1, Flexible reliable timing constraints, Gerhard Fohler, doktorand Damir Isovic.
         
         Beslut: Rapporten godkändes med kommentaren att industrikopplingen är svag.
      2. 9905-11, TETReS: Testing of Event-Triggered Real-Time Systems, Sten Andler and Jonas Mellin, doktorander Birgitta Lindström, Robert Nilsson.
         Beslut: Rapporten godkändes.
   3. Förlängning av projekt
      1. 9811-2, AIDA2, Martin Törngren, doktorand Jad Elkhoury
         Beslut: Förlängning beviljas fram till 2002-12-31 med högst 450 kkr fortsättning från 02-03-20, beräknad aktivitetsgrad är 95%.
      2. 9811-6, Symbolic Model Checkning for Real-Time Systems
         Beslut: Förlängning beviljas fram till 2002-12-31 med högst 440 kkr fortsättning från 02-02-01, beräknad aktivitetsgrad är 80%.
      3. 9905-1, Gerhard Fohler, doktorand Damir Isovic.
         Beslut: Förlängning beviljas fram till 2002-12-31 med högst 112 kkr fortsättning från 02-10-01, beräknad aktivitetsgrad är 75%.
      4. 9905-7, Methods for Integration of Heterogeneous Real-Time Services into High-Performance Networks, doktorand Carl Bergenhem till 021231
         Beslut: Avvaktar 2-års-rapport.
      5. 9905-11, , TETReS.
         Beslut: Förlängning beviljas fram till 2002-12-31 med högst 480 kkr för två doktorander fortsättning från 02-07-01, beräknad aktivitetsgrad är 80%.
      6. 0005-05, Distributed Real-Time Systems with Minimal Energy Consumption: Analysis and Synthesis, Krzysztof Kuchcinski, Graduate Student: Flavius Gruian. sänd via e-mail 02-09-10.
         Beslut : Beslutet som togs via e-mail stadfästes.
8. ARTES avslutning
   Bok , låter som en bra idé.
   Konferens "mycket större sommarskola" eventuellt i samband med RTAS 2004.
   
9. Sommarskolan 2003 idéer.
1. Industri som stött ARTES projekt vittnar om nyttan.
2. Tidpunkt: Vecka 34 eller 35 för att undvika kollisioner med större konferens, omröstning ordnas.
3. Hans bevakar SNART samverkan.
4. Anita: Konkreta uppgifter på sommarskola, ex bygga legotävling
   
5. Hot speaker.: Linus Torvald, Jarmo Ollila, Mike Rashid, Fredrik Dahlgren, Ivar Jacobsen med flera idéer.
6. Industridag under sommarskolan: Bofors, Gambro, Rational, Saab, Rymdbolaget,
10. Informationer.
    1. Rapport 2001 ej klar.
    2. Pressklipp: DN 02-09-30 "Pålitlig sköldpadda förebild i datorvärlden", Jakob Engblom avhandling presenteras.
    3. Industri ambassadör Anita Andler: Kan något skriva kring patenten eller nya avhandlingar.
       Beslut: Kontakter med vetenskapsradion och NOVA ska tas.
11. Kommande möten.
    1. 11 dec. 2002 kl. 14.00, telefonmöte.
12. Mötets avslutades 15.30.