 |
 |
Autonomics and their verification from BT's industrial perspective *https://www.bcs.org/content/ConWebDoc/59069 <https://www.bcs.org/content/ConWebDoc/59069>* *Date/Time: *Monday 21 May 2018, 6.00pm - 8.00pm, refreshments will be available from 5.15pm. *Venue: *BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA *Cost:* Free *Book online* <https://www.eventbrite.co.uk/e/bcs-facs-autonomics-and-their-verification-from-bts-industrial-perspective-research-trends-registration-43128031102> *Details:* The next phase of computing involves sophisticated, complex systems that perform human like tasks. Our belief is that the management of such complexity will be impossible in the future without self-learning autonomous systems. Therefore, the next challenge is not only understanding “Big Data” but devising complex systems incorporating more and more sophisticated machine learning techniques. Presently, however, software systems that incorporate machine learning are hard to build, deploy, and maintain. They require a large and highly skilled workforce. Unlike traditional enterprise systems, once built, they often require thousands of hours of on-going, sometimes daily, maintenance to ensure that their predictions and behaviour continue to be accurate and useful. Integrating machine learning systems into traditional enterprise architecture, testing and deployment processes are likewise too complex, partly due to organizational silos that exist between systems engineers and data scientists. This talk will present a novel business autonomic framework covering topics that deal with the design, implementation, deployment and lifecycle management of such closed loop self-learning autonomic systems. A real example will also be presented together with an abstraction of the main principles extracted from the framework. Also, software engineering techniques that ensure correctness autonomic systems decisions will be presented and analysed. Simulation and testing as current industrial practices will be discussed and the gaps towards assurance and formal verification of autonomic properties that will presented. Dr Botond Virginas from British Telecom & Dr Sofia Meacham from Bournemouth University *For overseas delegates who wish to attend the event please note that BCS does not issue invitation letters.* *Prof. Jonathan Bowen <https://sites.google.com/site/jpbowen/> *FBCS FRSA Emeritus Professor of Computing, London South Bank University Chairman, Museophile Limited See *The Turing Guide <https://en.wikipedia.org/wiki/The_Turing_Guide>*, Oxford University Press, 2017