Engineering Commons^™

Hardware Certification For Real-Time Safety-Critical Systems: State Of The Art, Andrew J. Kornecki, Janusz Zalewski

Department of Electrical Engineering and Computer Science - Daytona Beach

This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airborne Electronic Hardware and its consequences for hardware certification. In particular, problems related to circuits’ compliance with DO-254 in avionics and other industries are considered. Extensive literature review of the subject is given, including current views on and experiences of chip manufacturers and EDA industry with qualification of hardware design tools, including formal approaches to hardware verification. Some results of the authors’ own study on tool qualification are presented.

Pilot Source Study: An Analysis Of Pilot Backgrounds And Subsequent Success In Us Regional Airline Training Programs, Guy M. Smith, David A. Newmyer, Elizabeth Bjerke, Mary Niemczyk, Raymond A. Hamilton

Applied Aviation Sciences - Daytona Beach

The 2010 Pilot Source Study, commissioned to research the success of pilots in initial training for Part 121 operations, analyzed the training performance of 2,156 new-hire pilots in the years 2005-2009. Six regional airlines provided data that was mined from human resource and pilot training files. Five university researchers independently analyzed the data and integrated their results. The study expressed success in terms of fewer extra training events and fewer non-completions in regional airline training. Statistically, the best performing pilots were those who had flight instructor certificates, graduated from collegiate accredited flight programs, received advanced (post-Private) pilot training in college, …

Graduate Curricula In Software Engineering And Software Assurance: Need And Recommendations, T. B. Hilburn, Andrew J. Kornecki

Department of Electrical Engineering and Computer Science - Daytona Beach

In discussions about the development and use of computer systems and software products, the term “professional software engineer” is used repeatedly. In the last two decades there has been significant effort devoted to enhancing and advancing the state of professional software engineering (SwE) – new software engineering processes, methods, tools, and practices; creation of a software engineering body of knowledge [1]; development of a code of ethics and professional conduct [2], and software certification and licensing programs [3] . In 1989 the Software Engineering Institute (SEI) of Carnegie Mellon University published a landmark report on graduate education in software engineering …

Computer Forensic Functions Testing: Media Preparation, Write Protection And Verification, Yinghua Guo, Jill Slay

Journal of Digital Forensics, Security and Law

The growth in the computer forensic field has created a demand for new software (or increased functionality to existing software) and a means to verify that this software is truly forensic i.e. capable of meeting the requirements of the trier of fact. In this work, we review our previous work---a function oriented testing framework for validation and verification of computer forensic tools. This framework consists of three parts: function mapping, requirements specification and reference set development. Through function mapping, we give a scientific and systemized description of the fundamentals of computer forensic discipline, i.e. what functions are needed in the …

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

Clustering Spam Domains And Destination Websites: Digital Forensics With Data Mining, Chun Wei, Alan Sprague, Gary Warner, Anthony Skjellum

Journal of Digital Forensics, Security and Law

Spam related cyber crimes have become a serious threat to society. Current spam research mainly aims to detect spam more effectively. We believe the identification and disruption of the supporting infrastructure used by spammers is a more effective way of stopping spam than filtering. The termination of spam hosts will greatly reduce the profit a spammer can generate and thwart his ability to send more spam. This research proposes an algorithm for clustering spam domains extracted from spam emails based on the hosting IP addresses and tracing the IP addresses over a period of time. The results show that many …

Developing Voip Honeypots: A Preliminary Investigation Into Malfeasant Activity, Craig Valli

Journal of Digital Forensics, Security and Law

30 years ago PABX systems were compromised by hackers wanting to make long distance calls at some other entities expense. This activity faded as telephony became cheaper and PABX systems had countermeasures installed to overcome attacks. Now the world has moved onto the provision of telephony via broadband enabled Voice over Internet Protocol (VoIP) with this service now being provided as a replacement for conventional fixed wire telephony by major telecommunication providers worldwide. Due to increasing bandwidth it is possible for systems to support multiple voice connections simultaneously. The networked nature of the Internet allows for attackers of these VoIP …

Adaptation Of Pyflag To Efficient Analysis Of Seized Computer Data Storage, Aleksander Byrski, Wojciech Stryjewski, Bartłomiej Czechowicz

Journal of Digital Forensics, Security and Law

