SAHRA - an integrated software tool for STPA

SAHRA (STPA based Hazard and Risk Analysis) as a software tool for STAMP/STPA improves the analysis workflow by not only supporting the complete STPA process but by also offering a unique way to capture Step 1 and 2 using the visual style of mind maps. SAHRA is seamlessly integrated into the widely used UML solution Sparx Systems Enterprise Architect (EA). This integration enables synergies between design of a system and its safety analysis and thus allows to use STPA in the paradigm of safety-guided design

Towards a modeling language for Systems-Theoretic Process Analysis (STPA) : Proposal for a domain specific language (DSL) for model driven Systems-Theoretic Process Analysis (STPA) based on UML

Dieser Artikel schlägt eine modellbasierte domänen-spezifische Sprache zur Modellierung von Sicherheitsanalyse nach der STAMP/STPA Methode vor. Im Dokument werden die einzelnen Modellierungskonstrukte detailliert beschrieben, sowie deren Zusammenhänge definiert.The article proposes a model-based domain-specific language for the STAMP/STPA safety analysis technique. The document describes the modeling artefacts and their relationships in detail

New genetic loci link adipose and insulin biology to body fat distribution.

Body fat distribution is a heritable trait and a well-established predictor of adverse metabolic outcomes, independent of overall adiposity. To increase our understanding of the genetic basis of body fat distribution and its molecular links to cardiometabolic traits, here we conduct genome-wide association meta-analyses of traits related to waist and hip circumferences in up to 224,459 individuals. We identify 49 loci (33 new) associated with waist-to-hip ratio adjusted for body mass index (BMI), and an additional 19 loci newly associated with related waist and hip circumference measures (P < 5 × 10(-8)). In total, 20 of the 49 waist-to-hip ratio adjusted for BMI loci show significant sexual dimorphism, 19 of which display a stronger effect in women. The identified loci were enriched for genes expressed in adipose tissue and for putative regulatory elements in adipocytes. Pathway analyses implicated adipogenesis, angiogenesis, transcriptional regulation and insulin resistance as processes affecting fat distribution, providing insight into potential pathophysiological mechanisms

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements

STPA based hazard and risk analysis tool SAHRA

SAHRA is a tool for STAMP/STPA implemented as a plugin for the popular UML/SysML modeling tool Sparx Systems Enterprise Architect. The poster will present key functions of SAHRA and present some innovative concepts for modeling hierarchical control structures, control loops, STPA Step 1 and STPA Step 2

Safety und Security Analyse für vernetzte autonome Systeme

Moderne vernetzte Systeme, wie sie im Kontext von autonomem Fahren angedacht werden, haben zum Ziel das Fahren sicherer zu machen, wie z.B. durch die „Vision Zero“ angestrebt wird. Die Sicherheit wird dabei nicht mehr allein durch die Functional Safety bestimmt. Sondern die Security und SOTIF (Safety Of The Intended Functionality) des Systems müssen ebenfalls gewährleisten werden. Die Vernetzung von Fahrzeug zu Fahrzeug und zur Infrastruktur (Car-to-X Kommunikation) wird hierbei wesentliche Rolle bei der Umsetzung spielen. Bei diesen vernetzten Systemen wird die Sicherheit (Safety) kooperativer Systeme zusätzlich von der Informationssicherheit (Security) abhängen. Zudem ist es nicht mehr allein ausreichend ein System zu entwickeln, bei dem man die Fehler kennt und entsprechenden Massnahmen vorsieht, um diese zu vermeiden oder zu beherrschen. Denn bei autonomen Fahrzeugen müssen bestimmte Funktionen an sich bereits sicher agieren. Dafür werden bereits verschieden Ansätze diskutiert, um diese Safety Of The Intended Functionality (SOTIF) zu gewährleisten. Bislang werden diese drei Punkte häufig getrennt voneinander betrachtet von den verschiedenen Experten zu den jeweiligen Themen. Da jedoch alle drei Aspekte in ein und demselben System umgesetzt werden müssen, möchten wir vorstellen, wie ein System hinsichtlich aller drei Themen gemeinsam auf Basis einer STPA (Systems-Theoretic Process Analysis) analysiert werden könnte. STPA fusst auf STAMP (Systems Theoretic Accident Modeling and Processes) und ist eine moderne Risikoanalysemethode, die am MIT von Professor Nancy Leveson entwickelt wurde. Die mögliche Anwendbarkeit zeigen wir anhand eines vernetzten, autonomen Systems auf, bei dem alle drei Aspekte eine entsprechend grosse Rolle spielen. Ziel der Analyse ist es, die notwendigen Anforderungen an das System für alle drei Aspekte ableiten zu können. Dabei stellen wir neben den Vorteilen aber auch die Nachteile und Grenzen der Methodik vor