CubeSat Laboratory

Overview

The CubeSat Laboratory at Vermont Technical College (VTC) is a collection of students, faculty, and staff building CubeSat technology spacecraft.

While CubeSats are being constructed by many groups around the world, both inside and outside of academia, what makes our work different is that we use the SPARK/Ada programming language for our software needs. As compared to the more commonly used C language, Ada makes it much easier to write correct, robust software. SPARK adds the ability to create mathematical proofs (with the aid of tools) showing freedom from certain classes of runtime errors and other correctness properties. Our BasicLEO CubeSat, launched in November 2013 is the first CubeSat programmed with Ada and the first spacecraft of any kind programmed with SPARK.

This is the official web site for VTC's CubeSat Laboratory providing information about all our missions, both in the past and ongoing. See the Flying Sparks blog for up to the minute information about our current work. To contact us, see the "People" section below.

This web site was designed, created, and is maintained by VTC students and faculty.

Papers and Presentations

SPARK/Frama-C Day, presentation by Carl Brandon and Peter Chapin, May 30, 2017, Paris, France. (slides)
CubeSat Developers Workshop, presentation by Carl Brandon, April 28, 2017. (slides)
STEM Academy Lecture Series at Essex High School, presentation by Peter Chapin, November 17, 2016. (slides)
The Use of SPARK in a Complex Spacecraft by Carl Brandon and Peter Chapin. Proceedings of the High Integrity Language Technology workshop (HILT-2016); October 6-7, 2016, Pittsburgh, PA, USA. (slides)
Spacecraft Flight Software Workshop (FSW-2015), Laurel, MD, October 29, 2015 (slides)
High Integrity Software for CubeSats and Other Space Missions by Carl Brandon and Peter Chapin. Proceedings of 66^th International Astronautical Congress; October 12--16, 2015, Jerusalem, Israel (slides)
Vermont Space Grant Consortium dinner, September 16, 2015 (Poster).
STEM Academy Lecture Series at Essex High School, presentation by Peter Chapin, October 28, 2014. (slides)
Vermont Space Grant Consortium dinner, November 4, 2013 (Poster).
A SPARK/Ada CubeSat Control Program by Carl Brandon and Peter Chapin. Proceedings of Ada Europe 2013; June 10--14, 2013 (Berlin, Germany); LNCS 7896; pages 51--64. (slides)
CubeSat Developers Workshop 2013, presentation by Carl Brandon, April 2013. (slides)
Senior Projects presentation on the flight control software by Dan Turner and Colin Myers, April 2013. (slides)
Vermont Space Grant Consortium dinner, November 7, 2012
- CubeSat Flight Control Software
- Presentation Slides
Senior Projects presentation on the navigation system by Al Corkery, April 2011. (slides)
Senior Projects presentation on the ground station by Jordan Hodge, Jordan Lyford, and Wilson Schreiber, April 2011. (slides)
Vermont Space Grant Consortium dinner, October 6, 2010
CubeSat Developers Workshop 2010, presentation by Carl Brandon, April 23, 2010. (slides)
Use of SPARK in a Resource Constrained Embedded System by Chad Loseby, Peter Chapin, and Carl Brandon. Proceedings of SIGAda 2009; November 1--5, 2013 (St. Petersburg, Florida); pages 87--90. (slides)
Senior Projects presentation on the Alaskan ice buoy software by Chad Loseby, April 2009. (slides)

News Coverage

Ada the Language: Alive and in Flight (2016-10-10). This blog post on the Hackbright Academy site gives a brief discussion of Ada and references both our BasicLEO and Lunar IceCube projects.
The Herald of Randolph (2015-12-03). This article in the local Randolph, Vermont paper describes the end of our BasicLEO mission.
WCAX (2015-11-29). A story about the end of our BasicLEO mission with comments about our upcoming IceCube collaboration.
BusinessWire (2015-07-14). This article is an announcement from AdaCore about the use of SPARK on the IceCube project.
The Herald of Randolph (2015-07-09). This article appeared in the local Randolph, Vermont paper about the IceCube project.
Discovery News (2015-06-29). This is a general article about interplanetary CubeSats but our work is mentioned just below the picture of Jupiter.
FOX News (2014-11-20). This piece is about the BasicLEO launch.
WCAX (2013-11-21). This piece is about the BasicLEO launch.
Vermont Public Radio (2013-11-21). This piece is about the BasicLEO launch.
The Herald of Randolph (2013-11-21). This article in the local Randolph, Vermont paper is about the BasicLEO launch.
My Champlain Valley (2013-11-20). This piece is about the BasicLEO launch.
Vermont Business Magazine (2013-11-20). This piece is about the BasicLEO launch.
WCAX (2013-11-20). This piece is about the BasicLEO launch.
The Chronicle of Higher Education (2013-11-20). This piece is about the BasicLEO launch.

