Content type: Webinar Recording Date: 2019-10-29

VectorCAST: Wie man Safety-Probleme und Security-Lücken in sicherheitskritischen Systemen vermeidet-20191029 0856-1

In den letzten Jahren sind Security-Anforderungen auch für sicherheitskritische Systeme immer wichtiger geworden, nicht zuletzt aufgrund der zunehmenden Bedeutung des hochautomatisierten Fahrens und der allgegenwärtigen Konnektivität. Im Allgemeinen können Anforderungen der Cyber-Sicherheit und der funktionalen Sicherheit voneinander abweichen oder sogar Konflikte verursachen. Unter dem Gesichtspunkt der Codequalität gibt es zwischen ihnen jedoch eine erhebliche Überschneidung. Insbesondere in sicherheitskritischen Systemen bieten automatische, statische und dynamische Analysetools eine enorme Produktivitätssteigerung, indem der Code automatisch nach einer Vielzahl von Kriterien überprüft wird....

Content type: Webinar Recording Date: 2019-10-29

VectorCAST: How to avoid Safety Defects and Security Vulnerabilities in safety-critical systems-20191029 1359-1

In recent years, security concerns have become more and more relevant for safety-critical systems, not least due to the increasing importance of highly-automated driving and pervasive connectivity. In general, safety and security goals can diverge or even conflict. However, under a code quality perspective, there is a significant overlap between safety and security goals. Especially in safety-critical systems, automatic static and dynamic analysis tools offer a tremendous increase in productivity by automatically checking the code under a wide range of criteria. They can be applied to show compliance to coding guidelines, such as MISRA C/C++, ISO/TS 17961, CWE, etc and to comply to functional...

Content type: Webinar Recording Date: 2019-07-09

Meeting the Challenges of Large and Complex Multi-Language Software Projects

Software is everywhere, fueling the innovations that give a company a competitive edge, but presenting a number of daunting challenges. How can a software team develop a product that meets customer expectations for functionality, safety, performance, and usability while also minimizing the costs of development, verification, and maintenance? This is a difficult problem, complicated even further when different programming languages are used on the same project. In this joint webinar by AdaCore and Vector Informatik you will learn how to address the special challenges of multi-language projects. We will show how a continuous tool chain can simplify navigation through source code across different...

Content type: Webinar Recording Date: 2019-07-16

Die Zertifizierung von reinen Softwareprodukten der Funktionalen Sicherheit

Grundsätzlich sollte bei der Funktionalen Sicherheit jedes Programm auf einem einfachen und verständlichen Systemdesign basieren. Moderne softwarebasierte Computersysteme werden jedoch immer komplexer und ihre Rolle in sicherheitsrelevanten Anwendungen (z.B. für autonomes Fahren, kollaborative Maschinen usw.) nimmt rapide zu. Eine Möglichkeit, diese Komplexität zu bewältigen, besteht darin, die Softwarearchitektur mit zertifizierten Softwarekomponenten aufzuschlüsseln. Dieses gemeinsame Webinar von TÜV SÜD und Vector Informatik bietet einen detaillierten technischen Überblick über Umfang, Vorteile und Bedingungen für die Zertifizierung von Software-Produkten (Bibliotheken, Betriebssystemen, Tools...

Content type: Vector Event Date: 2019-10-23

Vector Technology Days 2019

The complete Vector portfolio in a unique event.

Content type: Webinar Recording Date: 2019-11-21

VectorCAST: Myths and Truth About Test-Driven Software Development in Safety-Critical Projects-20191121 1426-1

The test-driven application development or the test-driven development (TDD) is the holy grail of the software industry and represents the end of faulty programs like almost no other approach. Despite everything, it has hardly been able to assert itself in real, safety-critical projects. Why this is so, and where the myth and truth of the TDD lies, we'll look at in this one-hour webinar. Agenda: • What is Test Driven Development • Security-relevant development versus standard software development • Challenges of the TDD • Alternatives to the TDD • Test-driven software development in practice; Change-based Software Testing, Continuous Integration, Regression Testing, Functional Testing ... •...

Content type: Webinar Recording Date: 2019-11-26

VectorCAST: l'analisi della copertura come metrica più importante per la qualità del software

Sia che tu stia svolgendo un'attività di test di unità / modulo o sia in una fase successiva di test a livello di sistema o funzionale, l’analisi in tempo reale della copertura (Coverage) del codice è la metrica più immediata e potente che puoi immediatamente determinare per il tuo codice, senza alcuno sforzo aggiuntivo. Ciò ti consente di scoprire alcune informazioni fondamentali sul codice e sulla qualità dei test: - Puoi capire quanto stai testando a fondo il tuo software - Saprai facilmente quale parte del codice è attiva durante i test, quale è il codice disattivato (codice di manutenzione, programmazione difensiva) e il codice morto (da rimuovere!) - Puoi sfruttare le informazioni...

Content type: Webinar Recording Date: 2019-11-26

VectorCAST: Coverage Analysis as the Most Important Metric for Software Quality

Whether you are carrying out a unit / module test activity or in a subsequent system or functional test phase, the real-time coverage analysis (Coverage) of the code is the most immediate and powerful metric that you can immediately determine for your code, without any additional effort. This allows you to discover some basic information on the code and the quality of the tests: - You can understand how thoroughly you are testing your software - You will easily know which part of the code is active during the tests, which code is deactivated (maintenance code, defensive programming) and the dead code (to be removed!) - You can take advantage of the information on the coverage to activate our...