Warning: main(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /home/httpd/groups/navigators/navigators-web/w2/extensions/LdapAuthentication/LdapAuthentication.php on line 70

Strict Standards: Declaration of LdapAuthenticationPlugin::modifyUITemplate() should be compatible with AuthPlugin::modifyUITemplate(&$template, &$type) in /home/httpd/groups/navigators/navigators-web/w2/extensions/LdapAuthentication/LdapAuthentication.php on line 70

Warning: main(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /home/httpd/groups/navigators/navigators-web/w2/extensions/LdapAuthentication/LdapAuthentication.php on line 70

Strict Standards: Declaration of LdapAuthenticationPlugin::setPassword() should be compatible with AuthPlugin::setPassword($user, $password) in /home/httpd/groups/navigators/navigators-web/w2/extensions/LdapAuthentication/LdapAuthentication.php on line 70

Warning: main(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /home/httpd/groups/navigators/navigators-web/w2/extensions/LdapAuthentication/LdapAuthentication.php on line 70

Strict Standards: Declaration of LdapAuthenticationPlugin::addUser() should be compatible with AuthPlugin::addUser($user, $password, $email = '', $realname = '') in /home/httpd/groups/navigators/navigators-web/w2/extensions/LdapAuthentication/LdapAuthentication.php on line 70

Warning: main(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /home/httpd/groups/navigators/navigators-web/w2/extensions/LdapAuthentication/LdapAuthentication.php on line 70

Strict Standards: Declaration of LdapAuthenticationPlugin::initUser() should be compatible with AuthPlugin::initUser(&$user, $autocreate = false) in /home/httpd/groups/navigators/navigators-web/w2/extensions/LdapAuthentication/LdapAuthentication.php on line 70

Warning: preg_match(): Compilation failed: group name must start with a non-digit at offset 8 in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 722

Warning: preg_match(): Compilation failed: group name must start with a non-digit at offset 8 in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 722

Warning: preg_match(): Compilation failed: group name must start with a non-digit at offset 8 in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 722

Warning: preg_match(): Compilation failed: group name must start with a non-digit at offset 8 in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 722

Warning: preg_match(): Compilation failed: group name must start with a non-digit at offset 8 in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 722

Warning: preg_match(): Compilation failed: group name must start with a non-digit at offset 8 in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 722

Warning: preg_match(): Compilation failed: group name must start with a non-digit at offset 8 in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 722

Warning: preg_match(): Compilation failed: group name must start with a non-digit at offset 8 in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 722

Warning: preg_match(): Compilation failed: group name must start with a non-digit at offset 8 in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 722
Browse wiki - Navigators

Browse wiki

From Navigators

Jump to: navigation, search
Publication:Air-summary-report
Abstract This document summarizes the main results This document summarizes the main results of AIR, an innovation initiative sponsored by ESA, the European Space Agency. The acronym AIR stands for ARINC 653 Interface in RTEMS. The ARINC 653 is a civil aviation world specification addressing safety critical and certification issues in embedded systems software. The AIR Project studied the adoption of ARINC 653 in space on-board software together with the utilization of RTEMS, the Real-Time Executive for Multiprocessor Systems. This document addresses: (i) the AIR architecture specification; (ii) the AIR support to partitioning mechanisms; (iii) the mapping of ARINC 653 services into RTEMS; (iv) the proof of concept prototypes TEMS; (iv) the proof of concept prototypes
Author José Rufino + , Sérgio Filipe +
Institution University of Lisbon, DI-FCUL  +
Key Air-summary-report  +
Month dec  +
Note http://hdl.handle.net/10455/2955  +
NumPubDate 2,007.12  +
Project Project:AIR +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title AIR Project Summary Report  +
Type techreport  +
Url http://docs.di.fc.ul.pt/jspui/bitstream/10455/2955/1/07-36.pdf  +
Year 2007  +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 15 January 2013 13:01:10  +
NumberThis property is a special property in this wiki. TR-07-36  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Views
Personal tools
Toolbox
Navigators toolbox