AeLoS Secure architectures and software
Secure architectures and software
Part of the team, left to right: Arnaud LANOIX, Mohamed MESSABIHI, Jean-Marie MOTTU, Christian ATTIOGBE, Gilles ARDOUREL, Pascal ANDRE and Isabelle CONDETTE.
For the four-year period 2012-2015, the previous teams COLOSS and MODAL merged to form this new team AeLoS (created in June 2010).
The new scientific programme focuses on three specific areas where the abilities of the members are clearly demonstrated. The accent is put on the complementarity of the research work (bottom up and top down approaches), on the joint use of resources aiming to take up the challenge of safe architecture and safe software at different levels: objects, services, components and architectures. The architecture and software are seen in terms of components of the preceding entities. The formal approach is multi-disciplinary and enables us to meet the challenge of security for services, components and architectures.
Via the architecture research area we consider a top down approach to software; the area of correct software components covers the bottom up approach.
The topic of multiformalism and multifaceted analysis deals with the issue of semantic interoperability and the global analysis of software.
We investigate the semantic models of concurrency and the related analysis tools, in particular timed-models and probabilistic models in an open and time-related context in collaboration with the STR team at the IRCCyN Lab;
Formal models; Formal analysis; B Method ; Verification; Refinement; Correction-by-construction; Architecture; Component and Services; SOA
The fields of application are those of communicating systems, distributed reactive systems, reliable or critical large-scale information systems, correct software for Internet of the future, ambient intelligence systems, correct component/service-based systems;
AeLoS’s scientific programme corresponds in its entirety to the current international challenges (Verified Software, Hoare, Misra; Software Architectures, Garlan; ...).