Responsibles :

    Laurence Pierre
    Hubert Garavel
    Akram Idani
    Cyril Labbé

    M2 MoSIG - Option AISSE / HECS

AISSE / HECS is the combination of two interesting specializations of the M2 MoSIG.
It covers several techniques from modeling to programs, and a wide range of challenging applications.

    AISSE: Advanced Information Systems and Software Engineering

More than ever, software applications and, more generally,
information systems play a strategic role in almost any organisation.

Nowadays, end-users are used to access customized information everywhere and at any time. This large scope of possibilities for end-users results in new challenges for software engineering : How can we handle system requirements involving small mobile devices as well as large scale distributed systems in terms of models, processes, development and verification techniques and tools ? How to deal with domain specific issues (e.g. health systems) ?

The AISSE option aims at introducing these new challenges in information systems and software engineering. It focuses on three main axes : software engineering, data management and models for information systems design. It presents new trends for distribution, flexibility, evolution and cooperation among information systems.

    HECS: High-confidence Embedded and Cyberphysical Systems

Our modern world increasingly relies on computers for an ever-increasing number of tasks. Use of computers ranges from small devices (commonly referred to as “embedded systems”) to large infrastructures for transport, energy, health, avionics, space, etc. (usually referred to as “cyberphysical systems”).

Whether small or large, these systems combine many hardware and software components, and continuously interact with their physical environment as well as with other computer systems.

As such systems are increasingly deployed in safety- and security-critical contexts, confidence becomes a crucial issue. The successful design of complex industrial systems, and their maintenance on the long run, involve experts from many different fields and require advanced methodologies (design flows) that enable co-operation between the various stakeholders, as well as quality assessment and control. As the complexity of systems is steadily increasing, their design raises difficult issues that can only be tackled by properly- and highly-qualified personals.