首页>外文会议>International symposiun on model-based safety and assessment

International symposiun on model-based safety and assessment

召开年：2019
召开地：Thessaloniki(GR)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Yiannis Papadopoulos;Koorosh Aslansefat;Panagiotis Katsaros;Marco Bozzano
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
2.Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency

机译：在AltaRica中对功能分配进行建模以支持MBSE / MBSA一致性
- 作者：Mathilde Machin;Estelle Saez;Pierre Virelizier;Xavier de Bossoreille
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- MBSE;
- AltaRica DataFlow;
- Allocation modeling;
- Consistency;
3.Model Based Approach for RAMS Analyses in the Space Domain with Capella Open-Source Tool

机译：Capella开源工具在空间域中基于模型的RAMS分析方法
- 作者：Lorenzo Bitetti;Regis De Ferluc;David Mailland;Guy Gregoris;Fulvio Capogna
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Model based RAMS approach;
- Capella open-source tool;
- Arcadia methodology;
- Reliability and safety analyses;
4.Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0

机译：AltaRica 3.0评估维修政策的建模模式
- 作者：Michel Batteux;Tatiana Prosvirnova;Antoine Rauzy
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Assessment of maintenance policies;
- AltaRica 3.0;
- Modeling patterns;
5.A Domain Specific Language to Support HAZOP Studies of SysML Models

机译：支持SysML模型的HAZOP研究的领域特定语言
- 作者：Arut Prakash Kaleeswaran;Peter Munk;Samir Sarkic;Thomas Vogel;Arne Nordmann
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
6.Integrating Existing Safety Analyses into SysML

机译：将现有的安全分析集成到SysML中
- 作者：Kester Clegg;Mole Li;David Stamp;Alan Grigg;John McDermid
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- SysML;
- Fault Tree Analysis;
- Failure modes;
7.FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses

机译：FDS-ML：用于概率风险和安全性分析的新建模形式主义
- 作者：Liu Yang;Antoine Rauzy
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
8.Integrating Safety Design Artifacts into System Development Models Using SafeDeML

机译：使用SafeDeML将安全设计工件集成到系统开发模型中
- 作者：Tim Gonschorek;Philipp Bergt;Marco Filax;Frank Ortmeier
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
9.A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS

机译：在HiP-HOPS中纳入复杂基本事件的概念框架
- 作者：Sohag Kabir;Koorosh Aslansefat;Ioannis Sorokos;Yiannis Papadopoulos;Youcef Gheraibia
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Fault tree;
- Markov Process;
- Model-based safety analysis;
- HiP-HOPS;
- Reliability;
- Real time analysis;
10.Compositionality of Component Fault Trees

机译：组件故障树的组成
- 作者：Simon Greiner;Peter Munk;Arne Nordmann
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
11.Tiered Model-Based Safety Assessment

机译：基于模型的分层安全评估
- 作者：Kevin Delmas;Christel Seguin;Pierre Bieber
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
12.Model Synchronization: A Formal Framework for the Management of Heterogeneous Models

机译：模型同步：异构模型管理的正式框架
- 作者：Michel Batteux;Tatiana Prosvirnova;Antoine Rauzy
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Heterogeneous models;
- Model synchronization;
- S2ML;
13.DPN - Dependability Priority Numbers

机译：DPN-可靠性优先级数字
- 作者：Zhensheng Guo;Marc Zeller
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Dependability analysis;
- Safety;
- Reliability;
- Availability;
- Maintainability;
- IT security;
- Trade-off analysis;
- Component Fault Tree (CFT);
- Functional Hazard Analysis;
- FMEDA;
14.Towards Dependability and Energy Aware Asset Management Framework for Maintenance Planning in Smart Grids

机译：迈向智能电网维护计划的可靠性和能源意识资产管理框架
- 作者：Jose Ignacio Aizpurua;Unai Garro;Enaut Muxika;Mikel Mendicute;Ian Paul Gilbert
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Prognostics health management;
- Maintenance planning;
- Dependability;
- Reliability;
- Energy;
- Smart grids;
15.Formal Verification of Network Interlocking Control by Distributed Signal Boxes

机译：分布式信号箱对网络联锁控制的形式验证
- 作者：Stylianos Basagiannis;Panagiotis Katsaros
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
16.SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems

机译：SQUADfps：集成的基于模型的机器安全性和柔性生产系统的产品质量
- 作者：Chee Hung Koo;Stefan Rothbauer;Marian Vorderer;Kai Hoefig;Marc Zeller
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Safety assessment;
- Flexible production;
- Model-based safety;
- Process-FMEA;
- Risk analysis;
17.A Serverless Architecture for Wireless Body Area Network Applications

机译：无线人体局域网应用的无服务器架构
- 作者：Pangkaj Chandra Paul;John Loane;Fergal McCaffery;Gilbert Regan
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Wireless body area network;
- Cloud computing;
- Serverless architecture;
18.Automated Model-Based Attack Tree Analysis Using HiP-HOPS

机译：使用HiP-HOPS的基于模型的自动化攻击树分析
- 作者：Declan Whiting;Ioannis Sorokos;Yiannis Papadopoulos;Gilbert Regan;Eoin OCarroll
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Attack trees;
- Digital dependability identities;
- HiP-HOPS;
19.What Today's Serious Cyber Attacks on Cars Tell Us: Consequences for Automotive Security and Dependability

机译：当今对汽车的严重网络攻击告诉我们的是：汽车安全性和可靠性的后果
- 作者：Markus Zoppelt;Ramin Tavakoli Kolagari
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Automotive security;
- Automotive system architecture;
- Dependability;
- Model-driven engineering methodologies;
20.Safety and Security Aspects of Fail-Operational Urban Surround perceptION (FUSION)

机译：失效操作的城市环境感知（FUSION）的安全和保障方面
- 作者：Georg Macher;Norbert Druml;Omar Veledar;Jakob Reckenzaun
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Safety;
- Security;
- Fail-operational;
- Sensor-fusion;
- Autonomous driving;
21.An Approach for Validating Safety of Perception Software in Autonomous Driving Systems

机译：一种验证自动驾驶系统感知软件安全性的方法
- 作者：Deepak Rao;Plato Pathrose;Felix Huening;Jithin Sid
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
22.Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA

机译：使用PEPA的无人驾驶汽车驾驶场景的随机建模
- 作者：Wei Chen;Leiela Kloul
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Autonomous vehicle;
- Critical scenarios;
- Formal method;
- PEPA;
23.A Runtime Safety Analysis Concept for Open Adaptive Systems

机译：开放式自适应系统的运行时安全分析概念
- 作者：Sohag Kabir;Ioannis Sorokos;Koorosh Aslansefat;Yiannis Papadopoulos;Youcef Gheraibia;Jan Reich;Merve Saimler;Ran Wei
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Platooning;
- Bayesian networks;
- Model-based dependability analysis;
- Runtime assurance;
24.Clustering Environmental Conditions of Historical Accident Data to Efficiently Generate Testing Sceneries for Maritime Systems

机译：聚类历史事故数据的环境条件，以有效生成海事系统的测试场景
- 作者：Tim Wuellner;Sebastian Feuerstack;Axel Hahn
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年
- Scenario-based testing;
- Principal component analysis;
- K-Mean Clustering;
- Latin Hypercube;
- Ship accidents;
25.Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems

机译：基于模式的形式化方法分析控制系统的安全性
- 作者：Inna Vistbakka;Elena Troubitsyna
- 会议名称：《International symposiun on model-based safety and assessment》 | 2019年