Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
do-178b
1
en50128
1 ?
 21,213,375 websites (safe search)

  1. Validated Software - Affordable Safety-Critical Software Validation Suites

    Software Validation Suites for Safety-Critical Systems. Avionics (DO-178B), Medical (FDA-510k/IEC-60601/IEC-62304), Industrial and rail systems ...
    APEX2
    FDA2
    validation2
    TÜV2
    rtos1
    TUV1
    verified1
    510 k1
    validated1
    510k1
    MISRA1
    mission-critical1
    DO-178B1
    RTCA1
    IEC615081
    safety-critical1
    real-time operating system1
    DO178B1
    ISO149711
    MicroC1
    black box test1
    en501281
    white box test1
    DO2781
    IEC606011
    IEC-615081
    49CFR2360
    ARINC-6530
    DO-2780
    en501290
    IEC623040

    www.validatedsoftware.com - 2009-02-04

  2. Esterel Technologies

    Model-based solutions for DO-178B / IEC 61508 safety-critical systems and ESL-to-RTL synthesis for control-intensive IP design and verification.
    software7
    safety3
    embedded2
    critical2
    code generation1
    IEC 615081
    formal methods1
    DO-178B1
    DO178B1
    VAPS1
    DO1781
    correct by construction1
    EN501281
    EN 501281
    automated implementation1
    unambiguous specifications1
    DO178 code generator0
    IEC61508 certified0
    Oglx0
    RTCA DO-178B qualification0
    SCADE Display0
    SCADE Suite0

    www.esterel-technologies.com - 2009-02-07

embedded2 security4 development5 do178b1 avionics2 do2541 aerospace2 linux5 safety3 do-2541 osha2 aircraft3 aviation3 software7 fire3

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.