Steve Vanderleest

Verified

Steve verified their affiliation via an institutional email.

Learn more

Verified

Steve verified their affiliation via an institutional email.

Learn more

• PhD
• Technical Fellow at The Boeing Company

Measurement-based analysis of software timing behavior provides important insight and evidence for flight certification of modern avionics systems. For multicore systems, however, this analysis is challenging due to interference effects from shared hardware resource usage. We present an approach to multicore timing analysis that uses interference g...

div class="section abstract"> The avionics industry is moving towards the use of multicore systems to meet the demands of modern avionics applications. In multicore systems, interference can affect execution timing behavior, including worst case execution time (WCET), as identified in the FAA CAST-32A position paper. Examining and verifying the eff...

Today’s air vehicles depend on digital technology. It accounts for more than 30% of their development costs. The number of functions, the lines of code, the degree of autonomy, and the number of vehicles rise. This is why there is a need for cutting-edge technology and development methods. There is a gap between academia’s methods and industrial ap...

How do we know that the software on a modern aircraft is reliable enough to trust our lives with it? The seL4 microkernel is a minimalist operating system that has potential for use in avionics. It has been formally proven to satisfy its specifications, including classic security properties of integrity and confidentiality, making it particularly a...

A partitioning environment is one of the components of an avionics architecture aligned with the Future Airborne Capability Environment (FACEÔ). In this paper, we explore the design of a hypervisor to provide the partitioning specified in the FACE Technical Standard. The FACE Consortium is focused on military aviation software, with a dual emphasis...

Mixed criticality functions integrated on a single computing platform require special attention to safety and security. ARINC 653 and DO-248 provide guidelines for partitioning software so that functions of differing levels of criticality are isolated from one another. The partitioning environment operating system isolates each partition, and becau...

A system and method utilizing two image sensors to simultaneously capture images of a FOV (field of view). The image sensors are arranged along the same optical path for viewing the FOV. The FOV is illuminated by an illuminator of a specific frequency band. An image is captured by the first image sensor which has a filter that passes at least a por...

Embedded hypervisors allow integration of a mixture of legacy and modern applications onto a single computing platform, thus reducing size, weight, power, and cost (SWaP-C). DornerWorks is developing extensions to the open source Xen hypervisor that will meet DO-178C Level A requirements for safety and high robustness requirements based on Common C...

We have developed an early prototype of an ARINC 653 implementation using the virtualization technology of the open source Xen hypervisor along with a Linux-based domain/partition OS. In this paper we share lessons learned from adding to our prototype both an ARINC 653 CPU scheduler and a simple ARINC 653 serial I/O driver. By using a common hyperv...

Agile is an umbrella software methodology that incorporates many of the best practices of the last couple of decades. In this paper, we will examine some of those key techniques for possible application in the aerospace domain, starting with a brief literature review to identify the key Agile publications and the germane DO-178B work. Virtually all...

THIS CHAPTER EXPLORES the connection between justice and technology and its implications for teaching about technology and teaching technological design. The non-neutrality of technology in relation to issues of justice is examined, and pedagogical strategies are described for making students aware of this non-neutrality and enabling them to incorp...

Engineering design requires choosing between various design alternatives, weighing each option based on technical design criteria. Broader criteria have been suggested that encompass the cultural, historical, and philosophical contexts in which the new technology becomes embedded. These criteria, called design norms, can only be applied effectively...

1. Abstract It is widely, though not universally, accepted in the literature that technology is non-neutral, i.e., it is partial to certain uses. However, this understanding is not widespread amongst engineering students, and the perception of neutrality can have perilous societal consequences. Some preliminary work has identified pedagogical appro...

Recent curriculum advancements in engineering education highlight the value of a healthy synergy from including applied mathematics and science, industrial work, and need-based projects. In light of the growing interest in globalizing engineering education, a service-learning approach to globally-based humanitarian projects is an effective approach...

The concept of non-neutrality of technology is well established in the philosophy of technology literature. Despite this long history of defending the idea that technology, far from being neutral, actually embodies certain values and biases, engineering students do not readily agree with the concept at face value. They are much more apt to accept t...

Engineering ethics is a difficult subject to teach. Both students and faculty perceive it as a subjective area that cannot be quantified. Modern faculty are uncomfortable with the idea of teaching in areas related to values, attitudes, and behavior (areas tied to ethics) as opposed to knowledge and skills. Engineering students have the preconceptio...

In this article we describe an approach to measuring the performance degradation produced by contention for a single I/O bus by accesses to multiple heterogeneous I/O device types on a multiprocessor system. By heterogeneous we mean device types that have widely different characteristics, such as video, network, and disk devices, as opposed to syst...

This paper describes an approach to measuring bus contention and quantifying the resulting performance degradation. The focus is contention for a single I/O bus resulting from accesses to multiple heterogeneous I/O device types in an MP system. Heterogeneous device types are defined as devices that have widely different characteristics, such as vid...