Edit StudentProjectForm: Model-Based Testing of Zero-Copy Protocols

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

Summary:	MANDATORY: (provide a one-line* summary of the project)*
Programme:	OPTIONAL: (Name and the number of credits)
Keywords:	OPTIONAL: (Give 4-5 keywords)
TimeFrame:	MANDATORY: (Indicate time for the project, for example, Fall 2024)
References:	1. Jan Tretmans. Model-based testing and some steps towards test-based modelling. In Marco Bernardo and Valérie Issarny, editors, Formal Methods for Eternal Networked Software Systems, LNCS 6659, pages 297–326. Springer, 2011. 2. Wojciech Mostowski, Thomas Arts, and John Hughes. Modelling of Autosar Libraries for Large Scale Testing. Proceedings, 2nd Workshop on Models for Formal Analysis of Real Systems (MARS), EPTCS 244, 2017. 3. ICEORYX home page: https://iceoryx.io/ 4. ALEX.AI home page: https://www.apex.ai/ OPTIONAL: (Give 2-3 references for students to start with)
Prerequisites:	Good programming skills, preferably the course on Testing and Verification of Embedded Systems complete, or similar. OPTIONAL: (Courses, any other important information)
Supervisor(s):	MANDATORY: (can be multiple names, coma-separated)
Examiner:	OPTIONAL: (Name of project Examiner)
Author(s):	OPTIONAL: (can be multiple names, coma-separated)
Level:	MANDATORY: choose one, preferably <Master>
Status:	MANDATORY: choose <Open> when the topic is ready for students to select

Project description (free text)

Give a concise project description. Include:

Research question
Whether it’s more software or hardware related
A very brief description of 3-4 work packages
Deliverables/outcomes/results

Zero-Copy protocol is an inter-process communication paradigm where the transmitted data is not replicated for transmission, but rather provided "referentialy". This is done to improve performance, which is necessary for certain kinds of applications, especially in AI, where a lot of data has to be exchanged and communication channels are the major bottleneck. Zero-Copy protocols also bring new challenges, which include memory safety (concurrent access, race-conditions), data expiry / availability, and real-time requirements (time-performance guarantees). This project shall be done in co-operation with APEX.AI, a major software provider for vehicular applications (including "automotive" ROS), and will target ICEORYX, an open-source implementation / platform for Zero-Copy protocols. The core question of the project is how can specific properties of Zero-Copy protocols be modeled / specified to enable Model-Based Testing (MBT), an automated testing method where tests (input test data and oracles) are generated from the model. Additional supervisors: Jan Tretmans (TNO, NL), Anders Kallerdahl (APEX.IO, Gothenburg)

Summary:

This is a minor edit Watch this page

Cancel

Edit StudentProjectForm: Model-Based Testing of Zero-Copy Protocols

Navigation menu

Views

Personal tools

Search

Tools