Mike will give a short overview of a paper advising on PSS adoption. The full paper will be made available after the DVClub.
Mike has been involved in software testing and hardware verification for over 25 years. He started his career in testing of military software and safety-related aerospace applications using formal mathematical methods before moving into testing of commercial software. Since 1994 Mike has also been involved in the verification of complex hardware products (on Silicon and FPGA) going into commercial and safety-related sectors such as mobile phones, HDTVs, smart cards, avionics and automotive. Mike has been involved in CPU verification for more than 20 years, verifying more than 10 different CPUs as well as verification strategy consultancy with CPU IP companies.
In 2008 Mike established T&VS (Test and Verification Solutions: www.testandverification.com) to offer specialist services and products in hardware verification and software testing. T&VS has now grown to a global company of 250 engineers. T&VS specializes in ensuring products are reliable, safe and secure and this includes checking medical and healthcare products to ensure they are both safe and secure.
Mike gained a PhD in Mathematical Logic from Bristol University. He has since obtained an MSc in Software Engineering and an MBA through the Open University. Mike is currently studying for an MSc in Computer Security at the University of London.
DVCLUB Europe is made possible through the generosity of our sponsors.