IMBSA - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 94 from 94

2022

SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable IdentitiesKoorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider 0001, Yiannis Papadopoulos. imbsa 2022: 252-266 [doi]

Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. imbsa 2022: 130-145 [doi]

COMPASTA: Extending TASTE with Formal Design and Verification FunctionalityAlberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta. imbsa 2022: 21-27 [doi]

A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites AvailabilityGuillaume Brau, Eric Jenn, Silvana Radu. imbsa 2022: 155-169 [doi]

Modeling the Variability of System Safety Analysis Using State-Machine DiagramsLucas Bressan, André Luíz de Oliveira, Fernanda C. A. Campos, Leonardo Montecchi, Rafael Capilla, David Parker 0002, Koorosh Aslansefat, Yiannis Papadopoulos. imbsa 2022: 43-59 [doi]

Tool Paper: Time Series Anomaly Detection Platform for MATLAB SimulinkSheng Ding, Skander Ayoub, Andrey Morozov 0001. imbsa 2022: 204-218 [doi]

Keep Your Distance: Determining Sampling and Distance Thresholds in Machine Learning MonitoringAl-Harith Farhad, Ioannis Sorokos, Andreas Schmidt, Mohammed Naveed Akram, Koorosh Aslansefat, Daniel Schneider 0001. imbsa 2022: 219-234 [doi]

MBSA in Aeronautics: A Way to Support Safety ActivitiesChristophe Frazza, Pierre Darfeuil, Jean Gauthier. imbsa 2022: 31-42 [doi]

Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0Daniel Hillen, Tom P. Huck, Nishanth Laxman, Christoph Ledermann, Jan Reich, Patrick Schlosser, Andreas Schmidt, Daniel Schneider 0001, Denis Uecker. imbsa 2022: 83-97 [doi]

An AEBS Use Case for Model-Based System Design Integrating Safety Analyses and SimulationBernhard Kaiser, Bernard Dion, Ilya Tolchinsky, Thierry Le Sergent, Max Najork. imbsa 2022: 3-20 [doi]

Practical Application of Model-Based Safety Analysis to the Design of Global Operating System of New Rolling Stock on Automatic Metro LinesAnthony Legendre, Roland Donat. imbsa 2022: 68-82 [doi]

Towards Causal Model-Based Engineering in Automotive System SafetyRobert Maier, Lisa Grabinger, David Urlhart, Jürgen Mottok. imbsa 2022: 116-129 [doi]

Model-Based Safety Analysis: A Practical ExperienceBertille Noisette, Sébastien Dobol, Laurène Monteil. imbsa 2022: 60-67 [doi]

Analysing the Impact of Security Attacks on Safety Using SysML and Event-BEhsan Poorhadi, Elena Troubitsyna, György Dán. imbsa 2022: 170-185 [doi]

Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRicaTatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez. imbsa 2022: 101-115 [doi]

Engineering Dynamic Risk and Capability Models to Improve Cooperation Efficiency Between Human Workers and Autonomous Mobile Robots in Shared SpacesJan Reich, Pascal Gerber, Nishanth Laxman, Daniel Schneider 0001, Takehito Ogata, Satoshi Otsuka, Tasuku Ishigooka. imbsa 2022: 237-251 [doi]

Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, ProceedingsChristel Seguin, Marc Zeller, Tatiana Prosvirnova, editors, Volume 13525 of Lecture Notes in Computer Science, Springer, 2022. [doi]

A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory AlgorithmsConnor Walker, Callum Rothon, Koorosh Aslansefat, Yiannis Papadopoulos, Nina Dethlefs. imbsa 2022: 189-203 [doi]

Component Fault and Deficiency Tree (CFDT): Combining Functional Safety and SOTIF AnalysisMarc Zeller. imbsa 2022: 146-152 [doi]

2020

Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer ProgrammingAnas Abdelkarim, Ping Zhang. imbsa 2020: 83-96 [doi]

SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference MeasuresKoorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari, Yiannis Papadopoulos. imbsa 2020: 197-211 [doi]

Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and FormulationKoorosh Aslansefat, Gholamreza Latif Shabgahi, Mehrdad Mohammadi. imbsa 2020: 53-67 [doi]

An Integrated Approach to Support the Process-Based Certification of Variant-Intensive SystemsLucas Paiva Bressan, André Luíz de Oliveira, Fernanda Campos, Yiannis Papadopoulos, David Parker 0002. imbsa 2020: 179-193 [doi]

Model-Based Error Detection for Industrial Automation Systems Using LSTM NetworksSheng Ding, Andrey Morozov, Silvia Vock, Michael Weyrich, Klaus Janschek. imbsa 2020: 212-226 [doi]

Failure Mode Reasoning in Model Based Safety AnalysisHamid Jahanian, David Parker 0002, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos. imbsa 2020: 130-145 [doi]

Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical SystemsAthira V. Jayakumar, Carl R. Elks. imbsa 2020: 115-129 [doi]

Branching Transitions for Semi-Markov Processes with Application to Safety-Critical SystemsStefan Kaalen, Mattias Nyberg. imbsa 2020: 68-82 [doi]

Counterexample Interpretation for Contract-Based DesignArut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel 0001, Lars Grunske. imbsa 2020: 99-114 [doi]

Identification and Quantification of Hazardous Scenarios for Automated DrivingBirte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm. imbsa 2020: 163-178 [doi]

A Systematic Approach to Analyzing Perception Architectures in Autonomous VehiclesIwo Kurzidem, Ahmad Saad, Philipp Schleiss. imbsa 2020: 149-162 [doi]

U-Map: A Reference Map for Safe Handling of Runtime UncertaintiesNishanth Laxman, Chee Hung Koo, Peter Liggesmeyer. imbsa 2020: 227-241 [doi]

Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability IdentitiesJan Reich, Joshua Frey, Emilia Cioroaica, Marc Zeller, Martin Rothfelder. imbsa 2020: 19-33 [doi]

A Visual Notation for the Representation of Assurance Cases Using SACMNungki Selviandro, Richard Hawkins, Ibrahim Habli. imbsa 2020: 3-18 [doi]

Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error ModelingHariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang 0051. imbsa 2020: 34-50 [doi]

Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, ProceedingsMarc Zeller, Kai Höfig, editors, Volume 12297 of Lecture Notes in Computer Science, Springer, 2020. [doi]

2019

Towards Dependability and Energy Aware Asset Management Framework for Maintenance Planning in Smart GridsJose Ignacio Aizpurua, Unai Garro, Eñaut Muxika, Mikel Mendicute, Ian Paul Gilbert. imbsa 2019: 188-203 [doi]

Formal Verification of Network Interlocking Control by Distributed Signal BoxesStylianos Basagiannis, Panagiotis Katsaros. imbsa 2019: 204-221 [doi]

Model Synchronization: A Formal Framework for the Management of Heterogeneous ModelsMichel Batteux, Tatiana Prosvirnova, Antoine Rauzy. imbsa 2019: 157-172 [doi]

Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. imbsa 2019: 32-46 [doi]

Model Based Approach for RAMS Analyses in the Space Domain with Capella Open-Source ToolLorenzo Bitetti, Régis De Ferluc, David Mailland, Guy Gregoris, Fulvio Capogna. imbsa 2019: 18-31 [doi]

Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPAWei Chen, Leïla Kloul. imbsa 2019: 317-331 [doi]

Integrating Existing Safety Analyses into SysMLKester Clegg, Mole Li, David Stamp, Alan Grigg, John McDermid. imbsa 2019: 63-77 [doi]

Tiered Model-Based Safety AssessmentKevin Delmas, Christel Seguin, Pierre Bieber. imbsa 2019: 141-156 [doi]

Integrating Safety Design Artifacts into System Development Models Using SafeDeMLTim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier. imbsa 2019: 93-106 [doi]

