{"id":15152,"date":"2020-06-03T20:03:41","date_gmt":"2020-06-03T18:03:41","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/recherche-et-developpement\/forcoment\/"},"modified":"2022-02-10T09:35:03","modified_gmt":"2022-02-10T07:35:03","slug":"forcoment","status":"publish","type":"recherche","link":"https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/","title":{"rendered":"FORCOMENT"},"content":{"rendered":"<div class=\"wpb-content-wrapper\"><p>[vc_row][vc_column]<div class=\"text-bloc\"><p><span>The Forcoment project (FORmal COdevelopMENT) is a PACA-focused project, financed by the PACA region, grouping together STMicroelectronics and CLEARSY in its final stages (4th and 5th convenants of the PACA regional council), with the aim of showing that an Event-B model of a functionality can be transformed into description hardware, which is directly integrated into a classic electronic circuit development cycle, such as that of the STMicroelectronics microcontrollers.<\/span><\/p>\n<\/div><div class=\"text-bloc\"><p><span class=\"couleur_blanc\"><a href=\"https:\/\/www.atelierb.eu\/en\/smart-event-2009-forcoment-project-presentation-developed-with-atelier-b-2\/\" class=\"btn_plein-bleu\">More information on atelierb.eu<\/a><\/span><\/p>\n<\/div>[\/vc_column][\/vc_row]<\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>The project is aimed at transforming an Event-B model of a functionality into synthetizable VHDL,<\/p>\n","protected":false},"featured_media":17238,"template":"","class_list":["post-15152","recherche","type-recherche","status-publish","has-post-thumbnail","hentry"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>FORCOMENT - CLEARSY<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"FORCOMENT - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"The project is aimed at transforming an Event-B model of a functionality into synthetizable VHDL,\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:modified_time\" content=\"2022-02-10T07:35:03+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/06\/projet-forcoment-en.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1948\" \/>\n\t<meta property=\"og:image:height\" content=\"1049\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/forcoment\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/forcoment\\\/\",\"name\":\"FORCOMENT - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/forcoment\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/forcoment\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/06\\\/projet-forcoment-en.jpg\",\"datePublished\":\"2020-06-03T18:03:41+00:00\",\"dateModified\":\"2022-02-10T07:35:03+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/forcoment\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/forcoment\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/forcoment\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/06\\\/projet-forcoment-en.jpg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/06\\\/projet-forcoment-en.jpg\",\"width\":1948,\"height\":1049},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/forcoment\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Research and development\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"FORCOMENT\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"name\":\"CLEARSY\",\"description\":\"Safety Solutions Designer\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\",\"name\":\"CLEARSY\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"width\":652,\"height\":163,\"caption\":\"CLEARSY\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"FORCOMENT - CLEARSY","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/","og_locale":"en_US","og_type":"article","og_title":"FORCOMENT - CLEARSY","og_description":"The project is aimed at transforming an Event-B model of a functionality into synthetizable VHDL,","og_url":"https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/","og_site_name":"CLEARSY","article_modified_time":"2022-02-10T07:35:03+00:00","og_image":[{"width":1948,"height":1049,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/06\/projet-forcoment-en.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/","url":"https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/","name":"FORCOMENT - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/06\/projet-forcoment-en.jpg","datePublished":"2020-06-03T18:03:41+00:00","dateModified":"2022-02-10T07:35:03+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/06\/projet-forcoment-en.jpg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/06\/projet-forcoment-en.jpg","width":1948,"height":1049},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/forcoment\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"Research and development","item":"https:\/\/www.clearsy.com\/en\/research-and-development\/"},{"@type":"ListItem","position":3,"name":"FORCOMENT"}]},{"@type":"WebSite","@id":"https:\/\/www.clearsy.com\/en\/#website","url":"https:\/\/www.clearsy.com\/en\/","name":"CLEARSY","description":"Safety Solutions Designer","publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.clearsy.com\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.clearsy.com\/en\/#organization","name":"CLEARSY","url":"https:\/\/www.clearsy.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","width":652,"height":163,"caption":"CLEARSY"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/recherche\/15152","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/recherche"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/recherche"}],"version-history":[{"count":5,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/recherche\/15152\/revisions"}],"predecessor-version":[{"id":18301,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/recherche\/15152\/revisions\/18301"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/17238"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=15152"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}