Limit search to available items
Book Cover
E-book
Author Bondavalli, Andrea

Title Certifications of Critical Systems - The CECRIS Experience
Published Aalborg : River Publishers, 2017

Copies

Description 1 online resource (316 pages)
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
Summary 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 large economic impact. Certifications of Critical Systems - The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (acronym for Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools. The CECRIS project took a step forward in the growing field of development, verification and validation and certification of critical systems. It focused on the more difficult/important aspects of critical system development, verification and validation and certification process. Starting from both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases
Notes Andrea Bondavalli, Francesco Brancati
Print version record
Subject Electronic digital computers.
Electronic digital computers -- Reliability.
Computers
computers.
TECHNOLOGY -- Automation.
COMPUTERS -- Data Processing -- Parallel Processing.
Electronic digital computers
Electronic digital computers -- Reliability
Genre/Form Electronic books
Form Electronic book
Author Brancati, Francesco
ISBN 8793519559
9788793519558
9781003337485
1003337481
9781000792140
1000792145
9781000795462
1000795462