{"version":"1.0","provider_name":"MicroConsult Academy GmbH","provider_url":"https:\/\/www.microconsult.de\/en","author_name":"weissblau media","author_url":"https:\/\/www.microconsult.de\/en\/author\/weissblau-media\/","title":"Die Verbesserung des Sicherheitsnachweises durch Induktion - MicroConsult Academy GmbH","type":"rich","width":600,"height":338,"html":"<blockquote class=\"wp-embedded-content\" data-secret=\"TAZdxFppad\"><a href=\"https:\/\/www.microconsult.de\/en\/die-verbesserung-des-sicherheitsnachweises-durch-induktion\/\">Improving safety verification through induction<\/a><\/blockquote><iframe sandbox=\"allow-scripts\" security=\"restricted\" src=\"https:\/\/www.microconsult.de\/en\/die-verbesserung-des-sicherheitsnachweises-durch-induktion\/embed\/#?secret=TAZdxFppad\" width=\"600\" height=\"338\" title=\"\u201cImproving safety verification through induction\u201d \u2014 MicroConsult Academy GmbH\" data-secret=\"TAZdxFppad\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" class=\"wp-embedded-content\"><\/iframe><script>\n\/*! This file is auto-generated *\/\n!function(d,l){\"use strict\";l.querySelector&&d.addEventListener&&\"undefined\"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!\/[^a-zA-Z0-9]\/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret=\"'+t.secret+'\"]'),o=l.querySelectorAll('blockquote[data-secret=\"'+t.secret+'\"]'),c=new RegExp(\"^https?:$\",\"i\"),i=0;i<o.length;i++)o[i].style.display=\"none\";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute(\"style\"),\"height\"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):\"link\"===t.message&&(r=new URL(s.getAttribute(\"src\")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener(\"message\",d.wp.receiveEmbedMessage,!1),l.addEventListener(\"DOMContentLoaded\",function(){for(var e,t,s=l.querySelectorAll(\"iframe.wp-embedded-content\"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute(\"data-secret\"))||(t=Math.random().toString(36).substring(2,12),e.src+=\"#?secret=\"+t,e.setAttribute(\"data-secret\",t)),e.contentWindow.postMessage({message:\"ready\",secret:t},\"*\")},!1)))}(window,document);\n\/\/# sourceURL=https:\/\/www.microconsult.de\/wp-includes\/js\/wp-embed.min.js\n<\/script>","description":"Kann ein Denkbegriff aus dem 16. Jahrhundert n\u00fctzlich sein? Autor: Chris Hobbs, QNX Software Systems Beitrag &#8211; Embedded Software Engineering Kongress 2018 Die verschiedenen Sicherheitsnormen (ISO 26262, IEC 61508 usw.) verlangen die Erstellung eines Sicherheitsnachweises. Diverse Untersuchungen haben belegt, dass eine solche Aufgabe oft zu Best\u00e4tigungsfehlern f\u00fchrt. Diese Abhandlung beschreibt eine praktische Anwendung der eliminativen [&hellip;]"}