The Community for Technology Leaders
2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (2013)
Pasadena, CA, USA
Nov. 4, 2013 to Nov. 7, 2013
ISBN: 978-1-4799-2552-0
TABLE OF CONTENTS

Author index (PDF)

pp. 1-22

Invited talk: How the Fundamental Assurance Question pervades certification (PDF)

Martin Feather , Jet Propulsion Laboratory, California Institute of Technology
pp. 1

Welcome letter (PDF)

pp. 1-3

Finding related events for specification mining (Abstract)

Ziying Dai , Coll. of Comput., Nat. Univ. of Defense Technol., Changsha, China
Xiaoguang Mao , Coll. of Comput., Nat. Univ. of Defense Technol., Changsha, China
Liqian Chen , Coll. of Comput., Nat. Univ. of Defense Technol., Changsha, China
Yan Lei , Coll. of Comput., Nat. Univ. of Defense Technol., Changsha, China
Yi Zhang , Naval Acad. of Armament, Beijing, China
pp. 1-2

Persistence of relevance: A missing issue in imperfect coverage models (Abstract)

Jianwen Xiang , Knowledge Discovery Res. Labs., NEC Corp., Kawasaki, Japan
Fumio Machida , Knowledge Discovery Res. Labs., NEC Corp., Kawasaki, Japan
Kumiko Tadano , Knowledge Discovery Res. Labs., NEC Corp., Kawasaki, Japan
Yoshiharu Maeno , Knowledge Discovery Res. Labs., NEC Corp., Kawasaki, Japan
pp. 3-4

Automated classification of NASA anomalies using natural language processing techniques (Abstract)

Davide Falessi , Fraunhofer CESE, College Park, MD, USA
Lucas Layman , Fraunhofer CESE, College Park, MD, USA
pp. 5-6

A study on the effectiveness of peer review meeting (Abstract)

Noriyoshi Kuno , Design Syst. Eng. Center, Mitsubishi Electr. Cooperation, Kamakura, Japan
Tsuyoshi Nakajima , Design Syst. Eng. Center, Mitsubishi Electr. Cooperation, Kamakura, Japan
Makoto Matsushita , Dept. of Comput. Sci., Osaka Univ., Suita, Japan
Katsuro Inoue , Dept. of Comput. Sci., Osaka Univ., Suita, Japan
pp. 7-8

Comparative analysis of Bayesian and classical approaches for software reliability measurement (Abstract)

T. Ketchiozo Wandji , Dept. of Eng. Manage. & Syst. Eng., George Washington Univ., Washington, DC, USA
Shahryar Sarkani , Dept. of Eng. Manage. & Syst. Eng., George Washington Univ., Washington, DC, USA
Timothy Eveleigh , Dept. of Eng. Manage. & Syst. Eng., George Washington Univ., Washington, DC, USA
Thomas H. Holzer , Dept. of Eng. Manage. & Syst. Eng., George Washington Univ., Washington, DC, USA
Peter A. Keiller , Dept. of Syst. & Comput. Sci., Howard Univ., Washington, DC, USA
pp. 9-10

Characteristic analysis of quantitative definition of resiliency measure (Abstract)

Chao Luo , Dept. of Inf. Eng., Hiroshima Univ., Higashi-Hiroshima, Japan
Hiroyuki Okamura , Dept. of Inf. Eng., Hiroshima Univ., Higashi-Hiroshima, Japan
Tadashi Dohi , Dept. of Inf. Eng., Hiroshima Univ., Higashi-Hiroshima, Japan
pp. 11-12

An initial evaluation of model-based testing (Abstract)

Vignir Gudmundsson , Sch. of Comput. Sci., Reykjavik Univ., Reykjavik, Iceland
Christoph Schulze , Fraunhofer CESE, College Park, MD, USA
Dharmalingam Ganesan , Fraunhofer CESE, College Park, MD, USA
Mikael Lindvall , Fraunhofer CESE, College Park, MD, USA
Robert Wiegand , NASA Goddard Space Flight Center, Greenbelt, MD, USA
pp. 13-14

Certification of embedded systems: Quantitative analysis and irrefutable evidences (Abstract)

Nuno Silva , Critical Software SA / University of Coimbra, Coimbra, Portugal
Marco Vieira , University of Coimbra, Coimbra, Portugal
pp. 15-16

Monitoring system calls for anomaly detection in modern operating systems (Abstract)

