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_all(): Compilation failed: group name must start with a non-digit at offset 4 in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 700

Warning: Invalid argument supplied for foreach() in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 701

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

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

Warning: Invalid argument supplied for foreach() in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 701

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

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

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

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

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

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_all(): Compilation failed: group name must start with a non-digit at offset 4 in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 700

Warning: Invalid argument supplied for foreach() in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 701

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

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

Warning: Invalid argument supplied for foreach() in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 701

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

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: Cannot modify header information - headers already sent by (output started at /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php:701) in /home/httpd/groups/navigators/navigators-web/w2/includes/WebResponse.php on line 16

Warning: Cannot modify header information - headers already sent by (output started at /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php:701) in /home/httpd/groups/navigators/navigators-web/w2/includes/WebResponse.php on line 16

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_all(): Compilation failed: group name must start with a non-digit at offset 4 in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 700

Warning: Invalid argument supplied for foreach() in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 701

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

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

Warning: Invalid argument supplied for foreach() in /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php on line 701

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

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

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

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
Publication:Antonio-casimiro2000how-to-16 - Navigators

“How to Build a Timely Computing Base using Real-Time Linux”

From Navigators

Jump to: navigation, search
(NavsPubsFull5.xml import (201201141459, full reimport with new ids for legacy pubs avoiding collisions))
 
Line 1: Line 1:
{{Publication
{{Publication
-
|title=
+
|type=inproceedings
-
   
+
|title=How to Build a Timely Computing Base using Real-Time Linux
-
 
+
|author=António Casimiro, Pedro Martins, Paulo Veríssimo
-
 
+
|Project=Project:DEAR-COTS, Project:MICRA
-
 
+
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
-
   
+
|month=sep
-
        How to Build a Timely Computing Base using Real-Time Linux
+
|year=2000
-
|author=
+
|abstract=In a recent paper we introduced a new model to deal with the problem of handling application timeliness requirements in environments with loose real-time guarantees. This model, called the Timely Computing Base (TCB), is one of partial synchrony. From an engineering point of view, it requires systems to be constructed with a small control part, a TCB module, to protect vital resources with respect to timeliness and to provide basic time related services to applications. Although many different instantiations of systems with a TCB can be envisaged, we have chosen to implement a TCB using PC hardware running the Real-Time Linux operating system over a Fast-Ethernet network. This paper describes the experience gained during the implementation process and shows that it is possible to construct a TCB without the need for special software or hardware components. The problem of achieving real-time communication under RT-Linux is also discussed: we describe the port we have done of a Linux network driver to RT-Linux, explaining the required modifications to allow predictability.
-
        António Casimiro, Pedro Martins, Paulo Veríssimo
+
|booktitle=in Proceedings of the 2000 IEEE International Workshop on Factory Communication Systems, Porto, Portugal, September 2000.
-
|url=
+
|url=http://www.navigators.di.fc.ul.pt/archive/wfcs00.pdf
-
        http://www.navigators.di.fc.ul.pt/docs/abstracts/wfcs00.html
+
-
|abstract=
+
-
       
+
-
|type=
+
-
        inproceedings
+
-
|booktitle=
+
-
        in Proceedings of the 2000 IEEE International Workshop on Factory Communication Systems, Porto, Portugal, September 2000.
+
-
|month=
+
-
        sep
+
-
|year=
+
-
        2000
+
-
|Project=
+
-
        Project:DEAR-COTS, Project:MICRA
+
-
|ResearchLine=
+
-
        Timeliness and Adaptation in Dependable Systems (TADS)
+
}}
}}

Latest revision as of 18:11, 14 January 2013

Personal tools
Navigators toolbox

Warning: Cannot modify header information - headers already sent by (output started at /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php:701) in /home/httpd/groups/navigators/navigators-web/w2/includes/WebResponse.php on line 16

Warning: Cannot modify header information - headers already sent by (output started at /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php:701) in /home/httpd/groups/navigators/navigators-web/w2/includes/WebResponse.php on line 16

Warning: Cannot modify header information - headers already sent by (output started at /home/httpd/groups/navigators/navigators-web/w2/includes/MagicWord.php:701) in /home/httpd/groups/navigators/navigators-web/w2/includes/WebResponse.php on line 16