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:


  • Security, Reliability, Availability, and Safety of Software Systems
  • Fault Tolerance for Software Reliability Improvement
  • Modeling, Prediction, Simulation, and Evaluation
  • Validation, Verification, and Testing
  • Metrics, Measurements, and Analysis
  • Software Integration
  • Methods and Theories
  • Automation and Tools
  • Industry Best Practices
  • Benchmark and Empirical Studies
  • Organizing Committee

    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



    Steering Committee

    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
    Karama Kanoun LAAS-CNRS France
    Ji Wang National University of Defense Technology China
    Rajesh Subramanyan Siemens USA




    Program Committee

    Sheikh Iqbal AhamedMarquette UniversityUSA
    Ebrahim BagheriNational Research CouncilCanada
    Xiaoying BaiTsinghua UniversityChina
    Fevzi BelliUniversity of PaderbornGermany
    Maarten BoassonUniversity of AmsterdamNetherlands
    Gyrd BrændelandUniversity of OsloNorway
    Lionel BriandSimula Research LaboratoryNorway
    Christof BudnikSiemens Corporate ResearchUSA
    W. K. ChanCity University of Hong KongHong Kong
    Byoungju ChoiEwha Womans UniversityKorea
    Yunja ChoiUniversity of MinnesotaUSA
    Manuel ClavelUniversidad Complutense de MadridSpain
    Mourad DebbabiConcordia UniversityCanada
    Ewen DenneyNASAUSA
    Kyung-Goo DohHanyang UniversityKorea
    Wei DongNational University of Defense TechnologyChina
    Atilla Elci Middle East Technical UniversityTurkey
    Massimo FeliciUniversity of EdinburghUK
    Taisook HanKAISTKorea
    Xudong HeFlorida International UniversityUSA
    Jang-Eui HongChungbuk National UniversityKorea
    Martin Gilje JaatunSINTEF Information and Communication TechnologyNorway
    Mario JinoThe State University of CampinasBrazil
    Kwangjo KimKAISTKorea
    Moonzoo KimKAISTKorea
    Herbert KuchenUniversity of MusterGermany
    Fei-Ching KuoSwinburne University of TechnologyAustralia
    Chan-gun LeeChung-Ang UniversityKorea
    Heejo LeeKorea UniversityKorea
    Seok-Won LeeUniversity of North Carolina at CharlotteUSA
    Jenny LiAvaya Labs ResearchUSA
    Xuandong LiNanjing UniversityChina
    Horst LichterRWTH Aachen UniversityGermany
    Clifford LiemIrdeto (Cloakware Core Technology)Canada
    Lin LiuTsinghua UniversityChina
    Xiaodong LiuEdinburgh Napier UniversityUK
    Yan LiuMotorolaUSA
    Xiaoguang MaoNational University of Defense TechnologyChina
    Andrew MartinOxford UniversityUK
    Bruce McMillinMissouri University of Science and TechnologyUSA
    Mattia MongaUniversita degli Studi di MilanoItaly
    Mohamed MosbahUniversite de BordeauxFrance
    Thomas NollRWTH Aachen UniversityGermany
    Karthik PattabiramanMicrosoft ResearchUSA
    Phu PhungChalmers University of TechnologySweden
    Marco PistoiaIBM Watson ResearchUSA
    Alexander PretschnerKarlsruhe Institute of TechnologyGermany
    Walid RiajibiIBM Toronto Software LaboratoryCanada
    Markus RoggenbachUniversity of Wales at SwanseaUK
    Cristina SeceleanuMalardalen UniversitySweden
    Tiberiu SeceleanuABB Corporate ResearchSweden
    Sahra Sedighsarvestani University of MissouriUSA
    Shiuhpyng ShiehNational Chiao Tung UniversityTaiwan
    Michael ShinTexas Tech UniversityUSA
    Jun SunNational University of SingaporeSingapore
    Kenji Taguchi National Institute of InformaticsJapan
    Ladan TahvildariUniversity of WaterlooCanada
    Guilherme TravassosUniversity Federal do Rio de JaneiroBrazil
    Fei XiePortland State UniversityUSA
    Min XieNational University of SingaporeSingapore
    Chang XuHong Kong University of Science and TechnologyHong Kong
    Dianxiang XuNorth Dakota State UniversityUSA
    Y. T. YuCity University of Hong KongHong Kong
    Yijun YuUniversity of TorontoCanada
    Nicola ZannoneUniversity of TrentoItaly
    Jian ZhangChinese Academy of ScienceChina
    Jianjun ZhaoShanghai Jiao-Tong UniversityChina
    Hong ZhuOxford Brookes UniversityUK


    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.

    Call For Papers

    Name Type Size Download
    CFP.pdf Graphics files 59.6KB DownLoad

    Conference Proceedings


    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.

    Important Dates


    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.


  • Click here for more information about Jeju Island

  • Click here for Jeju Island Travel Information

  • Click here to see images for Jeju Island



  • 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.

    Previous Conferences


  • SSIRI 2010 - Singapore


  • SSIRI 2009 - Shanghai, China


  • SSIRI 2008 - Yokohama, Japan


  • 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


    Abstract

    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.


    Biography

    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




    C.V. Ramamoorthy
    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


    Abstract

    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.




    Mike Hinchey
    Lero-the Irish Software Engineering Research Centre, Ireland

    Evolving Critical Systems


    Abstract

    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?


    Biography

    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: mike.hinchey@lero.ie