GRACEセンターメールマガジン2012/9/24 第24号

◆□◆GRACEメールマガジン2012/9/24 第24号◆□◆

———————
GRACEメールマガジンは、GRACEセンターのセミナー、
イベント情報、研究資料や出版物などの
最新情報を適宜まとめて月1回程度電子メールで
お届けするものです。
———————

======================================
◆1. 第61回GRACEセミナー開催のご案内
======================================
【日時】2012年10月31日(水)16:00-18:00
【会場】国立情報学研究所(NII) 12階 会議室(1208/1210)
〒101-8430 東京都千代田区一ツ橋2-1-2
[http://www.nii.ac.jp/about/access/]

【主催】NII 先端ソフトウェア工学・国際研究センター
    (GRACEセンター)
    [http://grace-center.jp/]

【参加費】無料

【概要】
 今回のGRACEセミナーにおいては、世界的な第一人者による
 講演2件という貴重な場を設けることとなりました。

・「実時間システムの解析」
講師:Reinhard Wilhelm (Saarland University)
・「オブジェクト指向シミュレーションのための言語」
   講師:Stefan Jaehnichen and Peter Pepper (TU Berlin)

※講演は英語で行われます。

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

【お問い合わせ先】
 石川冬樹(seminar-steering_AT_grace-center.jp)
  _AT_を@に書き換えてください。

—————————————————————–
◆◇プログラム◆◇

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.

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

Bio:
 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 at http://www.swt.tu-berlin.de/menue/organization/team/stefan_jaehnichen/curriculum_vitae_curriculum_vitae_curriculum_vitae/parameter/en/).
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 on Concepts 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).

=============================================================
◆2.トップエスイー特別講義のご案内
「米国の最新裁判例を通して考えるソフトウェアと著作権」
=============================================================

【日程】2012年10月6日(土), 10月20日(土)
【時間】10:30-18:00
【講師】河井理穂子 (埼玉工業大学講師 ・ NII特任助教)

【概要】
 米国のプログラム、クラウドサービスの著作権法に関する基礎知識を、
 実際の裁判例を読んでいくことにより得ることを目的とする。
 また、受講者は裁判例の原告又は被告の立場に立ったつもりで主張を
 構成するグループワークを行う。裁判例は複数扱う予定であるが、
 グループワークでの実習、発表後に講師がそれぞれの裁判の判決に
 ついて説明をする。実習を通して、著作権法の解釈のむずかしさ、
 事例ごとの特殊性などを学ぶ。

【プログラム】
 1日目:
 10:30-16:15
 「プログラム・オープンソースと著作権」(米国と日本)(講義)
 「クラウドサービス(ストレージサービス)と著作権」(米国と日本)(講義)
 16:30-18:00 「裁判例を読み,グループワークの説明」(演習)
    【米国の裁判例(原文,多少の日本語の解説付)を読む課題あり】

 2日目:
 10:30-12:00 グループワーク
 13:00-15:15 グループワーク
 15:30-17:30 [発表] Oracle v. Google 
        (APIは著作権法で保護されるかが争われた事例)
 17:30-18:30 [発表] Cartoon Network, LP v. CSC Holdings, Inc.
        (テレビ放送を録画するリモート方式のネットワーク
         型録画装置(RS-DVR)サービスについて問題となった事例)

【定員】16名(先着順)
※定員に達し次第申込を締め切らせていただきます。
  
【参加費】
NPO法人トップエスイー教育センター会員:無料
    一般非会員:46,000円(税込)
学生非会員:14,000円(税込)

【詳細・お申込み方法】
    以下サイトをご覧ください。
     http://www.topse.or.jp/

    ※トップエスイー受講生(7期生)、修了生の申込方法については
     別途ご案内しております。

【主催】NPO法人トップエスイー教育センター
【協力】国立情報学研究所 GRACEセンター

【お問い合わせ先】
  NPO法人トップエスイー教育センター事務局
  Email: inquiry@topse.or.jp

=============================================================
◆3.トップエスイー 2013年度第8期生募集
=============================================================
2013年4月開講のトップエスイー第8期生を募集します。
募集案内および募集要項は以下トップエスイー Webサイトを
ご覧ください。
 http://www.topse.jp/entry_info/

12月6日(木)開催の講座説明会では、講座内容・募集要項等
についてご説明します。ぜひご出席ください。
手続きに関してご不明な点等ございましたら、トップエスイー
事務局(Email: general@topse.jp)までお問い合わせください。
================================================================

□編集後記□
●GRACEメールマガジンの 第24号をお届けしました。
ご意見、ご感想は、GRACEセンター事務局 (secretariat@grace-center.jp)
までお願いいたします。

●GRACEメールマガジンの購読解除、バックナンバーに
ついては、下記のURLをご覧ください。
http://grace-center.jp/mailmagazine

カテゴリー: メルマガ パーマリンク

コメントは停止中です。