Shayan Eskandari , Software Behaviour Anal. (SBA) Res. Lab., Concordia Univ., Montreal, QC, Canada
Wael Khreich , Software Behaviour Anal. (SBA) Res. Lab., Concordia Univ., Montreal, QC, Canada
Syed Shariyar Murtaza , Software Behaviour Anal. (SBA) Res. Lab., Concordia Univ., Montreal, QC, Canada
Abdelwahab Hamou-Lhadj , Software Behaviour Anal. (SBA) Res. Lab., Concordia Univ., Montreal, QC, Canada
Mario Couture , Software Anal. & Robustness Group, Defence R&D Canada, Valcartier, QC, Canada
pp. 19-20

Non-operational testing of software for security issues (Abstract)

Shweta Subramani , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
Mladen Vouk , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
Laurie Williams , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
pp. 21-22

Using software reliability models for security assessment — Verification of assumptions (Abstract)

Da Young Lee , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
Mladen Vouk , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
Laurie Williams , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
pp. 23-24

Dependability of open systems (Abstract)

Yasuhiko Yokote , Keio Univ., Fujisawa, Japan
Tatsumi Nagayama , Symphony Co. Ltd., Kanagawa, Japan
pp. 25-35

International standardization of Open Systems Dependability (Abstract)

Hiroki Takamura , Dependable Embedded OS R&D Center, Japan Sci. & Technol. Agency (JST), Tokyo, Japan
pp. 46

Radio Diagnostic tool: IDoctor (Abstract)

Wei Hoo Chong , Motorola Solutions Sdn. Bhd., Bayan Lepas, Malaysia
pp. 47-48

A novel mechanism to continuously scan field logs and gain real-time feedback (Abstract)

Kishore Vinod , Philips Electron. India Ltd., Bangalore, India
Manjunath Ramachandra , Philips Electron. India Ltd., Bangalore, India
Prashanth Pai , Philips Electron. India Ltd., Bangalore, India
Santosh Yalawar , Philips Electron. India Ltd., Bangalore, India
pp. 50-52

Using capture-recapture models to make objective post-inspection decisions (Abstract)

Gursimran S. Walia , Comput. Sci. Dept., North Dakota State Univ., Fargo, ND, USA
Jeffrey C. Carver , Comput. Sci. Dept., Univ. of Alabama, Tuscaloosa, AL, USA
pp. 54

Design of a dependable peer-to-peer system for numerical optimization (Abstract)

Hrishikesh Dewan , Siemens Corp. Technol. & Dev., Bangalore, India
Raksha B. Nayak , Siemens Corp. Technol. & Dev., Bangalore, India
pp. 56

Smart defect classification for better analysis using tagging mechanisms (Abstract)

Seema Meena , IBM India Pvt, Ltd., India
Uma M. Balasubramani , IBM India Pvt, Ltd., India
pp. 57

Directed graph as a model for unit testing (Abstract)

Lakshmankumar Mukkavilli , Microsoft, Redmond, WA, USA
pp. 58

Automating software validation of a GPON network (Abstract)

Aline C. Fadel , FT, Sch. of Technol., UNICAMP, Limeira, Brazil
Regina Moraes , FT, Sch. of Technol., UNICAMP, Limeira, Brazil
Paulo Martins , FT, Sch. of Technol., UNICAMP, Limeira, Brazil
Eliane Martins , Inst. of Comput. Sci. - IC/UNICAMP, Campinas, Brazil
pp. 59

Predicting multi-platform release quality (Abstract)

Pete Rotella , Cisco Syst., Inc., San Jose, CA, USA
Satyabrata Pradhan , Cisco Syst., Inc., San Jose, CA, USA
pp. 60

Detection of missing requirements using base requirements pairs (Abstract)

Arbi Ghazarian , Dept. of Eng. & Comput. Syst., Arizona State Univ., Tempe, AZ, USA
pp. 61-80

Reliability feedback through system log analysis (Abstract)

Kishore Vinod , Philips Electron. India Ltd., Bangalore, India
Pattabhirama Pandit , Philips Electron. India Ltd., Bangalore, India
Manjunath Ramachandra , Philips Electron. India Ltd., Bangalore, India
pp. 82-83

Fault-class-aware fault tree generation and analysis (Abstract)

Lorraine M. Fesq , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
John C. Day , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
pp. 84

Modeling of Failure detection and recovery in SysML (Abstract)

