Browse wiki

From Navigators

Jump to: navigation, search
Abstract Advances in sensor, microprocessor and com Advances in sensor, microprocessor and communication technologies have been fostering new applications of cyber-physical systems, often involving complex interactions between distributed autonomous components and the operation in harsh or uncertain contexts. This has led to new concerns regarding performance, safety and security, while ensuring timeliness requirements are met. To conciliate uncertainty with the required predictability, hybrid system architectures have been proposed, which separate the system in two parts: one that behaves in a best-effort way, depending on the context, and another that behaves as predictably as needed, providing critical services for a safe and secure operation. In this paper we address the problem of verifying the correct provisioning of critical functions at runtime in such hybrid architectures. We consider, in particular, the KARYON hybrid architecture and its Safety Kernel. We also consider a hardware-based non-intrusive runtime verification approach, describing how it is applied to verify Safety Kernel software functions. Finally, we experimentally evaluate the performance of two distinct Safety Kernel implementations and discuss the feasibility issues to incorporate non-intrusive runtime verification. porate non-intrusive runtime verification.
Address Vienna, Austria  +
Author António Casimiro + , Inês Gouveia + , José Rufino +
Booktitle Proceedings of the 22nd International Conference on Reliable Software Technologies, Ada-Europe 2017  +
Document Document for Publication-Casimiro-2017-ADA-Europe.pdf +
Key Casimiro-2017-ADA-Europe  +
Month jun  +
NumPubDate 2,017.06  +
Project Project:COST Action IC1402 + , Project:NORTH +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title Enforcing Timeliness and Safety in Mission-Critical Systems  +
Type inproceedings  +
Year 2017  +
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. 15 June 2017 14:13:14  +
hide properties that link here 
  No properties link to this page.


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