Protokoll ARTES styrelsemöte 2000-06-16

Plats: Arlanda konferens, rum Typolab
Anmälda förhinder: Peter Lidén, Lars Österberg, Jan Torin ringde upp 11.30.
Närvarande: Bengt Asker (ordf), Bertil Emmertz, Karl-Erik Årzén, Kerstin Paulsson, Jan Torin via telefon från p6, Hans Hansson (program dir.), Roland Grönroos (bitr program dir.)

1. Bengt Asker förklarade mötet öppnat kl 10.00, till justeringsperson valde Bertil Emmertz.
2. Dagordningen godkändes
3. Föregående mötes protokoll
   
   • 5.1 Jan Torin och N. Suri ska kontaktas av Roland.
   • 9.4 Peter Lidén ska frågas igen av Roland.
   • Därefter lades protokollet till handlingarna.
4. Ekonomin
   Höjning av LKP från 43% till 51% har aviserats av Uppsala Universitet liknande ändringar kommer att ske även på andra håll. Effekten av detta på administrationen ska undersökas av Roland. Styrelsen noterar att detta även får effekter på projekten. Beslut: Ekonomin ska redovisas utförligt till nästa möte med anledning av att alla återstående projektmedel beräknas prioriteras under detta möte. Vad som kan användas till mobilitet och kursutveckling m.m. ska framgå.
5. Policy kring förlängning av doktorandstöd resp. start av nya projekt.
   Ej allokerade medel utgör ca 25 Mkr med hänsyn taget till avhopp till industrin och disputationer m.m. Hans redogjorde för 4 olika senarier
   1) Samtliga nuvarande projekt förlängs. ARTES avslut blir då ca 2005. Det ger 2,6 doktorandenheter om 1200 kkr att fördela.
   2) Tidiga projekt förlängs till doktorsexamen, sena till 02-12-31. Det ger 7,3 doktorandenheter att fördela.
   3) Tidiga projekt förlängs till doktorsexamen sena förlängs ej. Det ger 10,6 doktorandenheter att fördela.
   4) Samtliga projekt förlängs till 02-12-31. Det ger 13,7 doktorandenheter att fördela.
   

   En fråga kring detta har sänts ut 25 maj till 8 forskningsledare vid högskolorna, samtliga svar var positiva till modell 4.

   Beslut: Modell 4 antogs med reservation för att medel för maximalt 6 månader kan komma att beviljas för de som ligger mycket nära examen 2002-12-31. Maximalt 11 doktorander kan stödjas nu. SSF ska informeras om denna förändring.
   Beslut: Programdirektörerna skall föreslå en policy för hur för examen före beviljade medel tar slut skall hanteras till nästa möte.
