|
Research
Activities |
Michel
R. V. Chaudron
|
|
Research Interest |
I am
interested in methods and techniques that can improve the effectivity of
software & system engineering. To this end, I study the
following themes: -
component-based design of distributed
& real-time systems o
including specification and analysis techniques -
software architecture o
design, specification, analysis techniques, empirical
studies -
separation of concerns in software design o
coordination, shared dataspace models, aspect
orientated design In a more broad sense, this
means I also study -
middleware (publish/subscribe, OO, Real-Time, …),
peer-to-peer systems -
component-models, coordination, composition
languages, dynamic upgrading/configurability -
design methods, psychology of design, team processes |
|
|
COMET project (2005-2007) Design Space
Exploration for Telecommunications Architectures |
|
Empirical Analysis of UML-based
descriptions of Software Architecture and Designs |
|
|
Trust4All (2005-2007) Component-Based Engineering for Trusted Embedded
Systems |
|
|
|
|
|
For
the TU/e have been the principal investigator of the Robocop project (2001-2003)
The Aim of the Robocop project is
to develop an architecture and component model for high volume consumer
electronics. The architecture provides support for robustness, real-time
applications, secure component downloading and upgrading. In this project, the TU/e
focusses on methods for specification and algorithms for analysis of
non-functional & emergent properties of component-based architectures. At European level this project
is funded by ITEA. International Partners include:
Philips, Nokia, CSEM, ESI, Saia Burgess. National funding is obtained through
Senter. The TU/e effort is about 2 fte
for 2 years. Duration: summer 2001 – summer
2003 |
|
|
|
Software Architecture = Components + Coordination
(2001-2006) This
project aims to develop modelling techniques that support the component-based
design of systems. The techniques are inspired on the coordination principle
of separation between computation and coordination. The project should extend
existing approaches by providing support for the analysis of timeliness
properties at an architectural level. The project should provide insight into
the principles that govern the design of components and composition
mechanisms for open dependable systems. The research that we propose provides an opportunity to
develop novel methods that improve the state-of-the-art in the areas of
component-based engineering, coordination languages, software architecture
and dependable systems. This project is funded by NWO. Project Members: Michel Chaudron (pl) Michel Reniers (TUE, INF) Twan Basten (TU/e, EE) Ph.D.-students: M. Mousavi M.Sc. (thesis defence For this project, we are collaborating
with -
Sandeep Shukla, Rajesh Gupta, D. Schmidt -
Vrije
Universiteit Amsterdam: Duration:
2001-2005 |
|
|
Architectural Modelling of Embedded Systems AIMES
|
|
more info on |
|
|
|
|
|
Last edited 6 sept 2005 |
|
