{"id":35,"date":"2024-06-23T08:29:29","date_gmt":"2024-06-23T08:29:29","guid":{"rendered":"https:\/\/adamtacy.com\/?page_id=35"},"modified":"2024-06-23T08:53:33","modified_gmt":"2024-06-23T08:53:33","slug":"phd","status":"publish","type":"page","link":"https:\/\/adamtacy.com\/index.php\/phd\/","title":{"rendered":"PhD"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">Use of Synchronous Concurrent Algorithms in Development of Safety Related Software<\/h2>\n\n\n\n<h3 class=\"wp-block-heading has-medium-font-size\"><a href=\"https:\/\/www.swansea.ac.uk\/the-university\/\">University of Swansea<\/a> 1994-2004 (part-time)<\/h3>\n\n\n\n<p>Imagine a way to reduce the costs and introduction of errors whilst developing High integrity software &#8211; the software that is in flight control\/medical\/nuclear\/defence systems.<\/p>\n\n\n\n<p>Mathematical models are used to describe requirements, design, and implementations of key critical aspects. These models are costly to write and prove correctness, and typically different models\/languages are used in each phase, introducing additional costs to prove correctness across models.<\/p>\n\n\n\n<p>My thesis introduced the use of Synchronous Concurrent Algorithms (SCAs) as a way of reducing the cost. Both algorithms and hardware can be separately described as SCAs, which can be defined algebraically.<\/p>\n\n\n\n<p>My contribution was to extend the standard notation of SCAs and introducing a meta-algebra that supports the application of an algebraic process to translate an algorithm described as an SCA into hardware implementation described as another SCA (put very loosely: an algebraically correct method of compilation).<\/p>\n\n\n\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/drive.google.com\/file\/d\/0B1N2A7Ht8SbrYzBhZWM1MGEtMjBiOC00Njg2LTliMWMtNzNiNmY5Njg5Zjgz\/view?usp=share_link&amp;resourcekey=0-um6kUxhIdKWfDBNbY2bziQ\">Read my thesis<\/a><\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Use of Synchronous Concurrent Algorithms in Development of Safety Related Software University of Swansea 1994-2004 (part-time) Imagine a way to reduce the costs and introduction of errors whilst developing High integrity software &#8211; the software that is in flight control\/medical\/nuclear\/defence systems. Mathematical models are used to describe requirements, design, and implementations of key critical aspects. [&hellip;]<\/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-35","page","type-page","status-publish","hentry"],"featured_media_urls":[],"_links":{"self":[{"href":"https:\/\/adamtacy.com\/index.php\/wp-json\/wp\/v2\/pages\/35","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/adamtacy.com\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/adamtacy.com\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/adamtacy.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/adamtacy.com\/index.php\/wp-json\/wp\/v2\/comments?post=35"}],"version-history":[{"count":4,"href":"https:\/\/adamtacy.com\/index.php\/wp-json\/wp\/v2\/pages\/35\/revisions"}],"predecessor-version":[{"id":46,"href":"https:\/\/adamtacy.com\/index.php\/wp-json\/wp\/v2\/pages\/35\/revisions\/46"}],"wp:attachment":[{"href":"https:\/\/adamtacy.com\/index.php\/wp-json\/wp\/v2\/media?parent=35"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}