Welcome to SSIRI 2011
SSIRI 2011 is the fifth annual conference technically sponsored by the IEEE Reliability Society with a focus on software security and reliability. It brings together a wide range of researchers and practitioners to present their on-going ideas, experiences, and outcomes of most recent research, and to exchange their best-of-breed practices for developing reliable, secure, and trustworthy software systems in a more effective and efficient way. It not only allows the academic community to gain an increased awareness of the areas that are vital to the software industry, but it also grants practitioners an opportunity to express their needs. The conference will be held at Jeju Island, Korea with three major tracks: research papers, fast abstracts and the student doctoral program. Additional workshops with more focused topics will also be held concurrently.
Topics of interest include, but are not limited to:
|Conference Chair||Yongrae Kwon||KAIST||Korea|
|Organization Chair||Sooyong Park||Sogang University||Korea|
|Program Co-Chair||Jongmoon Baik||KAIST||Korea|
|Fabio Massacci||Universita di Trento||Italy|
|Mohammad Zulkernine||Queen's University||Canada|
|Workshop Chair||Tugkan Tuglular||Izmir Institute of Technology||Turkey|
|Publicity Co-Chair||Jigang Liu||Metropolitan State University||USA|
|Jang-Eui Hong||Chungbuk University||Korea|
|Vidroha Debroy||University of Texas at Dallas||USA|
|Web Master||Tung H. Dao||University of Texas at Dallas||USA|
|W. Eric Wong (co-Chair)||University of Texas at Dallas||USA|
|Sam Keene (co-Chair)||IEEE Reliability Society||USA|
|Fevzi Belli||University of Paderborn||Germany|
|Raymond Paul||Department of Defense||USA|
|Ji Wang||National University of Defense Technology||China|
|Sheikh Iqbal Ahamed||Marquette University||USA|
|Ebrahim Bagheri||National Research Council||Canada|
|Xiaoying Bai||Tsinghua University||China|
|Fevzi Belli||University of Paderborn||Germany|
|Maarten Boasson||University of Amsterdam||Netherlands|
|Gyrd Brændeland||University of Oslo||Norway|
|Lionel Briand||Simula Research Laboratory||Norway|
|Christof Budnik||Siemens Corporate Research||USA|
|W. K. Chan||City University of Hong Kong||Hong Kong|
|Byoungju Choi||Ewha Womans University||Korea|
|Yunja Choi||University of Minnesota||USA|
|Manuel Clavel||Universidad Complutense de Madrid||Spain|
|Mourad Debbabi||Concordia University||Canada|
|Kyung-Goo Doh||Hanyang University||Korea|
|Wei Dong||National University of Defense Technology||China|
|Atilla Elci||Middle East Technical University||Turkey|
|Massimo Felici||University of Edinburgh||UK|
|Xudong He||Florida International University||USA|
|Jang-Eui Hong||Chungbuk National University||Korea|
|Martin Gilje Jaatun||SINTEF Information and Communication Technology||Norway|
|Mario Jino||The State University of Campinas||Brazil|
|Herbert Kuchen||University of Muster||Germany|
|Fei-Ching Kuo||Swinburne University of Technology||Australia|
|Chan-gun Lee||Chung-Ang University||Korea|
|Heejo Lee||Korea University||Korea|
|Seok-Won Lee||University of North Carolina at Charlotte||USA|
|Jenny Li||Avaya Labs Research||USA|
|Xuandong Li||Nanjing University||China|
|Horst Lichter||RWTH Aachen University||Germany|
|Clifford Liem||Irdeto (Cloakware Core Technology)||Canada|
|Lin Liu||Tsinghua University||China|
|Xiaodong Liu||Edinburgh Napier University||UK|
|Xiaoguang Mao||National University of Defense Technology||China|
|Andrew Martin||Oxford University||UK|
|Bruce McMillin||Missouri University of Science and Technology||USA|
|Mattia Monga||Universita degli Studi di Milano||Italy|
|Mohamed Mosbah||Universite de Bordeaux||France|
|Thomas Noll||RWTH Aachen University||Germany|
|Karthik Pattabiraman||Microsoft Research||USA|
|Phu Phung||Chalmers University of Technology||Sweden|
|Marco Pistoia||IBM Watson Research||USA|
|Alexander Pretschner||Karlsruhe Institute of Technology||Germany|
|Walid Riajibi||IBM Toronto Software Laboratory||Canada|
|Markus Roggenbach||University of Wales at Swansea||UK|
|Cristina Seceleanu||Malardalen University||Sweden|
|Tiberiu Seceleanu||ABB Corporate Research||Sweden|
|Sahra Sedighsarvestani||University of Missouri||USA|
|Shiuhpyng Shieh||National Chiao Tung University||Taiwan|
|Michael Shin||Texas Tech University||USA|
|Jun Sun||National University of Singapore||Singapore|
|Kenji Taguchi||National Institute of Informatics||Japan|
|Ladan Tahvildari||University of Waterloo||Canada|
|Guilherme Travassos||University Federal do Rio de Janeiro||Brazil|
|Fei Xie||Portland State University||USA|
|Min Xie||National University of Singapore||Singapore|
|Chang Xu||Hong Kong University of Science and Technology||Hong Kong|
|Dianxiang Xu||North Dakota State University||USA|
|Y. T. Yu||City University of Hong Kong||Hong Kong|
|Yijun Yu||University of Toronto||Canada|
|Nicola Zannone||University of Trento||Italy|
|Jian Zhang||Chinese Academy of Science||China|
|Jianjun Zhao||Shanghai Jiao-Tong University||China|
|Hong Zhu||Oxford Brookes University||UK|
Information for authors of regular papers
Submit original papers (not published or submitted elsewhere) with a maximum of ten pages. Include the title of the paper, the name and affiliation of each author, a 150-word abstract, and up to 6 keywords. The format of your submission must follow the IEEE conference proceedings format.
Click here to submit your paper.
Information for authors of fast abstracts
The objective of fast abstracts is to report on-going work, describe practical experiences, introduce new ideas to promote further validation, or state positions on controversial issues. Each fast abstract can have a maximum of two pages using the IEEE conference proceedings format.
Click here to submit your fast abstract.
Information for authors of student doctoral program
The objective of the Student Doctoral Program is to encourage students to attend SSIRI and present their work, exchange ideas with researchers and practitioners, and get early feedback on their research efforts. Submit original papers (not published or submitted elsewhere) with a maximum of six pages using the IEEE conference proceedings format. Each submission should include the title of the paper, the name and affiliation of each author, a 150-word abstract, and up to 6 keywords. The first author must be a student (the advisor or non-student collaborators may be co-authors). Once accepted the paper should be presented by a student.
Click here to submit your paper.
Information for authors of workshops
Submit original papers (not published or submitted elsewhere) with a maximum of eight pages. Include the title of the paper, the name and affiliation of each author, a 150-word abstract, and up to 6 keywords. The format of your submission must follow the IEEE conference proceedings format.
The conference proceedings will be published by IEEE Computer Society Conference Publishing Services (CPS) and made available in the IEEE digital library. Papers in the proceedings are also included in the Ei Compendex database.
IST Journal Special Section
Authors of selected best papers from the conference will be invited to submit an extended version to a special section of Information and Software Technology (IST) published by Elsevier.
|November 15, 2010:||Workshop proposals due|
|January 31, 2011:||Regular papers due (extended deadline)|
|February 10, 2011:||Fast Abstract Track due|
|February 10, 2011:||Student Doctoral Program due|
|March 10, 2011:||Author notification|
|April 21, 2011:||Camera-ready and author registration due (extended deadline)|
Jeju Island, South Korea
SSIRI 2011 is going to be held in Jeju Island, one of the most charming cities in South Korea.
The Jeju Island is famous for 3 things: roaring winds, magnificent rocks, and woman divers for fishing. As one of the host cities of the 2002 Korea/Japan FIFA World Cup, Jeju's Seogwipo City has a fame of the most enchanting environment in Korea. Jeju is a focal point of international affairs and offers many kinds of recreation together with breathtaking vistas, a temperate climate and a unique traditional culture. Located in the center of this volcanically formed island is Mt. Halla (a dormant volcano), which is filled with over 1,800 species of wild plants, wild deers, and an ecosystem, that will surely amaze all visitors.
Jeju also offers unbelievably breathtaking views from coast to coast, ranging from waterfalls at Haean Jidae to naturally sculpted cliffs at Jusang Jeolli. Tourists can enjoy each season in Jeju with a particular splash of color; brilliant yellow-colored flowers in spring that spread across the landscape, the golden beaches and sea vistas in summer, the Eulalia's light brown wispy reeds flowing in autumn winds, and the lovely snow flowers of Mt. Halla in winter are all must-sees of Jeju.
Jeju Grand Hotel
The conference venue is Jeju Grand Hotel, located in Shinjeju area, which takes just 10 minutes from the Jeju International Airport. A free shuttle is provided between the airport and the hotel. The Jeju Grand Hotel is a super deluxe hotel with 512 rooms. The hotel is equipped with various facilities including casino and banquet rooms with 5 different language simultaneous translation system.
SSIRI 2011 co-Located Workshops
|MVV: The Third International Workshop on Model-Based Verification & Validation
Click here to submit your papers to MVV'2011.
|SSCPS: The First International Workshop on Safety and Security in Cyber-Physical Systems
Click here to submit your papers to SSCPS'2011.
|ARSSIR: The First International Workshop on Automated Reasoning for Security, Software Integration and Reliability
Click here to submit your papers to SSCPS'2011.
|FMSI: The First International Workshop on Formal Methods in Software Integration
Click here to submit your papers to FMSI'2011.
|More Workshops will be announced.|
Contact Professor Sooyong Park, Organization Chair or
Professor W. Eric Wong, co-Chair, Steering Committee.
Best Paper Award
At least one Best Paper Award will be presented by SSIRI 2011. Authors will receive a plaque signed by the President of the IEEE Reliability Society and also a cash prize (depending on the conference budget).
SSIRI 2011: Keynote Speakers
Gerard J Holzmann
Jet Propulsion Laboratory, NASA
Verifying Complex Software Systems: the Challenge
Virtually all software applications grow in size and complexity over time.For software used in spacecraft, software size can even be shown to grow exponentially with each new mission flown, matching the growth trends seen in many other industries. This rapid growth poses a serious challenge to our ability to verify the reliability of complex safety-critical software systems. Significant progress has been made in the development of strong tool-based formal verification techniques in the last few decades, but the bar keeps rising. I will describe how we are tackling this challenge, and where the main research challenges in reliable systems design currently are.
Gerard Holzmann received his Ph.D. from Delft University of Technology in 1979. From 1980 until 2003 he was a researcher in the Computing Science Research Center of Bell Laboratories, in Murray Hill, New Jersey. He then moved to NASA/JPL in California to start the new Laboratory for Reliable Software, where he is currently a senior research scientist. He has published four books and many technical articles on software verification methods, image processing techniques, and telecommunication history. Dr. Holzmann is a member of the U.S. National Academy of Engineering. url: http://spinroot.com/gerard
Department of Electrical Engineering and Computer Sciences
UC Berkeley, USA
Software Engineering Approaches to the Challenges in Technology Education and System Development in the Software Ecosystem Environment
There exist several challenges in the current science, engineering, mathematics (STEM) graduate education. We are continuously inundated with great volumes of information from our portable communication devices, lap tops, television etc., continuously. We do multitasking to assimilate the information resulting developing short attention spans. Our current digital generation spends enormous amount of time on social networking, video entertainment and video games. Science and engineering subjects require long and deep attention spans to learn and to contribute. We discuss some of the successful methods that can help us to focus on the deep topics of engineering and technology. These include video narratives, entertainment and gaming. We consider the instructional methods developed by ancient Greeks (Aristotle, Socrates etc.), and the teaching of moral principles by means of parables and narratives by Buddha and Christ. We consider the successful interest and curiosity creating violin teaching methods of Suzuki. We study the talent discovering and skill enhancing instructional methods of Montessori. The social networking and interactive type of instruction was used by Escalante to overcome academic weaknesses. The tweet- and- repeat methods of the Khan Academy also provide useful ideas for improving our teaching process using ICT technology. We propose a comprehensive cocktail (mixture) of methods as the transformative means to upgrade of STEM higher education based on similar ideas proposed and successfully used by Norman Borlaug, the Nobel Prize-winning agricultural biologist in agricultural crop production. His methods eliminated the unfortunate annual food famines in Mexico, China, and India. We propose a comprehensive software supported methods using graphical animation, using virtualization, immersion and video gaming techniques to capture interest and enhance creative skills. It is well known that we use only a small fraction of the total visual and sensual bandwidth that our nervous system and brain can process at any instant. We can expand our educational communication bandwidth input by innovative interactive graphical and aural presentations of our academic material for maximum advantage to create both interest, learning and to develop creative skills.
We introduce the theme of 'Needs Engineering' into our technical educational curriculum. This topic emphasizes the importance of problem (needs) finding, problem discovery and problem anticipation. We associate a 'problem' with a specific need. Needs and necessities are mothers of invention and innovation and therefore the prime factors in creative thinking. We describe the classification of problem-solution pairs using the Remsfeld paradigm of knowns-unknowns and their importance in creative problem finding and solving. Our educational system emphasizes problem solving under a known and well understood framework of theory and knowledge. It does not lead to creative thinking beyond the 'box'. It has been said that 'main object of teaching is not just how to solve problems and give explanations, but to knock at the doors of the mind'. Problems and needs- finding approaches are indeed the mothers of creative innovation. We quote a well known ICT company CEO:
"Today it is the minds, not the megahertz or the gigabytes that are scarce. Use IT (information technology) to enhance them and use them to deliver sustainable and survivable products to support our developing world".
In the second part of the presentation, we shall concentrate on software ecosystems and the sustainability issues of software entities. We see a large proliferation of platforms, app's, operating systems, designs, patterns etc. The concept of software ecosystem tries to develop an environment which nurtures, supports and evolves sustainable software systems. As in the natural ecosystem sustainability implies survivability in the short term and evolution and growth in the long term under changing environments, such as operating systems, languages, platforms, services etc. We develop a simple model of growth and give some examples. The theory involves the three basic resources, namely, intellectual resource (I), manual resources (M), and physical (P) resources, essential for our living. Intellectual resources grow in accordance with the law of increasing returns (Arthur and Romer); the manual resources follow the Churchill's suggestion of using minimum manual effort, and the natural physical resources follow the law of diminishing returns. We show that the basic tenets of our growth theory are similar to theory of evolution of human development. It is not a perfect theory. We are still working on it. It is just an hypothesis and yet provides another abstract way to look at evolution and provides some valuable insights on the software engineering trends of the future.
Lero-the Irish Software Engineering Research Centre, Ireland
Evolving Critical Systems
Increasingly software can be considered to be critical, due to the business or other functionality which it supports. Upgrades or changes to such software are expensive and risky, primarily because the software has not been designed and built for ease of change. Expertise, tools and methodologies which support the design and implementation of software systems that evolve without risk (of failure or loss of quality) are essential. We address a research agenda for building software that (a) is highly reliable and (b) retains this reliability as it evolves, either over time or at run-time. We propose Evolving Critical Systems as an area for research to tackle the challenge and outline a number of scenarios to highlight some of the important research questions that should be asked of the community. Given that software evolution can be seen as a compromise between cost and risk, the most pressing question to ask is which processes, techniques and tools are most cost-effective for evolving critical systems?
Mike Hinchey is scientific director of Lero-the Irish Software Engineering Research Centre and a professor of software engineering at the University of Limerick, Ireland. His research interests include selfmanaging software and formal methods for system development. Hinchey received a PhD in computer science from the University of Cambridge. He is a senior member of the IEEE and currently chairs the IFIP Technical Assembly. url: firstname.lastname@example.org