Gnomit
/
Keyword Search
/
Info
Results
1 - 3
of
3
for:
en50128
21,213,375 websites (safe search)
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 ...
APEX
FDA
validation
TÜV
rtos
TUV
verified
510 k
validated
510k
MISRA
mission-critical
DO-178B
RTCA
IEC61508
safety-critical
real-time operating system
DO178B
ISO14971
MicroC
black box test
en50128
white box test
DO278
IEC60601
IEC-61508
49CFR236
ARINC-653
DO-278
en50129
IEC62304
www.validatedsoftware.com - 2009-02-04
Accueil
ProceXpert est spécialisée dans l'évaluation de processus de développement sécuritaire ou non sécuritaire (référentiels CMMI ou normes CEI 61508.3 / CEN 50128) ...
Safety
Appraisal
Evaluation
Sécurité
CMMI
SIL
SCAMPI
EN50128
www.procexpert.com - 2009-02-10
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.
software
safety
embedded
critical
code generation
IEC 61508
formal methods
DO-178B
DO178B
VAPS
DO178
correct by construction
EN50128
EN 50128
automated implementation
unambiguous specifications
DO178 code generator
IEC61508 certified
Oglx
RTCA DO-178B qualification
SCADE Display
SCADE Suite
www.esterel-technologies.com - 2009-02-07
do-254
do-178b
do178b
safety
embedded
security
osha
fire
avionics
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.