Universal Verification Platform and Star Simulator for Fast Star Tracker Design.
Victor Hugo SchulzGabriel Mariano MarcelinoLaio Oriel SemanJeferson Santos BarrosSangkyun KimMengu ChoGabriel Villarrubia-GonzálezValderi Reis Quietinho LeithardtEduardo Augusto BezerraPublished in: Sensors (2021)
Keyphrases
- real time
- design space
- distributed architecture
- design process
- simulation tool
- formal verification
- design considerations
- embedded systems
- engineering design
- database
- computer aided
- case study
- conceptual framework
- software architecture
- object tracking
- knowledge based systems
- information systems
- experimental platform
- real time embedded
- functional verification