Myron Hecht , Aerosp. Corp., El Segundo, CA, USA
Jeanne Tamaki , Aerosp. Corp., El Segundo, CA, USA
Derek Lo , Aerosp. Corp., El Segundo, CA, USA
pp. 85-95

A statistical approach for software resource leak detection and prediction (Abstract)

Jinghui Li , Huawei Technol. Co., Ltd., Shenzhen, China
Xuewen Gong , Huawei Technol. Co., Ltd., Shenzhen, China
Jianqing Yuan , Huawei Technol. Co., Ltd., Shenzhen, China
pp. 96

Space systems modeling using the Architecture Analysis & Design Language (AADL) (Abstract)

Michela Munoz , NASA Jet Propulsion Lab., Caltech, Pasadena, CA, USA
pp. 97-98

Diagnosing development software release to predict field failures (Abstract)

Kishore Vinod , Philips Electron. India Ltd., Bangalore, India
Manjunath Ramachandra , Philips Electron. India Ltd., Bangalore, India
Santosh Yalawar , Philips Electron. India Ltd., Bangalore, India
Pattabhirama Pandit , Philips Electron. India Ltd., Bangalore, India
pp. 99-101

Predicting field experience of releases on specific platforms (Abstract)

Pete Rotella , Cisco Syst., Inc., San Jose, CA, USA
Devesh Goyal , Cisco Syst., Inc., San Jose, CA, USA
Sunita Chulani , Cisco Syst., Inc., San Jose, CA, USA
pp. 105

Forensic study of the Curiosity Flight Software anomalies (Abstract)

Ron Morillo , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
John Lai , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
Leila Meshkat , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
pp. 106

Using error information to improve software quality (Abstract)

Gursimran S. Walia , Comput. Sci. Dept., North Dakota State Univ., Fargo, ND, USA
Jeffrey C. Carver , Comput. Sci. Dept., Univ. of Alabama, Tuscaloosa, AL, USA
pp. 107

Mining A change history to quickly identify bug locations : A case study of the Eclipse project (Abstract)

Chakkrit Tantithamthavorn , Grad. Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Nara, Japan
Rattamont Teekavanich , Dept. of Comput. Eng., Kasetsart Univ., Bangkok, Thailand
Akinori Ihara , Grad. Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Nara, Japan
Ken-ichi Matsumoto , Grad. Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Nara, Japan
pp. 108-113

Coincidental correctness: An interference or interface to successful fault localization? (Abstract)

Zheng Zheng , Sch. of Autom. Sci. & Electr. Eng., Beihang Univ., Beijing, China
Yichao Gao , Sch. of Autom. Sci. & Electr. Eng., Beihang Univ., Beijing, China
Peng Hao , Sch. of Autom. Sci. & Electr. Eng., Beihang Univ., Beijing, China
Zhenyu Zhang , Inst. of Software, Beijing, China
pp. 114-119

Cues for scent intensification in debugging (Abstract)

Alexandre Perez , Dept. of Inf. Eng., Univ. of Porto, Porto, Portugal
Rui Abreu , Dept. of Inf. Eng., Univ. of Porto, Porto, Portugal
pp. 120-125

Bug localisation through diverse sources of information (Abstract)

Steven Davies , Comput. & Inf. Sci., Univ. of Strathclyde, Glasgow, UK
Marc Roper , Comput. & Inf. Sci., Univ. of Strathclyde, Glasgow, UK
pp. 126-131

Mutation-based spreadsheet debugging (Abstract)

Birgit Hofer , Inst. for Software Technol., Graz Univ. of Technol., Graz, Austria
Franz Wotawa , Inst. for Software Technol., Graz Univ. of Technol., Graz, Austria
pp. 132-137

An empirical study on clustering for isolating bugs in fault localization (Abstract)

Yanqin Huang , State Key Lab. for Novel Software Technol., Nanjing Univ., Nanjing, China
Junhua Wu , Sch. of Comput. Sci. & Eng., Southeast Univ., Nanjing, China
Yang Feng , State Key Lab. for Novel Software Technol., Nanjing Univ., Nanjing, China
Zhenyu Chen , State Key Lab. for Novel Software Technol., Nanjing Univ., Nanjing, China
Zhihong Zhao , State Key Lab. for Novel Software Technol., Nanjing Univ., Nanjing, China
pp. 138-143

Program behavior characterization and clustering: An empirical study for failure clustering (Abstract)

