主 催: NII 先端ソフトウェア工学国際研究センター（GRACEセンター）
日 時: 2009年3月23日(月) 13:00-15:00
場 所: 国立情報学研究所(NII) 19階プレゼンテーション室(1904)（地図）
参加費: 無料
お問い合わせ: 吉岡信和 (nobukazu_AT_nii.ac.jp）_AT_を@に書き換えてください。
参加をご希望の方は、下記アドレスまで、セミナー前日まで必要事項を記入し，
“16th GRACE Seminar”というタイトルで電子メールでご登録をお願いします。
登録アドレス：event-info@grace-center.jp
必要事項：お名前、所属、メールアドレス
プログラム:
13:00-14:00 Trustworthy and Reliable Software Intensive Systems
Speaker: Wolfgang Reif, University of Augsburg
14:00-15:00 How to design a modeling notation for Wireless Sensor Networks
Speaker: Kenji Taguchi, Grace Center, NII
▼詳細
Title: Trustworthy and Reliable Software Intensive Systems
Speaker: Wolfgang Reif, University of Augsburg
Abstract:
The omnipresence of software in almost all branches of technology
leads to complex, embedded systems where techonologically different
components heavily interact with each other and the environment, and
where — in the end — software holds the entire system together. The
more complex and safety critical the aplications are, the more
important are the questions about trustworthyness and reliability (in
some application areas even with legal implications). Examples for
such domains are e.g. transportation systems, avionics and space
systems, automotive systems, mechatronics and production automation.
Research goals in this field are methods for safety and reliability
analysis as well as constructive methods for engineering trust and
reliability into systems and products in a measurable and certifiable
way.
The talk gives an introduction to this topic and presents an
integrated approach dealing with functional correctness, safety,
failure tolerance and risk minimisation in a coherent formal
framework. The approach is illustrated with practical case studies.
Biography:
Prof. Dr. Wolfgang Reif is full professor of Computer Science and
Director of the Institute for Software & Systems Engineering (ISSE) at
the University of Augsburg, Germany. Furthermore, he is Dean of the
Faculty of Applied Computer Science. He studied Computer Science and
did his Ph.D. at the University of Karlsruhe, Germany. From 1995 to
2000 he was Professor for Computer Science at the University of Ulm
before moving to the Universtity of Augsburg in Bavaria. His
scientific interests are in software & systems engineering, safety,
security, and quality, software for Mechatronics and Robotics,
self-organising, adaptive systems (Organic Computing), and formal
specification and verification. He is also leading Bavaria’s Elite
Graduate Program on Software Engineering, a joint program of the
University of Augsburg, the Technical University of Munich, and the
LMU Munich.
– . – . – . – . – . – . – . – . – . – . – . – . – . – . – . – . – . –
Title: How to design a modeling notation for Wireless Sensor Networks
Speaker: Kenji Taguchi, Grace Center, NII
Abstract:
We are working for a project called SenMod for the design of modeling
notation for Wireless Sensor Networks (WSNs) Systems at the Grace
Center. The main aim of the project is to develop a highly
expressible formal modeling language for modeling, verifying and
simulating WSNs. In the traditional process algebras, even a
behavioral description of sensors is difficult to specify. In WSNs,
several sensor nodes that work concurrently-with, for instance, an
optical sensor – may not receive the same value from the
environment. That is, when the location differs, the optical amount
that the optical sensor receives also differs. Although this is
similar to a situation in which several nodes receive broadcasting
message simultaneously, they are different in receiving different
values simultaneously. Also, in traditional process algebra,
one-to-one hand-shake communication is the basic means to communicate,
but in WSNs broadcast communication is the basic means for
communicating with each other. The main theme of the talk is to
present difficulties of the design of such a formal modeling language
and to explore some existing works, and to show some preliminary
result.
Biography:
Kenji Taguchi is a professor (by special appointment) at National
Institute of Informatics (NII), Tokyo, Japan, which he joined in
2005. He has been working for an education program called “Top SE” led
by Prof. Honiden since then. He holds PhD in Computer Science from
Uppsala University, Sweden (2001). He was a lecturer at University of
Bradford (UK), Uppsala University (Sweden), and a research associate
at Kyushu University (Japan). Before he went into academia, He worked
in software industry for eleven years, mainly working for research and
development of and consulting on AI systems such as expert systems,
expert systems shells. His current research interests are a formal
design notation for sensor networks, application of security
requirements methodologies to Common Criteria and BOK for formal
methods. He has served on the PC member of several international
conferences on software engineering and formal methods. He has jointly
founded the Integrated Formal Methods Conference series in 1999 and
FMET (Formal Methods Education and Training) in 2008.
