◆□◆GRACEメールマガジン2016/4/20 第51号◆□◆
————————–
GRACEメールマガジンは、GRACEセンターのセミナー、
イベント情報、研究資料や出版物などの
最新情報を適宜まとめて月1回程度電子メールで
お届けするものです。
————————–
==============================================================
◆◆第81回GRACEセミナー◆◆
==============================================================
====================================================================
今回のGRACEセミナーでは，ブエノスアイレス大学のSebastian Uchitel教授と
Nicolas D’Ippolito助教をお招きしてソフトウェア検証に関する最新の研究内容についてご講演いただきます．
Uchitel教授は2007年からICSEのsteering committeeをご担当され，2017年には
ブエノスアイレスで開催されるICSE17のGeneral Chairも務められる，世界トッ
プクラスのソフトウェア工学研究者です．また，D’Ippolito助教もICSE, FSE, FM等のトップクラス会議に論文を通している勢いのある若手研究者です．
ぜひふるってご参加ください．
※今回のセミナーは英語で行われます。
◆◆第81回GRACEセミナー◆◆
【日時】2016年4月22日（金）15:00-17:00
【会場】国立情報学研究所(NII) 20F ミーティングルーム(2009/2010)
〒101-8430 東京都千代田区一ツ橋2-1-2
[http://www.nii.ac.jp/about/access/]
【参加費】無料
参加ご希望の方は，下記よりご登録をお願いいたします:
https://ws.formzu.net/fgen/S88950793/
【お問い合わせ先】
石川冬樹(seminar-steering_AT_grace-center.jp)
_AT_を＠に書き換えてください。
—-
Speaker:
Sebastian Uchitel
Professor, Universidad de Buenos Aires
Title:
Behaviour Abstractions for Validation and Verification of Software Protocols
Abstract:
Validation and Verification are two notoriously difficult software engineering tasks.Model driven engineering aims, amongst other things, to reduce the verification effortby providing correctness by construction guarantees. Yet the problem of validation still remains,
and as I will argue in the first part of my talk, it is notoriously more difficult than verification.
I will then discuss our ongoing effort to develop automated techniques that produce behaviourabstractions for software artefacts such as API’s (i.e. artefacts that exhibit a set of operations and impose non-trivial restrictions on the order in which these may be used). I will introduce Enabledness Preserving Abstractions and show that they are a concise yet expressive representations of the behaviour space for such artefacts. I will discuss various industrial case studies together
with successes and limitations
Speaker:
Nicolas D’Ippolito
Assistant Professor, Universidad de Buenos Aires
Title:
Dynamic Controller Update and Planning as Reactive Control
Abstract:
In this talk I’ll be presenting two approaches based on controller
synthesis.
First I’ll address the problem of dynamic update of controllers in
reactive systems when the specification (environment assumptions,
requirements and interface) of the current system changes. We present a
general approach to specifying correctness criteria for dynamic update
and a technique for automatically computing a controller that handles
the transition from the old to the new specification, assuring that the
system will reach a state in which such a transition can correctly occur.
Second, I’ll present an approach to solve the widely studied problem of
planning from the AI community as a reactive control problem. I’ll
present the approach and the complexity analysis that shows it is
possible to reduce planning problems to polynomial-time control solutions.
―-
【主催】国立情報学研究所 ＧＲＡＣＥセンター
【協賛】NPO法人トップエスイー教育センター
【問い合わせ】
国立情報学研究所 石川冬樹(seminar-steering_AT_grace-center.jp)
※ __AT__をアットマークで置き換えてください。
================================================================
