{"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":"Safety in sich schnell \u00e4ndernden Systemen - MicroConsult Academy GmbH","type":"rich","width":600,"height":338,"html":"<blockquote class=\"wp-embedded-content\" data-secret=\"OaWwxc704w\"><a href=\"https:\/\/www.microconsult.de\/en\/safety-in-sich-schnell-aendernden-systemen\/\">Safety in rapidly changing systems<\/a><\/blockquote><iframe sandbox=\"allow-scripts\" security=\"restricted\" src=\"https:\/\/www.microconsult.de\/en\/safety-in-sich-schnell-aendernden-systemen\/embed\/#?secret=OaWwxc704w\" width=\"600\" height=\"338\" title=\"\u201cSafety in rapidly changing systems\u201d \u2014 MicroConsult Academy GmbH\" data-secret=\"OaWwxc704w\" 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":"Praxistaugliche Anwendung von formalen Methoden AutorInnen: Christine Jakobs, Matthias Werner; TU Chemnitz Beitrag &#8211; Embedded Software Engineering Kongress 2018 Der klassische Entwicklungsprozess f\u00fcr Software im Bereich eingebetteter Echtzeitsysteme geht von einem statischen System mit festgelegten Komponenten aus. Die Marktnachfrage f\u00fchrt zu einem Bedarf an st\u00e4rkerer Dynamik. Dadurch erh\u00f6ht sich die Komplexit\u00e4t und es wird wichtiger, [&hellip;]"}