Webinar: Automated verification of safety-critical code

preview_player
Показать описание
Discover our cutting-edge automated software verification tools. Designed to enhance your workflow and boost efficiency, these tools ensure compliance with coding standards like MISRA, AUTOSAR, CERT, and CWE, as well as safety standards including ISO 26262, IEC 61508, and more.

AbsInt's Daniel Kaestner and QA Systems' Haydar Akbulut will demonstrate the power of these verification tools for safety-critical projects.

Ideal opportunity for software developers working on safety-critical projects across industries such as automotive, aerospace, medical devices, industrial automation, railways, and nuclear.

Connect with QA Systems:
  1. QA Systems - The software quality company
Рекомендации по теме
Webinar: Automated verification 0:57:33

Webinar: Automated verification of safety-critical code

Defining Safety-Critical Scenarios 0:27:59

Defining Safety-Critical Scenarios for Simulation-Based Automated Vehicle Evaluation

Webinar: Accelerated Unit 0:57:34

Webinar: Accelerated Unit Testing with IAR Embedded Workbench & Cantata for Safety-Critical Syst...

Accelerate Unit Testing 0:57:15

Accelerate Unit Testing Safety Critical Software with Cantata

Challenges in the 1:02:08

Challenges in the use of AI systems for testing safety critical software (226)

Webinar: 'Understanding Safety 1:10:59

Webinar: 'Understanding Safety Critical Graphics Solutions for Modern Transportation Markets&ap...

Webinar: How to 1:07:30

Webinar: How to avoid Safety Defects and Security Vulnerabilities in safety-critical systems

Source code and/or 0:49:18

Source code and/or object code coverage for evaluating safety-critical systems?

Webinar: Understanding Safety 1:10:59

Webinar: Understanding Safety Critical Graphics Solutions for Modern Transportation Markets

Model Based Test 0:56:38

Model Based Test Automation for Safety Critical Control

A Model-Based Tool 0:48:43

A Model-Based Tool for Designing Safety-Critical Systems

An Architecture-centric Virtual 1:02:06

An Architecture-centric Virtual Integration Strategy to Safety-Critical System Verification

How to manage 0:36:23

How to manage safety critical industrial development based on STM32 microcontrollers

Safety-Critical Autonomous Systems: 1:04:57

Safety-Critical Autonomous Systems: What is Possible? What is Required?

How to Qualify 0:59:22

How to Qualify Standard Libraries in Safety Critical Applications - Joint webinar with Vector

Safety Critical Compilers 0:47:14

Safety Critical Compilers for Cyber Security & Reliable Development - Joint webinar with AFuzion

Safety Critical Compilers 0:47:14

Safety Critical Compilers for Cyber Security & Reliable Development

Functional Safety Methods 0:59:34

Functional Safety Methods for the Software Development (211)

Webinar Understanding 1:10:59

Webinar Understanding Safety Critical Graphics Solutions for Modern Transportation Markets

Safety-critical systems engineering 1:00:48

Safety-critical systems engineering with software: Data analytics and Software testing

Independent Verification and 0:40:43

Independent Verification and Validation for Cybersecurity

Verification sensor ensures 0:02:45

Verification sensor ensures redundancy in safety critical applications

Webinar: Validation of 1:00:50

Webinar: Validation of Machine Safety Functions

▶ Career Opportunities 0:55:14

▶ Career Opportunities in #Safety Critical #embedded_systems | @ldraltd | @SkillLync | 💻 👩‍💻...