Dependable Technologies For Critical Systems © 2011 Critical Software S.A. As’ad Salkham, CSW CSTEP Midterm Review Presentation Naples, 20 th of December 2011

Dependable Technologies For Critical Systems © 2011 Critical Software S.A. Introduction

© 2011 Critical Software S.A. 3 Introduction  This short presentation mainly encompasses:  Research background  My experience in a transfer of knowledge IAPP programme within the context of the CSTEP project and the activities performed at CSW  Skills acquired and the possible impact on my career development IAPP: Industry-Academia Partnerships and Pathways

Dependable Technologies For Critical Systems © 2011 Critical Software S.A. Research Background

© 2011 Critical Software S.A. 5 Research Background  Research experience highlights:  Ph.D. studies in the Distributed Systems Group at Trinity College Dublin  Distributed optimization in complex environments using Collaborative Reinforcement Learning (CRL)  Developed a CRL framework and Soilse; a distributed approach to urban traffic control optimization  Published results in top venues in the area such as the IEEE Intelligent Transportation Systems Conference and the IEEE/ACM Intelligent Agent Technology Conference  Ireland’s National Digital Research Centre – MobiMaths  “An education focused project, delivering a system for collaborative mobile mathematics learning and teaching”. Co-authored the project’s main paper that won the best paper award in mLearn 2010  Master’s degree in Dependable Computer Systems  Fault Detection, Isolation and Recovery in Satellite's On-Board Software

Dependable Technologies For Critical Systems © 2011 Critical Software S.A. Conducted CSW

© 2011 Critical Software S.A. 7 Conducted Activities  Participated in research that aims at providing a secure & dependable architecture for Embedded Systems (ES)  Investigated (a)symmetric cryptographic schemes for ES and co-authored a state-of-the-art study in that regard  Proposed a number of secure deployment scenarios that employ both asymmetric and symmetric methods  Investigated policy-based management schemes  Participated in a certification (DO-178B) project for the FAA approval of a GPS/SBAS receiver  Analysed and reviewed Software Requirements  Specified (and reviewed) nominal and robustness test cases FAA: Federal Aviation Administration SBAS: Satellite-Based Augmentation System

© 2011 Critical Software S.A. 8 Conducted Activities  Investigated existing car-sharing technologies and highlighted alternative, secure & generic approaches  Participated in meetings with other CSTEP partners  Participated in CSW’s Dependability Workshop that was organised in Coimbra  Keynote speakers about topics like Software Assurance and Safety Cases from NASA  Several discussions ranging from Fault Injection, ISVV, Formal Software Verification to Robustness Testing  Participated in several team-building activities

Dependable Technologies For Critical Systems © 2011 Critical Software S.A. Acquired Skills and Impact on Career Development

© 2011 Critical Software S.A. 10 Acquired Skills  Mainly on the technological side:  Explored new research fields and learnt about state-of-the-art cryptographic schemes and policy-based management and studied their suitability for networked ES  Learnt about software requirements analysis and nominal and robustness test case specification all within an industrial context. Also, learnt about several specifics concerning GPS/SBAS receivers  Personal side:  Interesting discussions with people from both industry and academia at several occasions  Enhanced “working in a team” spirit  Learning Portuguese !

© 2011 Critical Software S.A. 11 Impact on Career Development  More options in terms of work/research whether in academia or in industry  More connections for possible future collaborations especially on the European level  It helps in answering the uneasy question; academia or industry or something in between?  It helps shape the set of requirements for the next step  It prepares oneself to be open for work on diverse topics and challenges  It allows oneself to be able to extract valuable pieces of research results and employ them in real-life products

© 2011 Critical Software S.A. 12 Acknowledgements  I would like to thank CRITICAL Software Technology for an Evolutionary Partnership (CRITICAL-STEP), Marie Curie Industry-Academia Partnerships and Pathways (IAPP) number , within the context of the EU Seventh Framework Programme (FP7) for this very important experience in my career. 

© 2011 Critical Software S.A. 13 Contacts  As’ad Salkham  Coimbra, Lisbon, Oporto San Jose Southampton Bucharest Sao Paulo