|
Daytona Beach Campus - College of Engineering
Research in the College of EngineeringSAFETY CRITICAL SYSTEMS
DEPENDABLE SOFTWARE SYSTEMS
Includes research in software quality, real-time software tools, model based development and verification, and software architecture.
ACTIVITIES
Dr. Andrew Kornecki
Since 1999 engaged in research sponsored by medical industry on methodologies supporting development of dependable software for safety critical environment using model-based development paradigm and tools with automatic code generation feature. Helping industry to improve safety process in the development of software intensive medical systems. Since 2002 engaged in the FAA sponsored research on real-time safety critical software development tools evaluation. Collaborating with European partners on research related to active safety in embedded airborne systems. Delivering industrial training on real-time software for the FAA Aircraft Certification Services. Exploring the discrete and continuous simulations for assessment of real-time databus architectures. Actively engaged in real-time education.
CURRENT PROGRAMS
Assessment of Software Development Tools for Safety Critical Real Time Systems, Federal Aviation Administration - Technical Center
Real-Time Safety Critical Software Testing and Validation, Guidant Corporation
Dr. David Gluch
Research is focused on model-based software engineering (MBSE) of complex systems, with a focus on high dependability performance-critical systems. MBSE integrates formal methodologies into software systems design and analysis. Current work centers on the application of the SAE Architecture Analysis and Design Language (AADL) standard. Model-based software engineering techniques ensure predictable performance and reliability and enable efficient verification of software-dependent systems
Dr. Massood Towhidnejad
Research is focused on software quality assurance and testing research. Helping industry and academia to incorporate activities, which will result in better quality software, within time and budget allocations. Areas of expertise include, software process improvement, software measurements, software testing, and software quality practices.
CURRENT PROGRAMS
Software Quality Assurance Audit & Test-bed Resource Optimization - VERITAS
Corporation
SOFTWARE DISCIPLINE EDUCATION
The scope is in research in the areas of personal and team software process, software engineering curricula, and teaching methodologies for software engineering.
ACTIVITIES
Dr. Thomas Hilburn
Research focused on software engineering education. Issues related to the curriculum development, and curriculum assessment.
CURRENT PROGRAMS
2002-2004 NSF three-year multi-university project, titled SWENET (The Network
Community for Software Engineering Education) together with Drexel, Georgia
Tech, RIT (Rochester Institute of Technology) and Texas Tech. The project
topic is development of software engineering education materials to be used
as independent modules supporting instructors in computing programs.
Summer Faculty Workshop RIT and ERAU NSF grant.
Dr. Timothy Wilson
Research focused on Auditory-motivated signal processing, Signal-processing education, Engineering-education, including assessment methods
CURRENT PROGRAMS
(Chancellor) to develop EGR 101, Introduction to Engineering, first-year engineering course using team-based Multidisciplinary projects
Edwards AFB to support Digital Signal Processing curriculum development and tools evaluation
|
