Refine Your Search

Topic

Author

Affiliation

Search Results

Training / Education

Introduction to the Secure Microkernel, seL4

2019-07-16
Security continues to be an ever-growing concern in more and more design spaces. There are daily articles about security breaches and there is a need for much higher security through the entire system stack. Thorough testing of systems can lead to stronger security in systems, but testing can only expose so many vulnerabilities. Formal methods is another solution that ensures specific behaviors will not occur. seL4 is the first formally proven microkernel and it is open-source. This makes it a great solution for systems that need strong security.
Training / Education

Photogrammetry and Analysis of Digital Media

2019-06-26
Photographs and video recordings of vehicle crashes and accident sites are more prevalent than ever, with dash mounted cameras, surveillance footage, and personal cell phones now ubiquitous. The information contained in these pictures and video provide critical information to understanding how crashes occurred, and in analyzing physical evidence. This course teaches the theory and techniques for getting the most out of digital media, including correctly processing raw video and photographs, correcting for lens distortion, and using photogrammetric techniques to convert the information in digital media to usable scaled three-dimensional data.
Training / Education

Introduction to DO-178C

2019-05-06
The international standard titled DO-178C - Software Considerations in Airborne Systems and Equipment Certification is the primary standard for commercial avionics software development. This standard provides recommendations for the production of airborne systems and equipment software. Compliance with the objectives of DO-178C is the primary means for meeting airworthiness requirements and obtaining approval of software used in civil aviation products. This two-day seminar will introduce attendees to industry best practices for real-world software development and how to avoid common DO-178C mistakes.
Training / Education

Cybersecurity An Introduction for the Automotive Sector

2019-04-26
The automotive industry is the new "battleground" for cybersecurity. Following the path of desktops/laptops, tablets, and mobile phones, the automotive industry is now the "hot" area for both academic researchers and hackers. This will transform the automotive industry just as it transformed traditional information technology and the mobile markets; it is inescapable, but it can be beneficial and a well prepared company can find significant benefit in being a market leader. What does cybersecurity mean? Who is attacking and why? What must we change? What can stay the same? What is the larger organization's role in cyber?
Training / Education

Design Considerations for Secure Embedded Systems

2019-04-22
Embedded hardware is everywhere you look today from your vehicle’s infotainment system to refrigerator to medical devices and everything else in-between. With so much exposure one would think that such devices are secure against attack; however, sadly for many devices this is not the case. For proof, just look no further than your local news reports. They are full of reports on devices being hacked. So, as engineers, how do we go about first identifying and mitigating (or capitalizing) the potential security vulnerabilities within these devices?
Standard

Software Reliability Program Standard

1998-07-01
HISTORICAL
JA1002_199807
Context-This SAE Standard provides a framework for the management of software reliability within system reliability requirements. It is based around the Software Reliability Plan and Software Reliability Case and emphasizes the importance of evaluating progress towards meeting software reliability requirements throughout the project life-cycle. Range of Application-This document can be applied to all projects that incorporate software. This includes the integration of Off the Shelf (OTS) software products and custom software. OTS software sources include commercial vendors, government, and industry (e.g., reused library software). Custom software is generally newly developed software or a significant rework/upgrade of existing software that is for use with a specific application. Roles a. The Software Reliability Plan and the Software Reliability Case are intended to serve the needs of industry organizations in meeting software product reliability objectives. b.
Standard

Bumper Jack Requirements--Motor Vehicles

1967-01-01
HISTORICAL
J979_196701
The following requirements and test information can be used to obtain reasonable quality and uniformity for bumper jacks. For this specification, a fully loaded vehicle includes curb weight, optional equipment, weight at 150 lb each for specified number of passengers, and a 150 lb load in the trunk. Vehicles with a gvw rating will be loaded to the maximum specified gvw.
X