检索结果-内蒙古大学图书馆

A compositional semantics for repairable fault trees with general distributions∗ 23rd

学校读者我要写书评

暂无评论

A compositional semantics for repairable fault trees with ge...

23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR23 2020

作者： Monti, Raúl Budde, Carlos E. D’argenio, Pedro R. University of Twente Formal Methods and Tools Enschede Netherlands Universidad Nacional de Córdoba FAMAF Córdoba Argentina CONICET Córdoba Argentina Saarland University Department of Computer Science Saarbrücken Germany

Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Repairable Fault Trees (RFT) enhance the classical Fault Tree (FT) model by introducing the possibility to describe complex dependent repairs of system components. Usual frameworks for analyzing FTs such as BDD, SBDD, and Markov chains fail to assess the desired properties over RFT complex models, either because these become too large, or due to cyclic behaviour introduced by dependent repairs. Simulation is another way to carry out this kind of analysis. In this paper we review the RFT model with Repair Boxes as introduced by Daniele Codetta-Raiteri. We present compositional semantics for this model in terms of Input/Output Stochastic Automata, which allows for the modelling of events occurring according to general continuous distribution. Moreover, we prove that the semantics generates (weakly) deterministic models, hence suitable for discrete event simulation, and prominently for rare event simulation using the FIG tool. © 2020, EasyChair.

关键词： Discrete event simulation

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems 22nd

学校读者我要写书评

暂无评论

Hackers vs. Security: Attack-Defence Trees as Asynchronous M...

22nd International Conference on formal Engineering methods, ICFEM 2020

作者： Arias, Jaime Budde, Carlos E. Penczek, Wojciech Petrucci, Laure Sidoruk, Teofil Stoelinga, Mariëlle LIPN CNRS UMR 7030 Université Sorbonne Paris Nord Sorbonne Paris Cité Villetaneuse France Formal Methods and Tools University of Twente Enschede Netherlands Institute of Computer Science Polish Academy of Sciences Warsaw Poland Department of Software Science Radboud University Nijmegen Netherlands Warsaw University of Technology Warsaw Poland

ISBN: (纸本)9783030634056

Attack-Defence Trees (ADTrees) are a well-suited formalism to assess possible attacks to systems and the efficiency of counter-measures. This paper extends the available ADTree constructs with reactive patterns that cover further security scenarios, and equips all constructs with attributes such as time and cost to allow for quantitative analyses. We model ADTrees as (an extension of) Asynchronous Multi-Agents Systems: EAMAS. The ADTree–EAMAS transformation allows us to quantify the impact of different agents configurations on metrics such as attack time. Using EAMAS also permits parametric verification: we derive constraints for property satisfaction, e.g. the maximum time a defence can take to block an attack. Our approach is exercised on several case studies using the Uppaal and IMITATOR tools. We developed the open-source tool adt2amas implementing our transformation. © 2020, Springer Nature Switzerland AG.

关键词： Multi agent systems

*** - An interactive catalog of business process modeling patterns literature

学校读者我要写书评

暂无评论

*** - An interactive catalog of business process modeling pa...

2019 Dissertation Award, Doctoral Consortium, and Demonstration Track at BPM, BPMT 2019

作者： Laue, Ralf Koschmider, Agnes Fellmann, Michael Schoknecht, Andreas Vetter, Arthur University of Applied Sciences Zwickau Department of Computer Science Dr.-Friedrichs-Ring 2a Zwickau08056 Germany Process Analytics Group Kiel University Kiel24098 Germany Institute of Computer Science University of Rostock Rostock Germany KIT Institute for Applied Informatics and Formal Description Methods

