KARYON: Kernel-Based ARchitecture for safetY-critical cONtrol

From Navigators

(Difference between revisions)
Jump to: navigation, search
(Created page with "{{Project |Acronym=KARYON |Title=Kernel-Based ARchitecture for safetY-critical cONtrol |Past Project=no |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) |Url=...")
 
(6 intermediate revisions not shown)
Line 2: Line 2:
|Acronym=KARYON
|Acronym=KARYON
|Title=Kernel-Based ARchitecture for safetY-critical cONtrol
|Title=Kernel-Based ARchitecture for safetY-critical cONtrol
-
|Past Project=no
+
|Past Project=yes
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
-
|Url=http://www.karyon-project.eu/
+
|Url=http://navs-karyon.lasige.di.fc.ul.pt/
|Sponsor=EU FP7
|Sponsor=EU FP7
|Project Number=288195
|Project Number=288195
-
|Total award amount=2.74M Euro
+
|Total award amount=2740000
|month=oct
|month=oct
|year=2011
|year=2011
|Duration months=36
|Duration months=36
|Summary=The key objective of KARYON is to provide system solutions for predictable and safe coordination of smart vehicles that autonomously cooperate and interact in an open and inherently uncertain environment. This is a challenging objective since the same increasingly complex control components and wireless communication, which would allow improving performance, end up introducing new safety risks, which have to be mitigated or neutralized. Addressing this challenge requires innovative solutions in two major problem areas. The first one is to achieve a high availability of the complex control system investigating new ways of achieving fault-tolerant distributed control that allow maintaining a high performance level in the presence of uncertainties and failures. The second is the provision of a safety kernel to constraining system operation in order to avoid hazardous situations.
|Summary=The key objective of KARYON is to provide system solutions for predictable and safe coordination of smart vehicles that autonomously cooperate and interact in an open and inherently uncertain environment. This is a challenging objective since the same increasingly complex control components and wireless communication, which would allow improving performance, end up introducing new safety risks, which have to be mitigated or neutralized. Addressing this challenge requires innovative solutions in two major problem areas. The first one is to achieve a high availability of the complex control system investigating new ways of achieving fault-tolerant distributed control that allow maintaining a high performance level in the presence of uncertainties and failures. The second is the provision of a safety kernel to constraining system operation in order to avoid hazardous situations.
 +
|Researchers=António Casimiro, José Rufino, Jeferson L. R. Souza, Rui Pedro Caldeira, João Pedro Craveiro, Ricardo Correia Pinto
}}
}}

Latest revision as of 18:18, 14 April 2019

http://navs-karyon.lasige.di.fc.ul.pt/

The key objective of KARYON is to provide system solutions for predictable and safe coordination of smart vehicles that autonomously cooperate and interact in an open and inherently uncertain environment. This is a challenging objective since the same increasingly complex control components and wireless communication, which would allow improving performance, end up introducing new safety risks, which have to be mitigated or neutralized. Addressing this challenge requires innovative solutions in two major problem areas. The first one is to achieve a high availability of the complex control system investigating new ways of achieving fault-tolerant distributed control that allow maintaining a high performance level in the presence of uncertainties and failures. The second is the provision of a safety kernel to constraining system operation in order to avoid hazardous situations.

Publications

  • Eric Vial, António Casimiro, “Evaluation of Safety Rules in a Safety Kernel-Based Architecture”, in Proceedings of the Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), SAFECOMP 2014 Workshops, A. Bondavalli et al., Eds., ser. LNCS. Florence, Italy: Springer International Publishing, Sept. 2014, pp. 27–35.

  • Pedro Nóbrega da Costa, João Pedro Craveiro, António Casimiro, José Rufino, “Safety Kernel for Cooperative Sensor-Based Systems”, in Safecomp 2013 Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, Sept. 2013.

BibTeX

Navigators - KARYON project
Personal tools
Navigators toolbox