Verifying Real-Time Properties of Model-Based and Event-Driven On-Board Software for SGEO
Abstract
The application of modern object oriented design and modeling techniques on the basis of state charts aid modular and flexible software architectures. On the other hand, a satellite's on-board software drives an efficient embedded system that must satisfy a large number of (hard) real-time requirements. The on-board software of the Small Geo (SGEO) program is designed with a model based approach and the architecture is event- driven. The challenge taken and presented in this paper is the successful timing verification of a real-time software with event-driven code auto-generated from state charts. Static worst case execution time analysis and feasibility calculations are presented for both hard-real- time-tasks and soft-real-time activities.
- Publication:
-
DASIA 2012 - DAta Systems In Aerospace
- Pub Date:
- August 2012
- Bibcode:
- 2012ESASP.701E..48W