Subject: real-time

Using Promela/SPIN to verify lightweight operating systems for Cubesats

Andrew Butterfield (email | all projects)

Cubesats are small satellites that are built as on ore more 10cm-sized cubes. There is a growing industry for developing and launching these. Typically their computing requirements are relatively low, and so they often use lightweight versions of operating systems. This project looks at using Promela/SPIN to model and do test generation for some key … Read more

Subject Areas

3D graphics AI AI: Artificial Intelligence Ai Ethics Artificial Intelligence augmented and virtual reality Augmented Reality climate change Communication Protocols Computer Animation computer graphics Computer Vision Data Analytics Dialogue Education EEG electroencephalography fairness graphics graphics and vision Human Computer Interaction Information-Centric Networking Intelligent Transportation Systems language LLM Machine Learning Natural Language Processing networking Networks and Telecommunications neural data neural networks Privacy Quantum Computing Reinforcement Learning Security/Privacy Signal processing Speech Statistics Statistics and Sustainability Sustainability technology & learning technology and learning transformers virtual humans virtual reality

Supervisors

Login
Add Project
Edit Projects

Scroll back to top