A SysML Profile for Fault Trees—Linking Safety Models to System Design

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-26601-1_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Safety Analysis of SysML Models in the Context of Model-Driven Engineering

English

Towards the Integration of Safety Analysis in a Model-Based System Engineering Approach With SysML

Lecture Notes in Mechanical Engineering
Automotive EngineeringTransfer ProcessesFluid FlowMechanical EngineeringAerospace Engineering
2013English

A SysML and CLEAN Based Methodology for RISC Processor Micro-Architecture Design

International Journal of Embedded and Real-Time Communication Systems
Computer Science
2015English

Safety Training System Design for Student Teams

English

Static Analysis Techniques to Verify Mutual Exclusion Situations Within SysML Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Linking Education With Industry: Pedagogical Models From Lighting Design

Asian Journal of Behavioural Studies
2016English

From Probabilistic Counterexamples via Causality to Fault Trees

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

European Benchmark Fault Trees

English

Design of a Fault Tolerant Real-Time Storage System for Multimedia Applications

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy