First Page | Document Content | |
---|---|---|
Date: 2011-12-15 13:59:45Ada programming language Real-time computing Embedded systems Scheduling algorithms Ada Ravenscar profile Real-time operating systems SPARK Worst-case execution time Computing Software engineering Computer programming | Ada 2005 for Mission-Critical Systems José F. Ruiz AdaCore 8 rue de MilanParis, France Phone: +16Add to Reading ListSource URL: www.adacore.comDownload Document from Source WebsiteFile Size: 39,23 KBShare Document on Facebook |