Compositionality of Component Fault TreesSimon Greiner, Peter Munk, Arne Nordmann. imbsa 2019: 125-140 [doi]

DPN - Dependability Priority NumbersZhensheng Guo, Marc Zeller. imbsa 2019: 173-187 [doi]

A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPSSohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia. imbsa 2019: 109-124 [doi]

A Runtime Safety Analysis Concept for Open Adaptive SystemsSohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei. imbsa 2019: 332-346 [doi]

A Domain Specific Language to Support HAZOP Studies of SysML ModelsArut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel 0001, Arne Nordmann. imbsa 2019: 47-62 [doi]

SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production SystemsChee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Höfig, Marc Zeller. imbsa 2019: 222-236 [doi]

Safety and Security Aspects of Fail-Operational Urban Surround perceptION (FUSION)Georg Macher, Norbert Druml, Omar Veledar, Jakob Reckenzaun. imbsa 2019: 286-300 [doi]

Modeling Functional Allocation in AltaRica to Support MBSE/MBSA ConsistencyMathilde Machin, Estelle Saez, Pierre Virelizier, Xavier de Bossoreille. imbsa 2019: 3-17 [doi]

Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, ProceedingsYiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano, editors, Volume 11842 of Lecture Notes in Computer Science, Springer, 2019. [doi]

A Serverless Architecture for Wireless Body Area Network ApplicationsPangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan. imbsa 2019: 239-254 [doi]

An Approach for Validating Safety of Perception Software in Autonomous Driving SystemsDeepak Rao, Plato Pathrose, Felix Huening, Jithin Sid. imbsa 2019: 303-316 [doi]

Pattern-Based Formal Approach to Analyse Security and Safety of Control SystemsInna Vistbakka, Elena Troubitsyna. imbsa 2019: 363-378 [doi]

Automated Model-Based Attack Tree Analysis Using HiP-HOPSDeclan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O'Carroll. imbsa 2019: 255-269 [doi]

Clustering Environmental Conditions of Historical Accident Data to Efficiently Generate Testing Sceneries for Maritime SystemsTim Wuellner, Sebastian Feuerstack, Axel Hahn. imbsa 2019: 349-362 [doi]

FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety AnalysesLiu Yang, Antoine Rauzy. imbsa 2019: 78-92 [doi]

What Today's Serious Cyber Attacks on Cars Tell Us: Consequences for Automotive Security and DependabilityMarkus Zoppelt, Ramin Tavakoli Kolagari. imbsa 2019: 270-285 [doi]

2017

A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRicaAlexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier. imbsa 2017: 147-162 [doi]

Invariant Management in the Presence of FailuresRichard Banach. imbsa 2017: 112-128 [doi]

Safety Analysis of a Data Center's Electrical System Using Production TreesWalid Mokhtar Bennaceur, Leïla Kloul, Antoine Rauzy. imbsa 2017: 82-96 [doi]

Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case StudyBenjamin Bittner, Marco Bozzano, Alessandro Cimatti. imbsa 2017: 255-271 [doi]

Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, ProceedingsMarco Bozzano, Yiannis Papadopoulos, editors, Volume 10437 of Lecture Notes in Computer Science, Springer, 2017. [doi]

Performing Safety Analyses with AADL and AltaRicaJulien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage. imbsa 2017: 67-81 [doi]

A Fault Diagnostic Tool Based on a First Principle Model SimulatorFrancesco Cannarile, Michele Compare, Enrico Zio. imbsa 2017: 179-193 [doi]

A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical SystemsDeJiu Chen, Zhonghai Lu. imbsa 2017: 227-240 [doi]

Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power SystemsOrlando Ferrante, Luigi Di Guglielmo, Valerio Senni, Alberto Ferrari. imbsa 2017: 243-254 [doi]

