Abstract is missing.
- MB4CP 2015 Keynote I: Dependability Modeling and Analysis Methods Integrated in Model-Driven Industrial Architectural FrameworksAndrea Bondavalli. 1-2 [doi]
- MB4CP 2015 Keynote II: Resilience of Cyber-Physical Energy SystemsPaulo Jorge Esteves Verissimo. 3 [doi]
- SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter EnvironmentChun-Jen Chung, Tianyi Xing, Dijiang Huang, Deep Medhi, Kishor S. Trivedi. 4-11 [doi]
- Video on Demand Hosted in Private Cloud: Availability Modeling and Sensitivity AnalysisRosangela Melo, Maria Clara Bezerra, Jamilson Dantas, Rubens Romero Martins Matos, Ivanildo Melo Filho, Paulo Romero Martins Maciel. 12-18 [doi]
- Implementation of Failure Detector Based on Network Function VirtualizationRogerio C. Turchetti, Elias Procopio Duarte. 19-25 [doi]
- RADIANCE 2015 Keynote: Challenges in Engineering Dependable Self-Adaptive SystemBradley R. Schmerl. 26 [doi]
- Service Deterioration Analysis (SDA): An Early Development Phase Dependability Analysis MethodGeorg Macher, Andrea Höller, Harald Sporer, Eric Armengaud, Christian Kreiner. 27-32 [doi]
- Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning SystemLeonardo Montecchi, Paolo Lollini, Andrea Bondavalli. 33-38 [doi]
- An Approach to Clustering and Sequencing of Textual RequirementsRicardo Barbosa, Daniele Januario, Ana Estela Silva, Regina Lúcia de Oliveira Moraes, Paulo Martins. 39-44 [doi]
- Semi-automatic Generation of Extended Finite State Machines from Natural Language Standard DocumentsJuliana Galvani Greghi, Eliane Martins, Ariadne Maria Brito Rizzoni Carvalho. 45-50 [doi]
- An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert SystemFumio Machida, Jianwen Xiang, Kumiko Tadano, Shigeru Hosono. 51-56 [doi]
- Cost Prediction for V&V and Certification ProcessesFrancesco Brancati, András Pataricza, Nuno Silva, Ábel Hegedüs, László Gönczy, Andrea Bondavalli, Rosaria Esposito. 57-62 [doi]
- Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV IssuesNuno Silva, Marco Vieira, Dario Ricci, Domenico Cotroneo. 63-68 [doi]
- A Virtual Fault Injection Framework for Reliability-Aware Software DevelopmentAndrea Höller, Georg Macher, Tobias Rauter, Johannes Iber, Christian Kreiner. 69-74 [doi]
- Towards Assessing Representativeness of Fault Injection-Generated Failure Data for Online Failure PredictionIvano Irrera, Marco Vieira. 75-80 [doi]
- Studying the Propagation of Failures in SOAsCristiana Areias, João Carlos Cunha, Marco Vieira. 81-86 [doi]
- SSIV 2015 Keynote I: On the Security of Critical Cyber-Physical SystemsRoberto Gallo. 87 [doi]
- Using Data Integrity as an Improvement Characteristic to Assess the Safety of ADS-B-based SystemsDaniel Baraldi Sesso, Lucio Flavio Vismari, Antonio V. Silva Neto, Paulo Sérgio Cugnasca, João Batista Camargo Jr.. 88-95 [doi]
- A Learning-Based Autonomous Control System Approach for Collision Avoidance within an Unmanned AircraftThiago Toshio Matsumoto, Lucio Flavio Vismari, Ricardo Alexandre Veiga Gimenes, Jorge Rady de Almeida Jr., João Batista Camargo Jr.. 96-103 [doi]
- Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter SystemBenjamin Vedder, Jonny Vinter, Magnus Jonsson. 104-111 [doi]
- Advantages in Crash Severity Prediction Using Vehicle to Vehicle CommunicationDennis Böhmländer, Sinan Hasirlioglu, Vitor Yano, Christian Lauerer, Thomas Brandmeier, Alessandro Zimmer. 112-117 [doi]
- Heading Controller for a Fixed Wing UAV with Reduced Control Surfaces Based on ANFISIan de Medeiros Esper, Paulo Fernando Ferreira Rosa. 118-123 [doi]
- SSIV 2015 Keynote II: From Embedded Systems to Autonomous Cooperating ObjectsPaulo Veríssimo. 124 [doi]
- Model-Based Membership Verification in Vehicular PlatoonsMikael Asplund. 125-132 [doi]
- Software Faults Emulation at Model-Level: Towards Automated Software FMEAValentina Bonfiglio, Leonardo Montecchi, Ivano Irrera, Francesco Rossi, Paolo Lollini, Andrea Bondavalli. 133-140 [doi]
- The Use of a Graphic Processing Unit (GPU) in a Real Time Visual Odometry ApplicationJaime Armando Delgado Vargas, Paulo Roberto Gardel Kurka. 141-146 [doi]
- Improving Intelligent Vehicle Dependability by Means of Infrastructure-Induced TestsWilfried Steiner, Ayhan Mehmed, Sasikumar Punnekkat. 147-152 [doi]