AdaCore: Build Software that Matters
AdaCore Hero Image
Jan 06, 2026 | Demos

A Day in the Life of a Software Engineer

A short demonstration on how developers can be empowered to ensure the security of new code.

Software development is the engine behind many enterprises that rely on software intensive systems. It is important to keep that engine running as efficiently as possible. Having a smooth software development environment is a key ingredient to ensure that efficiency.

This video shows how easy it is to put such a development together using VS Code, CodeSonar and GitLab Ultimate. The workflow shows how a developer can add code to a project and how the developer is then empowered to review and fix the security warnings before the new code can be merged.

There is a subtle separation of concern in this demo where security engineers can describe security requirements, DevOps engineers can describe pipelines and software developers can develop code. GitLab then folds all this together, allowing everybody to collaborate while they remain in their own area of expertise.

Ready to streamline your development engine?

Our team can help you integrate VS Code, CodeSonar, and GitLab to build a workflow that works for everyone. Speak to an expert.

Author

Mark Hermeling

Headshot
Head of Technical Marketing, AdaCore

Mark has over 25 years’ experience in software development tools for high-integrity, secure, embedded and real-time systems across automotive, aerospace, defence and industrial domains. As Head of Technical Marketing at AdaCore, he links technical capabilities to business value and is a regular author and speaker on on topics ranging from the software development lifecycle, DevSecOps to formal methods and software verification.

Videos_

Latest Videos