Dr.Shirasaka worked on space development for Mitsubishi Electric Corp. He participated in the development of the ETS-VII (engineering test satellite) and HTV (H-II transfer vehicle). In particular, he was involved with the HTV project from the initial designs until the completion of the first mission. He joined Keio University in systems engineering and appointed to current post in 2010. His current research area is systems architecting methodology, systems assurance/safety and their application to nano satellite.

Title: A Novel Approach to Reasonably Dependable Space Systems

System dependability is one of the most important features for space systems. Under the current development of mid-to-large size satellites, the high reliability is mandatory to avoid failures and their development cost increases enormously to achieve the high reliability. On the other hand, several universities develop and launch micro- satellites with low cost for the purpose of education from around 2000. To generate new market for satellite utilization, low cost and fast development are key points. The balance of cost and reliability is one of the very important points to realize the markets. This talk will explain the method to ensure the high dependability through a real project example and also present the new concept to balance the cost and reliability through a nano- satellite project example.

Dr Kelly is a Senior Lecturer within the Department of Computer Science at the University of York. He is perhaps best known for his work on system and software safety case development, particularly his work on refining and extending the Goal Structuring Notation (GSN). His research interests include safety case management, software safety analysis and justification, software architecture safety, certification of adaptive and learning systems, and the dependability of “Systems of Systems”. He has supervised a number of research projects in these areas with funding and support from Airbus, BAE SYSTEMS, Data Systems and Solutions, DTI, EPSRC, ERA Technology, Ministry of Defence, QinetiQ and Rolls-Royce. He has published over 150 papers on high integrity systems development and justification in international journals and conferences. He is also Managing Director of Origin Consulting (York) Limited – a consultancy company specialising in safety critical systems development and assurance.

Title: Modular Certification to Support Open Systems Dependability, [pdf]

Modular approaches to assurance case development have been in use (although not widespread) for over ten years. For example, MoD funded research in the UK has investigated the application of these approaches to a number of aerospace and land projects. We therefore have some experience of the benefits and challenges associated with modular certification. Some of this work has relied upon domain specific architecture standards (e.g. ASAAC in the avionics domain). However, there has been little work to explore the additional challenges associated with attempting open and cross-domain modular certification - i.e. attempting to reuse modules of argument and evidence for 'standard' components between different domains, with potentially different prevailing safety assurance standards. This talk will both share the experience on modular certification already gained and explain some of the challenges that are faced when extending the approach to truly support open and cross-domain certification.