{"id":1359,"date":"2019-05-17T10:09:43","date_gmt":"2019-05-17T09:09:43","guid":{"rendered":"http:\/\/www.systerel.fr\/en\/?page_id=1359"},"modified":"2025-11-14T15:14:31","modified_gmt":"2025-11-14T14:14:31","slug":"the-hll-language","status":"publish","type":"page","link":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/","title":{"rendered":"HLL Language"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">HLL, a modeling language<\/h2>\n\n\n\n<h3 class=\"wp-block-heading\">Targeted Modelings<\/h3>\n\n\n\n<p>HLL (High Level Language) is a language used to describe discrete-time systems models.<\/p>\n\n\n\n<p>It has been designed to formally express both the model of a system, operational environment constraints, and safety properties on this system.<\/p>\n\n\n\n<p>As of today, its main industrial usage is for the independent formal safety analysis of critical systems and software (safety case, expert safety assessment, \u2026).<\/p>\n\n\n\n<p>However it can also be used for advanced problem resolution such as constraint satisfactions, combinational optimization, or automatic test case generation.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">A mature industrial technology<\/h3>\n\n\n\n<p>The railway industry is the main driver of this technology, using it in full-scale operational projects since many years:<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter is-resized\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2018\/11\/HLL_2A.png\" alt=\"HLL\" class=\"wp-image-3299\" width=\"514\" height=\"240\"\/><\/figure>\n<\/div>\n\n\n<h3 class=\"wp-block-heading\">HLL in a few words <\/h3>\n\n\n\n<p>HLL is a formal modeling language. <\/p>\n\n\n\n<p>The basic element of the language are <em>streams<\/em>, typed variables having values at each time-cycle. The input streams take any value of their (bounded) range at a given cycle, and the various defined streams are then evaluated in the dataflow order using the values of these inputs at this cycle, and the values of the memory streams at the previous cycle. This evaluation is performed up to the valuation of the output streams.<\/p>\n\n\n\n<p>HLL is thus a <em>synchronous dataflow<\/em> language with formally defined syntax and semantic. Targeted for the Model Checking of safety critical systems, this language has been designed to be:<\/p>\n\n\n\n<section class=\"block  blanc avec-onglet\"><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>rich and expressive to ease the development of automatic<br>\n  translators of a system or software to its model<\/li>\n\n\n\n<li>simple, clear, efficient, and non-ambiguous to enable both:\n<ul class=\"wp-block-list\">\n<li>the formalization of the safety properties that the system<br>\n  shall respect<\/li>\n\n\n\n<li>the formalization of the operational constraints assumed on<br>\n  the environment of the system<\/li>\n\n\n\n<li>the independent reviews performed on the properties and<br>\n  constraints<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>declarative and structured to enable the separation of the<br>\n  generic core, from the instantiation of this core on a specific<br>\n  track layout giving rise to efficient and certifiable automatic<br>\n  safety verification solutions.<\/li>\n<\/ul>\n\n\n\n<p><\/section>\n\n\n\n<p><\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Technological maturity<\/h3>\n\n\n\n<p>As seen from its industrial references, the language and technology exist since ten years.<\/p>\n\n\n\n<p>This long track of successes in the use of Model Checking for the safety verification of critical systems has always been driven by the evolution of the language and solution to improve:<\/p>\n\n\n\n<section class=\"block  blanc avec-onglet\"><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>the costs and time for the development of specialized translators<\/li>\n\n\n\n<li>the ease of modeling of the safety properties and environment constraints<\/li>\n\n\n\n<li>the analysis power of the safety verification solutions<\/li>\n<\/ul>\n\n\n\n<p><\/section>\n\n\n\n<p>These improvements enable the users to easily integrate these solutions in their development processes despite the evermore constrained time-to-market schedules.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Systerel and HLL<\/h2>\n\n\n\n<h3 class=\"wp-block-heading\">Time for choice<\/h3>\n\n\n\n<p>The use of formal methods for the development and validation of critical system is part of the DNA of Systerel.<\/p>\n\n\n\n<p>To answer the increasing demands of its customers to strengthen the safety verification of their critical systems by the use of Model Checking, Systerel has developed its own formal verification solution: <a href=\"http:\/\/www.systerel-smart-solver.com\" target=\"_blank\" rel=\"noreferrer noopener\" aria-label=\"Systerel Smart Solver  (s\u2019ouvre dans un nouvel onglet)\">Systerel Smart Solver <\/a>(S3), started in 2013.<\/p>\n\n\n\n<p>The creation of such a solution implies the choice of a modeling language. Thanks to its unique characteristics, HLL has been a highly priced candidate, and has thus been chosen as the S3 modeling language.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Systerel, a major player in the HLL technology<\/h3>\n\n\n\n<p>Systerel has now been using HLL for many years in the formal safety verification of critical systems such as CBTCs, interlockings, logical control-command circuits, but also for the optimization of constrained systems.<\/p>\n\n\n\n<p>In the framework of a continuous improvement process, Systerel is now a main actor in this technology&#8217;s evolution. In particular, we have worked on:<\/p>\n\n\n\n<section class=\"block  blanc avec-onglet\"><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>the evolution of the latest version of the HLL language\n<ul class=\"wp-block-list\">\n<li>expressiveness of the language<\/li>\n\n\n\n<li>increase in the genericity<\/li>\n\n\n\n<li>checking of the correctness of models<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>the development and improvement of specialized translators<\/li>\n\n\n\n<li>the development of an IEEE-compliant library for the handling of<br>  floating points<\/li>\n\n\n\n<li>the improvement and industrialization of analysis tools\n<ul class=\"wp-block-list\">\n<li>usability of counter-example exploration tools<\/li>\n\n\n\n<li>relevancy of counter-examples with respect to the user domain<\/li>\n\n\n\n<li>analysis performance<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>the use of the technology for innovative applications<\/li>\n<\/ul>\n\n\n\n<p><\/section>\n\n\n\n<h3 class=\"wp-block-heading\">Systerel tools around HLL<\/h3>\n\n\n\n<p>Systerel has a complete offering of tools around HLL and SAT-based Model Checking technology. These high-performance tools are designed both to work at the HLL level, but also to translate normalized languages such as SCADE, C&#8217;99 or Ada to HLL.<\/p>\n\n\n\n<p>The tools are also certifiable to bring the justification and qualification artifacts to an overall solution safety-case.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">The Systerel Smart Solver offering<br><\/h3>\n\n\n\n<p>Systerel offers a range of industrially proven solutions built upon its <a href=\"http:\/\/www.systerel-smart-solver.com\" target=\"_blank\" rel=\"noreferrer noopener\" aria-label=\"Systerel Smart Solver (s\u2019ouvre dans un nouvel onglet)\">Systerel Smart Solver<\/a> product: <\/p>\n\n\n\n<section class=\"block  blanc avec-onglet\"><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Term-Based Licenses<\/li>\n\n\n\n<li>Tool-Based Services\n<ul class=\"wp-block-list\">\n<li>safety proofs<\/li>\n\n\n\n<li>resolution\/optimization of constrained systems<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Design and development of personalized solutions<\/li>\n\n\n\n<li>Training<\/li>\n<\/ul>\n\n\n\n<p><\/section>\n\n\n\n<h3 class=\"wp-block-heading\">They trust us<\/h3>\n\n\n<section class=\"block  blanc avec-onglet\"><\/p>\n<ul>\n<li>HITACHI<\/li>\n<li>ALSTOM<\/li>\n<li>General Electric<\/li>\n<li>ONERA<\/li>\n<li>RATP<\/li>\n<li>SNCF<\/li>\n<\/ul>\n<p>As well as other major players in the aeronautics industry.<\/p>\n<p><\/section>\n\n\n\n<h2 class=\"wp-block-heading\">Bibliographical references<\/h2>\n\n\n\n<p>Julien Ordioni, Nicolas Breton, Jean-Louis Cola\u00e7o. <strong>HLL v.2.7 Modelling Language Specification<\/strong>. STF-16-01805, RATP. 2018. &lt;hal-01799749&gt; URL : <a href=\"https:\/\/hal.archives-ouvertes.fr\/view\/index\/docid\/1799749\/lang\/fr\/\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/hal.archives-ouvertes.fr\/view\/index\/docid\/1799749\/lang\/fr\/<\/a><\/p>\n\n\n\n<p>Nico\u00adlas Bre\u00adton and Yoann Fonte\u00adneau. <strong>S3: prov\u00ading the safe\u00ad\u00adty of crit\u00adi\u00ad\u00adcal sys\u00adtem\u00ads<\/strong>. In <em>Re\u00adli\u00ada\u00adbil\u00adi\u00adty, Safe\u00adty, and Se\u00adcu\u00adri\u00adty of Rail\u00adway Sys\u00adtem\u00ads. Mod\u00adelling, Anal\u00ady\u00adsis, Ver\u00adi\u00adfi\u00adca\u00adtion, and Cer\u00adti\u00adfi\u00adca\u00adtion &#8211; First In\u00adter\u00adna\u00adtion\u00adal Con\u00adfer\u00adence, RSS\u00adRail 2016, Paris, France, June 28-30, 2016, Pro\u00adceed\u00adings<\/em>, 231\u2013242. 2016. URL : <a href=\"https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-319-33951-1_17\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-319-33951-1_17<\/a><\/p>\n\n\n\n<p>Ning Ge, Ar\u00adnaud Dieumegard, Er\u00adic Jen\u00adn, and Lau\u00adrent Voisin. <strong>From even\u00adt-b to ver\u00adi\u00adfied c via hll.<\/strong> URL : <a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01387137\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/hal.archives-ouvertes.fr\/hal-01387137<\/a><\/p>\n\n\n\n<p>Ning Ge, Er\u00adic Jen\u00adn, Nico\u00adlas Bre\u00adton, and Yoann Fonte\u00adneau. <strong>For\u00admal ver\u00adi\u00adfi\u00adca\u00adtion of a rover an\u00adti-\u00adcol\u00adli\u00adsion sys\u00adtem.<\/strong> In <em>Crit\u00adi\u00adcal Sys\u00adtem\u00ads: For\u00admal Meth\u00adods and Au\u00adto\u00admat\u00aded Ver\u00adi\u00adfi\u00adca\u00adtion &#8211; Joint 21st In\u00adter\u00adna\u00adtion\u00adal Work\u00adshop on For\u00admal Meth\u00adods for In\u00addus\u00adtri\u00adal Crit\u00adi\u00adcal Sys\u00adtems and 16th In\u00adter\u00adna\u00adtion\u00adal Work\u00adshop on Au\u00adto\u00admat\u00aded Ver\u00adi\u00adfi\u00adca\u00adtion of Crit\u00adi\u00adcal Sys\u00adtem\u00ads, FMIC\u00adS-AV\u00adoCS 2016, Pisa, Italy, Sep\u00adtem\u00adber 26-28, 2016, Pro\u00adceed\u00adings<\/em>, 171\u2013188. 2016. URL : <a href=\"https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-319-45943-1_12\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-319-45943-1_12<\/a><\/p>\n\n\n\n<p>Marielle Pe\u00adtit-Doche, Nico\u00adlas Bre\u00ad\u00adton, Rom\u00e9o Cour\u00adbis, Yoann Fonte\u00adneau, and Matthias G\u00fcde\u00ad\u00adman\u00adn. <strong>For\u00admal ver\u00adi\u00adfi\u00adca\u00adtion of in\u00addus\u00adtri\u00adal crit\u00adi\u00adcal soft\u00adware.<\/strong> In <em>For\u00admal Meth\u00adods for In\u00addus\u00adtri\u00adal Crit\u00adi\u00adcal Sys\u00adtems &#8211; 20th In\u00adter\u00adna\u00adtion\u00adal Work\u00adshop, FMICS 2015, Oslo, Nor\u00adway, June 22-23, 2015 Pro\u00adceed\u00adings<\/em>, 1\u201311. 2015. URL : <a href=\"https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-319-19458-5_1\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-319-19458-5_1<\/a><\/p>\n\n\n<a class=\"btn from-shortcode \" href=\"mailto:contact@systerel.fr\" target=\"_blank\">Contact us<\/a>\n\n\n<a class=\"btn from-shortcode \" href=\"http:\/\/www.systerel-smart-solver.com\" target=\"_blank\">Learn more about Systerel Smart Solver<\/a>\n","protected":false},"excerpt":{"rendered":"<p>Systerel has now been using HLL for many years in the formal safety verification of critical systems such as CBTCs, interlockings, logical control-command circuits, but also for the optimization of constrained systems.<\/p>\n","protected":false},"author":4,"featured_media":0,"parent":305,"menu_order":7,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1359","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>HLL Language - Systerel English<\/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.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"HLL Language - Systerel English\" \/>\n<meta property=\"og:description\" content=\"Systerel has now been using HLL for many years in the formal safety verification of critical systems such as CBTCs, interlockings, logical control-command circuits, but also for the optimization of constrained systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:modified_time\" content=\"2025-11-14T14:14:31+00:00\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"5 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/the-hll-language\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/the-hll-language\\\/\",\"name\":\"HLL Language - Systerel English\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/the-hll-language\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/the-hll-language\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/wp-content\\\/uploads\\\/2018\\\/11\\\/HLL_2A.png\",\"datePublished\":\"2019-05-17T09:09:43+00:00\",\"dateModified\":\"2025-11-14T14:14:31+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/the-hll-language\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/the-hll-language\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/the-hll-language\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/wp-content\\\/uploads\\\/2018\\\/11\\\/HLL_2A.png\",\"contentUrl\":\"https:\\\/\\\/www.systerel.fr\\\/wp-content\\\/uploads\\\/2018\\\/11\\\/HLL_2A.png\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/the-hll-language\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Expertise\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Formal methods\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"HLL Language\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\",\"name\":\"Systerel English\",\"description\":\"Safe real-time solutions\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"HLL Language - Systerel English","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.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/","og_locale":"en_US","og_type":"article","og_title":"HLL Language - Systerel English","og_description":"Systerel has now been using HLL for many years in the formal safety verification of critical systems such as CBTCs, interlockings, logical control-command circuits, but also for the optimization of constrained systems.","og_url":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/","og_site_name":"Systerel English","article_modified_time":"2025-11-14T14:14:31+00:00","twitter_misc":{"Est. reading time":"5 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/","url":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/","name":"HLL Language - Systerel English","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/#primaryimage"},"image":{"@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/wp-content\/uploads\/2018\/11\/HLL_2A.png","datePublished":"2019-05-17T09:09:43+00:00","dateModified":"2025-11-14T14:14:31+00:00","breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/#primaryimage","url":"https:\/\/www.systerel.fr\/wp-content\/uploads\/2018\/11\/HLL_2A.png","contentUrl":"https:\/\/www.systerel.fr\/wp-content\/uploads\/2018\/11\/HLL_2A.png"},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/the-hll-language\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"Expertise","item":"https:\/\/www.systerel.fr\/en\/expertise\/"},{"@type":"ListItem","position":3,"name":"Formal methods","item":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/"},{"@type":"ListItem","position":4,"name":"HLL Language"}]},{"@type":"WebSite","@id":"https:\/\/www.systerel.fr\/en\/#website","url":"https:\/\/www.systerel.fr\/en\/","name":"Systerel English","description":"Safe real-time solutions","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.systerel.fr\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/1359","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=1359"}],"version-history":[{"count":23,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/1359\/revisions"}],"predecessor-version":[{"id":3605,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/1359\/revisions\/3605"}],"up":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/305"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=1359"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}