Patterns-descriptions of proven and well-documented solutions for recurring problems { have gained widespread interest and acceptance in the area of business process modeling. In the past years, a large number of such patterns have been documented in the literature. However, it is still difficult to find patterns that can be useful in a given context. The reason is that the relevant publications are spread in various journals and other types of publications, and there is no guidance for locating a pattern that can be useful for solving a given problem. In this demo, we present an interactive web-site that provides a comprehensive overview on published work in the field of business process modeling patterns. It allows finding publications on business process modeling patterns based on various search criteria. It is intended to be useful both for business process modeling practitioners as for researchers in need of sound literature references. Currently, this catalog (meant to be a growing resource) provides an categorization of 95 publications on patterns as well as 50 publication on anti-patterns. © 2019 CEUR-WS. All rights reserved.

关键词： Systems engineering

Sliding Mode Control based Support Vector Machine RBF Kernel Parameter Optimization

学校读者我要写书评

暂无评论

Sliding Mode Control based Support Vector Machine RBF Kernel...

IEEE International Workshop on Imaging Systems and Techniques (IST)

作者： Maryam Yalsavar Paknoosh Karimaghaee Akbar Sheikh-Akbari Jamshid Dehmeshki Mohammad-Hassan Khooban Salah Al-Majeed School of Electrical and Computer Engineering Shiraz University Shiraz Iran School of Built Environment Engineering and Computing Leeds Beckett University Leeds UK School School of Computer Science and Mathematics Kingston University London UK Applied Formal Methods Aarhus University Aarhus Denmark School of Business and Technology University of Gloucestershire Cheltenham UK

ISBN: (数字)9781728138688

ISBN: (纸本)9781728138695

Support Vector Machine (SVM) is a learning-based algorithm, which is widely used for classification in many applications. Despite its advantages, its application to large scale datasets is limited due to its use of large number of support vectors and dependency of its performance on its kernel parameter. This paper presents a Sliding Mode Control based Support Vector Machine Radial Basis Function's kernel parameter optimization (SMC-SVM-RBF) method, inspired by sliding mode closed loop control theory, which has demonstrated significantly higher performance to that of the standard closed loop control technique. The proposed method first defines an error equation and a sliding surface and then iteratively updates the RBF's kernel parameter based on the sliding mode control theory, forcing SVM training error to converge below a predefined threshold value. The closed loop nature of the proposed algorithm increases the robustness of the technique to uncertainty and improves its convergence speed. Experimental results were generated using nine standard benchmark datasets covering wide range of applications. Results show the proposed SMC-SVM-RBF method is significantly faster than those of classical SVM based techniques. Moreover, it generates more accurate results than most of the state of the art SVM based methods..

关键词： Support vector machines Kernel Training Sliding mode control Classification algorithms Training data Mathematical model

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

学校读者我要写书评

暂无评论

arXiv 2019年

作者： Arias, Jaime Budde, Carlos E. Penczek, Wojciech Petrucci, Laure Stoelinga, Marielle LIPN CNRS UMR 7030 Universite Paris 13 Sorbonne Paris Cite Villetaneuse France Institute of Computer Science PAS Warsaw Poland University of Natural Sciences and Humanities II Siedlce Poland Formal Methods and Tools University of Twente Enschede Netherlands Department of Software Science Radboud University Nijmegen Netherlands

Attack-Defence Trees (ADTs) are well-suited to assess possible attacks to systems and the efficiency of counter-measures. In this paper, we first enrich the available constructs with reactive patterns that cover further security scenarios, and equip all constructs with attributes such as time and cost to allow quantitative analyses. Then, ADTs are modelled as (an extension of) Asynchronous Multi-Agents Systems- EAMAS. The ADT-EAMAS transformation is performed in a systematic manner that ensures correctness. The transformation allows us to quantify the impact of different agents configurations on metrics such as attack time. Using EAMAS also permits parametric verification: we derive constraints for property satisfaction. Our approach is exercised on several case studies using the Uppaal and IMITATOR tools. Copyright © 2019, The Authors. All rights reserved.

关键词： Multi agent systems

Rare event simulation for non-markovian repairable fault trees

学校读者我要写书评

暂无评论

arXiv 2019年

作者： Budde, Carlos E. Biagi, Marco Monti, Raúl E. D'Argenio, Pedro R. Stoelinga, Mariëlle Formal Methods and Tools University of Twente Enschede Netherlands Department of Information Engineering University of Florence Florence Italy FAMAF Universidad Nacional de Córdoba Córdoba Argentina CONICET Córdoba Argentina Department of Computer Science Saarland University Saarbrücken Germany Department of Software Science Radboud University Nijmegen Netherlands

Dynamic fault trees (dft) are widely adopted in industry to assess the dependability of safety-critical equipment. Since many systems are too large to be studied numerically, dfts dependability is often analysed using Monte Carlo simulation. A bottleneck here is that many simulation samples are required in the case of rare events, e.g. in highly reliable systems where components fail seldomly. Rare event simulation (res) provides techniques to reduce the number of samples in the case of rare events. We present a res technique based on importance splitting, to study failures in highly reliable dfts. Whereas res usually requires meta-information from an expert, our method is fully automatic: By cleverly exploiting the fault tree structure we extract the so-called importance function. We handle dfts with Markovian and non-Markovian failure and repair distributions-for which no numerical methods exist-and show the efficiency of our approach on several case studies. Copyright © 2019, The Authors. All rights reserved.

关键词： Numerical methods

Maintenance of smart buildings using fault trees

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Cauchi, Nathalie Hoque, Khaza Anuarul Stoelinga, Marielle Abate, Alessandro Department of Computer Science University of Oxford Formal Methods and Tools Group University of Twente Netherlands Department of Software Science Radboud University Netherlands

Timely maintenance is an important means of increasing system dependability and life span. Fault Maintenance trees (FMTs) are an innovative framework incorporating both maintenance strategies and degradation models and serve as a good planning platform for balancing total costs (operational and maintenance) with dependability of a system. In this work, we apply the FMT formalism to a Smart Building application and propose a framework that efficiently encodes the FMT into Continuous Time Markov Chains. This allows us to obtain system dependability metrics such as system reliability and mean time to failure, as well as costs of maintenance and failures over time, for different maintenance policies. We illustrate the pertinence of our approach by evaluating various dependability metrics and maintenance strategies of a Heating, Ventilation and Air-Conditioning system. Copyright © 2018, The Authors. All rights reserved.

关键词： Reliability

Efficient probabilistic model checking of smart building maintenance using fault maintenance trees

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Cauchi, Nathalie Hoque, Khaza Anuarul Abate, Alessandro Stoelinga, Mariëlle Department of Computer Science University of Oxford Oxford United Kingdom Formal Methods and Tools Group University of Twente Twente Netherlands

Cyber-physical systems, like Smart Buildings and power plants, have to meet high standards, both in terms of reliability and availability. Such metrics are typically evaluated using Fault trees (FTs) and do not consider maintenance strategies which can significantly improve lifespan and reliability. Fault Maintenance trees (FMTs) - an extension of FTs that also incorporate maintenance and degradation models, are a novel technique that serve as a good planning platform for balancing total costs and dependability of a system. In this work, we apply the FMT formalism to a Smart Building application. We propose a framework for modelling FMTs using probabilistic model checking and present an algorithm for performing abstraction of the FMT in order to reduce the size of its equivalent Continuous Time Markov Chain. This allows us to apply the probabilistic model checking more efficiently. We demonstrate the applicability of our proposed approach by evaluating various dependability metrics and maintenance strategies of a Heating, Ventilation and Air-Conditioning system's FMT. Copyright © 2018, The Authors. All rights reserved.

关键词： Maintenance

The footprint of things: A hybrid approach towards the collection, storage and distribution of life cycle inventory data 5th

学校读者我要写书评

暂无评论

The footprint of things: A hybrid approach towards the colle...

5th International Conference on Information and Communication Technology for Sustainability, ICT4S 2018

作者： Capelleveen, Guido van Pohl, Johanna Fritsch, Andreas Schien, Daniel Department of Industrial Engineering and Business Information Systems University of Twente Netherlands Zentrum Technik und Gesellschaft Technische Universität Berlin Germany Institute of Applied Informatics and Formal Description Methods Karlsruhe Institute of Technology Germany School of Computer Science University of Bristol United Kingdom

Life cycle assessment is a well-established methodology for assessing the environmental impacts of products and services. Unfortunately, an essential part of this life cycle assessment method, collecting inventory data, is extremely time consuming. The quality of manually conducted LCA studies is often limited by uncertainty in the inventory data or narrow scope. Past attempts to overcome these challenges through automation of data collection utilizing the Internet of Things have relied on fully centralized architectures. The drawback of a central repository is the complex coordination between all involved actors in supply chains of products and services. This paper proposes an alternative hybrid approach combining a primary distributed system supplemented with a central repository reducing the need for coordination. This hybrid approach is named "the Footprint of Things". We present a system design that embeds the automatic reporting of life cycle inventory data, such as energy and material flows, into all product components involved in a service delivery. The major strength of our novel system design, among others, is its capacity for real-time and more precise impact calculation of ICT services. © 2018, EasyChair. All rights reserved.

关键词： Life cycle