KARYON: Kernel-Based ARchitecture for safetY-critical cONtrol

From Navigators

http://www.karyon-project.eu/

• Research Line(s): Timeliness and Adaptation in Dependable Systems (TADS)
• Sponsor: EU FP7
• Project Number: 288195
• Total award amount: 2.74M Euros
• Start Date: Oct. 2011
• Duration: 36 months
• Team at FCUL: Researchers including António Casimiro, José Rufino, Jeferson L. R. Souza, Rui Pedro Caldeira, João Pedro Craveiro

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

• Jeferson L. R. Souza, José Rufino, “The Wi-STARK Architecture For Resilient Real-Time Wireless Communications”, ACM SIGBED Review, vol. 11, no. 4, pp. 1–6, Dec. 2014. Special Issue on 4th Embedded Operating Systems Workshop (EWiLi), Lisbon, Portugal

• Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “Mechanisms to Enforce Dependability and Timeliness in Wireless Communications”, in Proceedings of the 2nd International IEEE Conference on Wireless for Space Applications and Extreme Environments (WiSEE), European Space Agency, Noordwijk, Netherlands, Oct. 2014, pp. 1–6.

• Ricardo Correia Pinto, José Rufino, “Exploitation of Non-intrusive Monitoring in Real-Time Embedded Systems”, in Communication at the Embedded and Real-Time Systems Session of the 6th Simpósio de Informática (INForum), Porto, Portugal, Sept. 2014, pp. 1–1.

• 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.

• João Carraca, Ricardo Correia Pinto, João Pedro Craveiro, José Rufino, “Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems”, in Proceedings of the 6th Simpósio de Informática (INFORUM), Porto, Portugal, Sept. 2014, pp. 457–472.

• Jeferson L. R. Souza, José Rufino, “Low Level Error Detection For Real-Time Wireless Communications”, in Proceedings of the 13th International Workshop on Real-Time Networks (RTN) - co-located with ECRTS, Madrid, Spain, Jul. 2014.

• António Casimiro, José Rufino, Ricardo Correia Pinto, Eric Vial, Elad M. Schiller, Oscar Morales-Ponce, Thomas Petig, “A Kernel-based Architecture fo Safe Cooperative Vehicular Functions (Invited Paper)”, in Proceedings of the 2014 Symposium on Industrial Embedded Systems, Pisa, Italy, Jun. 2014.

• António Casimiro, Oscar Morales-Ponce, Thomas Petig, Elad M. Schiller, “Vehicular Coordination via a Safety Kernel in the Gulliver Test-bed (Invited Paper)”, in Proceedings of the 13th International Workshop on Assurance in Distributed Systems and Networks (ADSN), co-located with ICDCS, Madrid, Spain, Jun. 2014.

• Rolf Johansson, Jörg Kaiser, António Casimiro, Renato Librino, Kenneth Östberg, José Rufino, P. Costa, “An Architecture Pattern Enabling Safety at Lower Cost and with Higher Performance”, in Proceedings of the Workshop on Embedded Real-Time Software and Systems (ERTS2), Toulouse, France, Feb. 2014.

• André Guerreiro, Jeferson L. R. Souza, José Rufino, “Improving NS-2 Network Simulator To Evaluate IEEE 802.15.4 Wireless Networks Under Error Conditions”, in Proceedings of the 3th International Conference on Sensor Networks (SENSORNETS), Lisbon, Portugal, Jan. 2014, pp. 212–220.

• Pedro Nóbrega da Costa, “Safety Kernel for Cooperative Sensor-Based Systems”, Master’s thesis, Faculty of Sciences, University of Lisbon, Lisbon, Portugal, Nov. 2013.

• André Guerreiro, “Inaccessibility in Wireless Sensor Networks”, Master’s thesis, Faculty of Sciences, University of Lisbon, Oct. 2013.

• Jeferson L. R. Souza, José Rufino, “Analysing and Reducing Network Inaccessibility in IEEE 802.15.4 Wireless Communications”, in 38th IEEE Conference on Local Computer Networks (LCN 2013), Sydney, Australia, Oct. 2013, pp. 532–540.

