Deconstructing Docker for safety-critical applications

Deconstructing Docker for safety-critical applications

Did you know that Docker can be used to validate tools that help deliver defect-free code for life-critical applications?

In this tutorial, we’ll offer hands-on learning for launching, provisioning, re-using, and sharing Dockers containers as developed by the Klocwork static code analysis team for its build and test infrastructure. Recently moving away from the traditional virtual machine environment, Docker significantly boosted the reliability and turnaround time of both software builds and tests, ensuring that the tools that validate safety- and mission-critical code maintain a high level of quality.

Workshop attendees will:

Discover the difference between containers and virtual machines

Learn how to download Docker images, and from what locations

Become familiar with the essential Docker commands

Learn how to provision Docker images, creating the right container for your needs

Determine how containers interact with the host and the multitude of available run-time options