Danqing Zhang , Sch. of Software Eng., Tongji Univ., Shanghai, China
Jianhui Jiang , Sch. of Software Eng., Tongji Univ., Shanghai, China
Linbo Chen , Sch. of Software Eng., Tongji Univ., Shanghai, China
pp. 144-149

Scalable isolation of failure-inducing changes via version comparison (Abstract)

Mohammadreza Ghanavati , Inst. of Comput. Sci., Heidelberg Univ., Heidelberg, Germany
Artur Andrzejak , Inst. of Comput. Sci., Heidelberg Univ., Heidelberg, Germany
Zhen Dong , Inst. of Comput. Sci., Heidelberg Univ., Heidelberg, Germany
pp. 150-156

Improving the accuracy of static analysis based on state partition (Abstract)

Dalin Zhang , State Key Lab. of Networking & Switching Technol., Beijing Univ. of Posts & Telecommun., Beijing, China
Hailong Zhang , State Key Lab. of Networking & Switching Technol., Beijing Univ. of Posts & Telecommun., Beijing, China
Dahai Jin , State Key Lab. of Networking & Switching Technol., Beijing Univ. of Posts & Telecommun., Beijing, China
Yunzhan Gong , State Key Lab. of Networking & Switching Technol., Beijing Univ. of Posts & Telecommun., Beijing, China
pp. 157-161

Automated diagnosis of software misconfigurations based on static analysis (Abstract)

Zhen Dong , Inst. of Comput. Sci., Heidelberg Univ., Heidelberg, Germany
Mohammadreza Ghanavati , Inst. of Comput. Sci., Heidelberg Univ., Heidelberg, Germany
Artur Andrzejak , Inst. of Comput. Sci., Heidelberg Univ., Heidelberg, Germany
pp. 162-168

An extended notation of FTA for risk assessment of software-intensive medical devices.: Recognition of the risk class before and after the risk control measure (Abstract)

Yoshio Sakai , Eng. Promotion Center, NIHON KOHDEN Corp., Tokyo, Japan
Seiko Shirasaka , Grad. Sch. of Syst. Design & Manage., KEIO Univ., Yokohama, Japan
Yasuharu Nishi , Dept. of Syst. Eng., Univ. of Electro-Commun., Chofu, Japan
pp. 211-216

Safety assessment of software-intensive medical devices: Introducing a safety quality model approach (Abstract)

Rasmus Adler , Dept.: Embedded Syst. Quality Assurance, Fraunhofer IESE, Kaiserslautern, Germany
Soren Kemmann , Dept.: Embedded Syst. Quality Assurance, Fraunhofer IESE, Kaiserslautern, Germany
Djalma de Melo Carvalho Filho , Dept. of Electr. Eng. & Comput. Sci., State Univ. of Paraiba, Campina Grande, Brazil
Jose Augusto Oliveira Neto , Dept. of Electr. Eng. & Comput. Sci., State Univ. of Paraiba, Campina Grande, Brazil
pp. 217-222

Testing distortion estimations in Retinal Prostheses (Abstract)

M. Subramaniam , Comput. Sci. Dept., Univ. of Nebraska, Omaha, NE, USA
P. Chundi , Comput. Sci. Dept., Univ. of Nebraska, Omaha, NE, USA
A. Muthuraj , Comput. Sci. Dept., Univ. of Nebraska, Omaha, NE, USA
E. Margalit , Med. Center, Visual Sci. Dept., Univ. of Nebraska, Lincoln, NE, USA
pp. 223-242

Performance degradation analysis of a supercomputer (Abstract)

Domenico Cotroneo , Dipt. di Ing. Elettr. e delle Tecnol. dell'Inf., Univ. degli Studi di Napoli Federico II, Naples, Italy
Flavio Frattini , Dipt. di Ing. Elettr. e delle Tecnol. dell'Inf., Univ. degli Studi di Napoli Federico II, Naples, Italy
Roberto Natella , Dipt. di Ing. Elettr. e delle Tecnol. dell'Inf., Univ. degli Studi di Napoli Federico II, Naples, Italy
Roberto Pietrantuono , Dipt. di Ing. Elettr. e delle Tecnol. dell'Inf., Univ. degli Studi di Napoli Federico II, Naples, Italy
pp. 263-268

On the effectiveness of Mann-Kendall test for detection of software aging (Abstract)

