The 5th Embedded Software Reliability Workshop (ESR 2011)
Wednesday, Nov 30: 1:00pm - 1:30pm
Overview and Structure
Ram Chillarege and Katsutoshi Shintani, Workshop Co-chairs
Wednesday, Nov 30: 1:30pm - 3:00pm
Lead Talks 1-3
- OPEN SYSTEMS DEPENDABILITY: A NEW APPROACH TO ATTAIN DDEPENDABILITY OF EVER-CHANGING SOFTWARE SYSTEMS
Mario Tokoro Presentation_pdf - STANDARDIZATION OF OPEN SYSTEMS DEPENDABILITY
Hiroki Takamura Presentation_pdf - A TOOL SET FOR INTEGRATED SOFTWARE AND HARDWARE DEPENDABILITY ANALYSIS USING THE ARCHITECTURE ANALYIS AND DESIGN LANGUAGE (AADL) AND ERROR MODEL ANNEX
Myron J. Hecht Presentation_pdf
Lead Talks 4-6
- PRACTICAL APPLICATION OF THE SOFTWARE RELIABILITY ASSESSMENT METHOD
Takaji Fujiwara - EMBEDDED OSS RELIABILITY ANALYSIS BASED ON STOCHASTIC DIFFERENTIAL EQUATION MODEL FOR PORTING PHASE
Yoshinobu Tamura Presentation_pdf - MODEL BASED TESTING
Robert Binder
Panel Discussion
The 5th Embedded Software Reliability Workshop Program
ABSTRACTS: ESR 2011 Wednesday Nov. 30, 2011.
Lead Talks 1-3: Wednesday Nov. 30 at 1:30pm - 3:00pm
1. Open Systems Dependability: A New Approach to Attain Dependability of Ever-changing Software Systems
Mario Tokoro Software systems inevitably involve incompleteness and uncertainty: incompleteness due to incomplete specifications and implementation, which can be amplified by system revision, and unpredictability due to requirement and environmental changes, unexpected use, and attacks across networks. Therefore, they should be treated as open systems whose functions and boundaries are changing all the time. In this speech, a new approach to attain dependability of huge and complex software systems is discussed and the notion of Open Systems Dependability is proposed. The DEOS process that integrates processes for development, operation, and continuous revision is given with the architecture which realizes the system.2. Standardization of Open Systems Dependability
Hiroki Takamura In this talk, we explain our activities for establishing international standard of Open Systems Dependability. First, we will explain international standards that related to dependability. Next, we explain our current main activities; 1. The IEC 60300 series international standards define the concept of dependability management. IEC 60300-1 is being revised and we are now participating in this revision activity as experts to add our Open Systems perspective. The next CD3 document will include our perspective. 2. ISO/IEC 15026 is the international standard for defining integrity levels for reducing or managing risks. "Integrity level" is a general concept encompassing safety integrity level (SIL). ISO/IEC 15026 is now being revised for system and software assurance. We have joined this revision activity as editors. 3. In IEC TC56, toward the international standard of dependability case is proposed by UK. We actively comment this proposal and our comment will include next CD. Finally, we explain our Open System Dependability standard which will be proposed next IEC TC56 Spring meeting.3. A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex
Myron J. Hecht Cyberphysical (embedded) computer system availability and reliability can be modelled and assessed using the Architecture Analysis and Design Language (AADL) and its Error Model Annex. AADL can represent systems at multiple levels of abstraction. Therefore, analyses can be performed early and often throughout the development process thereby minimizing the cost and schedule impact of changes. We discuss how the AADL and its Error Model Annex can be used for automated generation of a reliability/dependability model. We then describe a tool set to graphically create AADL system architecture and error behavior files that are then transformed into Stochastic Petri Nets (SPN) and Stochastic Activity Network (SAN) representations and demonstrate its use using a generic satellite as an example.Lead Talks 4-6: Wednesday Nov. 30 at 3:30pm - 4:45pm
4. Practical Application of the Software Reliability Assessment Method
Takaji Fujiwara The assessment method used software reliability growth models has been widely and successfully applied to the large-scale ICT system or embedded software development. Actually, this method has needed to solve many problems, in order to apply to software/system development projects. Then, by having solved some problems, general project managers or developers have become to be able to evaluate the reliability of testing-objective software as experts. Furthermore, Fujiwara et al. have proposed the calculation method of the software's safety integrity levels in the functional safety standards by extending this. However, since unsolved problems still exist really, I would like to propose here and to try solution.5. Embedded OSS Reliability Analysis Based on Stochastic Differential Equation Model for Porting Phase
Yoshinobu Tamura Open source software systems which serve as key components of critical infrastructures in the society are still ever-expanding now. We propose a method of software reliability assessment based on stochastic differential equations considering the component collision. Also, we analyze actual software fault-count data to show numerical examples of software reliability assessment for the porting phase of an embedded open source software.6. Model Based Testing: Engineering Overview
Robert Binder This brief presentation provides an overview of model-based testing. First, it shows how a test model may be derived from a design model and how a test suite may then be produced from the test model. The key elements of automation of model-based testing are discussed. Next, the presentation shows how feedback from automated model-based testing may be used to improve quality and reliability. The highlights of a recent survey of model-based testing users are presented, including the impact of common problems and the effect of MBT on time, cost, and quality.Panel Discussion, Wednesday Nov. 30 at 4:45p`m - 5:30pm
ESR Workshops.. history.
This is the fifth year in a row that we conduct the Embedded Software Reliability Workshop (ESR) at ISSRE. This workshop will bring together experts from industry verticals to discuss the methods, practices and tools to develop embedded software with greater efficiency and quality. The workshop will feature a select set of talks, a panel, followed by breakout discussions with focus on achieving better reliability and higher quality embedded software.
This workshop format is specifically designed to be highly interactive. Thus, each of the participants will have an opportunity to get your ideas heard through our break-out sessions. The lead talks take us through a few current and topical issues. The panel session gives all of us an opportunity to raise questions and discuss as a group. The breakout session is organized as small groups of 3-5 people where each group will discuss a particular theme that is decided towards the end of the pane. At the end of the breakout, each group presents is findings in a 3-5 minute summary slide.
Organizers:
Ram Chillarege, Workshop co-chair ram (@) chillarege.com
Katsu Shintani, Workshop co-chair k-shinta (@) ipa.go.jp
