{"id":1175,"date":"2015-06-09T11:17:57","date_gmt":"2015-06-09T10:17:57","guid":{"rendered":"http:\/\/www.atelierb.eu\/?p=1175"},"modified":"2015-06-13T11:10:18","modified_gmt":"2015-06-13T10:10:18","slug":"formal-data-validation-tutorial-at-abz-2014-toulouse","status":"publish","type":"post","link":"https:\/\/www.atelierb.eu\/en\/2015\/06\/09\/formal-data-validation-tutorial-at-abz-2014-toulouse\/","title":{"rendered":"Formal Data Validation Tutorial at ABZ 2014, Toulouse"},"content":{"rendered":"<p style=\"text-align: justify\">At the occasion of the ABZ 2014 conference, a tutorial on formal data validation is organized at ENSEEIHT together with workshops (<a href=\"http:\/\/www.irit.fr\/ABZ2014\/venue.html#s2\">see details here<\/a>). The tutorial will happen on June 3rd 2014 from 2:00 pm to 5:30 pm.<\/p>\n<p style=\"text-align: justify\">During this tutorial, formal data validation principles will be exposed (key concepts, mathematical language to express properties, tool chain) and applied to simple examples covering different aspects.<\/p>\n<p style=\"text-align: justify\">The program is as follows:<\/p>\n<ul style=\"text-align: justify\">\n<li>Introduction<\/li>\n<li>Formal Data Validation in a Nutshell<\/li>\n<li>Industrial Examples<\/li>\n<li>The approach: mathematical language et verification tools<\/li>\n<li>Case studies<\/li>\n<\/ul>\n<p style=\"text-align: justify\">If you want to attend the tutorial or get more information about this event, please contact <a href=\"mailto:thierry.lecomte@clearsy.com\">thierry.lecomte@clearsy.com<\/a><\/p>\n<p style=\"text-align: justify\"><img loading=\"lazy\" class=\"alignleft size-full wp-image-1177\" alt=\"Formal Data Validation Tuto\" src=\"\/wp-content\/uploads\/sites\/3\/2014\/05\/Formal-Data-Validation-Tuto.jpg\" width=\"226\" height=\"300\" \/><\/p>\n<h2 style=\"text-align: justify\">Introduction<\/h2>\n<p style=\"text-align: justify\">During Rodin and DEPLOY EU-funded projects, track topology data model were developed in order to check real word railway system architectures. This data model is of paramount importance, as it is a strong precondition for software to behave safely (for example, if a signal is badly positioned, a collision is likely to occur). Validation of concrete data is complex because of the large amount of data (50k-100k excel cells, modified several times during a development) and the number of verifications to perform (up to 1000 rules, expressing intricate graph-based properties) over this dataset. As a consequence, human-based verification is time-consuming and subject to many mistakes. Automating the process, by formalizing the data model with the mathematical language of the B method and by performing the verification with the model-checker and constraint solver (ProB) has lead to dramatically reduced verification time from months to minutes.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>At the occasion of the ABZ 2014 conference, a tutorial on formal data validation is organized at ENSEEIHT together with workshops (see details here). The tutorial will happen on June 3rd 2014 from 2:00 pm to 5:30 pm. During this tutorial, formal data validation principles will be exposed (key concepts, mathematical language to express properties, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":1177,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"amp_status":""},"categories":[4],"tags":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v14.8 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Formal Data Validation Tutorial at ABZ 2014, Toulouse | Atelier B<\/title>\n<meta name=\"description\" content=\"At the occasion of the ABZ 2014 conference, a tutorial on formal data validation is organized at ENSEEIHT together with workshops (see details here). The\" \/>\n<meta name=\"robots\" content=\"index, follow\" \/>\n<meta name=\"googlebot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<meta name=\"bingbot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.atelierb.eu\/2015\/06\/09\/formal-data-validation-tutorial-at-abz-2014-toulouse\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formal Data Validation Tutorial at ABZ 2014, Toulouse | Atelier B\" \/>\n<meta property=\"og:description\" content=\"At the occasion of the ABZ 2014 conference, a tutorial on formal data validation is organized at ENSEEIHT together with workshops (see details here). The\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/2015\/06\/09\/formal-data-validation-tutorial-at-abz-2014-toulouse\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:published_time\" content=\"2015-06-09T10:17:57+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2015-06-13T10:10:18+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2014\/05\/Formal-Data-Validation-Tuto.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"226\" \/>\n\t<meta property=\"og:image:height\" content=\"300\" \/>\n<meta name=\"twitter:card\" content=\"summary\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\",\"url\":\"https:\/\/www.atelierb.eu\/en\/\",\"name\":\"Atelier B\",\"description\":\"Atelier de G\\u00e9nie Logiciel\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":\"https:\/\/www.atelierb.eu\/en\/?s={search_term_string}\",\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2015\/06\/09\/formal-data-validation-tutorial-at-abz-2014-toulouse\/#primaryimage\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2014\/05\/Formal-Data-Validation-Tuto.jpg\",\"width\":226,\"height\":300},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2015\/06\/09\/formal-data-validation-tutorial-at-abz-2014-toulouse\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2015\/06\/09\/formal-data-validation-tutorial-at-abz-2014-toulouse\/\",\"name\":\"Formal Data Validation Tutorial at ABZ 2014, Toulouse | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/2015\/06\/09\/formal-data-validation-tutorial-at-abz-2014-toulouse\/#primaryimage\"},\"datePublished\":\"2015-06-09T10:17:57+00:00\",\"dateModified\":\"2015-06-13T10:10:18+00:00\",\"author\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#\/schema\/person\/dc53be91831360ba4c8629b5c79d0385\"},\"description\":\"At the occasion of the ABZ 2014 conference, a tutorial on formal data validation is organized at ENSEEIHT together with workshops (see details here). The\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/2015\/06\/09\/formal-data-validation-tutorial-at-abz-2014-toulouse\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/2015\/06\/09\/formal-data-validation-tutorial-at-abz-2014-toulouse\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2015\/06\/09\/formal-data-validation-tutorial-at-abz-2014-toulouse\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/\",\"url\":\"https:\/\/www.atelierb.eu\/\",\"name\":\"Accueil\"}},{\"@type\":\"ListItem\",\"position\":2,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/category\/news\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/category\/news\/\",\"name\":\"News\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2015\/06\/09\/formal-data-validation-tutorial-at-abz-2014-toulouse\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2015\/06\/09\/formal-data-validation-tutorial-at-abz-2014-toulouse\/\",\"name\":\"Formal Data Validation Tutorial at ABZ 2014, Toulouse\"}}]},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#\/schema\/person\/dc53be91831360ba4c8629b5c79d0385\",\"name\":\"ClearSy\",\"image\":{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#personlogo\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/936ccc48e0628717764332efd3b70e42?s=96&d=mm&r=g\",\"caption\":\"ClearSy\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/1175\/"}],"collection":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/"}],"about":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/types\/post\/"}],"author":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/users\/1\/"}],"replies":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/comments\/?post=1175"}],"version-history":[{"count":0,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/1175\/revisions\/"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/1177\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=1175"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/categories\/?post=1175"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/tags\/?post=1175"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}