6. Resultat av CFP:n maj 2000. Utvärderarnas rapport. Utvärderarnas ranking.

   Jan Torin kom in på telefon vid denna punkt. Hans Hansson lämnade rummet när projekt 0005-19 diskuterades.

   Styrelsen noterade att samtliga projekt utvärderats av två externa utvärderare. Sammanlagt 9 utvärderare har anlitats. Utvärderarnas bedömning överensstämmer i stort med styrelsemedlemmarnas egen. Utvärderarna har i flera fall inte haft tillgång till industrins stödbrev på grund av att de inkommit sent eller att de är på svenska. En ranking av ansökningarna har gjorts av Roland med utgångspunkt från utvärderarnas svar. Styrelsen diskuterade ansökningarna och justerade rankingen. Därefter fattades beslut om stöd.

   Beslut:
   

   1 - Ansökan 0005-04

   Techniques for Module-Level Speculative Parallelization on Shared-Memory Multiprocessors

   Per Stenström, Lennart Pettersson.

   Ansökan beviljas stöd med sökt belopp 600 kkr för 1 doktorand enligt ansökan.
   

   2 - Ansökan 0005-16

   Switched Real-Time Communication for Industrial Applications

   Magnus Jonsson, Bertil Svensson.

   Ansökan beviljas stöd med 1200 kkr för 1 doktorand under två år.
   

   2 - Ansökan 0005-19

   RATAD - Reliability and Timing Analysis of Distributed Systems

   Hans Hansson, Christer Norström.

   Ansökan beviljas stöd med 1200 kkr för 1 doktorand under två år.
   

   2 - Ansökan 0005-20

   Extension of Flexible Reliable Timing Constraints

   Gerhard Fohler.

   Ansökan beviljas stöd med 1200 kkr för 1 doktorand under två år.
   

   2 - Ansökan 0005-23

   Embedded Databases for Embedded Real-Time Systems

   Jörgen Hansson, Christer Norström.

   Ansökan beviljas stöd med 2400 kkr för 2 doktorander under två år.
   

   6 - Ansökan 0005-09

   Support for Real-Time 3-D Graphics on Future Mobile Terminals under Energy/Area Constraints

   Per Stenström, Fredrik Dahlgren.

   Ansökan beviljas stöd med 1200 kkr för 1 doktorand under två år.
   

   7 - Ansökan 0005-18

   Pre-Implementation Analysis of Distributed Control Systems - PICADOR

   Martin Törngren, Ola Redell, Jan Wikander.

   Ansökan beviljas stöd med 1200 kkr för 1 doktorand under två år.
   

   8 - Ansökan 0005-07

   TATOO-Test and Testability of Distributed Real-Time Systems

   Henrik Thane.

   Ansökan beviljas stöd med 1200 kkr för 1 doktorand under två år.
   

   9 - Ansökan 0005-05

   Distributed Real-Time Systems with Minimal Energy Consumption: Analysis and Synthesis

   Krzysztof Kuchcinski.

   Ansökan beviljas stöd med 960 kkr för 1 doktorand med 80% aktivitet under två år.
   

   10 - Ansökan 0005-22

   Real-Time Response and Control of Autonomous Agents

   Nancy E. Reed.

   Ansökan beviljas stöd med 1200 kkr för 1 doktorand under två år.
   

   10 - Ansökan 0005-11

   Practical Execution Time Analysis

   Björn Lisper.

   Ansökan avslogs.
   

   10 - Ansökan 0005-13

   RIPA-Rapid Prototyping of Real-Time Video Processing Algorithms

   Mattias O'Nils, Bengt Oelmann.

   Ansökan avslogs.
   

   10 - Ansökan 0005-14

   Real-Time Distributed Object Systems

   Simin Nadjm-Tehrani.

   Ansökan avslogs.
   

   14 - Ansökan 0005-02

   Utvärdering av programvara i realtidssystem

   Jan Jacobsson.

   Ansökan avslogs.
   

   14 - Ansökan 0005-10

   Software Components in Real-Time Systems

   Lars Lundberg.

   Ansökan avslogs.
   

   14 - Ansökan 0005-17

   SOCRATES - An Innovative Platform for High Performance Embedded Mobile Applications

   Lennart Lindh, Johan Stärner, Joakim Adomat.

   Ansökan avslogs.
   

   17 - Ansökan 0005-03

   Real-Time Algorithms for Diagnostic Reasoning

   Jan Eric Larsson.

   Ansökan avslogs.
   

   18 - Ansökan 0005-06

   Real-Time Coordination of Robot Programming and Reactive Control in Task-Level Programming

   Rolf Johansson, Gunnar Bolmsjö, Klas Nilsson.

   Ansökan avslogs.
   

   19 - Ansökan 0005-08

   Support for Real Time in Java

   Verónica Gaspes, Jonas Vasell.

   Ansökan avslogs.
   

   20 - Ansökan 0005-12

   True-Case Timing Simulation of Distributed Control Systems

   Bo Bernhardsson, Rolf Johansson.

   Ansökan avslogs.
   

   21 - Ansökan 0005-15

   Software Replication for Fault-Tolerance in Real-Time Distributed Systems

   Simin Nadjm-Tehrani.

   Ansökan avslogs.
   

   22 - Ansökan 0005-01

   Polytypic Object Oriented Programming

   Johan Larsson.

   Ansökan avslogs.
   

   22 - Ansökan 0005-21

   A Common Architecture for Vertical Integration of Embedded Real-Time and Business Systems

   Ivica Crnkovic, Christer Norström.

   Ansökan avslogs.
   

   Beslut: Samtliga beviljade projekt skall starta med antagen doktorand senast 1 nov 2000.
   
7. Förlängning av projekt
   1. P4 ansöker om 1.2 Mkr för 2 doktorander under 1 år.
      Beslut: Ansökan beviljades.
8. Övriga ansökningar
   
   1. Mobilitet Kristina Lundqvist, UU, artes-int-5.
      Beslut: Hans fick i uppdrag att fatta beslut i enlighet med tidigare beslut efter ytterligare klargörande.
   2. Mobility - 5, Industrial mobility of PhD students in the ARTES projects AIDA-II (9811-2) and FINE (9905-13) is sought from ARTES, amounting to 200KSEK, for year 2000-2001 by Martin Törngren 2000-05-22.
      Beslut: Stöd beviljas med 50 kkr en förnyad mer specificerad ansökan välkomnas.
   3. Mobility - 6, ARTES student support to participate in ECTS 2000 summer school. The amount 120 KSEK is applied for by Sten F. Andler to be distributed to ARTES RT-Graduate students by ARTES.
      Beslut: Ansökan beviljas med förändringarna att högst 100 kkr beviljas för registreringsavgift och logi för ARTES realtidsdoktorander. Beloppet faktureras ARTES.
   4. Mobilitet - 7 Gerhard Fohler.
      Beslut: Ansökan behöver specificeras ytterligare, ny ansökan välkomnas.
