|
||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
December 5th: Workshop Day Workshop
on Model and Analysis Methods for Automotive Systems (Download Workshop Day Program Here) December 6th 8:45-9:00 Intro 9:00-10:00 Keynote Speaker: Dr. Feng
Zhao, Microsoft Research Sensornet 2.0:
The New Frontier
10:00-10:30 Break 10:30-12:30 (Room A) Embedded Systems RUN-TIME SERVICES FOR
HYBRID CPU/FPGA SYSTEMS ON CHIP
AN EMPRICAL EVALUATION OF
MEMORY MANAGEMENT ALTERNATIVES FOR REAL-TIME
JAVA 10:30-12:30 (Room B) Languages PROGRAMMING SERVERS IN ADA
2005 Alan Burns and Andy
Wellings AUTOMATIC DERIVATION OF
LOOP BOUNDS AND INFEASIBLE PATHS FOR WCET ANALYSIS USING ABSTRACT EXECUTION HARD REAL-TIME HYBRID
GARBAGE COLLECTION WITH LOW MEMORY REQUIREMENT 12:30-2:00 Lunch 2:00-3:30 (Room
A) Multicore and Multiprocessor Platforms
LITMUS RT: A TESTBED FOR
EMPIRICALLY COMPARING REAL-TIME MULTIPROCESSOR SCHEDULERS 2:00-3:30 (Room
B) Distributed Real-Time Systems
3:30-4:00 Break 4:00-5:30 (Room
A) Feasibility and Schedulability Analysis
OPTIMAL DIMENSIONING OF A
CONSTANT BANDWIDTH SERVER A NECESSARY AND SOMETIMES
SUFFICIENT CONDITION FOR THE FEASIBILITY OF SETS OF SPORADIC HARD-DEADLINE
TASKS 4:00-5:30 (Room
B) Operating Systems
Yuting Zhang and Richard
West DESIGN OF LOCATION SERVICE
FOR A HYBRID NETWORK OF MOBILE ACTORS AND STATIC SENSORS TIGHTENING THE BOUNDS ON
FEASIBLE PREEMPTION POINTS December 7th 8:00-10:00 Scheduling I PROCESSOR SCHEDULER FOR
MULTI-SERVICE ROUTERS
USER-LEVEL FINE-GRAINED
ADAPTIVE REAL-TIME SCHEDULING VIA TEMPORAL REFLECTION RESOURCE SHARING IN
HIERARCHICAL FIXED PRIORITY PRE-EMPTIVE SYSTEMS 10:00-10:30 Break 10:30-12:00 Applications PRINCIPLES FOR THE
PREDICTION OF VIDEO DECODING TIMES APPLIED TO MPEG-1/2 AND MPEG-4 PART 2
VIDEO COMBINED SCHEDULING OF
SENSING AND COMMUNICATION FOR REAL-TIME INDOOR TRACKING IN ASSISTED LIVING VOICE OVER SENSOR NETWORKS 12:00-1:30 Lunch 1:30-3:00 WIP
I For the WIP program, click here. 3:00-3:30 Break 3:30-5:00 Energy and Thermal Management ENERGY-EFFICIENT REAL-TIME
TASK SCHEDULING FOR A DVS SYSTEM WITH A NON-DVS PROCESSING ELEMENT SYSTEM-LEVEL ENERGY
MANAGEMENT FOR PERIODIC REAL-TIME TASKS DELAY ANALYSIS IN
TEMPERATURE-CONSTRAINED HARD REAL-TIME SYSTEMS WITH GENERAL TASK ARRIVALS 5:00-6:00 Databases
6:00-7:00 Technical
Committee Meeting December 8th 8:00-10:00 Scheduling
II COMPLIANCE ENFORCEMENT OF
TEMPORAL AND DOSAGE CONSTRAINTS
RESOURCE SHARING IN
EDF-SCHEDULED SYSTEMS: A CLOSER LOOK A COGNAC-GLASS ALGORITHM
FOR CONDITIONALLY GUARANTEED BUDGETS 10:00-10:30 Break 10:30-12:00 WIP II For the WIP
program, click here. 12:00-1:30 Lunch 1:30-3:00 Sensor
Networks
MODELING AND WORST-CASE
DIMENSIONING OF CLUSTER-TREE WIRELESS SENSOR NETWORKS REAL-TIME TRAFFIC
MANAGEMENT IN SENSOR NETWORKS
3:00-3:30 Break 3:30 – 5:30 Timing Constraints Monitoring and
Prediction
DETERMINING MAXIMUM STACK
USAGE IN PREEMPTIVE SHARED STACK SYSTEMS PREDICTION OF TIMING
CONSTRAINT VIOLATION FOR REAL-TIME EMBEDDED SYSTEMS WITH KNOWN TRANSIENT
HARDWARE FAULT DISTRIBUTION MODEL |
|
|||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||