Skip to content
You are not logged in |Login  
     
Limit search to available items
Record:   Prev Next
Resources
More Information
Bestseller
BestsellerE-book
Author Bondavalli, Andrea.

Title Certifications of Critical Systems - The CECRIS Experience.

Publication Info. Aalborg : River Publishers, 2017.

Item Status

Description 1 online resource (316 pages).
text file
Series River Publishers Series in Information Science and Technology
River Publishers series in information science and technology.
Contents 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.
Local Note eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject Electronic digital computers.
Electronic digital computers.
Electronic digital computers -- Reliability.
Electronic digital computers -- Reliability.
Genre/Form Electronic books.
Added Author Brancati, Francesco.
Other Form: Print version: Bondavalli, Andrea. Certifications of Critical Systems - The CECRIS Experience. Aalborg : River Publishers, ©2017 9788793519565
ISBN 8793519559
9788793519558 (electronic book)
8793519567
9788793519565