embedded world 2017: AdaCore QGen Advances Code Quality in Mission-Critical Devices
March 15, 2017
Video
Embedded Computing Design
×
embedded world 2017: AdaCore QGen Advances Code Quality in Mission-Critical Devices
Jose Ruiz, a Senior Software Engineer at AdaCore, walks Embedded Computing Design's Rich Nass through the latest developments in AdaCore's QGen product for coding safety-critical software. For more information, visit AdaCore's booth at embedded world 2017, Hall 4, Booth 149.
Previous Video
embedded world 2017: Clarinox Uses Software Expertise as Foundation for Hardware Modules
At embedded world 2017 in Nuremberg, Germany, Rich Nass of Embedded Computing Design stopped by the Clarino...
Next Video
embedded world 2017: ARM TrustZone Community to Drive Security Education for -M-Class Devices
Thomas Ensergueix, Director of Product Marketing for the CPU Group at ARM, reviews some of the highlights o...
var Hubs = window.Hubs || {}; Hubs.recommendation = {"enabled":true,"isRecommendationFound":null,"id":46698,"isInternalRule":false,"isAiRule":true,"recommendationAiContent":"all_streams","recommendationAiStreams":[],"source_collection_id":0,"template":{"max_items_to_display":8,"max_item_age":365,"enable_panel":0,"panel_top_auto":1,"panel_top_pixels":20,"panel_delay":0,"override_next":1,"label_recommended":"Recommended","hide_publish_date":0}};
×
// Called when a Parent Window of an Embedded IFrame has Initial Load Data function g_iFrameLoadDataCallback(loadData) { $('window').trigger('loadData', [loadData]); }
// Called when a Parent Window of an Embedded IFrame is Scrolled function g_iFrameScrollCallback(scrollTop, offsetTop, viewportX, viewportY) { $('window').trigger('scroll', [scrollTop, offsetTop, viewportX, viewportY]); }
'search' : { 'enabled' : true, 'labels' : { 'home' : 'Home', 'videos' : 'Videos', 'blogs' : 'Articles & Blogs', 'docs' : 'White Papers & Publications', 'social' : 'Social', 'recent' : 'Recent Searches', 'noItems' : 'No Items Found', 'noItemsStream' : 'No Items Found in this Stream', 'seeMore' : 'See more', 'searchEntireHub' : 'Search the rest of the Hub', 'searchAllContent': 'All Content', 'searchPlaceholder':'Search' }, 'maxRecents' : 5 },
'isMobile' : false, 'isEmbedded' : false, 'isEmbeddedTile' : false,
'labOptions' : {"topMenu":false,"permHeader":true,"noHeader":true,"hideBanner":false,"highlightFirst":false,"stickyFooter":true,"flipbookBreakOut":false,"linkBreakOut":false,"loadByButton":false,"navAlwaysTop":true}, 'embedOptions' : {"hideHeader":false,"hideBanner":false,"hideFooter":false,"hidePrimaryNav":false,"hideSecondaryNav":false,"linkBreakOut":false,"revealBehaviour":"fade"}, 'knownUser' : {"Mailchimp":0,"Hubspot":0,"Eloqua":0,"Marketo":0,"Pardot":0,"Acton":0}, 'eloquaFirstPartyCookies' : 0, 'mapIntegrations' : ["Marketo"], 'integrationsToTrackViews' : ["Marketo"], 'disableUfMetrics' : false, 'pageType' : Hubs.PAGE_TYPE_ITEM, 'bombora' : true, 'analyticsCodes' : ['UA-91807-34'], 'enableDebugger' : false, 'itemPreviewButtonLabel': 'Continue Reading...', 'externalApiUrl': 'https://v2.api.uberflip.com', 'isPreventAnalyticsCollectionEnabled': false, 'privacyGroups': [], });
/* Get uuid - used to pass back to bombora as our main identifier of this visitor */ window.getBomboraUuid = function() { return ''; };
/* Get page id - used to pass back to bombora as the item being viewed */ window.getBomboraUrlId = function(){ var env = 'production'; var $infoDiv = $('#page-type-identifier'); var item = { type : $infoDiv.attr('data-page-type'), collectionId : $infoDiv.attr('data-collection-id'), id : $infoDiv.attr('data-item-id') };
if(item.type === 'PAGE_TYPE_HUB'){ return env + '||' + Hubs.Config.hubId; } else if(item.type === 'PAGE_TYPE_COLLECTION'){ return env + '||' + Hubs.Config.hubId + '||' + item.collectionId; } else if(item.type === 'PAGE_TYPE_ITEM'){ return env + '||' + Hubs.Config.hubId + '||' + item.collectionId + '||' + item.id; } };
// Bombora tracking script (function (w,d,t) { _ml = w._ml || {}; _ml.eid = '52079'; // Uberflip ID -- DO NOT CHANGE _ml.fp = w.getBomboraUuid(); _ml.cid = w.getBomboraUrlId(); _ml.informer = { callback: function () { //call back when profile is loaded //data is loaded in _ml.us }, enable: true }; var s, cd, tag; s = d.getElementsByTagName(t)[0]; cd = new Date(); tag = d.createElement(t); tag.async = 1; tag.src = 'https://ml314.com/tag.aspx?' + cd.getDate() + cd.getMonth(); s.parentNode.insertBefore(tag, s); })(window,document,'script');
})(document,"script","munchkin",300000); } loadMarketoTracking();
function appendDCLink(){ $('.cta').each(function( i ){ var dataCtaId = $(this).attr('data-cta-id'); //Find CTA ID for targeting if (dataCtaId == '306999'){ //the ID of the Link CTA you're targeting var ctaLink = $(this).find('a').prop('href'); // var dcLink = "https://www.digikey.com/en/product-highlight/r/renesas/ra-mcus"; //the redirect on the link you're setting up var concatLink = ctaLink + "?" + dcLink; //concatenation of DC link tracking code and redirection code $(this).find('a').attr('href', concatLink); //append to href of appropriate CTA } else if (dataCtaId == '332336') { // DigiKey August 2020 var ctaLink = $(this).find('a').prop('href'); // var dcLink = "https://www.digikey.com/en/product-highlight/t/toshiba-semi-and-storage/low-power-discrete-semiconductors-for-the-iot"; var concatLink = ctaLink + "?" + dcLink; $(this).find('a').attr('href', concatLink); } else if (dataCtaId == '338033') { // DigiKey September 2020 var ctaLink = $(this).find('a').prop('href'); // var dcLink = "https://www.digikey.com/en/product-highlight/s/sitime/oscillator-selection#osc-type%7CTabs1"; var concatLink = ctaLink + "?" + dcLink; $(this).find('a').attr('href', concatLink); } else if (dataCtaId == '342073') { // DigiKey Oct 2020 var ctaLink = $(this).find('a').prop('href'); // var dcLink = "https://www.digikey.com/en/product-highlight/x/xilinx/zynq-ultrascale-mpsoc-zcu102-evaluation-kit"; var concatLink = ctaLink + "?" + dcLink; $(this).find('a').attr('href', concatLink); } }); }
/* Replace "Learn More" with "Read white paper" only one white paper stream */ function replaceText(selector, text, newText, flags) { var matcher = new RegExp(text, flags); $(selector).each(function () { var $this = $(this); if (!$this.children().length) $this.text($this.text().replace(matcher, newText)); }); }
function sponsoredTiles() { $('li[data-tags*="sponsored"]').addClass('sponsored'); $('.tile.sponsored').each(function(){ var $this = $(this); if($(this).find('.sponsored-label').lengthSponsored'); } }); }
function webcastTiles() { $('li[data-source-stream-id="773047"].tile').addClass('webcast'); $('.tile.webcast').each(function(){ var $this = $(this); if($(this).find('.webcast-label').lengthWebcast'); } }); }
function bloatedTiles() { $('.tile.with-img').each(function(){ var $this = $(this); if(($(this).find('h3.h3like').height()+$(this).find('h4').height())>132) { $(this).addClass('bloated'); } }); }
//data-source-stream-id="424317" function replaceAllText() { replaceText('.tile.single[data-source-stream-id="738160"]>a.view', 'Read Article', 'Read news story', 'g'); //data-source-stream-id="738160" replaceText('.stream-424317 .tile.single>a.view', 'Read Article', 'Read white paper', 'g'); replaceText('.tile.stream-613287>a.view, .tile[data-source-stream-id="613287"]>a.view', 'Read Article', 'Listen to Podcast'); replaceText('.tile.sponsored>a.view', 'Read Article', 'Learn More', 'g'); replaceText('.tile.stream-773047>a.view', 'Read Article', 'Register for Webcast', 'g'); replaceText('.tile.stream-7405615>a.view', 'Read Article', 'REGISTER', 'g'); }
$('html').ajaxStop(replaceAllText);
function onLoadOrChange($this){ sponsoredTiles(); webcastTiles(); bloatedTiles(); appendDCLink();
if($('meta[name="title"][content^="Sponsored:"]').length>0) { $('.level-three').first().addClass('sponsored'); } else if(typeof $this.currentItemTags == 'string' && $this.currentItemTags.length > 0 && $this.currentItemTags.indexOf('sponsored') > -1) { $('.level-three').first().addClass('sponsored'); } $('.level-three.sponsored').prepend('
if(typeof $this.currentItemTags == 'string' && $this.currentItemTags.length > 0 && $this.currentItemTags.indexOf('slide show') > -1) { $.getScript( 'http://cloud2.opensystemsmedia.com/share/JS/jquery-ui-1.12.1-uniqueId.min.js').done(function(){ $.getScript( 'http://cloud2.opensystemsmedia.com/share/JS/waypoints.min.js').done(function(){ var waypoints = $('.entry h2').uniqueId().waypoint({ handler: function(direction) { console.log(this.id+' (h2 hit)'); ga('send', 'pageview', window.location.pathname + '#slide'+this.id); } }) }); }); }
if(Hubs.appInstance.itemType != 'uberflip' && $('.entry iframe[src*="soundcloud"]').length 0 && $('meta[itemprop="image"]').attr('content').length > 11) { //$('.level-three .entry-wrapper').prepend('
for(i = 1; i li[data-collection-id="321558"] a').each(function(){ var text = $(this).text().split(' '); if(text.length '+text[1]+''; $(this).html( text.join(' ') ); }); } $(document).ready(replaceAllText); }
// GDPR stuff function showEUFields(ctaId, selectorType) { let $OSMOptInSpan = $('[data-cta-id=' + ctaId + '][data-mapping="insightTechOptIn"] + span'), $OSMOptIn = $('[data-cta-id=' + ctaId + '][data-mapping="insightTechOptIn"]'), $GDPROptInSpan = $('[data-cta-id=' + ctaId + '][data-mapping="Europe_OptIn__c"] + span'), $GDPROptIn = $('[data-cta-id=' + ctaId + '][data-mapping="Europe_OptIn__c"]'), $countrySelector = $('[data-cta-id=' + ctaId + '][data-mapping="country"]'), $labelOnlyText = $('.label-only-text');
// Only if UL WhitePaper CTA (for now) if(ctaId === 272928) { // console.log('Not in beside CTA');
// First, hide all the EU fields... $OSMOptInSpan.hide(); $OSMOptIn.hide(); // EU Intel opt-in (check)
$GDPROptInSpan.hide(); $GDPROptIn.hide(); // EU partner opt-in (check)
$labelOnlyText.html('By submitting this form, I agree to receive periodic emails from UL LLC (UL) containing best practices, education, industry research, news, updates and promotions related to UL’s products and services. I understand that I can unsubscribe at any time and agree to UL’s Online Policies.');
$countrySelector.addClass('thisone');
$(document).on('change', '.thisone', function() {
var selectedCountry = $(this).val();
if(selectedCountry !== 'United States') { // *** In EU ***
// Change subscribe label to be EU-specific $GDPROptInSpan.html("I agree to receive periodic emails from UL LLC (UL) containing best practices, education, industry research, news, updates and promotions related to UL’s products and services. I understand that I can unsubscribe at any time and agree to UL’s Online Policies."); // EU Subscribe to Partner (check)
// Change general disclaimer to EU version $labelOnlyText.html('');
// Show GDPR-specific fields $OSMOptInSpan.show(); $OSMOptIn.show(); // EU Intel opt-in (check)
$GDPROptInSpan.show(); $GDPROptIn.show(); // EU partner opt-in (check)
// console.log("In EU: " + selectedCountry); } else { // *** Not in EU ***
// Hide GDPR-specific fields $OSMOptInSpan.hide(); $OSMOptIn.hide(); // EU Intel opt-in (check)
$GDPROptInSpan.hide(); $GDPROptIn.hide(); // EU partner opt-in (check)
// Change general disclaimer to non-EU version $labelOnlyText.html('By submitting this form, I agree to receive periodic emails from UL LLC (UL) containing best practices, education, industry research, news, updates and promotions related to UL’s products and services. I understand that I can unsubscribe at any time and agree to UL’s Online Policies.');
// console.log("Not in EU: " + selectedCountry); } }); } }
Hubs.onLoad = function(){ onLoadOrChange(this); $('.nav-toggle').addClass('wide').append('
Hubs.onPageChange = function(){ onLoadOrChange(this); dataLayer.push({'event': 'page_change'}); }
Hubs.onResize = function() { dataLayer.push({'event': 'page_resize'}); }
Hubs.onItemsLoaded = function(){ sponsoredTiles(); bloatedTiles(); dataLayer.push({'event': 'items_loaded'}); console.log('Items loaded, page '+(this.collectionState[Object.keys(this.collectionState)[0]].page+1)); ga('send', 'pageview', window.location.pathname + '#page'+(this.collectionState[Object.keys(this.collectionState)[0]].page+1)); }
Hubs.onCtaActivate = function(ctaId){ var selectorType, hasListingPage = $body.hasClass('listing-page'), hasHubPage = $body.hasClass('hub-page');
if (hasListingPage === true || hasHubPage === true){ selectorType="li" } else if (hasListingPage === true){ selectorType = "div"; }
showEUFields(ctaId, selectorType);
if(ctaId !== 148493 || ctaId !== 272928) { $('[data-cta-id=' + ctaId + '][data-mapping="Europe_OptIn__c"] + span').html("I want to receive emails about webinars, white papers or products and offers from OpenSystems Media & partners."); }
if(ctaId === 213420) { $('[data-cta-id=' + ctaId + '][data-mapping="ibmemployees"]').prop( "checked", true ); $('[data-cta-id=' + ctaId + '][data-mapping="iBMoptinemail"]').prop( "checked", true ); $('[data-cta-id=' + ctaId + '][data-mapping="iBMoptinphone"]').prop( "checked", true ); $('[data-cta-id=' + ctaId + '][data-mapping="iBMoptinpost"]').prop( "checked", true ); } }
$(document).scroll(function() { if($(document).scrollTop() > 320) { $('.left-nav').removeClass('blocked-by-hero'); } else { $('.left-nav').addClass('blocked-by-hero'); } });
const $body = $('body');
const eu_countries = [ "Austria", "Italy", "Belgium", "Latvia", "Bulgaria", "Lithuania", "Croatia", "Luxembourg", "Cyprus", "Malta", "Czech Republic", "Netherlands", "Denmark", "Poland", "Estonia", "Portugal", "Finland", "Romania", "France", "Slovakia", "Germany", "Slovenia", "Greece", "Spain", "Hungary", "Sweden", "Ireland", "United Kingdom" ];
var disqus_shortname = 'embedded'; var disqus_identifier = '503809874'; var disqus_url = 'https://www.embedded-computing.com/youtube-embedded-world/embedded-world-2017-adacore-qgen-advances-code-quality-in-mission-critical-devices-3';
var disqus_config = function () { this.page.url = disqus_url; this.page.identifier = disqus_identifier; };
(function() { var d = document, s = d.createElement('script');
s.src = '//' + disqus_shortname + '.disqus.com/embed.js';
s.setAttribute('data-timestamp', +new Date()); (d.head || d.body).appendChild(s); })();