Interaction Specification Mining With Adversarial Examples

Universities and Institutes of France

France

October 16, 2022

Description

  • Organisation/Company: CEA LIST
  • Research Field: Computer science › Informatics
  • Researcher Profile: First Stage Researcher (R1) Recognised Researcher (R2) Established Researcher (R3) Leading Researcher (R4)
  • Application Deadline: 16/10/2022 00:00 - Europe/Brussels
  • Location: France › Palaiseau
  • Type Of Contract: Temporary
  • Job Status: Full-time
  • A 3-year long full-time PhD student in Softtware Engineering on the following subject:

    Interaction specification mining with adversarial examples

    Software systems are often developed in a modular way by (re)using components that cooperate in providing a more global service. We will consider component-intensive software systems, particularly those composed of communicating components via message passing and communication primitives. Examples of such systems are client/server systems, transportation control systems, Internet of Things, connected autonomous vehicles, etc. In practice, the assembly of these components follows poorly documented ad-hoc procedures. Therefore, discovering their formal specifications, i.e., specification mining is of great interest for many software Verification and Validation activities (V&V). In our context, mining will exploit the information contained in the execution logs of the communicating components. These logs are often collected via code instrumentation or sniffing or via a testing architecture. The objective of the doctoral work is to develop new methods for mining interaction specifications, such as models of UML Sequence diagrams or Message Sequence Charts (MSC). The foreseen mining framework will be grounded by recent theoretical work and supporting tooling on operational rewriting semantics of interaction developed conjointly between CEA LIST and CentraleSupélec. It will encompass test generation, guided by key reachability properties or, more generally, LTL (Linear Temporal Logic) properties that adversely exercise the components against uncommon test inputs and thus ensuring diversity in their executions for more efficient mining.

    The doctoral work will be conducted in the frame of the HORIZON Europe project SELFY. N.B., SELFY stands for SELF assessment, protection & healing tools for a trustworthY and resilient CCAM, CCAM stands for Cooperative, Connected and Automated Mobility. The project SELFY aims to increase the CCAM ecosystem's safety, security, robustness, and resilience by researching and developing a toolbox made of collaborative tools, including a V&V tool based on interaction specification mining. The PhD student will be involved in research collaboration with Okayama University (Japan), an international associate partner linked to CEA in the project.

    Detailed proposition. https: // drive.google.com/file/d/1dKcIEeucEAP03opmXLS6vmQI5vmCPYk/view?usp=sharing

    Funding category: Contrat doctoral

    PHD Country: France

    Offer Requirements Specific Requirements

    The applicant must have a master's degree in computer science or a specialization in computer science in an engineering school.

    Contact Information
  • Organisation/Company: CEA LIST
  • Organisation Type: Public Research Institution
  • Website: https: // list.cea.fr/fr/
  • Country: France
  • Similar Jobs

    Universities and Institutes of Czech

    Czech Republic Sep 23, 2022

    Add to favorites Read more...

    Ph.D. Position In Data Clustering And Segmentation

    The proposed project deals with the development of a new algorithm for The research topic aims to find the techniques to analyse similarities in systems' descriptions and investigate if algorithms based on similar projects data...

    Add to favorites Read more...

    Software Developer (M/F/D) In The Field Of Cryptography

    We are Austria's largest research and technology organisation and an Security is seeking to hire new Ingenious Partners for our location in Software Developer (m/f/d) in the field of Cryptography Cryptography is a key enabler...

    Add to favorites Read more...

    Engineer With Phd In Electronics

    We are looking for someone who is competent in electronics (PCB design and Participate in the development of future microfluidic instruments in our microfluidic components and platforms for all scientific applications in our electronic boards,...

    Add to favorites Read more...

    Machine Learning Based Transceivers

    Opening: Nokia bell labs in collaboration with Telecom Paris has a PhD opening digital transceiver designs and apply machine-learning techniques to improve their performance, as well as FPGA implementations in real-time environments. The final goal...

    Add to favorites Read more...

    A Resilient Collaborative Detection And Decision Framework Based On Ai To Enhance Security Against...

    The main purpose of this PhD thesis is to propose and develop innovative collaborative detection (prediction) and decision-making techniques based on The idea is that the AI detection and decision systems that will be proposed...