Based on existing software aimed at investigation support in the analysis of computer data storage seized during investigation (PyFlag), an extension is proposed involving the introduction of dedicated components for data identification and filtering. Hash codes for popular software contained in NIST/NSRL database are considered in order to avoid unwanted files while searching and to classify them into several categories. The extension allows for further analysis, e.g. using artificial intelligence methods. The considerations are illustrated by the overview of the system's design.

Avoiding Sanctions At The E-Discovery Meet-And-Confer In Common Law Countries, Milton Luoma, Vicki Luoma

Journal of Digital Forensics, Security and Law

The rules of civil procedure in common law countries have been amended to better deal with the requirements of electronic discovery. One of the key changes in case management is the scheduling of a meet-and-confer session where the parties to litigation must meet early in the case before any discovery procedures have begun to exchange information regarding the nature, location, formats, and pertinent facts regarding custody and control of a party’s electronically stored information (ESI). Failure to abide by the rules and participate in good faith at the meet-and-confer session can have dire consequences for the parties and lawyers involved. …

Malware Forensics: Discovery Of The Intent Of Deception, Murray Brand, Craig Valli, Andrew Woodward

Journal of Digital Forensics, Security and Law

Malicious software (malware) has a wide variety of analysis avoidance techniques that it can employ to hinder forensic analysis. Although legitimate software can incorporate the same analysis avoidance techniques to provide a measure of protection against reverse engineering and to protect intellectual property, malware invariably makes much greater use of such techniques to make detailed analysis labour intensive and very time consuming. Analysis avoidance techniques are so heavily used by malware that the detection of the use of analysis avoidance techniques could be a very good indicator of the presence of malicious intent. However, there is a tendency for analysis …

Digital Records Forensics: A New Science And Academic Program For Forensic Readiness, Luciana Duranti, Barbara Endicott-Popovsky

Journal of Digital Forensics, Security and Law

This paper introduces the Digital Records Forensics project, a research endeavour located at the University of British Columbia in Canada and aimed at the development of a new science resulting from the integration of digital forensics with diplomatics, archival science, information science and the law of evidence, and of an interdisciplinary graduate degree program, called Digital Records Forensics Studies, directed to professionals working for law enforcement agencies, legal firms, courts, and all kind of institutions and business that require their services. The program anticipates the need for organizations to become “forensically ready,” defined by John Tan as “maximizing the ability …

Solid State Drives: The Beginning Of The End For Current Practice In Digital Forensic Recovery?, Graeme B. Bell, Richard Boddington

Journal of Digital Forensics, Security and Law

Digital evidence is increasingly relied upon in computer forensic examinations and legal proceedings in the modern courtroom. The primary storage technology used for digital information has remained constant over the last two decades, in the form of the magnetic disc. Consequently, investigative, forensic, and judicial procedures are well-established for magnetic disc storage devices (Carrier, 2005). However, a paradigm shift has taken place in technology storage and complex, transistor-based devices for primary storage are now increasingly common. Most people are aware of the transition from portable magnetic floppy discs to portable USB transistor flash devices, yet the transition from magnetic hard …

Book Review: Digital Forensic Evidence Examination (2nd Ed.), Gary C. Kessler

Journal of Digital Forensics, Security and Law

On the day that I sat down to start to write this review, the following e-mail came across on one of my lists: Person A and Person B write back and forth and create an email thread. Person A then forwards the email to Person C, but changes some wording in the email exchange between A & B. What is the easiest way (and is it even possible) to find out when that earlier email message was altered before sent to Person C? Before you try to answer these questions, read Fred Cohen's Digital Forensic Evidence Examination. His book won't …

Identifying A Computer Forensics Expert: A Study To Measure The Characteristics Of Forensic Computer Examiners, Gregory H. Carlton, Reginald Worthley

Journal of Digital Forensics, Security and Law

The usage of digital evidence from electronic devices has been rapidly expanding within litigation, and along with this increased usage, the reliance upon forensic computer examiners to acquire, analyze, and report upon this evidence is also rapidly growing. This growing demand for forensic computer examiners raises questions concerning the selection of individuals qualified to perform this work. While courts have mechanisms for qualifying witnesses that provide testimony based on scientific data, such as digital data, the qualifying criteria covers a wide variety of characteristics including, education, experience, training, professional certifications, or other special skills. In this study, we compare task …

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

Temporal Scales For Transport Patterns In The Gulf Of Finland, Bert Viikmae, Tarmo Soomere, Mikk Viidebaum, Mihhail Berezovski

Publications

