|
Daytona Beach Campus - College of Engineering
Department of Computer and Software Engineering
Research Activities
Strategic Partnerships
Guidant
We have a strategic partnership with the Cardiac Rhythm Management Group of Guidant Corporation to engage in research projects related to the development of safety-critical computer systems. Learn more about our partnership with Guidant Corporation.
Software Engineering Institute (SEI)
For the last six years we have had a Cooperative Research and Development Agreement (CRADA) with Carnegie-Mellon University's Software Engineering Institute in Pittsburgh, Penn., resulting in our faculty holding visiting positions at CMU/SEI, visitors from SEI at ERAU, and joint teaching and cooperation.
Veritas We have a strategic partnership with Veritas Software Corporation to engage in research projects related to Software Quality Assurance. Learn more about our partnership with Veritas Corporation.
Research Interests
Software Process Improvement
We worked with Lockheed Martin on application of the Team Software Process technology using a wireless/GPS project. In the summer of 2002, a team consisting of Lockheed-Martin employees and Embry-Riddle graduate students developed a case study collecting software process data. A continuation of this effort is expected.
Software Engineering Education
We are working on a National Science Foundation three-year multi-university project, titled SWENET (The Network Community for Software Engineering Education) together with Drexel, Georgia Tech, RIT and Texas Tech. The project topic is development of software engineering education materials to be used as independent modules supporting instructors in computing programs.
Safety Critical Software Certification
We are working on a Federal Aviation Administration three-year contract, conducting research on Assessment of Software Development Tools for Safety-Critical Real-Time Systems. The objective of this research is to identify the assessment criteria that allow both developers and certifying authorities to evaluate specific safety-critical real-time software development tools from the system/software safety perspective. Related objectives are to present and evaluate the state of art in safety-critical software development tools and generate a set of guidelines for tool selection.
Automatic Code Generation
Sponsored by the Cardiac Rhythm Management Group of the Guidant Corporation, we work on issues related to automatic code generation. The investigation explores tool and methodologies of code generation and their impact on the software development process and such final product attributes as safety and reliability. The issues of required skills of the developers and the quality of resulting products are also investigated.
Software Architecture for Safety-Critical Systems
Sponsored by the Cardiac Rhythm Management Group of the Guidant Corporation, we work on evaluation and selection of software architectures for safety-critical systems. The research investigates various architectural styles and patterns with their applicability to the software intensive safety critical systems. Analysis of both the process and product are conducted.
Model-Based Verification
Model-Based Verification (MBV) is a systematic approach to finding defects (errors) in software requirements, designs, or code. MBV employs state machines, model checking, and related formal software engineering techniques to provide a disciplined and logical analysis practice for reviewing software artifacts. Our research has centered on applying MBV to real-world systems and using these experiences as a basis for developing engineering guidelines to facilitate the use of MBV in software development.
Software Testing/Fault Analysis
Sponsored by NASA Goddard Space Flight Center, Software Assurance Technology Center, we have worked on the application of Fault Tree Analysis (FTA) to software systems in order to increase software quality and reliability by eliminating the hazardous states. As part of this research, FTA is applied to Object Oriented design methodology with the specific emphasis on United Modeling Language, for the purpose of identifying hazardous states.
Signal Processing
We have worked on application of signal processing approaches in the mammalian auditory system to problems in the representation, processing, detection, estimation, and discrimination of signals. The knowledge domains for that research include signal processing, particularly the wavelet transform and other sub-band-coding technologies like Dolby AC-3 and MP3, and statistical signal theory, particularly simulation of probabilistic systems.
|
