Making a Rust project Trustable

By Codethink

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 with the support of experienced engineers from Codethink.

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

Codethink

Codethink is a world-class provider of critical, high-performance software projects and solutions for international-scale companies in a range of industries including Automotive, Finance, Medical, and IoT. Headquartered in Manchester, UK, Codethink has pioneered software industry thinking around concepts of trustable software, working to improve the quality of software engineering.