Dates: Nov. 17 (Thu.) - Nov. 18 (Fri.), 2011
Place: Pacifico Yokohama *, Japan
Sponsored by JAXA and IPA
Co-located at Embedded Technology 2011 (ET2011)

* Pacifico Yokohama is in enough safe area that is 250km away from Fukushima No1. nuclear power plant.

---

Theme

Increasingly large and complex critical systems provide unique challenges to the researchers and practitioners in critical software systems. The goal of this international workshop is to provide a forum for researchers and practitioners to discuss all aspects of safety, dependability, reliability, security and quality for critical software systems. All aspects of design, theory, process/practice, realization and experiences are of interest.

Topics of interest include, but are not limited to:

• Operational safety/ Function safety
• Maintenance safety system
• Model driven architecture
• Test driven design
• Quality in use/ Intended use
• Hazard analysis/ Design review
• Quantitative measure, predicting and management
• Mathematical/ Formal method
• Standardization for critical software system
• Training and Skill for engineer/operator
• Process/ Practice for critical software systems
• Case of Failure/ Success
• Tools and Methods for critical software systems

To submit abstract, send the file (at most 8 pages long including figures and references in the submission format below. describing original research by August 31, 2011 in Text, PDF or MS Word 97/2003 format electronically via the mail address wocs-pc at srabhb.sra.co.jp (please change “at” to “@”)

All papers will be reviewed.
Notification of authors: September 12, 2011.
Camera-ready presentation or papers: October 12, 2008.
The proceedings for workshops will be published web only.
After workshops, IPA/SEC journal will be published as regular papers or short reports according to submission papers.
Best presentation will be awarded at the evening 17, November.

November 17 (Thursday)

Oral presentation (submitted)

November 18 (Friday)

Key Notes and Guest speech
Dr. Rashmi Jain, Stevens Institute of Technology
INCOSE (International Council on Systems Engineering) Technical Director for Education and Research
Other Key Notes and Guest speech will be announced soon.

---

Workshop Chair:

Katahira Masafumi, JEDI/JAXA
Shintani Katsutoshi, Software Engineering Center/ IPA

Program Chair:

Ogawa Kiyoshi, Nagoya Municipal Industrial Research Institute

Program Committee

Adachi Hisayoshi (Denso)
Akasaka Yukihiko ( Ntt Data)
Bernd Hindel (Methodpark)
Hayashi Yoshikazu (SRA/JASPIC)
Inagaki Osamu (Tokai Rika Co., Ltd.)
Irikado Tomoko (JAXA)
Kojima Tsutomu (SGS Japan Inc.)
Matsubara Tomoo (former IEEE software editor)
Miyamoto Yuko (JAXA) Monden Hiroshi (JASA)
Nishi Yasuharu (Dentsu Univ.) Ogasawara Hideto (Toshiba)
Rashmi Jain (INCOSE)
Sasabe Susumu (JUSE)
Shirasaka Seikou (Keio Univ.)
Suzumura Nobuyasu (Aishin Seiki Co., Ltd.)
Tabuchi Kazunari (Business Cube and Partners, Inc.)
Takada Hiroaki (Nagoya Univ.)
Tamaru Kiichiro (IPA/SEC)
Ujiie Ryo (JAXA)
Washizaki Hironobu (Waseda Univ.)

Partners:

JUSE
JASPIC
ASIF JASA
INCOSE Japan chapter
SEA
Nippon SPICE Network

Secretariat:

Japan Space Forum
SRA Inc.
Business Cube and Partners, Inc.