Fumio Machida , Knowledge Discovery Res. Lab., NEC Corp., Kawasaki, Japan
Artur Andrzejak , Inst. of Comput. Sci., Heidelberg Univ., Heidelberg, Germany
Rivalino Matias , Sch. of Comput. Sci., Fed. Univ. of Uberlandia, Uberlandia, Brazil
Elder Vicente , Sch. of Comput. Sci., Fed. Univ. of Uberlandia, Uberlandia, Brazil
pp. 269-274

Software rejuvenation impacts on a phased-mission system for Mars exploration (Abstract)

Stefano Ballerini , Dipt. di Ing. dell'Inf., Univ. di Firenze, Florence, Italy
Laura Carnevali , Dipt. di Ing. dell'Inf., Univ. di Firenze, Florence, Italy
Marco Paolieri , Dipt. di Ing. dell'Inf., Univ. di Firenze, Florence, Italy
Kumiko Tadano , Knowledge Discovery Res. Labs., NEC, Japan
Fumio Machida , Knowledge Discovery Res. Labs., NEC, Japan
pp. 275-280

Estimating response time distribution of server application in software aging phenomenon (Abstract)

Hiroyuki Okamura , Dept. of Inf. Eng., Hiroshima Univ., Higashi-Hiroshima, Japan
Chao Luo , Dept. of Inf. Eng., Hiroshima Univ., Higashi-Hiroshima, Japan
Tadashi Dohi , Dept. of Inf. Eng., Hiroshima Univ., Higashi-Hiroshima, Japan
pp. 281-284

Comparing four case studies on Bohr-Mandel characteristics using ODC (Abstract)

Ram Chillarege , Chillarege Inc., Raleigh, NC, USA
pp. 285-289

Identifying silent failures of SaaS services using finite state machine based invariant analysis (Abstract)

Geetika Goel , Next Gen Comput. Lab., Infosys Labs., Bangalore, India
Arpan Roy , Next Gen Comput. Lab., Infosys Labs., Bangalore, India
Rajeshwari Ganesan , Next Gen Comput. Lab., Infosys Labs., Bangalore, India
pp. 290-295

A new method of consensus building for open systems dependability (Abstract)

Yukiko Yanagisawa , Dev. Dept., Symphony Co., Ltd., Tokyo, Japan
Takashi Ito , Dev. Dept., Symphony Co., Ltd., Tokyo, Japan
Makoto Takeyama , Dept. of Inf. Sci., Kanagawa Univ., Yokohama, Japan
Yasuhiko Yokote , Grad. Sch. of Media & Governance, Keio Univ., Yokohama, Japan
pp. 296-302

A chain of accountabilities in open systems based on assured entrustments (Abstract)

Makoto Hirai , Dept. of Inf. Sci., Kanagawa Univ., Hiratsuka, Japan
Yoshifumi Yuasa , Dept. of Inf. Sci., Kanagawa Univ., Hiratsuka, Japan
Yoshiki Kinoshita , Dept. of Inf. Sci., Kanagawa Univ., Hiratsuka, Japan
pp. 303-310

A method for assuring service grade with Assurance case: An experiment on a portal service (Abstract)

Miki Masumoto , Grad. Sch. of Inf. Sci., Nagoya Univ., Nagoya, Japan
Tatsuya Tokuno , Grad. Sch. of Inf. Sci., Nagoya Univ., Nagoya, Japan
Shuichiro Yanamoto , Strategy Office, Inf. & Commun., Nagoya Univ., Nagoya, Japan
pp. 311-314

A comparative study of d∗framework and GSN (Abstract)

Takuya Saruwatari , Grad. Sch. of Inf. Sci., Nagoya Univ., Nagoya, Japan
Shuichiro Yamamoto , Inf. & Commun., Nagoya Univ., Nagoya, Japan
Yutaka Matsuno , Grad. Sch. of Inf. Syst., Univ. of Electro-Commun., Chofu, Japan
pp. 315-320

Exploring possibilities to analyse microblogs for dependability information in variability-intensive open source software systems (Abstract)

Matthias Galster , Univ. of Canterbury, Christchurch, New Zealand
Dan Tofan , Univ. of Groningen, Groningen, Netherlands
pp. 321-325

D-Script : Dependable scripting with DEOS process (Abstract)

Kimio Kuramtisu , JST/CREST/DEOS Project, Yokohama Nat. Univ., Yokohama, Japan
pp. 326-330

