第61回先端ソフトウェア科学・工学に関するGRACEセミナー[10/31開催]

日時:2012年10月31日(水)16:00-18:00
場所:国立情報学研究所(NII)(地図
12階 会議室(1208/1210)

参加費:無料
お問い合わせ:石川冬樹(seminar-steering_AT_grace-center.jp)_AT_を@に書き換えてください。

※今回のセミナーは英語で行われます。

参加ご希望の方は,下記よりご登録をお願いいたします:
http://form1.fc2.com/form/?id=489702″

—————————————-
今回のGRACEセミナーにおいては,世界的な第一人者による
講演2件という貴重な場を設けることとなりました.
・「実時間システムの解析」
  講演者:Reinhard Wilhelm (Saarland University)
・「オブジェクト指向シミュレーションのための言語」
  講演者:Stefan Jaehnichen and Peter Pepper (TU Berlin)

Title:
Timing Analysis for Hard Real-Time Systems

Speaker:
Reinhard Wilhelm (Saarland University)

Abstract:
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.

Biography:
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.

Title:
Modelica – A Language for Object Oriented Simulation

Speakers:
Stefan Jaehnichen and Peter Pepper (TU Berlin)

Abstract:
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.

Biography:
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 ).

カテゴリー: 研究, セミナー   パーマリンク

コメントは受け付けていません。