ARTES Summer School 2006
August 21-25 2006
Pictures ,
Invitation ,
Programme ,
Travel ,
SNART
Programme
August 21
August 22
August 23
08.15 Towards Verified Real-Time Software ,
Prof. Wang Yi , Uppsala University.
10.00 Break
10.15 Supporting predictable design using formal analysis
techniques ,
Arne Hamann and
Razvan Racu ,
Technical University of Braunschweig.
12.00 Lunch
13.00 QoS Issues in Wireless Networks , PhD Calin Curescu,
Linköping University.
15.00 Break
15.15 RT-student presentations (15 min each)
Business Oriented Concept Development of Electronic System Architecture and Platforms in Vehicles , Peter Wallin, MdH.
FlexCore: Utilizing Exposed Datapath Control for Efficient Computing , Martin Thuresson, Chalmers.
User-Friendly H.264/AVC for Remote Browsing , Pengpeng Ni, Mälardalen University.
A Flexible Group Membership Protocol for Time-Triggered Networks , Raul Barbosa, Chalmers.
A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing Techniques , Sigrid Eldh , Industrial PhD student, Mälardalen University.
Implementation Results of a Configurable Membership
Service for Active Safety Systems , Carl Bergenhem, Industrial Ph.D. student, SP Electronics.
On Hazard Identification in the Automotive Domain , Fredrik Törner , Industrial Ph.D. student, Volvo Car Corporation.
August 24
August 25