{"id":3032,"date":"2017-02-07T15:38:55","date_gmt":"2017-02-07T15:38:55","guid":{"rendered":"http:\/\/dev.spacecodesign.com\/?p=3032"},"modified":"2017-02-07T15:43:24","modified_gmt":"2017-02-07T15:43:24","slug":"aadl-showcase","status":"publish","type":"post","link":"https:\/\/www.spacecodesign.com\/fr\/aadl-showcase","title":{"rendered":"Performance Verification for ESL Design Methodology from AADL Models"},"content":{"rendered":"<p><b>Space Codesign a pr\u00e9sent\u00e9 un atelier dans le cadre d&rsquo;un workshop HW\/SW \u00e0 l&rsquo;IRT Antoine de Saint-Exup\u00e9ry en Toulouse, France<\/b><b>.<\/b><\/p>\n<p><b><a href=\"http:\/\/dev.spacecodesign.com\/wp-content\/uploads\/2017\/02\/2-ISAE-SpaceCo-PerformanceVerification.pdf\">T\u00e9l\u00e9charger la pr\u00e9sentation<\/a><\/b><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Space Codesign a pr\u00e9sent\u00e9 un atelier dans le cadre d&rsquo;un workshop HW\/SW \u00e0 l&rsquo;IRT Antoine de Saint-Exup\u00e9ry en Toulouse, France. T\u00e9l\u00e9charger la pr\u00e9sentation<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[49],"tags":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v20.1 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Performance Verification for ESL Design Methodology from AADL Models - Space Codesign Systems Inc.<\/title>\n<meta name=\"robots\" content=\"noindex, follow\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Performance Verification for ESL Design Methodology from AADL Models - Space Codesign Systems Inc.\" \/>\n<meta property=\"og:description\" content=\"Space Codesign a pr\u00e9sent\u00e9 un atelier dans le cadre d&rsquo;un workshop HW\/SW \u00e0 l&rsquo;IRT Antoine de Saint-Exup\u00e9ry en Toulouse, France. T\u00e9l\u00e9charger la pr\u00e9sentation\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.spacecodesign.com\/fr\/aadl-showcase\" \/>\n<meta property=\"og:site_name\" content=\"Space Codesign Systems Inc.\" \/>\n<meta property=\"article:published_time\" content=\"2017-02-07T15:38:55+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2017-02-07T15:43:24+00:00\" \/>\n<meta name=\"author\" content=\"Space Codesign\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@SpaceCodesign\" \/>\n<meta name=\"twitter:site\" content=\"@SpaceCodesign\" \/>\n<meta name=\"twitter:label1\" content=\"\u00c9crit par\" \/>\n\t<meta name=\"twitter:data1\" content=\"Space Codesign\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.spacecodesign.com\/fr\/aadl-showcase\",\"url\":\"https:\/\/www.spacecodesign.com\/fr\/aadl-showcase\",\"name\":\"Performance Verification for ESL Design Methodology from AADL Models - Space Codesign Systems Inc.\",\"isPartOf\":{\"@id\":\"https:\/\/www.spacecodesign.com\/#website\"},\"datePublished\":\"2017-02-07T15:38:55+00:00\",\"dateModified\":\"2017-02-07T15:43:24+00:00\",\"author\":{\"@id\":\"https:\/\/www.spacecodesign.com\/#\/schema\/person\/4c2d346fee3b62b2a82930944b313a4b\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.spacecodesign.com\/fr\/aadl-showcase#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.spacecodesign.com\/fr\/aadl-showcase\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.spacecodesign.com\/fr\/aadl-showcase#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.spacecodesign.com\/fr\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Performance Verification for ESL Design Methodology from AADL Models\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.spacecodesign.com\/#website\",\"url\":\"https:\/\/www.spacecodesign.com\/\",\"name\":\"Space Codesign Systems Inc.\",\"description\":\"Accelerate applications and development with SpaceStudio, an embedded design development tool\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.spacecodesign.com\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.spacecodesign.com\/#\/schema\/person\/4c2d346fee3b62b2a82930944b313a4b\",\"name\":\"Space Codesign\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.spacecodesign.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/e260f0af236732b6d72e6855de1c2eed?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/e260f0af236732b6d72e6855de1c2eed?s=96&d=mm&r=g\",\"caption\":\"Space Codesign\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Performance Verification for ESL Design Methodology from AADL Models - Space Codesign Systems Inc.","robots":{"index":"noindex","follow":"follow"},"og_locale":"fr_FR","og_type":"article","og_title":"Performance Verification for ESL Design Methodology from AADL Models - Space Codesign Systems Inc.","og_description":"Space Codesign a pr\u00e9sent\u00e9 un atelier dans le cadre d&rsquo;un workshop HW\/SW \u00e0 l&rsquo;IRT Antoine de Saint-Exup\u00e9ry en Toulouse, France. T\u00e9l\u00e9charger la pr\u00e9sentation","og_url":"https:\/\/www.spacecodesign.com\/fr\/aadl-showcase","og_site_name":"Space Codesign Systems Inc.","article_published_time":"2017-02-07T15:38:55+00:00","article_modified_time":"2017-02-07T15:43:24+00:00","author":"Space Codesign","twitter_card":"summary_large_image","twitter_creator":"@SpaceCodesign","twitter_site":"@SpaceCodesign","twitter_misc":{"\u00c9crit par":"Space Codesign"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.spacecodesign.com\/fr\/aadl-showcase","url":"https:\/\/www.spacecodesign.com\/fr\/aadl-showcase","name":"Performance Verification for ESL Design Methodology from AADL Models - Space Codesign Systems Inc.","isPartOf":{"@id":"https:\/\/www.spacecodesign.com\/#website"},"datePublished":"2017-02-07T15:38:55+00:00","dateModified":"2017-02-07T15:43:24+00:00","author":{"@id":"https:\/\/www.spacecodesign.com\/#\/schema\/person\/4c2d346fee3b62b2a82930944b313a4b"},"breadcrumb":{"@id":"https:\/\/www.spacecodesign.com\/fr\/aadl-showcase#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.spacecodesign.com\/fr\/aadl-showcase"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.spacecodesign.com\/fr\/aadl-showcase#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.spacecodesign.com\/fr"},{"@type":"ListItem","position":2,"name":"Performance Verification for ESL Design Methodology from AADL Models"}]},{"@type":"WebSite","@id":"https:\/\/www.spacecodesign.com\/#website","url":"https:\/\/www.spacecodesign.com\/","name":"Space Codesign Systems Inc.","description":"Accelerate applications and development with SpaceStudio, an embedded design development tool","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.spacecodesign.com\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Person","@id":"https:\/\/www.spacecodesign.com\/#\/schema\/person\/4c2d346fee3b62b2a82930944b313a4b","name":"Space Codesign","image":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.spacecodesign.com\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/e260f0af236732b6d72e6855de1c2eed?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/e260f0af236732b6d72e6855de1c2eed?s=96&d=mm&r=g","caption":"Space Codesign"}}]}},"_links":{"self":[{"href":"https:\/\/www.spacecodesign.com\/fr\/wp-json\/wp\/v2\/posts\/3032"}],"collection":[{"href":"https:\/\/www.spacecodesign.com\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.spacecodesign.com\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.spacecodesign.com\/fr\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.spacecodesign.com\/fr\/wp-json\/wp\/v2\/comments?post=3032"}],"version-history":[{"count":4,"href":"https:\/\/www.spacecodesign.com\/fr\/wp-json\/wp\/v2\/posts\/3032\/revisions"}],"predecessor-version":[{"id":3039,"href":"https:\/\/www.spacecodesign.com\/fr\/wp-json\/wp\/v2\/posts\/3032\/revisions\/3039"}],"wp:attachment":[{"href":"https:\/\/www.spacecodesign.com\/fr\/wp-json\/wp\/v2\/media?parent=3032"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.spacecodesign.com\/fr\/wp-json\/wp\/v2\/categories?post=3032"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.spacecodesign.com\/fr\/wp-json\/wp\/v2\/tags?post=3032"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}