• André Guerreiro, Jeferson L. R. Souza, José Rufino, “Improving NS-2 Network Simulator for IEEE 802.15.4 Standard Operation”, in 5th Simpósio de Informática (INFORUM), Évora, Portugal, Sept. 2013, pp. 432–443.

• 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.

• Luís Marques, António Casimiro, “Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models”, in 32nd International Symposium on Reliable Distributed Systems (SRDS 2013), Braga, Portugal, Sept. 2013.

• Jeferson L. R. Souza, José Rufino, “Towards Resilient Real-Time Wireless Communications”, in 25th Euromicro Conference on Real-Time Systems (ECRTS 2013), Paris, France, Jul. 2013, pp. 29–32.

• António Casimiro, Jörg Kaiser, Elad Michael Schiller, P. Costa, José Parizi, Rolf Johansson, Renato Librino, “The KARYON Project: Predictable and Safe Coordination in Cooperative Vehicular Systems”, in 2nd Workshop on Open Resilient Human-aware Cyber-Physical Systems (WORCS'13), Jun. 2013.

• João Alves, António Casimiro, Luís Marques, “Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks”, in 14th European Workshop on Dependable Computing, Coimbra, Portugal, May 2013.

• Gonçalo Jesus, António Casimiro, Anabela Oliveira, “Towards Dependable Measurements in Coastal Sensors Networks”, in 14th European Workshop on Dependable Computing, Coimbra, Portugal, May 2013.

• António Casimiro, Jörg Kaiser, Johan Karlsson, Elad M. Schiller, Philippas Tsigas, Pedro Daniel Santos Costa, José Parizi, Rolf Johansson, Renato Librino, “Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems”, in Stabilization, Safety, and Security of Distributed Systems, Andréa W. Richa, Christian Scheideler, Eds., ser. LNCS. Toronto, Canada: Springer Berlin Heidelberg, Oct. 2012, vol. 7596, pp. 232–235. http://dx.doi.org/10.1007/978-3-642-33536-5_22

• Luís Marques, António Casimiro, “Towards dependable and stable perception in smart environments with timing and value faults”, in Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS'12), Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security, Magdeburg, Germany, Sept. 2012, pp. 151–161. http://dx.doi.org/10.1007/978-3-642-33675-1_13

• Jeferson L. R. Souza, André Guerreiro, José Rufino, “Characterizing Inaccessibility in IEEE 802.15.4 Through Theoretical Models and Simulation Tools”, in INFORUM 2012 - Simpósio de Informática, Lisbon, Portugal, Sept. 2012.

• Luís Marques, António Casimiro, “Evaluating Lightweight Dependable Adaptation in 802.15.4 Wireless Sensor Networks”, Department of Informatics, University of Lisbon, Tech. Rep. 12--04, Jul. 2012. http://hdl.handle.net/10455/6873

• João Pedro Craveiro, Joaquim Rosa, José Rufino, “Towards Self-Adaptive Scheduling in Time- and Space-Partitioned Systems”, in 32nd IEEE Real-Time Systems Symposium (RTSS 2011) — Work-in-Progress session, Vienna, Austria, Dec. 2011.

• Jeferson L. R. Souza, José Rufino, “An Approach to Enhance the Timeliness of Wireless Communications”, in Proceedings of the Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM), Lisbon, November, 2011., Nov. 2011.

BibTeX

Navigators - KARYON project

Projects

Current projects:

VEDLIoT, SATO, ADMORPH, SEAL, AQUAMON, UPVN, REDBOOK, ThreatAdapt, SEL, Xivt

Past projects:

TCLOUDS, MASSIF, MAFTIA, RESIST NoE, DiSIEM, KARYON, HIDENETS, CORTEX, CRUTIAL, TRONE, SITAN, ReD, IRCoC, DIVERSE, CloudFIT, READAPT, REGENESYS, RC-Clouds, TACID, DARIO, RITAS, AJECT, MICRA, DEAR-COTS, COPE, DEFEATS, MOOSCO, TOPCOM, RE:DY, NORTH, Abyss, SUPERCLOUD, COST Action IC1402, SEGRID, BioBankCloud, PROPHECY, SAPIENT, SecFuNet, FTH-Grid, AIR-II, AIR, ESFORS, CaberNet, GODC, BROADCAST, CoDiCom, Delta-4, RAPTOR