{"id":157,"date":"2014-06-25T13:43:10","date_gmt":"2014-06-25T13:43:10","guid":{"rendered":"http:\/\/2015.dsn.org\/\/?page_id=157"},"modified":"2014-06-25T13:43:10","modified_gmt":"2014-06-25T13:43:10","slug":"jean-claude-laprie-award","status":"publish","type":"page","link":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/","title":{"rendered":"Jean-Claude Laprie Award"},"content":{"rendered":"<p style=\"text-align: justify\"><strong>\u00a0Jean-Claude Laprie Award<\/strong><\/p>\n<p style=\"text-align: justify\"><a href=\"http:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-content\/uploads\/sites\/40\/2014\/06\/JeanClaude.png\"><img fetchpriority=\"high\" decoding=\"async\" class=\"alignnone size-full wp-image-124\" src=\"http:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-content\/uploads\/sites\/40\/2014\/06\/JeanClaude.png\" alt=\"JeanClaude\" width=\"303\" height=\"227\" srcset=\"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-content\/uploads\/sites\/40\/2014\/06\/JeanClaude.png 303w, https:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-content\/uploads\/sites\/40\/2014\/06\/JeanClaude-300x225.png 300w\" sizes=\"(max-width: 303px) 100vw, 303px\" \/><\/a><\/p>\n<p style=\"text-align: justify\">Dr.Jean-Claude Laprie was <em>Directeur de Recherche<\/em> at LAAS-CNRS, Toulouse, France. He devoted his entire career to research on the dependability of computing systems. His unique capability of abstraction and formalization, and his contributions to the formulation of the concepts and methodologies of dependability, rapidly led to national and international recognition. He received the IFIP Silver Core in 1992, the Silver Medal of French Scientific Research in 1993, and the Grand Prize in Informatics of the French Academy of Science in 2009. He was made <em>Chevalier de l&#8217;Ordre National du M\u00e9rite<\/em> in 2002.<\/p>\n<p style=\"text-align: justify\">The IFIP 10.4 working group on Dependable Computing created the award in his honor in 2011. It recognizes outstanding papers that have significantly influenced the theory and\/or practice of Dependable Computing.<\/p>\n<p><strong>Albert Hopkins, Basil Smith and Jay Lala to Receive 2015 Jean-Claude Laprie Award<\/strong><\/p>\n<p>March 27, 2015<\/p>\n<p style=\"text-align: justify\">Today, IFIP Working Group 10.4 announced that an outstanding paper has been selected as winner of the 2015 Jean-Claude Laprie Award in Dependable Computing: A. L. Hopkins, Jr., T.B. Smith, III, and J.H. Lala. FTMP \u2013 A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft &lt;<a href=\"http:\/\/ieeexplore.ieee.org\/xpl\/articleDetails.jsp?arnumber=1455382\" target=\"_blank\">http:\/\/ieeexplore.ieee.org\/xpl\/articleDetails.jsp?arnumber=1455382<\/a>&gt;, Proceedings of the IEEE, Vol. 66, No. 10, October 1978.<\/p>\n<p style=\"text-align: justify\">Albert Hopkins, Basil Smith and Jay Lala provided in their highly-cited paper, FTMP \u2013 A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft, the major published account of a project sponsored by the NASA Langley Research Center in the late 1970s to develop safety-critical digital computing systems for commercial flight control. These flight-control systems had a reliability requirement of the order of 10-10 failures per hour for a 10-hr flight during which no airborne maintenance would be available. The ground-breaking FTMP project was highly successful and very influential, and established the scientific and engineering foundations of ultra-reliable digital computing for mission- and safety-critical applications for a wide range of industries. It showed the feasibility of hardware-based, high-performance practical implementation of algorithms to tolerate Byzantine faults, including clock-synchronization. The project\u2019s work on verification and validation of ultra-high reliability requirements led to a hybrid analytical-empirical V&amp;V approach, based on fault-injection and Markov modelling, an approach that is now considered an essential element of dependability assessment. Finally, the FTMP project laid the foundation for the fault containment concept, and advanced the area of fault diagnosis.<\/p>\n<p style=\"text-align: justify\">Authors of the winning paper will be presented the award on June 23 2015 in Rio de Janeiro, Brazil, during the opening session of the Annual IEEE\/IFIP International Conference on Dependable Systems and Networks &lt;<a href=\"http:\/\/www.dsn.org\/\" target=\"_blank\">http:\/\/www.dsn.org\/<\/a>&gt;<\/p>\n<p style=\"text-align: justify\"><strong>List of past recognized papers:<\/strong><\/p>\n<p style=\"text-align: justify\"><strong>DSN 2015<\/strong><\/p>\n<ul>\n<li style=\"text-align: justify\">. A. L. Hopkins, Jr., T.B. Smith, III, and J.H. Lala. &#8220;FTMP \u2013 A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft&#8221;.\u00a0\u00a0Proceedings of the IEEE, Vol. 66, No. 10, October 1978.<\/li>\n<\/ul>\n<p><strong>DSN 2014<\/strong><\/p>\n<ul>\n<li>B. Randell, &#8220;System Structure for Software Fault Tolerance&#8221;, IEEE Transactions on Software Engineering, vol.SE-1, no.1, 1975, pp 220-232.<\/li>\n<\/ul>\n<ul>\n<li>J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Levitt, P.M. Melliar-Smith, R.E. Shostak, C.B. Weinstock, &#8220;SIFT: The Design and Analysis of a Fault-Tolerant Computer for Aircraft Control&#8221;, Proceedings of the IEEE, vol.66, no.10, 1978, pp.1240-1255.<\/li>\n<\/ul>\n<ul>\n<li>H. Kopetz, G. Bauer, &#8220;The Time-Triggered Architecture&#8221;,Proceedings of theIEEE, vol.91, no.1, 2003, pp. 112-126<\/li>\n<\/ul>\n<p><strong>DSN 2013<\/strong><\/p>\n<ul>\n<li>L. Lamport, R. Shostak, and M. Pease, \u201cThe Byzantine Generals Problem\u201d, ACM Transactions on Programming Languages and Systems, vol. 4, no. 3, July 1982 pp. 382-401 .<\/li>\n<\/ul>\n<ul>\n<li>J. Gray, \u201cWhy Do Computers Stop and What Can Be Done About It?\u201d, In 5th Symposium on Reliability in Distributed Software and Database Systems, pp. 3-12. IEEE, 1986.<\/li>\n<\/ul>\n<ul>\n<li>W.G. Bouricius, W.C. Carter and P.R. Schneider, \u201cReliability Modeling Techniques for Self-Repairing Computer Systems\u201d, In 24th ACM National Conference, pp. 295-309,\u00a0 1969.<\/li>\n<\/ul>\n<p style=\"text-align: justify\"><strong>DSN 2012<\/strong><\/p>\n<ul>\n<li>A. Avizienis, \u201cDesign of fault-tolerant computers,\u201d in AFIPS Fall Joint Computer Conference, 1967, pp. 733-743<\/li>\n<\/ul>\n<ul>\n<li>J. F. Meyer, \u201cOn evaluating the performability of degradable computing systems,\u201d IEEE Transactions on Computers, vol. C-29, no. 8, pp. 720-731, 1980<\/li>\n<\/ul>\n<ul>\n<li>D. A. Patterson, G. Gibson, and R. H. Katz, \u201cA case for redundant arrays of inexpensive disks (RAID),\u201d in ACM SIGMOD International Conference on Management of Data, 1988, vol. 17, no. 3, pp. 109-116<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>\u00a0Jean-Claude Laprie Award Dr.Jean-Claude Laprie was Directeur de Recherche at LAAS-CNRS, Toulouse, France. He devoted his entire career to research on the dependability of computing systems. His unique capability of abstraction and formalization, and his contributions to the formulation of &hellip; <a class=\"more-link\" href=\"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/\">Continue&nbsp;reading&nbsp;<span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-157","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Jean-Claude Laprie Award - DSN 2015<\/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:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Jean-Claude Laprie Award - DSN 2015\" \/>\n<meta property=\"og:description\" content=\"\u00a0Jean-Claude Laprie Award Dr.Jean-Claude Laprie was Directeur de Recherche at LAAS-CNRS, Toulouse, France. He devoted his entire career to research on the dependability of computing systems. His unique capability of abstraction and formalization, and his contributions to the formulation of &hellip; Continue&nbsp;reading&nbsp;&rarr;\" \/>\n<meta property=\"og:url\" content=\"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/\" \/>\n<meta property=\"og:site_name\" content=\"DSN 2015\" \/>\n<meta property=\"og:image\" content=\"http:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-content\/uploads\/sites\/40\/2014\/06\/JeanClaude.png\" \/>\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=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/jean-claude-laprie-award\\\/\",\"url\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/jean-claude-laprie-award\\\/\",\"name\":\"Jean-Claude Laprie Award - DSN 2015\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/jean-claude-laprie-award\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/jean-claude-laprie-award\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/wp-content\\\/uploads\\\/sites\\\/40\\\/2014\\\/06\\\/JeanClaude.png\",\"datePublished\":\"2014-06-25T13:43:10+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/jean-claude-laprie-award\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/jean-claude-laprie-award\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/jean-claude-laprie-award\\\/#primaryimage\",\"url\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/wp-content\\\/uploads\\\/sites\\\/40\\\/2014\\\/06\\\/JeanClaude.png\",\"contentUrl\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/wp-content\\\/uploads\\\/sites\\\/40\\\/2014\\\/06\\\/JeanClaude.png\",\"width\":303,\"height\":227},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/jean-claude-laprie-award\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Jean-Claude Laprie Award\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/#website\",\"url\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/\",\"name\":\"DSN 2015\",\"description\":\"Just another Wordpress Sites site\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/wordpress.ft.unicamp.br\\\/dsn2015\\\/?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":"Jean-Claude Laprie Award - DSN 2015","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:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/","og_locale":"en_US","og_type":"article","og_title":"Jean-Claude Laprie Award - DSN 2015","og_description":"\u00a0Jean-Claude Laprie Award Dr.Jean-Claude Laprie was Directeur de Recherche at LAAS-CNRS, Toulouse, France. He devoted his entire career to research on the dependability of computing systems. His unique capability of abstraction and formalization, and his contributions to the formulation of &hellip; Continue&nbsp;reading&nbsp;&rarr;","og_url":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/","og_site_name":"DSN 2015","og_image":[{"url":"http:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-content\/uploads\/sites\/40\/2014\/06\/JeanClaude.png","type":"","width":"","height":""}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/","url":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/","name":"Jean-Claude Laprie Award - DSN 2015","isPartOf":{"@id":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/#website"},"primaryImageOfPage":{"@id":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/#primaryimage"},"image":{"@id":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/#primaryimage"},"thumbnailUrl":"http:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-content\/uploads\/sites\/40\/2014\/06\/JeanClaude.png","datePublished":"2014-06-25T13:43:10+00:00","breadcrumb":{"@id":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/#primaryimage","url":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-content\/uploads\/sites\/40\/2014\/06\/JeanClaude.png","contentUrl":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-content\/uploads\/sites\/40\/2014\/06\/JeanClaude.png","width":303,"height":227},{"@type":"BreadcrumbList","@id":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/jean-claude-laprie-award\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/"},{"@type":"ListItem","position":2,"name":"Jean-Claude Laprie Award"}]},{"@type":"WebSite","@id":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/#website","url":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/","name":"DSN 2015","description":"Just another Wordpress Sites site","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"_links":{"self":[{"href":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-json\/wp\/v2\/pages\/157","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-json\/wp\/v2\/comments?post=157"}],"version-history":[{"count":0,"href":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-json\/wp\/v2\/pages\/157\/revisions"}],"wp:attachment":[{"href":"https:\/\/wordpress.ft.unicamp.br\/dsn2015\/wp-json\/wp\/v2\/media?parent=157"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}