Mark R. Blackburn, Ph.D.

Mark R. Blackburn, Ph.D., is actively involved in business development, consulting, and strategic planning for T-VEC Technologies. He has over twenty years of software systems engineering experience in development, management and applied research of process, methods and tools. He has been principal investigator on government and large industry projects. He is a frequent speaker at conferences and symposia, has authored more than 100 publications.

Co-inventor of the T-VEC system.
T-VEC's Requirements-based Automated Verification (RAVE) solution is a proven method and integrated toolset for requirement-based defect prevention and automated testing. By modeling and analyzing system requirements with RAVE before design and coding, project teams refine the requirements and correct defects before they enter the system.

Experience:
Dr. Blackburn is still involved in technical activities. He spends a significant amount of time directly working with clients to help them apply model-based methods to support requirement defect removal and test automation. That's how he had the opportunity to use T-VEC to find the bug that is the likely cause of the Mars Polar Lander crash. He often presents at conferences and symposia. He is also an expert in software safety and is involved in software certification for both FAA and FDA products.
Much of his recent consulting effort has been in support of technology transfer of model-based V&V tools and the associated process tailoring that is required for adoption within large companies. He has actively participated on V&V efforts for aircraft systems, avionics, medical, automotive, telecomm, database, security, information system, smart cards, and other defense system applications. He has developed and frequently delivers multi-day training courses related to model-based verification and validation. He has been involved in applied research and advanced technology demonstrations for architecture for embedded systems, web-based knowledge engineering, domain engineering, reverse engineering of programs to specifications, object technology, formal methods approaches to high assurance, requirement specification and model-based verification.
From 1988 to 1993 he co-developed and applied T-VEC on flight critical, real-time embedded systems that were FAA certified.
From 1983-1988 he was involved in the graphics processor development of a flight critical electronic flight instrumentation system that was also FAA certified.
From 1979 to 1982 he was involved in applied research and development of a formal specification-based methodology and associated tool system.

Education:
PhD Information Technology, George Mason University-1998,
MS Mathematics (emphasis in C.S.), Florida Atlantic University-1987, and
BS Mathematics (C.S. option), Minor in EE, Arizona State University-1981.

blackburn@t-vec.com - T-VEC

	Mark R. Blackburn, Ph.D., is actively involved in business development, consulting, and strategic planning for T-VEC Technologies. He has over twenty years of software systems engineering experience in development, management and applied research of process, methods and tools. He has been principal investigator on government and large industry projects. He is a frequent speaker at conferences and symposia, has authored more than 100 publications.
Co-inventor of the T-VEC system.	T-VEC's Requirements-based Automated Verification (RAVE) solution is a proven method and integrated toolset for requirement-based defect prevention and automated testing. By modeling and analyzing system requirements with RAVE before design and coding, project teams refine the requirements and correct defects before they enter the system.
Experience:	Dr. Blackburn is still involved in technical activities. He spends a significant amount of time directly working with clients to help them apply model-based methods to support requirement defect removal and test automation. That's how he had the opportunity to use T-VEC to find the bug that is the likely cause of the Mars Polar Lander crash. He often presents at conferences and symposia. He is also an expert in software safety and is involved in software certification for both FAA and FDA products. Much of his recent consulting effort has been in support of technology transfer of model-based V&V tools and the associated process tailoring that is required for adoption within large companies. He has actively participated on V&V efforts for aircraft systems, avionics, medical, automotive, telecomm, database, security, information system, smart cards, and other defense system applications. He has developed and frequently delivers multi-day training courses related to model-based verification and validation. He has been involved in applied research and advanced technology demonstrations for architecture for embedded systems, web-based knowledge engineering, domain engineering, reverse engineering of programs to specifications, object technology, formal methods approaches to high assurance, requirement specification and model-based verification. From 1988 to 1993 he co-developed and applied T-VEC on flight critical, real-time embedded systems that were FAA certified. From 1983-1988 he was involved in the graphics processor development of a flight critical electronic flight instrumentation system that was also FAA certified. From 1979 to 1982 he was involved in applied research and development of a formal specification-based methodology and associated tool system.
Education:	PhD Information Technology, George Mason University-1998, MS Mathematics (emphasis in C.S.), Florida Atlantic University-1987, and BS Mathematics (C.S. option), Minor in EE, Arizona State University-1981.