Qualitative comparison of aerospace standards: An objective approach (Abstract)

Andrea Ceccarelli , Consorzio Interuniversitario Naz. per l'Inf., Univ. of Firenze, Florence, Italy
Nuno Silva , Critical Software S.A., Coimbra, Portugal
pp. 331-336

Accelerated reliability testing approach for high-reliablity software based on the reinforced operational profile (Abstract)

Qiuying Li , Sch. of reliability & Syst. Eng., Beihang Univ., Beijing, China
Lei Luo , Sch. of reliability & Syst. Eng., Beihang Univ., Beijing, China
Jian Wang , Sch. of reliability & Syst. Eng., Beihang Univ., Beijing, China
pp. 337-342

An improved SFMEA method integrated with assistive techniques (Abstract)

Xu Lili , Sch. of Reliability & Syst. Eng., Beihang Univ., Beijing, China
Zhang Hong , Sch. of Reliability & Syst. Eng., Beihang Univ., Beijing, China
pp. 343-348

Requirements engineering in rail transit production: An experience report (Abstract)

Fernanda Buonanno , AnsaldoBreda S.p.A., Naples, Italy
Domenico Di Leo , DIETI, Univ. degli Studi di Napoli Federico II, Naples, Italy
Paolo di Paolo , AnsaldoBreda S.p.A., Naples, Italy
Roberto Pietrantuono , DIETI, Univ. degli Studi di Napoli Federico II, Naples, Italy
Stefano Russo , DIETI, Univ. degli Studi di Napoli Federico II, Naples, Italy
pp. 349-352

Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems (Abstract)

Michael Roth , Dept. Software Eng.: Dependability, Tech. Univ. of Kaiserslautern, Kaiserslautern, Germany
Peter Liggesmeyer , Fraunhofer Inst. for Exp. Software Eng., Kaiserslautern, Germany
pp. 353-358

Strong and weak contract formalism for third-party component reuse (Abstract)

Irfan Sljivo , Malardalen Real-Time Res. Centre, Malardalen Univ., Vasteras, Sweden
Barbara Gallina , Malardalen Real-Time Res. Centre, Malardalen Univ., Vasteras, Sweden
Jan Carlson , Malardalen Real-Time Res. Centre, Malardalen Univ., Vasteras, Sweden
Hans Hansson , Malardalen Real-Time Res. Centre, Malardalen Univ., Vasteras, Sweden
pp. 359-364

Safety contract based design of software components (Abstract)

Andreas Soderberg , SP Electron., SP Tech. Res. Inst. of Sweden, Sweden
Rolf Johansson , SP Electron., SP Tech. Res. Inst. of Sweden, Sweden
pp. 365-370

A monitoring and testing framework for critical off-the-shelf applications and services (Abstract)

Nuno Antunes , Dept. of Inf. Eng., Univ. of Coimbra, Coimbra, Portugal
Francesco Brancati , Resiltech S.r.l., Pontedera, Italy
Andrea Ceccarelli , Consorzio Interuniversitario Naz. per l'Inf., Univ. of Florence, Florence, Italy
Andrea Bondavalli , Consorzio Interuniversitario Naz. per l'Inf., Univ. of Florence, Florence, Italy
Marco Vieira , Dept. of Inf. Eng., Univ. of Coimbra, Coimbra, Portugal
pp. 371-374

Evidence arguments for using formal methods in software certification (Abstract)

Ewen Denney , SGT/NASA Ames Res. Center, Moffett Field, CA, USA
Ganesh Pai , SGT/NASA Ames Res. Center, Moffett Field, CA, USA
pp. 375-380

Reference architecture for high dependability on-board computers (Abstract)

Nuno Silva , Critical Software S.A., Coimbra, Portugal
Alexandre Esper , Critical Software S.A., Coimbra, Portugal
Ricardo Barbosa , Critical Software S.A., Coimbra, Portugal
Johan Zandin , RUAG Space AB, Gothenburg, Sweden
Claudio Monteleone , Eur. Space Agency, ESTEC, Noordwijk, Netherlands
pp. 381-386

Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence (Abstract)

S. Grigorova , Dept. of Comput. & Software, McMaster Univ., Hamilton, ON, Canada
T. S. E. Maibaum , Dept. of Comput. & Software, McMaster Univ., Hamilton, ON, Canada
pp. 387-390
81 ms
(Ver 3.3 (11022016))