Subject: safety critical

Using Promela/SPIN to verify lightweight operating systems for Cubesats (TAKEN)

Andrew Butterfield (email | all projects)

TAKEN 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 … Read more

Subject Areas

3D graphics AI Artificial Intelligence augmented and virtual reality Communication Protocols Computer Animation computer graphics Computer Vision Data Analytics Data visualisation Dialogue Education electroencephalography fairness Generative AI Human Computer Interaction Information-Centric Networking Intelligent Transportation Systems Knowledge and Data Engineering Knowledge Graphs language Machine Learning Motion Capture Natural Language Processing networking Networks and Telecommunications neural data neural networks perception Quantum Computing Reinforcement Learning Security/Privacy Semantic Web Signal processing Speech Statistics Statistics and Data Science Statistics and Sustainability Sustainability technology & learning technology and learning User Interface virtual humans virtual reality web programming

Supervisors

Login
Add Project
Edit Projects

Scroll back to top