Resume of Matthew S. Jaffe

Education:

A.B.,   Mathematics, University of California, Berkeley, 1970.
M.S.,  Aeronautical Systems, University of West Florida, 1971.
Ph.D., Computer and Information Sciences, University of California, Irvine, 1988. 

Current Position:

1996-present.  Embry-Riddle Aeronautical University, Prescott, Arizona

• Associate Professor and Chair of Computer Science
  

1976-1996. Hughes Aircraft Company, Ground Systems Group

• Lead engineer for the HMI design of the U.S. Navy's SQS-53B sonar
• Project engineer for the HMP-3637 family of minicomputers
• Software engineering head for a classified project
• Systems engineering head for GEAEGIS (German AEW-Ground Integration Segment – the integration of the E-3A AWACS into GEADGE, the German Air Defense Ground Environment)
• CSDSO (Contractor's System Design Security Officer) for a classified command and control system accredited by NSA at the equivalent of the B2-level for compartmented mode operations (the first such security accreditation ever granted by that particular agency)
• Assistant technical director for NECCIS (Northern European Command and Control Information System)
• Lead systems engineer and then technical director for the design competition for the Initial Sector Suite System, the first phase of the FAA's Advanced Automation System, the program to modernize the entire US air traffic control system)
• Technical director for the BMD BM/C3 OA (a prototype battle management/command and control system for ballistic missile defense)
• Technical director for Oceanic System Development and Support, the FAA's system for oceanic air traffic control
• Assistant program manager and technical director for the Hughes' Theater Battle Management Core System proposal and prototype effort
• Technical director for the Master Systems Integration contract for the new Hong Kong airport at Chek Lap Kok
• Chief architect for WAAS (Wide Area Augmentation System – the FAA's differential GPS for enroute and approach air traffic navigation within the US)

1975-1976. RCA, Missile and Surface Radar Division

• Systems engineer for the US Navy's Aegis Command and Decision system, responsible for human-machine interface (HMI) design; invented the rule-based, expert system doctrine concept later adopted as a Navy standard

1970-1974. United States Navy

• Student naval aviator
• Computer systems analyst for the National Military Command System
• Naval Tactical Data Systems Officer for USS Reeves (DLG-24)
• Ready reserve duty (1976-1980) as Operations Officer for USS Constant (MSO-427).
   

Publications:

M. Jaffe; "Partitioning of a k-space by hyperplanes;" Delta Epsilon, Vol. VI, Spring, 1965.

M. Jaffe; "Another proof on partitioning of a k-space by k-1 spaces;" Delta Epsilon, Vol. VII, Fall, 1965.

M. Jaffe and N. Leveson; "Completeness, robustness, and safety in real-time software requirements specifications;" Proceedings of the 11th International Conference on Software Engineering; May, 1989.

B. Melhart, M. Heimdahl, N. Leveson, and M. Jaffe; "Analysis capabilities for requirements expressed in statecharts;" Proceedings of the Fifth International Workshop on Software Specification and Design; May, 1989.

P. Neumann and M. Jaffe; "Aegis, Vincennes, and the Iranian Airbus;"ACM SIGSOFT Software Engineering Notes; Vol. 14, No. 5; July, 1989.

M. Jaffe and N. Leveson; "Implications of the man-machine interface for software requirements completeness in real-time, safety-critical software systems;" Proceedings of IFAC/IFIP SAFECOMP '89; Dec, 1989.

M. Jaffe, N. Leveson, B. Melhart, and M. Heimdahl; "Software requirements analysis for real-time process-control systems;" IEEE Transactions on Software Engineering; Mar, 1991.

N. Leveson, L. Alfaro, C. Alvarado, M. Brown, E.B. Hunt, M. Jaffe, S. Joslyn, D. Pinnel, J. Reese, J. Samarziya, S. Sandys, A. Shaw, and Z. Zabinsky;  "Demonstration of a safety analysis on a complex system"; presented at the Software Engineering Laboratory Workshop, NASA Goddard; December, 1997.  

M.S. Jaffe, "Possibilities for covert write down detection via null differential, marked money tests", Second International Conference on Non-Linear Problems in Aviation and Aerospace, S. Sivasundaram (ed.), European Conference Publications, Cambridge, 1999, Vol 1.

M.S. Jaffe, "Architectural approaches to limiting the criticality of commercial-off-the-shelf (or other re-used software) components in avionics systems", Proceedings of the 18th Digital Avionics Systems Conference; Oct, 1999.

M.S. Jaffe, "Completeness and consistency in software requirements specifications", Proceedings of the 4th Formal Methods Workshop, Korean Information Science Society; June, 2001.

M.S. Jaffe, "Resolving the Algorithms-as-Requirements versus Algorithms-as-Design Conundrum", Proceedings of the 26th Digital Avionics Systems Conference; Oct, 2007.

M.S. Jaffe, R. Busser, D. Daniels, H. Delseny, and G. Romanski; "Progress Report on some Proposed Upgrades to the Conceptual Software Engineering Underpinnings of DO178B/ED12B", Proceedings of the 3rd IET International System Safety Conference; Oct, 2008.

Honors and Awards

Architectural approaches to limiting the criticality of commercial-off-the-shelf  (or other re-used software) components in avionics systems was selected for a Best in Session award at the 18th DASC.

Courses Taught:

University courses:  An Introduction to Software Engineering, Design and Analysis of Software Systems, Data Structures and the Analysis of Algorithms, Operating Systems, Computer Security, Programming in Ada, Programming in C, Theory of Programming Languages, Computer Architecture

Mini-courses for industry:  An Introduction to Software Safety; Safety in the Software Requirements Phase; The Impact of the Software-Mediated Human-Machine Interface on Software Requirements Safety; and Completeness, Robustness, and Safety in Real-Time Software Requirements Engineering

Other Professional Activities:

Executive committee member on RTCA/EUROCAE SC-205/WG-71, the international committee responsible for producing DO-178c/ED-12c, Software Considerations in Airborne Systems and Equipment Certification

co-PI on NSF grant  #0113627, Increasing Security Expertise in Aviation-oriented Computing Education.

Peer reviewer for IEEE Transactions on Software Engineering, Journal of Automated Software Engineering, Journal of the Korean Nuclear Society, the National Science Foundation, and the National Research Council. 

Consultant for the US Department of Defense, NASA, University of Washington, EPRI, Safeware Engineering, Motorola, and General Dynamics

Contact Information:  See http://ultra.pr.erau.edu/~jaffem

This page last modified 1 Nov 2008