Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 4 of 4

Full-Text Articles in Engineering

Oluso, Diego Fernandez, Tyler Heucke, Nishant Mattu, Michael Roesch Jun 2016

Oluso, Diego Fernandez, Tyler Heucke, Nishant Mattu, Michael Roesch

Computer Engineering

Oluso is a new startup offering affordable, inexpensive technology to empower the individual. Our product is designed to keep the user in contact with someone close to them in emergency situations. Over the course of the past several months we have performed interviews with both individuals who may be interested in this product as well as organizations who may be interested in purchasing this product for their members. Our product is nearing completion and all of the companies we have interviewed have displayed a significant amount of interest in our product. The combination of easy communication and peace of mind …


Standardizing Functional Safety Assessments For Off-The-Shelf Instrumentation And Controls, Andrew Michael Nack May 2016

Standardizing Functional Safety Assessments For Off-The-Shelf Instrumentation And Controls, Andrew Michael Nack

Masters Theses

It is typical for digital instrumentation and controls, used to manage significant risk, to undergo substantial amounts of scrutiny. The equipment must be proven to have the necessary level of design integrity. The details of the scrutiny vary based on the particular industry, but the ultimate goal is to provide sufficient evidence that the equipment will operate successfully when performing their required functions.

To be able to stand up to the scrutiny and more importantly, successfully perform the required safety functions, the equipment must be designed to defend against random hardware failures and also to prevent systematic faults. These design …


Specification And Formal Verification Of Safety Properties In A Point Automation System, İbrahi̇m Şener, Özgür Turay Kaymakçi, İlker Üstoğlu, Gali̇p Cansever Jan 2016

Specification And Formal Verification Of Safety Properties In A Point Automation System, İbrahi̇m Şener, Özgür Turay Kaymakçi, İlker Üstoğlu, Gali̇p Cansever

Turkish Journal of Electrical Engineering and Computer Sciences

Railroad transportation systems are an area that poses the threat of causing huge risk for both the environment and people if an error emerges during operation. For this reason, designing and developing relevant products in this area is challenging. What is more, methods to be utilized for the purposes of minimizing risk susceptibility are to be specified by international standards. While relevant standards strongly recommend that some methods be utilized based on the desired safety integrity level during the development phase, some methods are not recommended to be utilized. CENELEC 50128 strongly recommends the utilization of timed-arc Petri nets during …


Pothole Reporting System, Alissa L. Mcgill, Brian G. Simmons, Sean D. Querry, Elizabeth J. Hammell Jan 2016

Pothole Reporting System, Alissa L. Mcgill, Brian G. Simmons, Sean D. Querry, Elizabeth J. Hammell

Williams Honors College, Honors Research Projects

The purpose of this project is to create a pothole detection device that can be attached to the underside of a commercial vehicle. Potholes cost motorists around 6.4 billion dollars annually, thus demonstrating the need for a system to aid with the detection and reporting of potholes. The four systems we needed to consider for the implementation of this project were the power system, the sensing system, the data processing system, and the reporting and logging system. Power pulled from the vehicle will enable the sensors and data processing module. The data processing module will analyze the readings from the …