It differs from hardware reliability in that it reflects the design perfection, rather than manufacturing perfection. Software reliability, safety and security methods software reuse and component engineering umlmda and aadl object oriented technology design and analysis software. Study of software reliability prediction based on gr neural. As to a difficult problem of choosing parameters for support vector machine svm, this paper introduces particle swarm optimization pso to automatically optimize the parameters of svm, and constructs a software reliability.
Attendance at the symposium is a unique opportunity for the system safety engineer to learn new and innovative ideas proposed by complimentary disciplines and how these ideas can be leveraged to enhance their own system safety efforts. In 2006, the ieee reliability society made a strategic decision to launch an annual conference focusing on security and reliability. Monitoring software reliability using statistical process. A list of conferences in formal methods, specification, verification and software engineering an incomplete list of 171 conferences in computer science note. Industries electric industry activities increasing efficiency through improved software. Acmifipusenix international middleware conference middleware 2011. Software engineering call for papers for conferences. These will be based not only on more current design environments such as object oriented design but in general modelbased software and more current formal methods. The aim of software engineer is to increase this probability and make it one if possible. To do this one must measure the reliability of the software. Mar 03, 2012 a brief description of software reliability. Petr hosek, matteo migliavacca, ioannis papagiannis, david eyers, david evans, brian shand, jean bacon, peter pietzuch. Software reliability engineering is focused on engineering techniques for developing and maintaining software systems whose reliability can be quantitatively evaluated. Houston, tx pas, a leading supplier of human reliability software and services to the power and processing industries worldwide, today announced the release of integrity imoc, the next evolution in electronic management of change moc software.
A commonly used approach for measuring software reliability is by using an analytical model. As to a difficult problem of choosing parameters for support vector machine svm, this paper introduces particle swarm optimization pso to automatically optimize the parameters of svm, and constructs a. If you wish to be considered for this, please indicate so on your proposal. Our products have been in continuous development since 1986 and are used across the globe by companies ranging from the smallest consultancies to the largest multinational corporations. A software defect can be regarded as any failure to address enduser requirements. Icse, the international conference on software engineering, is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering. The fourth international conference on communication theory, reliability, and quality of service. Software reliability program plan tailored based on the risk level of the particular software release. It focuses on innovative methodologies, techniques, tools, management and applications in this challenging area, and exchange ideas on them. Our group publishes in top venues in the areas of software engineering, software testing and verification, computer systems and computer security.
The initial reliability performance of any system is actually determined by its design and component selection. The failures of safetycritical software may result in the serious loss of property and life, thus software reliability has become very demanding. Ardc provides a unique forum to discuss current best practices and realworld solutions. This book constitutes the refereed proceedings of the 16th adaeurope international conference on reliable software technologies, adaeurope 2011, held in edinburgh, uk, on june 2024, 2011. The commission is identifying opportunities to enhance operational efficiency in jurisdictional markets by encouraging public utilities, particularly rtos and isos, to consider the deployment of new modeling software for their market operations. Software reliability is the probability of failurefree software operation for a specified period of time in a specified environment. Asq software reliability model with bathtubshaped fault. Software reliability prediction model based on pso and svm. Static data race detection for interruptdriven embedded software. Proceedings of the 2011 26th ieeeacm international conference.
Software reliability is measured in dboc or days between oh. The research of the software reliability group srg at imperial college london focuses on designing novel techniques for improving the quality and dependability of software, with an emphasis on building practical tools for automatically finding software bugs, generating highquality test suites, verifying the absence of certain types of bugs. This project investigates how factors such as complexity metrics, churn, organizational structure, dependencies, and social networks relate to software defects and failures. This year, the steering committee made another landmark decision to change the name to international.
The reliability society is a technical society within the ieee, the worlds leading association for the advancement of technology. International symposium on software reliability engineering in 2011, explore presented research, speakers and authors of issre 2011. Software reliability prediction classifies software modules as faultprone modules and less faultprone modules at the early age of software development. Ability to assess the reliability of cots, foss, and contractor or subcontractor delivered software. Attendance at the symposium is a unique opportunity for the system safety engineer to learn new and innovative ideas proposed by complimentary disciplines and how these ideas can be leveraged to enhance their own system. In 2015, the sere conference ieee international conference on software security and reliability and the qsic conference ieee international conference on quality software were combined into a single conference, qrs, with q representing quality, r for reliability, and s for security, sponsored by the ieee reliability society. Serp11 the 2011 international conference on software engineering. We dont have any information on the conference date. Our products have been in continuous development since 1986 and are used across the globe by companies ranging from the smallest consultancies to the largest multi. Can you trust the results of your software even when it runs happily. June 20, 2011 pas releases an intelligent management of change solution for automation systems.
One of the goals of software architecture research is to analyze the reliability of a software system early in the development lifecycle. Study of software reliability prediction based on gr. It focuses on innovative methodologies, techniques, tools, management and applications. It provides a thorough understanding of the field and gives solutions to the decisionmaking problems that concern software developers, engineers, practitioners, scientists, and researchers. Swat, for automated web application testing using search based software testing.
Serp11 the 2011 international conference on software. Programming for reliability as we have seen, squeezing the last few bugs out of a system can be very costly. Isographs integrated software products provide a powerful and comprehensive suite of tools to solve complex reliability, safety and availability problems. This year, issre 2014 is organizing a special section in the ieee transactions on reliability, the premier quality journal in the reliability field. The objective is to analyze how these models and techniques affect the failure data to be observed, prerequisites to be met, and software. Proceedings of the 2011 ieee 22nd international symposium on software reliability engineering, pages 6069, ieee computer society, washington, dc, usa. In addition to software security and performance speed you can now measure your software reliability. Software reliability is heavily impacted by soft ware changes.
Conference on software testing, verification and validation icst 2011. Methods to analyze software failure modes and include software in a system fault tree analysis. Proceedings international symposium on software reliability. If we look a little closer at reliability and the phases of life of an asset, we can see why the eam settings must vary and not be fixed. Scientific conference calendar of conferences and meetings on software engineering. Professionals in reliability, durability, quality, maintenance, asset management and related engineering fields learn, connect, and share in these engaging, interactive events. Ssiri 2011 is the fifth annual conference technically sponsored by the ieee reliability society with a focus on software security and reliability. Software reliability assessment with or applications p. The international conference on software engineering icse, sponsored by ieee cs and acm, is the premier software engineering conference, where researchers, practitioners, and educators come together to present, discuss, and debate the most recent research results, innovations, trends, and concerns in the field of software engineering. The reason is that there is no way of knowing exactly how fast those pieces of code are executed. How to detect interrupt based data races is an important issue in the quality assurance for aerospace software.
However, permission to reprintrepublish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any ed component of this work in other. Srpp can be part of the reliability plan or part of. As an im study of software reliability prediction based on gr neural network ieee conference publication. This course or workshop will be designated an eacsl courseworkshop. July 1821, 2011 the worldcomp11 22 joint conferences. The purposes of task 32308, hardware and software reliability, are to examine reliability engineering in general and its impact on software reliability measurement, to develop improvements to existing software reliability modeling, and to identify the potential usefulness. Software reliability, safety and security methods software reuse and component engineering. Our group holds occasional seminars on a variety of topics related to software reliability, such as software engineering, testing and verification, computer systems, and security.
Ardc applied reliability and durability conference. Oct 03, 2016 methods to analyze software failure modes and include software in a system fault tree analysis. Since its start in 1983, icsm international conference on software maintenance has grown and developed into an international forum for software maintenance researchers and practitioners to examine key issues facing the software maintenance community. We are a volunteer group of professionals engaged in assuring reliability in the engineering disciplines of hardware, software, and human factors. A, etaps, european joint conferences on theory and practice of software. The 25th ieee international symposium on software reliability. A middleware for securing rubybased web applications. In this paper, we propose a tool named race checker that can statically detect data races for interruptdriven software. Software quality is defined as a field of study and practice that describes the desirable attributes of software products. We provide pdf versions and bibtex files for all our publications. Software reliability is also an important factor affecting system reliability. By analyzing the impacted method definitions and usages, we determine dependencies between changes, resulting in a change genealogy that captures how earlier changes enable and cause later ones. Authors of the accepted research papers of issre 2014 are invited to submit high quality papers describing the results of theoretical and experimental research in the software reliability area.
Hardware reliability is measured in mtbf or mean time between failures. Cs590f software reliability what is software reliability ieee 610. Topics of interest for submission include, but are not limited to. Conference papers publications software engineering chair. This allows the s automatic simulation to predict software architecture reliability ieee conference publication. Embedded code generation aiming at reliability in ieee international conference on hardwaresoftware codesign and system synthesis, 2011. As long as the computer industry and academia continue to worship the turing computing model as gods gift to humanity, we will never have bullet proof software. It brings together a wide range of researchers and practitioners to present their ongoing ideas, experiences, and outcomes of most recent research, and to exchange their bestofbreed practices for developing reliable, secure, and trustworthy software systems in a more effective and efficient way. June 2730, 2011, hong kong, china hase 2011 the th ieee international high assurance systems engineering symposium november 1012, 2011, boca raton, florida, usa issre 2011 the 22th annual international symposium on software reliability engineering november 29 december 2, 2011, hiroshima, japan. Fundamental approaches to software engineering 14th. However, permission to reprintrepublish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any ed component of this work in other works must first be.
Topics covered include fault avoidance, fault removal, and fault tolerance, along with statistical methods for the objective assessment of predictive accuracy. Software reliability engineering issre, 2011 ieee 22nd international. Software engineering calls for papers cfp for international conferences, workshops, meetings, seminars, events, journals and book chapters. Automatic simulation to predict software architecture. Revised ieee 1633 recommended practices for software. Based on the keynote of testbeds 2011, this presentation outlines the preliminary results of our work on methods for modeling graphical user interfaces guis and related frameworks for testing. This initiative is established in the commissions fy 20092014. Feb 15, 2015 can you trust the results of your software even when it runs happily.
Software reliability model with bathtubshaped fault detection rate. Do178c, is expected in 2011 and will most certainly offer more prescriptive guidelines to the certification of safety. Do178c, is expected in 2011 and will most certainly offer more prescriptive guidelines to the certification of safetycritical software. Influencing design practice to facilitate dependability assessment. This information is used to build prediction models that can help to prioritize tests. For most other systems, eventually you give up looking for faults and ship it. International conference on software maintenance and. Static data race detection for interruptdriven embedded. The reliability society provides a professional home for specialty engineering communities or disciplines covering not only reliability engineering, but also integrity, system safety, prognostics and health management phm testability, system security, human system interface his, human factors hf, maintainability, and supportability engineering disciplines, software engineering with a focus on trust, system security, privacy and cybersecurity. Getting your eam system to support reliability requires some firm understanding of what must happen.
Mining causeeffectchains from version histories ieee. How do hardware reliability and software reliability differ. This resulted in the establishment of an international conference on secure software integration and reliability improvement ssiri. The international applied reliability symposium is an international reliability and maintainability engineering conference that discusses practical efforts to apply reliability engineering principles and methods to meet realworld challenges in product development, operations and maintenance. Revised ieee 1633 recommended practices for software reliability. The qsic series of conferences provide a forum to bring together researchers and practitioners working towards improving the quality of software. This presentation will cover the key features of the ieee 1633 recommended practices for software reliability.
If you are doing research in any of these areas and would like to give a talk, please send us an email. Defines which software reliability engineering sre tasks are implemented for this program i. Program committee cochair, international conference on software engineering. Software reliability assessment with or applications is a comprehensive guide to software reliability measurement, prediction, and control. An embedded operating system design for the lunar exploration. For systems that require high reliability, this may still be a necessity.
471 119 1024 538 766 706 250 1355 1635 1599 1650 1274 418 180 1158 1068 588 99 1557 1063 437 792 184 430 1248 1118 597 1379 1487 1452 252 932 582 378 468 1260