We hereby invite you to a Timing Analysis Workshop
organized by the Safety-Critical Systems Interest Group
on February 15, 2011
About the workshop: Timing analysis plays an important role in the certification of safety-critical systems. The workshop is intended to present the main approaches and uses of timing analysis during the development of such systems. Timing analysis can also be used in systems which are not safety-critical, but where performance guarantees are important.
About the interest group: Embedded systems are increasingly used in safety-critical application areas, such as medical, railway, military, aerospace and factory systems, where a failure can endanger human life or the environment. Safety-critical embedded systems are becoming more complex, and they use software and hardware to implement part of their functions.
This is the reason why the national innovation network InfinIT (www.InfinIT.dk) is creating an interest group on safety-critical systems. Participation in the Safety-Critical Systems Interest Group (SCSIG) is free of charge and is open to all the interested parties. The SCSIG has been initiated within DaNES (Danish Network for Intelligent Embedded Systems). The meeting is co-organized with IEEE Denmark Section.
Programme:
12:45 Registration
13:00 Welcome, Paul Pop, Coordinator of the Safety-Critical Systems Interest Group in InfinIT
13:15 Timing Modelling and Analysis in an Automotive Context, Lönn Henrik, Volvo Technology
14:45 Worst-case execution time analysis, Dr.-Ing. Christian Ferdinand, AbsInt
15:15 Coffee break
15:30 Scheduling analysis for safety-critical real-time systems: from design to verification, Dr. Marek Jersak, SymtaVision
16:00 Schedulability analysis and model checking, Kim G. Larsen, Aalborg University
16:30 Networking and refreshment
Time:
Tuesday, February 15th, 1 pm to 5 pm
Place:
DTU Meeting Center, Building 101A, Meeting room S09
Technical University of Denmark
Anker Engelunds Vej 1
2800 Kgs. Lyngby
See here how to get DTU's Lyngby campus
Registration:
Participation is free of charge. For practical reasons we kindly ask you to register no later than February 11th, by visiting the following address: http://scsig15022011.eventbrite.com/
Contact:
Karin Tunder, DTU Informatics, kt@imm.dtu.dk or 4525 3728 |