Building Models We Can Rely On: Requirements Traceability for Model-Based Verification TechniquesMarco Filax, Tim Gonschorek, Frank Ortmeier. imbsa 2017: 3-18 [doi]

A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation StudiesSohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker 0002, Jose Ignacio Aizpurua, Jörg Lampe, Erich Rüde. imbsa 2017: 163-178 [doi]

Learning-Based Testing for Safety Critical Automotive ApplicationsHojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson. imbsa 2017: 197-211 [doi]

Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial ContextsAnthony Legendre, Agnes Lanusse, Antoine Rauzy. imbsa 2017: 35-49 [doi]

SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical SystemsLeonardo Montecchi, Barbara Gallina. imbsa 2017: 129-144 [doi]

Handling Consistency Between Safety and System ModelsTatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier. imbsa 2017: 19-34 [doi]

Verification of Component Fault Trees Using Error Effect SimulationsSebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel. imbsa 2017: 212-226 [doi]

Model-Connected Safety CasesAthanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker 0002, Nicholas Matragkas, Septavera Sharvia. imbsa 2017: 50-63 [doi]

Architectural Modeling and Analysis for Safety EngineeringDanielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl. imbsa 2017: 97-111 [doi]

2014

Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity LevelsLuís Silva Azevedo, David Parker 0002, Yiannis Papadopoulos, Martin Walker, Ioannis Sorokos, Rui Esteves Araujo. imbsa 2014: 70-81 [doi]

An Integrated Process for FDIR Design in AerospaceBenjamin Bittner, Marco Bozzano, Alessandro Cimatti, Regis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein. imbsa 2014: 82-95 [doi]

AltaRica 3 Based Models for ISO 26262 Automotive Safety MechanismsAbraham Cherfi, Antoine Rauzy, Michel Leeman. imbsa 2014: 123-136 [doi]

Adaptive Error and Sensor Management for Autonomous Vehicles: Model-Based Approach and Run-Time SystemJelena Frtunikj, Vladimir Rupanov, Michael Armbruster, Alois Knoll. imbsa 2014: 166-180 [doi]

Applying Formal Methods into Safety-Critical Health ApplicationsMohammad Reza Gholami, Hanifa Boucheneb. imbsa 2014: 195-208 [doi]

metaFMEA-A Framework for Reusable FMEAsKai Höfig, Marc Zeller, Lars Grunske. imbsa 2014: 110-122 [doi]

A Model-Based Methodology to Formalize Specifications of Railway SystemsMelissa Issad, Leïla Kloul, Antoine Rauzy. imbsa 2014: 28-42 [doi]

Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian NetworksSohag Kabir, Martin Walker, Yiannis Papadopoulos. imbsa 2014: 96-109 [doi]

A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive DomainMaged Khalil, Alejandro Prieto, Florian Hölzl. imbsa 2014: 137-151 [doi]

A Practicable MBSA Modeling Process Using AltaricaShaojun Li, Su Duo. imbsa 2014: 1-13 [doi]

Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics ArchitecturesMarion Morel. imbsa 2014: 57-69 [doi]

Safety Assessment of an Electrical System with AltaRica 3.0Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy. imbsa 2014: 181-194 [doi]

On Efficiently Specifying Models for Model CheckingMykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier. imbsa 2014: 14-27 [doi]

Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. ProceedingsFrank Ortmeier, Antoine Rauzy, editors, Volume 8822 of Lecture Notes in Computer Science, Springer, 2014. [doi]

Towards the Derivation of Guidelines for the Deployment of Real-Time Tasks on a Multicore ProcessorStefan Schmidhuber, Michael Deubzer, Ralph Mader, Michael Niemetz, Jürgen Mottok. imbsa 2014: 152-165 [doi]

A Systematic Approach to Requirements Driven Test Generation for Safety Critical SystemsToby Wilkinson, Michael Butler, John Colley. imbsa 2014: 43-56 [doi]

Sign in or sign up to see more results.

runs on WebDSL