Selected presentations from ERAU/FAA Software Tool Forum,
May 2004:
- Development
Tools Research, Kornecki (ERAU), Zalewski (FGCU)
- Automatic Code Generation
Experience, Pothon (Airbus)
- Efficient
Development of Airborne Software Using Model-Based Development, Dion (Esterel
Technologies)
- Crafting an
FAA-Qualifiable Compiler, Santhanam (Boeing)
- VAPS Qualifiable
Code Generator, Atkinson (Engenuity), Monfret (Barco)
- Verification
Tool Research, Hayhurst (NASA), Santhanam, Waldrop, Chilenski (Boeing)
- Verification
Tool Qualification: A Commercial Tool Vendor’s Perspective of the FAA Qualification
Process, Reeve (Patmos), Whipple (Metrowerks)
- Use of The
MathWorks Tool Suite to Develop DO-178B Certified Code, Potter
(Honeywell)
- Tool Qualification
– A Living Process, Roth (Honeywell)
- Coverage
Analysis for Level A, Romanski (Verocel)
- Model-Based
Analysis and Test Generation for Complex Systems, Busser, Blackburn,
Nauman (T-VEC Technologies)
- The
Simulink/Stateflow Analyzer, Galloway, Toyn, Iwu, McDermid (U. of
York)
- A Revolution in
Avionics Software Safety Verification Traceability, O’Leary (Verocel)
- Tool Intensive
Software Development: New Challenges
for Verification, Validation, & Certification, Heimdahl (U.of
Minnesota)
- Embedded System
Architecture Analysis Using the SAE AADL, Feiler, Hudak (SEI), Gluch
(ERAU)
- Reusing Tool
Qualification Data: CAST Perspective, Rierson (FAA)
- Using Tool
Service History for Tool Qualification, Petesch (Hamilton
Sunstrand)
- Software
Verification with Emerging Technologies, Thornton, Frey (Honeywell)