Making a Rust project Trustable

By Lucas Biaggi and Jeeeun Evans

Workshop - Tuesday, 16 September
10:00-17:00

This one day workshop will provide you with an overview of the Eclipse Trustable Software Framework and how it applies to real life use cases. You will have the opportunity to apply the methodologies to a Rust project.

Agenda

  1. Tutorial: What is the problem?
  2. Tutorial: Introducing the Trustable Tenets and Trustable Assertions (TA)
  3. Interactive: Introducing the repository under investigation
  4. Tutorial: Introducing the TSF model, methodology and tooling
  5. Interactive: Adding evidence nodes with references and Subject Matter Expert (SME) scores under the TAs
  6. Tutorial: The big picture: How this can be used for complex projects and compliance tracking
  7. Interactive: Replacing an SME score with an automated software validator for continuous verification.
  8. Conclusion: Wrap up, next steps and questions


Pre-requisites:

Attendees require a working knowledge of the following:

All attendees wishing to take part in the interactive portion of this session should arrive with a laptop with the following:

Trainer

speaker.name

Lucas Biaggi

Lucas Biaggi is a Software Engineer at Codethink. He has extensive experience developing privacy and cybersecurity solutions and is currently focused on building secure, compliant systems through robust software engineering practices based on Eclipse Trustable Software Framework (TSF).

speaker.name

Jeeeun Evans

Jeeeun is a software engineer at Codethink with experience in the automotive sector, currently working on the Codethink Trustable Reproducible Linux (CTRL OS) project for safety-critical and mixed-criticality systems. Her work is closely connected to the Eclipse Trustable Software Framework, an open source initiative that applies an evidence-based approach to evaluating risk in modern software projects.