Skip to main content
  • Developers
  • Learning Hub
    • Learning Hub Developers Price. Buy. Download. Try.
    View All Resources

    Verification of Safety Designs – Freedom from Interference with Steffen Keul | #QtWS23

    Abstract: Safe operation of any embedded device is enabled by a rigorous architectural design. In ISO26262 mixed-ASIL systems, the architecture needs to ensure freedom from interference among the safety-related partitions and between safety-related and QM partitions. After a safety architecture has been defined and verified, static analysis can (and should) be used to demonstrate compliance between implemented source code and this architecture. This presentation highlights one way to apply an architecture check for the aspect of freedom from interference.

    About the Speaker: Steffen Keul studied Software Engineering at the University of Stuttgart and gained experience with static analysis during his post-graduate research on static analysis of concurrent systems. For four years, he worked in product management and pre-development of automotive basic software with a focus on functional safety according to ISO26262. In 2017, he joined Axivion's Solution Engineering team. In this role, he strives to find the perfect static code analysis solution for every customer project. Litteraatti

    Oh, here is more

    Webinar: Safe and Effective Medical Devices Built with MCUs

    Ever wondered about medical devices built with microcontrollers (MCUs), especially in today's world ...

    Watch video

    Webinar: Qt 6.8 Major Feature Updates

    In this webinar, we cover updates to the following modules that comes with the release of Qt 6.8.: Q...

    Watch video

    Webinar: Optimize Medical Device Development with a Streamlined Workflow

    In this webinar, we showcase the development of a medical infusion pump, highlighting the practical ...

    Watch video

    Increase Medical Device Productivity, Quality, and Efficiency with Platform Engineering

    As the need to integrate more and more advanced functionality within digital devices increases, soft...

    Watch video