Abstract is missing.
- The Agile Safety CaseTor Stålhane, Thor Myklebust. 5-16 [doi]
- Systematic Maintenance of Safety Cases to Reduce RiskOmar Jaradat, Iain Bate. 17-29 [doi]
- On Using Results of Code-Level Bounded Model Checking in Assurance CasesCarmen Cârlan, Daniel Ratiu, Bernhard Schätz. 30-42 [doi]
- Configuration-Aware ContractsIrfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson. 43-54 [doi]
- Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance CasesYutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, Kenji Tanaka. 55-62 [doi]
- The 6W1H Model as a Basis for Systems Assurance ArgumentShuji Kinoshita, Yoshiki Kinoshita. 63-74 [doi]
- The Assurance Timeline: Building Assurance Cases for Synthetic BiologyMyra B. Cohen, Justin Firestone, Massimiliano Pierobon. 75-86 [doi]
- Towards Safety Case Integration with Hazard Analysis for Medical DevicesAndrzej Wardzinski, Aleksander Jarzebowicz. 87-98 [doi]
- Testing Safety Properties of Cyber-Physical Systems with Non-Intrusive Fault Injection - An Industrial Case StudyJoachim Fröhlich, Jelena Frtunikj, Stefan Rothbauer, Christoph Stückjürgen. 105-117 [doi]
- Quantitative Reliability Assessment for Mobile Cooperative SystemsFrancesca Saglietti, Ralf Spengler, Matthias Meitner. 118-129 [doi]
- An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded SystemAmir Soltani Nezhad, Johan J. Lukkien, Rudolf H. Mak, Richard Verhoeven, Martijn M. H. P. van den Heuvel. 130-143 [doi]
- Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype SpeedBogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello. 144-156 [doi]
- Using SAE J3061 for Automotive Security Requirement EngineeringChristoph Schmittner, Zhendong Ma, Carolina Reyes, Oliver Dillinger, Peter P. Puschner. 157-170 [doi]
- Dynamic Safety Contracts for Functional Cooperation of Automotive SystemsSebastian Müller, Peter Liggesmeyer. 171-182 [doi]
- Time-of-Flight Based Optical Communication for Safety-Critical Applications in Autonomous DrivingHannes Plank, Gerald Holweg, Christian Steger, Norbert Druml. 183-194 [doi]
- Limitation and Improvement of STPA-Sec for Safety and Security Co-analysisChristoph Schmittner, Zhendong Ma, Peter P. Puschner. 195-209 [doi]
- Security Services for Mixed-Criticality Systems Based on Networked Multi-core ChipsThomas Koller, Donatus Weber. 210-221 [doi]
- Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical SystemsFrancesca Saglietti, Matthias Meitner, Lars von Wardenburg, Valentina Richthammer. 222-233 [doi]
- Advanced Security Considerations in the Arrowhead FrameworkSándor Plósz, Csaba Hegedüs, Pál Varga. 234-245 [doi]
- The Role of the Supply Chain in Cybersecurity Incident Handling for Drilling RigsAitor Couce Vieira, Siv Hilde Houmb. 246-255 [doi]
- Control of Cyber-Physical Systems Using Bluetooth Low Energy and Distributed Slave MicrocontrollersØyvind Netland, Amund Skavhaug. 256-267 [doi]
- Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS MulticoreIrune Agirre, Mikel Azkarate-askasua, Asier Larrucea, Jon Perez, Tullio Vardanega, Francisco J. Cazorla. 273-285 [doi]
- Defining Autonomous Functions Using Iterative Hazard Analysis and Requirements RefinementFredrik Warg, Martin Gassilewski, Jörgen Tryggvesson, Viacheslav Izosimov, Anders Werneman, Rolf Johansson. 286-297 [doi]
- ASIL Tailoring on Functional Safety RequirementsMarkus Fockel. 298-310 [doi]
- Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical SystemsAlejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huáscar Espinoza. 311-321 [doi]
- Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial PracticeMarc Zeller, Daniel Ratiu, Kai Höfig. 322-333 [doi]
- Goal-Oriented Co-Engineering of Security and Safety Requirements in Cyber-Physical SystemsChristophe Ponsard, Gautier Dallons, Philippe Massonet. 334-345 [doi]
- Practitioners' Perspectives on Change Impact Analysis for Safety-Critical Software - A Preliminary AnalysisMarkus Borg, Jose Luis de la Vara, Krzysztof Wnuk. 346-358 [doi]
- Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical SystemsRalph Weissnegger, Markus Schuß, Christian Kreiner, Markus Pistauer, Kay Römer, Christian Steger. 359-370 [doi]
- Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case StudyAnas Motii, Agnes Lanusse, Brahim Hamid, Jean-Michel Bruel. 375-389 [doi]