The basic time scales for current-induced net transport of surface water and associated time scales of reaching the nearshore in the Gulf of Finland, the Baltic Sea, are analysed based on Lagrangian trajectories of water particles reconstructed from three-dimensional velocity fields by the Rossby Centre circulation model for 1987–1991. The number of particles reaching the nearshore exhibits substantial temporal variability whereas the rate of leaving the gulf is almost steady. It is recommended to use an about 3 grid cells wide nearshore area as a substitute to the coastal zone and about 10–15 day long trajectories for calculations of the …

Waves In Materials With Microstructure: Numerical Simulation, Mihhail Berezovski, Arkadi Berezovski, Juri Engelbrecht

Publications

Results of numerical experiments are presented in order to compare direct numerical calculations of wave propagation in a laminate with prescribed properties and corresponding results obtained for an effective medium with the microstructure modelling. These numerical experiments allowed us to analyse the advantages and weaknesses of the microstructure model.

Removal Of Biofilm Through Controlled Cavitation, Mathew Chackalackal Mathew

Master's Theses - Daytona Beach

Human kind is poised to take the next "giant step" in space exploration, the manned mission to Mars, among other things. But before any plans for such long term habitation on an alien planet, there has to be consideration towards prevention and removal of bacterial contamination. Bacterial contamination or rather degradation of materials was considered of negligible importance. Bacterial degradation can be serious for long-term manned space mission, more so because there is no way to obtain quick replacements. For such conditions, a new innovative way of bacterial removal has been proposed wherein the bacteria is removed with no damage …

Grating Lobe Reduction In Aperiodic Linear Arrays Of Physically Large Antennas, William C. Barott, Paul G. Steffes

Publications

We present performance bounds obtained from the optimization of the sidelobe levels of aperiodic linear arrays. The antennas comprising these arrays are large compared to the distance between neighboring antennas, a case not addressed in previously published work. This optimization is performed in pattern-space and is applicable over a wide range of scan angles. We show that grating lobes can be suppressed even when the elemental antennas are several wavelengths in size, provided that the ratio of the antenna size to the average spacing between the antenna center-points does not exceed 80%.

Airport Bird Hazard Management, Flavio A. C. Mendonca Ph.D.

Publications

Aircraft collisions with birds, also commonly referred to as bird strikes, annually cost the commercial aviation industry in Brazil at least $6 million in direct damage and associated costs and hundreds of hours of aircraft down time. Although the economic costs of wildlife strikes are extreme, the cost in human lives lost when aircraft accidents occur as a result of strikes best illustrates the need for management of the wildlife strike problem. Bird strikes have been an increasing problem for the aviation industry. Air travel has become widespread all over the world. The aircraft has played an important role not …

Numerical Simulation Of Mode Transition In A Hydrogen-Fueled Scramjet, Manan Ajay Vyas

Master's Theses - Daytona Beach

The Wind-US computational fluid dynamics (CFD) flow solver was used to simulate dual-mode direct-connect ramjet/scramjet engine flowpath tests conducted in the University of Virginia (UVa) Supersonic Combustion Facility (SCF). The objective was to develop a computational capability within Wind-US to aid current hypersonic research and provide insight to flow as well as chemistry details that are not resolved by instruments available. Computational results are compared with experimental data to validate the accuracy of the numerical modeling. These results include two fuel-off non-reacting and eight fuel-on reacting cases with different equivalence ratios, split between one set with a clean (non-vitiated) air …

Change Blindness In The Synthetic Vision Primary Flight Display: Comparing Eye Tracking Patterns With Pilot Attention, Stephen A. Mayo

Master's Theses - Daytona Beach

There have been a number of important advances in aviation technology that have made the safety rating of flying the best that it has ever been. One of the most important advances made has been in the interface that the pilot relies on for their most critical information during flight. New aviation displays have empirically shown a wide range of improvements across pilot performance. Despite these improvements, there is still a high possibility that pilots may miss pertinent information that changes may occur simultaneously with some sort of distraction - a concept known as change blindness. This study analyzed how …

The Effect Of Pilot And Air Traffic Control Experiences & Automation Management Strategies On Uas Mission Task Performance, Christopher J. Reynolds

Master's Theses - Daytona Beach

Unmanned aircraft are relied on now more than ever to save lives and support the troops in the recent Operation Enduring Freedom and Operation Iraqi Freedom. The demands for UAS capabilities are rapidly increasing in the civilian sector. However, UAS operations will not be carried out in the NAS until safety concerns are alleviated. Among these concerns is determining the appropriate level of automation in conjunction with a suitable pilot who exhibits the necessary knowledge, skills, and abilities to safely operate these systems.

