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:Rufino18E
Abstract Real-time system engineers may introduce t Real-time system engineers may introduce task scheduling analysis at the early stage of the design process. System temporal behavior and task schedules are strongly related. The noncompliance to an expected schedule is a symptom of an erroneous state that may result on a serious risk for the system integrity. Spreading the design task model, as a timing reference to guide runtime verification, is a kind of extend to the model driven design paradigm. This paper presents the overall architecture of a non-intrusive hardware monitor. Configured by the result of a scheduling simulation, the hardware monitor is intended to observe the system execution and raised an alarm in case of divergence. To advance this goal, a first experiment shows the scheduling of two tasks rebuilt from the events collected by the monitor while the Real-Time Executive for Multiprocessor Systems (RTEMS) operating system scheduler was executing. operating system scheduler was executing.
Author Stéphane Rubini + , Valérie-Anne Nicolas + , Frank Singhoff + , José Rufino +
Document Document for Publication-Rufino18E.pdf +
Journal Ada User Journal  +
Key Rufino18E  +
Month jun  +
NumPubDate 2,018.06  +
Pages 282–286  +
Project Project:NORTH + , Project:COST Action IC1402 +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title A Real-Time System Monitoring driven by Scheduling Analysis  +
Type article  +
Year 2018  +
Has improper value forThis property is a special property in this wiki. Url  +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 1 May 2019 12:25:25  +
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