Search Results for "xstampp"

x
Sort By:

Showing 5 open source projects for "xstampp"

View related business solutions
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 1
    XSTAMPP

    XSTAMPP

    XSTAMPP: An eXtensible STAMP Platform for Safety Engineering

    From 1. July 2017, we moved this repository to GitHub repository https://github.com/SE-Stuttgart/XSTAMPP
    Leader badge
    Downloads: 7 This Week
    Last Update:
    See Project
  • 2
    STPATCGeneratorPlugin is an Eclipse plugin developed based on XSTAMPP architecture for the STPA TCGenerator tool which is developed by Asim Abdulkhaleq. Th plugin will integrate with XSTAMPP platform for safety engineering to allow the safety analyst to automatically generate the safety-based test cases for each STPA-generated software safety requirements which are derived during STPA safety analysis process.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    STPASec: STPA for security
    STPASec is an Eclipse plug-in to support the STPA security analysis activities (STPA Sec). The plug-in can be integrated with XSTAMPP (www.xstampp.de)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    STPA TCGenerator is a stand-alone tool was developed by Asim Abdulkhaleq to generate the safety-based test cases directly from STPA safety analysis results. STPA TCGenereator parses the STPA file project created in XSTAMPP and the safe behavourial model which is created with Simulink's stateflow editor to automatically generate the SMV model and check the correctness of the safe beahvioural model, eliminate the safe test model and generate safety-based test cases. The STPA TCGenerator tool accepts two files as input: an STPA project with extension haz. or .hazx and a stateflow model as xml file. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 5
    A-STPA

    A-STPA

    STPA support tool

    ...It is brought to you by the 2013-14 Studienprojekt of the Software Engineering Group of the University of Stuttgart. Visit us at www.xstampp.de A-STPA is now available as a plug-in for the XSTAMPP - eXtensible STAMP Platform both are available here: https://github.com/SE-Stuttgart/XSTAMPP
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

MongoDB Logo MongoDB