Resume of Matthew S. Jaffe
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.
1996-present. Embry-Riddle Aeronautical University, Prescott, Arizona
Industrial and Military Experience:
1976-1996. Hughes Aircraft Company, Ground Systems Group
1975-1976. RCA, Missile and Surface Radar Division
1970-1974. United States Navy
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 and S.-D. Cha, "Completeness, Robustness, and Safety in the Later Stages of the Requirements Engineering Process for Safety-Critical Software", Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security, 2003; Sept 2003.
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.
M.S. Jaffe, "Minimum Essential Robustness Requirements Analysis", Proceedings of the 30th Digital Avionics Systems Conference; Oct, 2011.
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,
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, Journal of Systems and Software, 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 2 Feb 2015