9. Projekt, rapporter och förändringar.
   1. #3, redogörelse från Jukka Mäki-Turja.
      Beslut: Styrelsen beslutade att tidigare beviljade medel för projektet följer doktoranden Jukka Mäki-Turja's verksamhet.
   2. A8-9805, ev ansökan från Philippas Tsigas. Formell ansökan har inte kommit in. Hans har talat med Philippas som har doktorand på gång.
      Beslut: Plan för projektet skall komma till augusti mötet. Medel kan komma att beviljas för 1 doktorand i 2 år 1,2 MSEK då resterande medel för MDH delen av projektet inte kommer att användas.
   3. P2-9805 Predictable PPP, fråga om rekrytering är helt klar. Thiemo Voigt börjar 2000-06-01, han licade nov 99. Den andra tjänsten kan man inte fylla.
      Beslut: Beviljade medel för projektet justeras till 1200 kkr för en doktorand i två år.
   4. 9905-4 Software distributed shared memory, Rapport om rekrytering begärd. Updated letter of support 2000-05-10. Mats Brorson blir professor på Institutionen för Teleinformatik på KTH den 1 augusti 2000.
      Beslut. Ny deadline för rekrytering är 1 november 2000.
   5. 9905-2 Categorized and Specialized Caching for SMPs. Martin Karlsson kommer att börja jobba som ARTES doktorand till sommaren och kommer inte att doktorera innan sommaren 2004.
   6. 1 års rapporter, instruktionen.
      1. A6-9805, "A tool environment...", Wang Yi, 1-års rapport 00-06-06.
         Beslut: Rapporten godkändes.
      2. 9811-5, "Hierarchical Design...", Wang Yi, 1-års rapport 00-06-06.
         Beslut: Rapporten godkändes.
      3. P3-9805, P4-9805, Rapporterna är godkända av Hans.
      4. A4-9805; Real-time software for versatility, scalability and reconfigurability in complex embedded feedback control systems De Jiu Chen; 99-07-01; 100%; 00-06-30, First-year-report 00-06-14.
         Beslut: Rapporten godkändes.
      5. A8-9805; Applications of wait/lock-free protocols to real-time systems; Håkan Sundell; 99-04-01; 80%; 00-06-30, 1-års rapport 00-06-14
         Beslut: Rapporten godkändes.
      6. 9811-3; Identification of Complexity-Reduction Techniques for Optimal Scheduling in Embedded Distributed Real-Time Systems; Cecilia Ekelin; 99-05-01; 80%; 00-07-30, 1-year-report
         Beslut: Rapporten godkändes.
      7. 9811-4; Node-level Fault Tolerance for Fixed Priority Scheduling; Joakim Aidemark; 99-04-01; 80%; 00-06-30.
         Beslut: Rapporten godkändes.
      8. P1; Simulation Concepts to Model Real-Time and Dependability Properties of Symmetric Multiprocessor Systems 99-05-01; 100%; 00-04-30, rapport kommer till nästa möte.
10. Instruktioner för slutrapport från projekt.
    Beslut: instruktionerna godkändes.
11. Sommarskolan, Hans informerade om utvecklingen och att Workshopen som ska marknadsföras mot industrin organiseras från Halmstad.
12. Realtidskurser inventeringen av behovet samt ev stödbeslut. Beslut: Hans fick i uppdrag att titta igenom listan och att vi tar upp frågorna under sommarskolan. Underlag för beslut tas fram till nästa styrelsemöte.
13. Rapporter till SSF.
    1. Halvtidsgranskningen
    2. Rapporten 000331
    3. Scientific evaluation (pdf), Instruction to scientific evaluators (pdf). To be sent to SSF before 00-06-30. Hans informerade att PAMP delen väntas in på Måndag han ska skriva en introduktion och därefter sända till SSF. Beslut: Resultatet ska meddelas projekten.
    4. Skrivelse till strategigruppen 00-04-27 "Embedded Systems and the Future of Swedish IT-research". Rapporten diskuterades, inga ytterligare initiativ planeras för tillfället. Information om vetenskapsrådet ska tas fram, bladet kan gärna sändas till flera.
14. Informationer
    1. SSF information
       1. Samrådsmöte mellan Produktions och informationsteknikprogrammen och stiftelsens ledning, Måndag den 11 september i Stockholm(inbjudan kommer i augusti)
       2. SSF styrelse protokoll senaste från 00-05-05
    2. Suggestions for acknowledgement of ARTES in publications.
    3. Jämställdhetsprogram
       Hans informerade om att under sommarskolan ska frågan tas upp av Simin Nadjm-Tehrani.
    4. Industribesöken (Bertil E., Lars Ö.) Roland påminner Lars, Bertil tänker gå vidare.
    5. Databas för ARTES vid MDH. Arbete har initierats.
    6. Entreprenörskursen rapport.
       Hans berättade om kursen. Magnus Klofsten som var ledare kommer att tala på sommarskolan.
    7. RTAS'00 rapport av Cecilia Ekelin nämner aktiviteter att bygga något liknande ARTES i USA, ARTES nämndes som en modell.
15. Övriga frågor
    
    1. Samuel Stolberg har hoppat av till industrin. Projektet räknar med att nyrekrytera.
       Beslut: Ny rekrytering skall vara avslutad 1 nov 2000.
    2. ARTES som model i Europa, K-E Årzén ska på möte. ARTES broschyrer ska distribueras i Bryssel på Måndag.
16. Kommande möten.
    1. I samband med sommarskolan 23 augusti 19.30
    2. 8 november 2000 kl 10-14 på Arlanda.
17. Mötets avslutades kl 14.00