Elucidation and Analysis of Specification Patterns
in Aerospace System Telemetry

Zachary Luppen, Michael Jacks, Nathan Baughman, Muhamed Stilic, Ryan Nasers, Benjamin Hertz, James Cutler, Dae-Young Lee, and Kristin Yvonne Rozier

This webpage contains research artifacts from "Elucidation and Analysis of Specification Patterns
in Aerospace System Telemetry"
by Z. Luppen, M. Jacks, N. Baughman, M. Stilic, R. Nasers, B. Hertz, J. W. Cutler, D. Y. Lee, K. Y. Rozier

Lab Environment

The work in this manuscript is a collaboration between three separate lab spaces, two led by Dr. Kristin Yvonne Rozier and Dr. Dae Young Lee at Iowa State University and one led by Dr. James Cutler at the University of Michigan. Here we share brief descriptions of each lab.

The Laboratory for Temporal Logic (LTL), led by Dr. Kristin Yvonne Rozier, is located in the basement of Howe Hall, a $50 million state-of-the art facility in the College of Engineering. The laboratory has desktop workstations for research work by students, which provide dedicated connections to the university's network as well as other software including licensed software packages. The laboratory contains an extensive indoor flight test space, complete with a 3D printer, soldering stations, hotwire cutter, and all tools necessary for building, testing, and configuring various embedded systems. The lab is outfitted with an OptiTrack motion capture system with 20 cameras on two levels of surrounding rails, capable of thoroughly documenting experiments on any moving systems from robots to rovers to swarms of UAS. For more information about the LTL, go to: laboratory.temporallogic.org.

Dr. Kristin Yvonne Rozier and graduate student Brian Kempa working on Robonaut2 in the LTL.

The Cardinal Space Laboratory (CSL), led by Dr. Dae Young Lee, is located in the basement of Howe Hall. The lab contains multiple computer stations and electronic workbenches for both undergraduate and graduate students. It also features electronics workbenches for assembly and testing of circuit boards and other electronic parts, as well as a class 100,000 cleanroom for fabrication and testing of high-quality spacecraft instrumentation. The cleanroom, built during Summer 2019 by undergraduate student, is used mainly to support CubeSat missions.

The class 100,000 cleanroom operated by the CSL.

The Michigan eXploration Lab (MXL), led by Dr. James Cutler, is located at the University of Michigan. The Michigan Exploration Laboratory (MXL) works to achieve a comprehensive blend of education, research, and entrepreneurship within the University of Michigan College of Engineering. The collaborative MXL environment has already yielded flight-proven achievements in high altitude ballooning and small satellite design, with even more innovations resulting from the analysis of completed missions. For more information about the MXL, go to: engin.umich.edu.

Prof. Cutler and his students working on the Radio Aurora Explorer (RAX) instrumentation in the MXL.