This research examined two levels of automation: Management by Consent (MBC) and Management by Exception (MBE). User …

Flight Regime And Maneuver Recognition For Complex Maneuvers, Jerome H. Travert

Master's Theses - Daytona Beach

The purpose of this study is to demonstrate capability of flight regime recognition during complex maneuvers flown in a fixed wing airplane using measured data from an Inertial Measurement Unit (IMU). Flight Regime Recognition (FRR) is required for numerous applications in the aerospace and aviation industry, including the determination of loads for stress and strain analysis. It can also be used in recreational aviation for maneuver recognition, for example in aerobatics.

This study uses a flight simulator to generate representative flight data that is parsed by a specifically developed algorithm into appropriate flight regimes. This algorithm is a filter technique …

An Analytical Investigation Of Natural Frequency For A Symmetric Composite Box-Beam With Thermal Effects, Lakshmi Narayana Sanjeev Chitikela

Master's Theses - Daytona Beach

The main purpose of the following analysis is to develop an analytical method for determining the natural frequency of a symmetric composite box-beam subjected to temperature gradient. A set of coupled partial differential equations of motion is obtained by means of small defection theory and D'Alembert's method. The Smith and Chopra stiffness matrix is used in the governing equations of motion and an appropriate MATLAB® code has been written to solve for the stiffness matrix elements of the box-beam. The resulting governing equations of motion are solved to obtain the natural frequencies of the box-beam in flap and lag directions …

Compression After Impact Load Prediction In Graphite/Epoxy Laminates Using Acoustic Emission And Artificial Neural Networks, Anthony Michael Gunasekera

Master's Theses - Daytona Beach

The purpose of this research was to investigate the effectiveness of artificial neural networks (ANNs) in predicting the compression after impact (CAI) load of graphite/epoxy laminates from acoustic emission (AE) nondestructive testing (NDT) data. Thirty-four 24-ply bidirectional woven cloth laminate coupons were constructed and impacted at various energy levels ranging from 8 to 20 Joules, generating barely visible impact damage (BVID). Acoustic emission data were acquired as the coupons were compressed to failure. Not having been analyzed by previous experimenters, several noise tests were also performed to determine the impact of external noise on acoustic emission data during testing. Once …

Thermal Modeling Of Lithium-Ion Energy Storage Systems For Hybrid Electric Vehicles Using Computational Fluid Dynamics With Conjugate Heat Transfer, Craig R. Czlapinski

Master's Theses - Daytona Beach

The success and performance of a Hybrid Electric Vehicle (HEV) relies largely on its Energy Storage System (ESS). High temperatures and thermal variations can significantly affect a battery's performance and lifecycle. An effective thermal management system is vital to the health and safe operation of the ESS's batteries. A well designed thermal management system begins with the accurate prediction of the battery's thermal conditions. In hot climates, HEVs may be required to operate within ten degrees Celsius of the maximum safe operating temperature of their batteries. This study aims to evaluate the thermal management system of a lithium-ion based energy …

Determination Of Stability And Control Derivatives For A Modern Light Composite Twin Engine Airplane, Monica M. Londono

Master's Theses - Daytona Beach

To develop and compare full envelope stability and control derivatives and their associated errors for a modern light composite twin engine airplane from flight test data and digital DATCOM (Data Compendium). This development is to serve three purposes 1) to provide data for validation of newer analytical techniques such as Computational Fluid Dynamics (CFD), 2) to provide public domain static and dynamic stability and control derivatives for a modern twin engine airplane, 3) to analyze the relationship between test design and error for both output error and equation error methods.

A flight test program was conducted on a Diamond Twin …

A Comparison Of Algorithms That Estimate The Effectiveness Of Commercial Airline Boarding Strategies, Dalila Giraldo

Doctoral Dissertations and Master's Theses

The number of passengers carried by commercial aircraft has increased dramatically over the past 50 years, closely in-step with advances in aircraft design. This makes unloading and loading an aircraft, called turn-around time, critical to the success of the airport, the aircraft and the airlines. A number of mathematical algorithms have been developed over the years that purport to determine the most efficient boarding strategy for passengers by decreasing turn time. This thesis evaluated the boarding strategies most often used by the airlines and algorithms used to predict boarding efficiency. The models used were obtained from the literature and from …