Reliability Engineering - ISSRE 2012
Jan 22, 2013: Uploaded Mr.Fujieda's presentation. [pdf]
Dec 22, 2012: Uploaded Dr.Kelly's presentation. [pdf]
Nov 1, 2012: Publish workshop program.
Oct 3, 2012: Deadline for camera-ready is 14th October.
Sep 5, 2012: Deadline has been extended to 14th September.
Sep 2, 2012: Submitted paper is intended to publish revised selected papers as an LNCS post-proceedings (final approval pending).
Aug 23, 2012: Submission site has been opend, please upload your paper from Submission site
Jun 6, 2012: Update invited talks information.
Apr 20, 2012: Open our website.
Overview of WOSD
Topics of interest related to open systems dependability include, but are not limited to:
- Emerging dependability concept and case studies
- Process for very long-term service continuity
- Programming languages for open systems
- Verification for open systems
- System assurance for open systems
- Dependability benchmarks for open systems
- Resilient computing for open systems
- System software for open system
- Monitoring and logging analysis
- Software engineering for open systems
- Dependable robotics and consumer devices
- Industrial reports on open systems
Call for Paper
It is intended to publish revised selected papers as an LNCS post-proceedings (final approval pending).
Important daysPaper Submission Deadline:
Paper Notification to Authors: 5th October 2012
Camera-ready Version: 14th October 2012
SubmissionAuthors are invited to submit either short papers (2 pages) or full papers (6 pages), IEEE format. This should offer the greatest flexibility to present novel work/ideas at varying degrees of maturity.
Each paper must be submitted as a single Portable Document Format (PDF) file. We recommend that you embed fonts where possible to improve portability. We also strongly recommend you print the file and review it for integrity (fonts, symbols, equations etc.) before submitting it.
Submission of a paper constitutes a commitment that, if accepted, one or more authors will attend the workshop.
Accepted papers will be published and archived on IEEE Xplore in a workshops only “ISSRE Supplementary Proceedings” volume that appears separately from the main ISSRE volume and can be cited using its own ISBN number.
Submissions must adhere to the IEEE Computer Society camera-ready 8.5"x11" two-column camera-ready format. The templates are reproduced below for your convenience, and further details can be found at here.
Submission SitePlease upload your paper from submission site.
For any question, feel free to contact Yutaka Matsuno (matsu AT icts.nagoya-u.ac.jp)
General ChairMario Tokoro (Sony Computer Science Laboratories, Inc., Japan)
Program ChairShuichiro Yamamoto (Nagoya University, Japan)
Program CommitteeRobin Bloomfield (City University London, UK)
Ewen Denney (NASA, USA)
Jean-Charles Fabre (LAAS-CNRS, France)
Karama Kanoun (LAAS-CNRS, France)
Gilles Muller (INRIA REGAL, France)
Patrick Albert (IBM France, Framce)
Matthias Pillin (Bosch, Germany)
Tim Kelly (The University of York, UK)
Miroslaw Malek (Humboldt-Universität zu Berlin, Germany)
Akira Ohata (Toyota, Japan)
Yoshiki Kinoshita (AIST, Japan)
Yasuhiko Yokote (Cyber AI, Japan)
Tadashi Dohi (Hiroshima University, Japan)
Kenji Kono (Keio University, Japan)
Seiko Shirasaka (Keio University, Japan)
Satoshi Kagami (AIST, Japan)
Kimio Kuramitsu (Yokohama National University, Japan)
Takashi Kobayashi (Nagoya University, Japan)
Organizing CommitteeYutaka Matsuno (Chair, Nagoya University, Japan)
Hiroshi Yamada (Keio University, Japan)
Midori Sugaya (Yokohama National University, Japan)
ScheduleThe WOSD and RTW workshops have merged into a single day. RTW comprises the afternoon. The detailed RTW schedule may be found at the RTW workshop website, http://www.utwente.nl/ewi/is/RTW2012/program.html
Session 1: 9.00 - 10.30
- (5 min) Opening Talk
- (35 min) Invited Talk: Authour:Tim Kelly;
Title: Modular Certification to Support Open Systems Dependability
- (12 min) Short Paper 1: Authors: Shota Takama, Vaise Patu, Yutaka Matsuno and Shuichiro Yamamoto;
Title: A Proposal on a Method for Reviewing Operation Manuals of Supercomputer
- (12 min) Short Paper 2: Authors: Vaise Patu, Yutaka Matsuno, and Shuichiroh Yamamoto;
Title: Application of D-Case to the data-upload flow diagram scenario of the Distributed E-Learning System called KISSEL
- (12 min) Short Paper 3: Authors: Motoki Yoan, Midori Sugaya and Kimio Kuramitsu;
Title: A Study of Converting Risk to Assurance Case
- (12 min) Short Paper 4: Author: Takuma Wakamori, Masahiro Ide, Midori Sugaya and Kimio Kuramitsu;
Title: Reconfigurable Scripting Language with Programming Risk
Session 2: 11.00 - 12.35
- (35 min) Invited talk 2: Author: Junkyo Fujieda;
Title: Architecture for Open System
- (35 min) Invited talk 3: Author: Seiko Shirasaka;
Title: A Novel Approach to Reasonably Dependable Space Systems
- (20 min) Regular Paper 1: Authors: Sean Banerjee, Jesse Musgrove and Bojan Cukic;
Title: Handling Language Variations in Open Source Bug Reporting Systems
- (5 min) Closing Comment
RTW Session 1: 14.00 - 15.30 (RTW content in the rest of RTW Session 1 & RTW Session 2 16:00-17:30)
- (20 min) Regular Paper 2: Authors: Adrien Mouaffo Tiadjio and Kavyashree Jamboti;
Title: Requirements and Evaluation of Safety Analysis Techniques for Ambient Assisted Living Systems
Dr.Seiko Shirasaka earned a Master's degree in Astronautics from University of Tokyo and Doctral degree in Systems Engineering from KEIO university.
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.
2009 Oct. ---Today Chairman&CEO, CRM Association Japan
1996---Today Founder, President & CEO, ReGIS Inc., a global IT consulting organization covering 11 countries and 18 cities with very senior management teams and technical professionals linked via internet and others when needed.
1998---Today Representative and Chairman of The Open Group Japan, The standard and test and branding organization focusing the interoperability among the standards of all IT field.
2000---2009 Sep. President of CRM Association Japan, a non profit user vendors open organization to seek the best practices for CRM
1997---Today Advisor to CEO, The Open Group,（USA & UK）
Title: Architecture for Open System , [pdf]
In this talk we discuss why architecture is essential for open systems dependability. We start from the very fundamental question: what is the existence, and whether change is the only existence or not. Then we discuss open systems dependability, for which change is the main concern. To cope with these changes ,Architecture process is the robust process to prepare adaptive solutions for even so called "unexpected changes".
Next, we talk about Japanese serious disaster occurred in March 11, 2011. Studying from the disaster, Japan is now re-constructing the country itself. We discuss the nature of Japanese culture, and how Japan should develop dependable systems based on the culture. DEOS project is one of the projects for such challenges.
Third, we consider how architecture should be relate to the dependability of systems. From the architecture view, the dependability should be achieved by the sub system's quality and engineering functions for communication among the sub systems and architecture balance of the whole. The NIST surveys in 2002 and 2009 indicate that the architecture approach for dependability is promising to reduce the redundant effort of tests, cost , and squeeze market in time.
Lastly, we discuss how recent technologies such as SNS and big data processing will have a great potential benefit the dependability research of ever-changing systems.
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.
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.