The Importance of Profiles in Real-Time Systems

Type and resource safety is what I'm aiming for. Memory safety is a subset of that. It's necessary but not sufficient. You can have real controlling gadgets on some kind of vehicle just run out of resources and stop. This is unacceptable. And we would like the fundamental one-slide type and resource safety to be defined and directly supported by the standard. Other profiles are more specific to a specific domain or industry or company.