| LEON Ada (DRAFT): For mission-critical applications using the LEON spacecraft computer | ||
|---|---|---|
| Prev | Chapter 1. Introduction | Next |
Several sets of restrictions are supported. These are known as profiles, and may be employed to ensure an appropriate level of software integrity. For more information on restrictions and profiles see Appendix B.