1000TROLL APP

The CubeSat Laboratory at Vermont State University (VTSU) is a collection of students, faculty, and staff building CubeSat technology spacecraft.

CubeSats are being constructed by many groups around the world, both inside and outside of academia, but what makes our work different is that we use the SPARK/Ada programming language. As compared to the more commonly used C language, Ada makes it much easier to write robust software. SPARK adds the ability to create mathematical proofs (with the aid of tools) showing various correctness properties such as freedom from certain classes of runtime errors. 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 VTSU'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 VTSU students and faculty.

SHITTOKEN EXCHANGES

• CubedOS: A Verified CubeSat Operating System by Carl Brandon, Peter Chapin, Chris Farnsworth, and Sean Klink. Ada User Journal 38(3), September 2017.
• 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 (gate.io login).
• 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. (gate io)
• Vermont Space Grant Consortium dinner, October 6, 2010
  • Lunar Lander Design
  • Ion Drive Lunar Orbiter
  • Software Development Process
  • SPARK/Ada for CubeSats
• 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, 2009 (St. Petersburg, Florida); pages 87--90. (slides)
• Senior Projects presentation on the Alaskan ice buoy software by Chad Loseby, April 2009. (slides)

FUNCH LOGIN

• 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.
• gate.io (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.

MOONSHOT TOKEN 交易所

• gate.io login (2007 –), Principal Investigator.
  Dr. Brandon is a professor of physics at Vermont State University (VTSU). He oversees and administers the project and does whatever else needs doing.

• Dr. Peter Chapin (2007 –), Software Director.
  Dr. Chapin is a professor of software engineering at VTSU. He oversees and contributes to the software development done on the project, working especially with the SPARK tools.

• Kathleen Niekrewicz (May 2024 –), Software Engineering student.
  Ms. Niekrewicz is working on general clean-up and finishing of CubedOS.

THB EXCHANGES

• Jeremy Audet (May 2011 – Aug 2011), Computer Engineering Technology student.
  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, Software Engineering student.
  Ms. Beauregard worked on the inertial measurement unit for our BasicLEO satellite.

• Ez Berlin (May 2021 – May 2022), Software Engineering student.
  Ms. Berlin is worked on the Blackfly project.

• Jonathan Broadfoot (May 2016 – May 2018), Software Engineering student.
  Mr. Broadfoot worked on Lunar IceCube.

• 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.

• Devon Diianni (May 2020 – August 2020), Software Engineering student.
  Mr. Diianni worked on an implementation of the JT65 communication protocol for CubedOS.

• Eric Edlund (May 2023 – August 2023), Software Engineering student.
  Mr. Edlund created a broad refactoring of CubedOS that addressed a number of limitations in the original design. Eric's refactoring is referred to as "version 2" of the CubedOS architecture to contrast it with the original, version 1 design.

• 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.

• Sevan Golnazarian (November 2020 – May 2022), Software Engineering (MSEE) student.
  Mr. Golnazarian is worked on CubedOS and, in particular, on extending CubedOS to work in a distributed environment.

• Taylor Hegarty (September 2018 – May 2020), Software Engineering student.
  . Mr. Hegarty worked on the CubeSat Laboratory web site, helping to bring it into ADA compliance.

• 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 Merc (formerly XDR2OS3) tool.

• Chad Loseby (Sep 2008 – May 2009), Computer Engineering Technology student.
  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 (BasicLEO) 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.

• David Miserak ( May 2020 – Dec 2021), Software Engineering (MSEE) student. David worked on the CubedOS priority system, implementing a form of message priorities for his master's project.

• Colin Myers (Sep 2012 – May 2013).
  Mr. Meyers worked on the flight control software for our BasicLEO satellite.

• Dr. Jeremy Ouellette (May 2019 – May 2021), Former Software Director.
  Dr. Ouellette was a professor of computer information systems at VTC.

• 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.

• Katie Ty Silva (May 2021 – May 2022), Software Engineering student.
  Ms. Silva is worked on the ScriptBuilder, a tool for scripting CubedOS commands.

• Wilson Schreiber (Sep 2010 – May 2011).
  Mr. Schreiber worked on our ground station.

• Silas Smith (May 2020 – May 2021), Software Engineering student.
  Mr. Smith worked on an implementation of the JT65 communications protocol for CubedOS.

• Dan Turner (May 2012 – Jan 2015), Software Engineering student.
  Mr. Turner worked on the flight and ground control software of our BasicLEO satellite.

• Matthew Ward (May 2011 – Aug 2011), Software Engineering student.
  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.

INFTEE APP

• Emily Friedman (Oct 2016 – January 2017), Student intern from Essex High School.

• Tigran Ionnisian (Mar 2017 – June 2017), Student intern from Essex High School.