Certifications of Critical Systems - The CECRIS Experience.

In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a lar...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Bondavalli, Andrea
Otros Autores: Brancati, Francesco
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Aalborg : River Publishers, 2017.
Colección:River Publishers series in information science and technology.
Temas:
Electronic digital computers.
Electronic digital computers > Reliability.
Computers
Ordinateurs.
computers.
TECHNOLOGY > Automation.
COMPUTERS > Data Processing > Parallel Processing.
Electronic digital computers
Electronic digital computers > Reliability
Electronic books.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Machine generated contents note: 1.1. Introduction / Nuno Silva / Andrea Ceccarelli
  • 1.1.1. Contribution / Nuno Silva / Andrea Ceccarelli
  • 1.2. State of the Art on Gap Analysis in the ICT World / Nuno Silva / Andrea Ceccarelli
  • 1.3. Overview of the Framework and Methodology / Nuno Silva / Andrea Ceccarelli
  • 1.3.1. Framework / Nuno Silva / Andrea Ceccarelli
  • 1.3.1.1. Processes / Nuno Silva / Andrea Ceccarelli
  • 1.3.1.2. Techniques and tools / Nuno Silva / Andrea Ceccarelli
  • 1.3.1.3. Personnel / Nuno Silva / Andrea Ceccarelli
  • 1.3.2. Methodology to Exercise the Framework / Nuno Silva / Andrea Ceccarelli
  • 1.4. Dataset Structure and Population / Nuno Silva / Andrea Ceccarelli
  • 1.4.1. Dataset Structure / Nuno Silva / Andrea Ceccarelli
  • 1.4.2. Population of the Dataset / Nuno Silva / Andrea Ceccarelli
  • 1.5. Metrics for Gap Analysis / Nuno Silva / Andrea Ceccarelli
  • 1.5.1. Qualitative Indications / Nuno Silva / Andrea Ceccarelli
  • 1.5.2. Quantitative Indication / Nuno Silva / Andrea Ceccarelli
  • 1.5.3. Driving Conclusions / Nuno Silva / Andrea Ceccarelli
  • 1.6. Case Study and Gap Analysis for DO-178B / Nuno Silva / Andrea Ceccarelli
  • 1.6.1. Matching of DO-178B Techniques and Company's Techniques / Nuno Silva / Andrea Ceccarelli
  • 1.6.2. Acquire Data from Personnel / Nuno Silva / Andrea Ceccarelli
  • 1.6.3. Analyze the Data: Techniques / Nuno Silva / Andrea Ceccarelli
  • 1.6.4. Analyze the Data: Tools / Nuno Silva / Andrea Ceccarelli
  • 1.6.5. Conclusive Recommendations and Feedbacks / Andrea Ceccarelli / Nuno Silva
  • 1.7. Discussion about the Gap Analysis Framework / Nuno Silva / Andrea Ceccarelli
  • 1.7.1. Application to the Moving Process / Nuno Silva / Andrea Ceccarelli
  • 1.7.2. Time and Cost / Nuno Silva / Andrea Ceccarelli
  • 1.7.3. Effectiveness and Reactions / Nuno Silva / Andrea Ceccarelli
  • 1.7.4. Replacement Techniques / Nuno Silva / Andrea Ceccarelli
  • 1.7.5. Different Approaches to Compliance / Nuno Silva / Andrea Ceccarelli
  • 1.7.6. Questionnaire Assessment and Bias / Nuno Silva / Andrea Ceccarelli
  • 1.8. Conclusions / Nuno Silva / Andrea Ceccarelli
  • References / Nuno Silva / Andrea Ceccarelli
  • 2.1. Introduction / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.2. Background: MDE / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.2.1. MDA Viewpoints and Views / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.3. Maturity of MDE / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.4. Model-Driven Methodology for Prolan / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.4.1. Experimentation within A Pilot Project / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.4.2. System Requirements Specification / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.4.3. System Design / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.4.4. Component Design / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.4.4.1. Implementation / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.4.5. Validation Design / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.4.6. Integration Verification Design / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.4.7. Component Verification Design / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.4.8. Model-Driven V & V Subprocess / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.5. Environment System Validation / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.6. Experimenting the CIT / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 2.7. Lesson Learned / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • References / Fabio Scippacercola / Stefano Russo / Andras Zentai
  • 3.1. Introduction / Arun Babu Puthuparambil / Andrea Ceccarelli / Andrea Bondavalli / Francesco Brancati
  • 3.1.1. Goal / Arun Babu Puthuparambil / Andrea Ceccarelli / Andrea Bondavalli / Francesco Brancati
  • 3.1.2. Blockly Customization / Arun Babu Puthuparambil / Andrea Ceccarelli / Andrea Bondavalli / Francesco Brancati
  • 3.1.3. Model Transformation / Arun Babu Puthuparambil / Andrea Ceccarelli / Andrea Bondavalli / Francesco Brancati
  • 3.1.4. Requirements Management / Arun Babu Puthuparambil / Andrea Ceccarelli / Andrea Bondavalli / Francesco Brancati
  • 3.1.5. MDE Flow / Arun Babu Puthuparambil / Andrea Ceccarelli / Andrea Bondavalli / Francesco Brancati
  • 3.1.6. Guiding and Warning Users / Arun Babu Puthuparambil / Andrea Ceccarelli / Andrea Bondavalli / Francesco Brancati
  • 3.1.7. Modular Design and Viewpoints / Arun Babu Puthuparambil / Andrea Ceccarelli / Andrea Bondavalli / Francesco Brancati
  • 3.1.8. Model Querying / Arun Babu Puthuparambil / Andrea Ceccarelli / Andrea Bondavalli / Francesco Brancati
  • 3.1.9. Code Generation and Export to P1antUML / Arun Babu Puthuparambil / Andrea Ceccarelli / Andrea Bondavalli / Francesco Brancati
  • 3.1.10. Simulation / Arun Babu Puthuparambil / Francesco Brancati / Andrea Bondavalli / Andrea Ceccarelli
  • 3.1.11. Conclusion and Future Work / Arun Babu Puthuparambil / Andrea Ceccarelli / Andrea Bondavalli / Francesco Brancati
  • 4.1. Introduction / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.2. Background / Marco Vieira / Joao Carlos Cunha / Francisco Moreira / Nuno Silva
  • 4.2.1. Orthogonal Defect Classification / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.2.2. Independent Software Verification and Validation (ISVV) / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.2.3. Related Work / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.3. Defects Assessment Process / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.3.1. Procedure Prerequisites / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.3.2. Defects Classification / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.3.3. Defects Root Cause Analysis / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.3.4. Improvements and Validation / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.4. Results / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.4.1. Characterization of the Systems / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.4.2. Defects in the Dataset / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.4.3. Enhanced ODC Results / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.4.4. Enhanced ODC Defect Impact Analysis / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.4.4.1. Type vs. Impact / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.4.4.2. Trigger vs.
  • Impact / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 4.4.5. Consolidation of the Root Cause Analysis and Proposed Improvements / Marco Vieira / Joao Carlos Cunha / Francisco Moreira / Nuno Silva
  • 4.5. Conclusions / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • References / Nuno Silva / Marco Vieira / Joao Carlos Cunha / Francisco Moreira
  • 5.1. Introduction / Arun Babu Puthuparambil / Lorenzo Vinerbi
  • 5.1.1. Brief Introduction on DOORS / Arun Babu Puthuparambil / Lorenzo Vinerbi
  • 5.2. Approach / Arun Babu Puthuparambil / Lorenzo Vinerbi
  • 5.3. Case Study / Arun Babu Puthuparambil / Lorenzo Vinerbi
  • 5.4. Conclusion / Arun Babu Puthuparambil / Lorenzo Vinerbi
  • 5.5. Tool Screenshots / Arun Babu Puthuparambil / Lorenzo Vinerbi
  • References / Arun Babu Puthuparambil / Lorenzo Vinerbi
  • 6.1. Introduction / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.1.1. ISVV Workflow / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.1.2. Objectives / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.1.3. Approach / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.2. Construction of the ISVV Specific Cost Estimator / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.2.1. Structure of the Cost Predictor / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.2.2. Cost Drivers / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.2.3. Focal Problems in Predicting Costs for ISVV / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.2.4. Factor Reusability for ISVV-Related CE / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • Note continued: 6.2.5. Human and Organizational Factors / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.2.6. Motivating Example: Testing / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.3. Experimental Results / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.3.1. Faithfulness of the Results / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.3.2. Sensitivity Analysis / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.3.3. Pilot Use Case for Project Management / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.4. Case Studies / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.4.1. Complexity Factors / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.4.2. Cost Impact of Requirement Management / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.4.3. Automated Analysis for Factor Selection / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.4.4. Quality Maintenance Across Project Phases / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.4.5. Fault Density and Input Complexity / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 6.5. Conclusions / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • References / Andras Pataricza / Laszlo Gonczy / Francesco Brancati / Francisco Moreira / Nuno Silva / Rosaria Esposito / Andrea Bondavalli / Alexandre Esper
  • 7.1. Introduction / Andras Pataricza / Imre Kocsis / Francesco Brancati / Lorenzo Vinerbi / Andrea Bondavalli
  • 7.2. Objective / Andras Pataricza / Imre Kocsis / Francesco Brancati / Lorenzo Vinerbi / Andrea Bondavalli
  • 7.3. ReqIF and Modeling / Andras Pataricza / Imre Kocsis / Francesco Brancati / Lorenzo Vinerbi / Andrea Bondavalli
  • 7.3.1. Domain Conceptualization / Andras Pataricza / Imre Kocsis / Francesco Brancati / Lorenzo Vinerbi / Andrea Bondavalli
  • 7.3.2. Integration with Existing Practice of ISVV / Andras Pataricza / Imre Kocsis / Francesco Brancati / Lorenzo Vinerbi / Andrea Bondavalli
  • 7.4. Requirement Change Propagation / Andras Pataricza / Imre Kocsis / Francesco Brancati / Lorenzo Vinerbi / Andrea Bondavalli
  • 7.4.1. Original Specification / Andras Pataricza / Imre Kocsis / Andrea Bondavalli / Lorenzo Vinerbi / Francesco Brancati
  • 7.4.2. Changed Specification / Andras Pataricza / Imre Kocsis / Andrea Bondavalli / Lorenzo Vinerbi / Francesco Brancati
  • 7.4.3. Change Impact Propagation Method / Andras Pataricza / Imre Kocsis / Andrea Bondavalli / Lorenzo Vinerbi / Francesco Brancati
  • 7.5. Abstraction Levels of Impact Propagation / Andras Pataricza / Imre Kocsis / Andrea Bondavalli / Lorenzo Vinerbi / Francesco Brancati
  • 7.5.1. Topology-Based Propagation / Andras Pataricza / Imre Kocsis / Andrea Bondavalli / Lorenzo Vinerbi / Francesco Brancati
  • 7.5.2. Type-Based Propagation / Andras Pataricza / Imre Kocsis / Andrea Bondavalli / Lorenzo Vinerbi / Francesco Brancati
  • 7.5.3. Value-Based Propagation / Andras Pataricza / Imre Kocsis / Andrea Bondavalli / Lorenzo Vinerbi / Francesco Brancati
  • 7.6. Resolution Modeling with CSP / Andras Pataricza / Imre Kocsis / Andrea Bondavalli / Lorenzo Vinerbi / Francesco Brancati
  • 7.7. Conclusions / Imre Kocsis / Francesco Brancati / Andras Pataricza / Andrea Bondavalli / Lorenzo Vinerbi
  • References / Andras Pataricza / Imre Kocsis / Andrea Bondavalli / Lorenzo Vinerbi / Francesco Brancati
  • 8.1. Introduction / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • 8.2. Motivation / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • 8.2.1. Motivating Concerns in Industry / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • 8.2.2. State of the Art and Background / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • 8.3. STECA Process Description / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • 8.3.1. High Level STECA / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • 8.3.2. STECA Inputs / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • 8.3.3. Security Vulnerabilities / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • 8.3.4. Threats Map / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • 8.3.5. Risk Assessment and Attack Severity / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • 8.3.6. STECA Recommendations / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • 8.4. Conclusion / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • References / Mario Rui Baptista / Nuno Silva / Andrea Ceccarelli / Tommaso Zoppi / Nicola Nostro
  • 9.1. Introduction / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.2. Software-FMEA Using fUML/ALF / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.2.1. Tooling for fUML and Alf / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.2.2. Software-FMEA through Alf Execution / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.2.3. Framework Support for Executable Error Propagation / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.2.4. Error Tokens, Component Activation / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.2.5. Execution Orchestration / Imre Kocsis / Vince Molnar / Valentina Bonfiglio / Andras Pataricza / Francesco Rossi / Andrea Bondavalli / Leonardo Montecchi / Francesco Brancati
  • 9.2.6. Fault Injection / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.3. Case Study: Application of Software-FMEA through Model Execution / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.3.1. Definition of the Modelled System / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.3.2. Process Evaluation / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.4. Implementation in a Blockly-based Modelling Tool / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.4.1. Preparation of the Model / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.4.2. Aggregation and Analysis of Traces / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 9.5. Concluding Remarks / Imre Kocsis / Vince Molnar / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Andrea Bondavalli / Leonardo Montecchi / Andras Pataricza
  • References / Valentina Bonfiglio / Francesco Brancati / Francesco Rossi / Vince Molnar / Leonardo Montecchi / Andras Pataricza / Imre Kocsis / Andrea Bondavalli
  • 10.1. Introduction / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.2. Framework Architecture / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • Note continued: 10.2.1. Instrumented System (IS) / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.2.2. Test and Collect / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.3. Implementation Details / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.3.1. Instrumented System (IS) Implementation / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.3.2. Test and Collect Implementation / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.3.2.1. Functional and stress testing / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.3.2.2. Robustness testing and penetration testing / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.3.2.3. Data storage and analysis tools / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.4. Demonstration / Marco Vieira / Nuno Antunes / Andrea Bondavalli / Andrea Ceccarelli / Francesco Brancati
  • 10.4.1. Case Study: Life Ray Web Services / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.4.1.1. Tests performed / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.4.1.2. Tests results / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.4.2. Case Study: SHAPE / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.4.2.1. Monitoring environment adaptation / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.4.2.2. Tests performed / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 10.5. Conclusion / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • References / Nuno Antunes / Francesco Brancati / Marco Vieira / Andrea Bondavalli / Andrea Ceccarelli
  • 11.1. Introduction / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.2. Fault Injection for V & V and Certification / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.2.1. Standards for Safety-critical Railway Applications / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.2.2. Fault Injection / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.3. ProSigma Safety-critical Railway Interlocking System / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.3.1. Concepts of Generic Product, Generic Application and Specific Application / Henrique Madeira / Joao Carlos Cunha / Andras Zentai / Ivano Irrera
  • 11.3.2. System Architecture and Functionality / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.3.2.1. Logic and Input (LI) card / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.3.2.2. ETH card / Ivano Irrera / Andras Zentai / Joao Carlos Cunha / Henrique Madeira
  • 11.3.2.3. RPI card / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.3.2.4. Power Supply Units / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.3.2.5. Diagnostic centers / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.3.2.6. Parameter modules / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.3.3. System's Critical Aspects Worth to Study Using FI / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.4. ProSigma FI Framework / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.4.1. Fault Injector Framework Architecture and Functionalities / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.4.2. ProSigma FI Tool (ProSigma-FIT) / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.5. ProSigma Safety Assessment Through FI: Experiments and Results / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.5.1. Safety Assessment of the Prosigma System: Experimental Setup / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.5.2. Results / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 11.6. Conclusion / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • References / Ivano Irrera / Henrique Madeira / Joao Carlos Cunha / Andras Zentai
  • 12.1. Introduction / Nuno Laranjeiro / Goncalo Pereira / Seyma Nur Soydemir / Raul Barbosa / Henrique Madeira / Cristiana Areias / Nuno Antunes / Joao Carlos Cunha / Marco Vieira / Jorge Bernardino
  • 12.2. Related Work / Nuno Laranjeiro / Goncalo Pereira / Seyma Nur Soydemir / Raul Barbosa / Henrique Madeira / Cristiana Areias / Nuno Antunes / Joao Carlos Cunha / Marco Vieira / Jorge Bernardino
  • 12.3. Robustness Testing and Fault Injection for the Robustness Evaluation of Services / Nuno Laranjeiro / Goncalo Pereira / Seyma Nur Soydemir / Raul Barbosa / Henrique Madeira / Cristiana Areias / Nuno Antunes / Joao Carlos Cunha / Marco Vieira / Jorge Bernardino
  • 12.3.1. Robustness Testing with wsrbench and PDlnjector / Nuno Laranjeiro / Goncalo Pereira / Seyma Nur Soydemir / Raul Barbosa / Henrique Madeira / Cristiana Areias / Nuno Antunes / Joao Carlos Cunha / Marco Vieira / Jorge Bernardino
  • 12.3.2. Emulating Software Faults with ucXception / Nuno Laranjeiro / Goncalo Pereira / Seyma Nur Soydemir / Raul Barbosa / Henrique Madeira / Cristiana Areias / Nuno Antunes / Joao Carlos Cunha / Marco Vieira / Jorge Bernardino
  • 12.4. Case Studies / Seyma Nur Soydemir / Raul Barbosa / Jorge Bernardino / Cristiana Areias / Goncalo Pereira / Joao Carlos Cunha / Marco Vieira / Henrique Madeira / Nuno Laranjeiro / Nuno Antunes
  • 12.4.1. External Interface Testing: Case Study #1 / Nuno Laranjeiro / Goncalo Pereira / Seyma Nur Soydemir / Raul Barbosa / Henrique Madeira / Cristiana Areias / Nuno Antunes / Joao Carlos Cunha / Marco Vieira / Jorge Bernardino
  • 12.4.2. Inner Interface Testing: Case Study #2 / Nuno Laranjeiro / Goncalo Pereira / Seyma Nur Soydemir / Raul Barbosa / Henrique Madeira / Cristiana Areias / Nuno Antunes / Joao Carlos Cunha / Marco Vieira / Jorge Bernardino
  • 12.4.3. Injecting Software Faults in Service Middleware: Case Study #3 / Nuno Laranjeiro / Goncalo Pereira / Seyma Nur Soydemir / Raul Barbosa / Henrique Madeira / Cristiana Areias / Nuno Antunes / Joao Carlos Cunha / Marco Vieira / Jorge Bernardino
  • 12.4.4. Results for Case Study #3 / Nuno Laranjeiro / Goncalo Pereira / Seyma Nur Soydemir / Raul Barbosa / Jorge Bernardino / Cristiana Areias / Nuno Antunes / Joao Carlos Cunha / Marco Vieira / Henrique Madeira
  • 12.5. Conclusion / Marco Vieira / Joao Carlos Cunha / Nuno Antunes / Henrique Madeira / Cristiana Areias / Goncalo Pereira / Seyma Nur Soydemir / Raul Barbosa / Jorge Bernardino / Nuno Laranjeiro
  • References / Henrique Madeira / Marco Vieira / Nuno Antunes / Joao Carlos Cunha / Cristiana Areias / Jorge Bernardino / Raul Barbosa / Seyma Nur Soydemir / Goncalo Pereira / Nuno Laranjeiro.

Ejemplares similares