The 61st GRACE Seminar on Advanced Software Science and Engineering
Time: 16:00-18:00, Oct 31st, 2012
Place: Meeting Room, 12F, National Institute of Informatics（map）
Inquiry: Fuyuki Ishikawa(seminar-steering_AT_nii.ac.jp)
Please register via the following page:
[Program] * Lecture is given in English
Timing Analysis for Hard Real-Time Systems
Reinhard Wilhelm (Saarland University)
Hard real-time systems need guarantees for the timeliness of their reactions. Given deadlines are to be met under all circumstances. Guarantees are given by determining upper bounds on the execution-times that lie below their deadlines. The determination of such upper bounds has been made difficult by the use of high-performance microprocessors, which use caches, deep pipelines, out-of-order execution, and branch prediction to improve average-case performance. These architectural components have introduced a large variability of the execution times of individual instructions by the dependence on the execution state. Static program analysis has been successfully used to compute reliable and tight bounds on the execution times. Timing-analysis tools are in routine use in the safety-critical embedded-systems industries and have been admitted to and used in the certification of civil airplanes.
The possibility to determine execution-time bounds and the precision of the results heavily depend on properties of the underlying computer architecture. We discuss problematic features and insights into their predictability.
Prof. Reinhard Wilhelm is a Fellow of ACM for his research on compiler construction and program analysis and his leadership of the Leibniz Center for Informatics. He is a member of the European Academy of Sciences. In 2009, he was awarded the Konrad-Zuse medal for his achievements in research and education, and in 2010, he received the Cross of the Order of Merit of the Federal Republic of Germany. He won the ACM Distinguished Service Award for two decades of exceptional service at the Schloss Dagstuhl – Leibniz Center for Informatics, creating a stimulating environment for advancing research in informatics.
Modelica – A Language for Object Oriented Simulation
Stefan Jaehnichen and Peter Pepper (TU Berlin)
The talk introduces the simulation language Modelica and its concepts for the modeling and simulation of continuous system behavior. The language is competitive to Matlab/Simulink and in addition, supports an object-oriented style of modeling which leads to a high degree of component reuse. System behavior is expressed in an equation oriented style and algebraic and differential equations are directly encoded in the program text based on its modular structure. The talk gives an overview on the language concepts and on the mathematics as the interface to the solvers needed for experimentation, and introduces the advanced concept of structure dynamics . As a nice and novel feature, simulation results can be presented through a sophisticated graphical backend attached to the simulation system.
Prof Jaehnichen is Director of Fraunhofer Institute FIRST (Institute for Computer Architecture and Software Technology), President of the German Association of Informatik engineers , etc. ( see his CV here).
He is also the Chairman of the Supervisory Board of the Dagstuhl center who is responsible for ensuring that management complies with the Center’s objectives and is involved in all essential matters pertaining to research and financial planning.
Prof Peter Pepper is the director of the department of compiler construction and programming language (of TU Berlin) that focus onConcepts and techniques of declarative languages, safety-critical embedded systems, domain-specific modeling language and concepts. He is involved in the OPAL project concerned with research into a programming environment in which advanced language concepts and formal development methods can be used for creating production-quality software. He is also in the Daimler Center for Automotive Information Technology innovations (Human machine interface ).