PASS: Processes for Adaptive Software System

The PASS team is part of the 4th department of IRISA (UMR 6074) and in the scope of CNRS section 6.

The PASS team members claim that a design approach combining both product models and development process models can dramatically:

  1. ease the design and development of adaptive software systems, and
  2. improve their quality, their safety, and their security.

The project aims at studying development processes and product models for an original component model in order to improve its adaptative features and to have a better control on its non-functional properties.

Members

Researchers:

PhD Students (in June 2018)

  • Ngoc Tho Huynh (2013-2017)
  • Bastien Sultan (2015-)
  • Nicolas Szlifierski (2016-)
  • Étienne Louboutin (2016-)
  • Sébastien Martinez (2012-2016)

Detailled description

Adaptive software aims at adjusting various artifacts or attributes in response to changes in the system operating environment. By operating environment we mean everything that may affect the software system behavior and its properties, for example changing requirements, execution platform, and resources.

Adjustment can be performed at design time and lead to the disruption of software operation. However, the higher demand for ubiquitous, pervasive, embedded, and mobile environments, has led to the need of runtime adaptation, i.e., without software disruption. Runtime adaptation increases software complexity as the software itself has to cope with variability. Complexity is even increased if the application or system is distributed. Indeed, adjusting operations may involve artifacts running on different execution platforms and adaptation mechanisms available on them may vary.

On the other hand, software complexity is tackled by focussing on the software product itself or its related design process. The first one mainly proposes artifacts such as languages, software architectures, frameworks, and middleware that help on mastering complexity at a manageable degree for designers and maintainers. The second one is interested in providing a methodology (process) to design a software system that satisfies user requirements. It guides developers in taking into account important functional and non functional concerns and may be reused for each development. Both areas offer different but interesting approaches that help in managing software complexity.

Our research field is at the intersection of model driven engineering, software architecture, process modeling, verification and validation, and distributed systems. We intend to scientifically contribute to the three first domains (i.e. model driven engineering, software architecture, process modeling).

In this scientific context, we are interested in three kinds of systems: large scale, highly dynamic (mobile, P2P) and strongly constrained (real-time, embedded) where non functional properties such as safety, performance and reliability are important. For instance, ambient assisted living, satellites, cloud, mobile games, pervasive learning, etc.

PhD, post-doctoral positions and internship

An open PhD position, funded by the Chaire de cyberdéfense des systèmes navals, is available: « Conception d'un langage de coordination de processus visant à maitriser la sécurité des systèmes navals par la maîtrise de leurs processus de production » ("Design of a process coordination language in order to master the security of naval systems by mastering their production process").

The detailed offer can be found here.

Contact: pass-recrutement@imt-atlantique.fr

Application: CV + cover letter, in French or in English.

Note: this PhD offer has security constraints, security accreditation is mandatory to be hired.

 

An open postdoc position is currently available: the objective is to model and specify 3D printing services in the context of smart factories.

The detailed offer can be found here.

Contact: antoine.beugnard@imt-atlantique.fr

Application: CV + cover letter, in French or in English.

IMT Atlantique