| [arles] Talk by Dr. Jorge Fox on Friday April 9, at 11 am |
|
|
|
Friday, 09 April 2010, 11:00 - 12:00
| by | Hits : 974 |
|
Title
"Applying Formal Methods in Software Engineering. The Case of
Dynamically Adaptable Services and Embedded Control Systems"
Abstract
Reactive distributed systems, including business information systems and
embedded control systems, require systematic software engineering
approaches that can manage system and development complexity. This helps
to ensure resulting implementations of high quality within reasonable
cost and time frames. Formal methods are an attractive option for
solving this problem as they provide a means to precisely model a
software system. We explore the use of formal methods at the case of
dynamically adaptable services and embedded control systems.
In the first part of the presentation, we explain our selection of a
formal language to model dynamic adaptation (DA) and introduce a first
model of DA based on the service-oriented language COWS.
In the second part, we present our collaboration on demonstrating a
systematic model-based approach to the engineering of distributed systems.
BIO
Jorge studied a BSc. in Computer Engineering and a Masters in
Administration in the "Instituto Tecnológico Autonomo de México" (ITAM),
completed his doctoral studies in the Technical University of Munich
three years ago on the subject of Aspect Orientation. His work on Aspect
Orientation proposed a model of aspects and security based on the
language FOCUS. For the past two years he has been working in Trinity
College Dublin and Lero -The Irish Software Engineering Research Centre.
His present work relates to dynamic adaptation in services.
|
Location : INRIA ROcquencourt - ARLES 14
Contact : Animesh Pathak |
Back
JEvents v1.5.3
Copyright © 2006-2009
|
All repeats 
