講師：フランス原子力庁ソフトウェア工学応用研究所（ＣＥＡ-ＬＩＳＴ）
上席研究員 セバスチャン・ジェラール (Sebastien Gerard)
ＣＥＡ ＬＩＳＴにソフトウェア工学及びコンピュータ科学の上席
研究員として従事。1995年フランスＥＮＳＭＡ機械・航空工学科卒業。2000年EVRY大学コンピュータ科学博士課程修了。現在、ＣＥＡ ＬＩＳＴで
は、リアルタイム系組込みシステムのモデルベース工学研究所（ＬＩＳＥ）で２０名のプロジェクトチームを統括。当該プロジェクトの目標は、リアルタイム組
込みシステムの要件定義から実装までを検証並行型設計(correct-by-construction)を実現することにある。
国内の国家プロジェクト及び国際プロジェクトに多数参画することを通じて、産業分野では、プジョー・シトロエン、エアバス、ＳＴマイ
クロエレクトロニクス、ＥＡＤＳ等有力企業の問題解決やコンサルティングも行っている。国際的な標準活動にも深く関与してきており、特に、現在はＯＭＧに
おけるリアルタイム組込みシステムのためのＵＭＬの新拡張ＭＡＲＴＥの共同主査を務めている。
概要：今年２月にＯＭＧにおいて合意されたリアルタイム系組込みシステムのためのＵＭＬ拡張版（ＭＡＲＴＥ）について、大規模・複雑化かつ短納期化してい
く組込みシステム開発で今後主流になりつつあるモデルベース設計・検証への応用を中心に詳細な解説をいただく。
Content
In a
context of more complex, demanding,
sophisticated and dependable new engineering systems, industries have to
face
both cost and time-to-market reduction and to adapt to new paradigms
when
contemporary code-centric approaches are reaching their limits.
That's why we consider that the
model-based
engineering using specific-domain modelling languages is a suitable
approach to
overcome many of these limitations. Combining model-based and
component-based
approaches as basic development paradigms is one of the most promising
innovations.
In such a context standards
modelling language
have a key role in the technological development. UML, MARIE, SysML, are
the
most widespread standards in the world.
During this workshop, we would be
pleased to
present you the identified key requirements according to such a context
and how
the combined use of model-based and component-based approaches can meet
these
requirements.
We will also enjoy a discussion
about the
benefits but also limitations of using such standards to specify good
architectures and the promising research directions for the future.
Please note that this seminar will have the same presentation as June 10th seminar in Tokyo.
| 
