Back to Results
First PageMeta Content
Software development / Assembly languages / Computer architecture / X86 assembly language / Low-level programming language / JMP / DO-178B / Avionics software / Software verification / X86 architecture / Computing / Avionics


Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification Redge Bartholomew Software Design Support Engineering and Technology Rockwell Collins, Inc.
Add to Reading List

Document Date: 2007-09-10 11:09:21

Open Document

File Size: 284,25 KB

Share Result on Facebook

City

Los Alamitos / Reading / Rapids / /

Company

Addison-Wesley Inc. / RTCA Inc. / Technology Rockwell Collins Inc. / IEEE Computer Society Press / Equipment Certification / Airborne Systems / Function Extraction Technology / Avionics Software / Intel / /

/

Facility

Carnegie Mellon University / Stacy Prowell CERT STAR*Lab Software Engineering Institute Carnegie Mellon University / Software Engineering Institute / American Institute of Aeronautics / /

IndustryTerm

software engineering / defined and derived software requirements / software certification / satisfactory engineering solutions / target hardware / software behavior / aerospace systems / infrastructural software / high-level software requirements / present-day software / computing / Software verification tools / aviation software developers / software architecture / dependable software development / software verification / /

Organization

Federal Aviation Administration / Stacy Prowell CERT STAR*Lab Software Engineering Institute Carnegie Mellon University Pittsburgh / American Institute of Aeronautics / Carnegie Mellon University / Pittsburgh / /

Person

Rick Linger / Addison Wesley / Luanne Burns / Tim Daly / Stacy Prowell / /

Position

Representative / /

ProgrammingLanguage

Assembly Language / Cedar / Java / T / /

ProvinceOrState

Pennsylvania / Hawaii / California / Massachusetts / /

Technology

technology of function extraction / Java / RTOS / /

SocialTag