<--- Back to Details
First PageDocument Content
Embedded systems / Software requirements / Electronics / Software / Safety / Code coverage / DO-178B / Modified condition/decision coverage / DO-254 / Software testing / Software development / Avionics
Date: 2001-06-05 11:24:59
Embedded systems
Software requirements
Electronics
Software
Safety
Code coverage
DO-178B
Modified condition/decision coverage
DO-254
Software testing
Software development
Avionics

Add to Reading List

Source URL: shemesh.larc.nasa.gov

Download Document from Source Website

File Size: 568,08 KB

Share Document on Facebook

Similar Documents

Engineering / Technology / Avionics / Embedded systems / Computing / Safety engineering / DO-178B / DO-254 / Documentation / Communications security / International Traffic in Arms Regulations

COLL A BOR AT ING W IT H CLIENTS TO DEVELOP INNOVAT I V E NE W TECHNOLOGY ®

DocID: 1qPdf - View Document

Safety engineering / Avionics / Global Positioning System / Information technology management / Telematics / DO-178B / Advanced transportation controller / Validation / Computer security

Coll a bor at ing w it h clients to develop innovat i v e ne w technology ®

DocID: 1p8rQ - View Document

Avionics / Air traffic control / Global Positioning System / Automatic dependent surveillance  broadcast / Radar / Embedded systems / Wide Area Augmentation System / Transponder / DO-178B / Type certificate

TRIG TN70 – THE SMART ADS-B OUT SOLUTION 5 reasons to buy ADS-B 1090ES Out - International

DocID: 1p3cR - View Document

Formal methods / Theoretical computer science / Failure / Materials science / Reliability engineering / Survival analysis / DO-178B / Exception handling / Formal verification / Software development process / KeY / Software development

Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad

DocID: 1p1wG - View Document

Safety engineering / System safety / Hazard analysis / Software system safety / Safety engineer / Requirement / Simulation / Software development / DO-178B / Requirements analysis

Software System Safety Engineer Technology Service Corporation (TSC), an Engineering Services Provider with concentration providing Radar & Sensor technology, Algorithm & Software development, Modeling & Simulation, Test

DocID: 1oUQX - View Document