{"id":19117,"date":"2023-04-13T12:17:48","date_gmt":"2023-04-13T10:17:48","guid":{"rendered":"https:\/\/www.clearsy.com\/?post_type=offres&p=19117"},"modified":"2023-04-13T12:21:37","modified_gmt":"2023-04-13T10:21:37","slug":"software-expertise","status":"publish","type":"offres","link":"https:\/\/www.clearsy.com\/en\/offers\/software-expertise\/","title":{"rendered":"Software expertise"},"content":{"rendered":"

[vc_row][vc_column]

CLEARSY performs expert assessments of software developed specifically for the nuclear industry using a wide variety of methods and tools.<\/p>\n<\/div>[\/vc_column][\/vc_row][vc_row add_class=”tableau-bicolor”][vc_column]

\n\n\n\n\n
\n

Analysis of 1E code under Frama-C environment<\/p>\n

Analyses of critical software controlling the reactivity (RPN, RGL, RCSL)<\/p>\n

Configuration of the environment, stubbing of interfaces, elimination of false positives<\/p>\n

Customer: EDF<\/td>\n

\n

Static analysis of 1E code under Polyspace<\/p>\n

Analysis of CO3 C1 RPN and RPR software<\/p>\n

Customer: EDF<\/td>\n<\/tr>\n

\n

Audit of the Diesel Ultimate Service (DUS) software<\/p>\n

M340 PLC software representing 22 modules and 900 I\/OS.<\/p>\n

Audit according to IEC61513 and 62138 (C3) of development and test tooling.<\/p>\n

Customer: Schneider Electric<\/td>\n

\n

Robustness study of a supervision system for
\ndetection system<\/p>\n

Study aiming at a C3 qualification of the life cycle of
\nsupervision software.Definition of recommendations and additional tests
\nof recommendations and additional tests.<\/p>\n

Customer: Teledyne<\/td>\n<\/tr>\n

\n

Critical review of embedded code<\/p>\n

Torpedo launching equipment for combat ships<\/p>\n

Analysis of the implementation of safety requirements<\/p>\n

Customer: Naval Group<\/td>\n

\n

Formal code modelling for verification of properties<\/p>\n

Implementation of formal method B<\/p>\n

Verification of 1E software modules for
\nTelePerm XS<\/p>\n

Modelling of software functions and verification of correct implementation with respect to the specification<\/p>\n

Customer: Framatome<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>[\/vc_column][\/vc_row]<\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"

CLEARSY r\u00e9alise des expertises de logiciels d\u00e9velopp\u00e9s sp\u00e9cifiquement pour le domaine nucl\u00e9aire en utilisant une grande vari\u00e9t\u00e9s de m\u00e9thodes et outils.<\/p>\n","protected":false},"featured_media":0,"template":"","domaine":[498],"class_list":["post-19117","offres","type-offres","status-publish","hentry","domaine-nuclear-energy"],"acf":[],"yoast_head":"\nSoftware expertise - 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\/offers\/software-expertise\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Software expertise - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"CLEARSY r\u00e9alise des expertises de logiciels d\u00e9velopp\u00e9s sp\u00e9cifiquement pour le domaine nucl\u00e9aire en utilisant une grande vari\u00e9t\u00e9s de m\u00e9thodes et outils.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/offers\/software-expertise\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:modified_time\" content=\"2023-04-13T10:21:37+00:00\" \/>\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\\\/offers\\\/software-expertise\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/software-expertise\\\/\",\"name\":\"Software expertise - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"datePublished\":\"2023-04-13T10:17:48+00:00\",\"dateModified\":\"2023-04-13T10:21:37+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/software-expertise\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/software-expertise\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/software-expertise\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Offers\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Software expertise\"}]},{\"@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":"Software expertise - 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\/offers\/software-expertise\/","og_locale":"en_US","og_type":"article","og_title":"Software expertise - CLEARSY","og_description":"CLEARSY r\u00e9alise des expertises de logiciels d\u00e9velopp\u00e9s sp\u00e9cifiquement pour le domaine nucl\u00e9aire en utilisant une grande vari\u00e9t\u00e9s de m\u00e9thodes et outils.","og_url":"https:\/\/www.clearsy.com\/en\/offers\/software-expertise\/","og_site_name":"CLEARSY","article_modified_time":"2023-04-13T10:21:37+00:00","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\/offers\/software-expertise\/","url":"https:\/\/www.clearsy.com\/en\/offers\/software-expertise\/","name":"Software expertise - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"datePublished":"2023-04-13T10:17:48+00:00","dateModified":"2023-04-13T10:21:37+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/offers\/software-expertise\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/offers\/software-expertise\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/offers\/software-expertise\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"Offers","item":"https:\/\/www.clearsy.com\/en\/offers\/"},{"@type":"ListItem","position":3,"name":"Software expertise"}]},{"@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\/offres\/19117","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/offres"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/offres"}],"version-history":[{"count":5,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/offres\/19117\/revisions"}],"predecessor-version":[{"id":19122,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/offres\/19117\/revisions\/19122"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=19117"}],"wp:term":[{"taxonomy":"domaine","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/domaine?post=19117"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}