Meeting date: 16th November, 2006
in Coral Beach Resort (Paphos, Cyprus), 1 Day
Agenda (A high-level view of the main points to be discussed)
- Agenda item 1
Discussion of the AIR review
- Agenda item 2
ALF
- Agenda item 3
Potential FP7 proposals
- Agenda item 4
WCET Tool Challenge, results and how to proceed
Outputs and Conclusions
- Output 1
Discussion of the AIR review
We had a short discussion on the review of the AIR proposal.
- Output 2
ALF
Björn Lisper presented the current status of the development of the ALF language at Mälardalen University. A short discussion followed.
We learned that Stephan Thesing had left AbsInt and that consequently his work on instruction semantics for AIR was abandoned, leaving ALF as the only work towards this goal.
- Output 3
Potential FP7 proposals
Cristian Ferdinand presented the status and time schedule of the FP7 call. We discussed several ideas around joint proposals.
- Output 4
WCET Tool Challenge, results and how to proceed
Jan Gustafsson presented the status of the Challenge. Details were postponed to the scheduled presentation at ISoLA next day.
Participants in the Meeting
Björn Lisper, Jan Gustafsson, (Mälardalen University)
Cristian Ferdinand, Florian Martin, Henrik Theiling, (AbsInt)
Guillem Bernat, (Rapitime)
Niklas Holsti, (Tidorum)
Jan Staschulat, (University of Braunschweig/Rennes)
This meeting took place in conjunction with ISoLA symposium, which had a Timing Analysis track where the persons in this meeting participated.