{"id":14797,"date":"2020-07-24T15:00:59","date_gmt":"2020-07-24T13:00:59","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/"},"modified":"2021-06-01T14:10:32","modified_gmt":"2021-06-01T12:10:32","slug":"opening-and-interoperability-for-autonomous-systems-oisau","status":"publish","type":"references","link":"https:\/\/www.clearsy.com\/en\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/","title":{"rendered":"Formal verification of the interoperability of autonomous systems (OISAU)"},"content":{"rendered":"\r\n<p class=\"lanceur\">The DGA (<span class=\"aCOpRe\"><span><em>French<\/em> Government Defence procurement and technology <em>agency<\/em>\u00a0<\/span><\/span>) is the project manager of a study, which will define the standard of architecture of future autonomous systems with a military vocation more commonly called robots or drones. This standard notably aims to ensure the opening of the interoperability oft hese systems within the community of systems of similar or various origins, which we also refer to as the \u201csystem of systems\u201d.<\/p>\r\n\r\n\r\n\r\n<p>This will enable designers and the like to define software and material architecture, which is independent of the carrier (air, land, sea) and reusable.<\/p>\r\n\r\n\r\n\r\n<p>CLEARSY has been retained to perform the first part of this study in partnership with the research laboratories and the small and medium-sized enterprises of the sector. The distinctive feature of this preliminary study, which consists of specifying the functional and non functional needs of the systems, and relies on the formal methods. Indeed, by modelling the behaviour of the system in its environment, B will enable it to be characterised by successive refining of its properties and functions within the various operational scenarios and to validate the final generic model, which will be deduced from it.<\/p>\r\n\r\n\r\n\r\n<p>A second method called TRDF (\u201cDistributed Treatment\u201d, \u201cReal time\u201d, \u201ctolerance to Faults\u201d) complete B by characterising the non functional aspects directly linked to the future software architecture. This method deals among other things with problems linked to distribution and the potential faults in the target systems.<\/p>\r\n\r\n\r\n\r\n<p><em>This study is piloted by CLEARSY and takes place over 12 months.<\/em><\/p>\r\n","protected":false},"excerpt":{"rendered":"<p>The DGA (French Government Defence procurement and technology agency\u00a0) is the project manager of a study, which will define the [&hellip;]<\/p>\n","protected":false},"featured_media":15001,"template":"","secteur":[],"domaines_references":[],"class_list":["post-14797","references","type-references","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>Formal verification of the interoperability of autonomous systems (OISAU) - 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\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formal verification of the interoperability of autonomous systems (OISAU) - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"The DGA (French Government Defence procurement and technology agency\u00a0) is the project manager of a study, which will define the [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:modified_time\" content=\"2021-06-01T12:10:32+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/logo-DGA.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1170\" \/>\n\t<meta property=\"og:image:height\" content=\"615\" \/>\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\\\/references\\\/opening-and-interoperability-for-autonomous-systems-oisau\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/opening-and-interoperability-for-autonomous-systems-oisau\\\/\",\"name\":\"Formal verification of the interoperability of autonomous systems (OISAU) - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/opening-and-interoperability-for-autonomous-systems-oisau\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/opening-and-interoperability-for-autonomous-systems-oisau\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/07\\\/logo-DGA.jpg\",\"datePublished\":\"2020-07-24T13:00:59+00:00\",\"dateModified\":\"2021-06-01T12:10:32+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/opening-and-interoperability-for-autonomous-systems-oisau\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/opening-and-interoperability-for-autonomous-systems-oisau\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/opening-and-interoperability-for-autonomous-systems-oisau\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/07\\\/logo-DGA.jpg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/07\\\/logo-DGA.jpg\",\"width\":1170,\"height\":615,\"caption\":\"Direction g\u00e9n\u00e9rale de l'Armement\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/opening-and-interoperability-for-autonomous-systems-oisau\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"References\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Formal verification of the interoperability of autonomous systems (OISAU)\"}]},{\"@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":"Formal verification of the interoperability of autonomous systems (OISAU) - 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\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/","og_locale":"en_US","og_type":"article","og_title":"Formal verification of the interoperability of autonomous systems (OISAU) - CLEARSY","og_description":"The DGA (French Government Defence procurement and technology agency\u00a0) is the project manager of a study, which will define the [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/","og_site_name":"CLEARSY","article_modified_time":"2021-06-01T12:10:32+00:00","og_image":[{"width":1170,"height":615,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/logo-DGA.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\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/","url":"https:\/\/www.clearsy.com\/en\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/","name":"Formal verification of the interoperability of autonomous systems (OISAU) - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/logo-DGA.jpg","datePublished":"2020-07-24T13:00:59+00:00","dateModified":"2021-06-01T12:10:32+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/logo-DGA.jpg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/logo-DGA.jpg","width":1170,"height":615,"caption":"Direction g\u00e9n\u00e9rale de l'Armement"},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/references\/opening-and-interoperability-for-autonomous-systems-oisau\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"References","item":"https:\/\/www.clearsy.com\/en\/references\/"},{"@type":"ListItem","position":3,"name":"Formal verification of the interoperability of autonomous systems (OISAU)"}]},{"@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\/references\/14797","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/references"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/references"}],"version-history":[{"count":1,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/references\/14797\/revisions"}],"predecessor-version":[{"id":16260,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/references\/14797\/revisions\/16260"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/15001"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=14797"}],"wp:term":[{"taxonomy":"secteur","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/secteur?post=14797"},{"taxonomy":"domaines_references","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/domaines_references?post=14797"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}