People

Dr. Carl Brandon (2007 –), Principal Investigator.
Dr. Brandon is a professor of physics at Vermont Technical College (VTC). He oversees and administers the project and does whatever else needs doing.
Dr. Jeremy Ouellette (May 2019 –), Software Director.
Dr. Ouellette is a professor of computer information systems at VTC. He oversees and contributes to the software development done on the project, working especially with the high integrity software tool chain used.

Past Students, Faculty, and Staff

Jeremy Audet (May 2011 – Aug 2011).
Mr. Audet worked on the preliminary version of the flight control software for our BasicLEO orbiting satellite, with an emphasis on hardware interfacing.
India Beauregard.
Ms. Beauregard worked on the inertial measurement unit for our BasicLEO satellite.
Jonathan Broadfoot (May 2016 – May 2018), Software Engineering student.
Mr. Broadfoot worked on Lunar IceCube.
Dr. Peter Chapin (2007 – May 2019).
Dr. Chapin is a professor of computer information systems at VTC. He was the Software Director for the project.
Al Corkery (Sep 2010 – May 2011).
Mr. Corkery worked on GPS interfacing for our BasicLEO satellite.
Justin D'Amour (Aug 2018 – May 2019), Computer Engineering Technology student.
Mr. D'Amour worked on building a drone test platform for CubedOS as a senior project.
Christopher Farnsworth (May 2016 – May 2018), Software Engineering (MSSE) student.
Mr. Farnsworth worked on Lunar IceCube. His Master's project was to implement the spiral thrusting technique required to dump thrust axis angular momentum using a single, two-axis gimbaled ion drive.
Sarah Ferland (March 2017 – May 2019), Software Engineering student.
Ms. Ferland worked on Lunar IceCube and CubedOS.
Jordan Hodge (Sep 2010 – May 2011).
Mr. Hodge worked on our ground station.
Niels Huisman (Jan 2015 – May 2017), Electromechanical Engineering Technology student.
Mr. Huisman worked on Lunar IceCube.
Nicole Hurley (Jan 2015 – May 2016), Software Engineering student.
Ms. Hurley worked on CubedOS and also did website development.
Ashraf Khalil (Aug 2018 – May 2019), Computer Information Technology student.
Mr. Khalil worked on a virtual machine for CubeSat Laboratory development and web site as a senior project.
Sean Klink (Sep 2016 – May 2018), Software Engineering (MSSE) student.
Mr. Klink worked on CubedOS. His Master's project was to implement the XDR2OS3 tool.
Chad Loseby (Sep 2008 – May 2009).
Mr. Loseby focused on the integration of and communications between the software and the hardware in the Alaskan Ice project.
Jordan Lyford (Sep 2010 – May 2011).
Mr. Lyford worked on our ground station.
William McGrath (Nov 2012 – ?), Communications.
Mr. McGrath is a VTC alumnus who provided up and down link communications services to our basic low Earth orbiting CubeSat while we constructed our own ground station. He is the president and CTO of LEDdynamics.
Scott McGrath (Nov 2013 – ?), Communications.
Mr. McGrath is a VTC alumnus who was invaluable with analyzing flight software and assisting with communications.
Colin Myers (Sep 2012 – May 2013).
Mr. Meyers worked on the flight control software for our BasicLEO satellite.
Oliver Piluski (Nov 2012 – Nov 2013).
Mr. Piluski is a VTC alumnus who has assisted with the construction of our BasicLEO satellite. He is an employee of LEDdyanmics, Inc.
Wilson Schreiber (Sep 2010 – May 2011).
Mr. Schreiber worked on our ground station.
Dan Turner (May 2012 – Jan 2015).
Mr. Turner worked on the flight and ground control software of our BasicLEO satellite.
Matthew Ward (May 2011 – Aug 2011).
Mr. Ward worked on the preliminary version of the flight control software for our BasicLEO satellite, with an emphasis on SPARK development.
Michael White (Sep 2008 – May 2009).
Mr. White worked on the circuitry involved in connecting sensors to the system as well as other hardware concerns in the Alaskan Ice project.
Carl Wolf (Sep 2012 – May 2013).
Mr. Wolf is a professor of mechanical engineering at VTC. He worked on the solid model for our BasicLEO satellite.

Past Student Interns

Emily Friedman (Oct 2016 – January 2017), Student intern from Essex High School.
Tigran Ionnisian (Mar 2017 – June 2017), Student intern from Essex High School.