2015

Architectures:

• Zaher Owda and Roman Obermaisser “A Predictable Transactional Memory Architecture with Selective Conflict Resolution for Mixed-Criticality Support in MPSoCs”, 13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2015). Porto - October 2015. Link
• Mohammed Abuteir, Roman Obermaisser, Zaher Owda, Thierry Moudouthe, “Off-chip/On-chip Gateway Architecture for Mixed-Criticality Systems based on Networked Multi-Core Chips”, 18th IEEE International Conference on Computational Science and Engineering (CSE). Porto - October 2015. Link
• R. Obermaisser: " Keynote Presentation - Architectures for Mixed-Criticality Systems Based on Networked Multi-Core Chips", International Conference on Architecture of Computing Systems. Porto, Portugal, March 2015.

 

Multi-Core Chips:

• Hamidreza Ahmadian, Roman Obermaisser: “Time-Triggered Extension Layer for On-Chip Network Interfaces in Mixed-Criticality Systems”, In Proc. Of “Digital System Design DSD 2015“.Funchal, Madeira, Portugal in August 26-28, 2015. PDF
• Michele Paolino, Kevin Chappuis, Alvise Rigo, Alexander Spyridakis, Jeremy Fanguede, Petar Lalov and Daniel Raho: "Building Trusted and Real Time ARM Guests Execution Environments for Mixed Criticality", International Journal on Advances in Security, vol 8 no 3 & 4, year 2015 PDF
• M .D. Grammatikakis, A. Papagrigoriou P. Petrakis, M. Coppola, “System-Level Modeling and SystemC”, Eds. M. Grant, L. Lavagno and I. Markov, EDA for Integrated Circuits Handbook Handbook, Taylor & Francis Group, CRC Press, Chapter 12, 2015.
• R. Obermaisser:” Talk- Segregation of Subsystems with Different Criticalities on Networked Multi-Core Chips in the DREAMS Architecture”, Integration of mixed-criticality subsystems on multi-core and manycore processors Workshop, Amsterdam, Jan., 2015. Presentation

 

Operating Systems and Hypervisors:

• S.Grixti, N.Sammut, M.Hernek, E.Carrascosa, M.Masmano, A.Crespo: “ Separation Kernel Robustness Testing: The XtratuM Case Study”, 11th European Dependable Computing Conference - Dependability in Practice, Paris (France). Sep 7-11. 2015. PDF
• B . Cilku, P. Puschner, A. Crespo, S. Peiro and J. Coronel: “ A TDMA-Based Arbitration Scheme for Mixed-Criticality Multicore Platforms “ , First International Conference on Event-Based Control, Communication, and Signal Processing. June 17-19, 2015, Krakow, Poland. Link
• Alexander Spyridakis, Petar Lalov, Daniel Raho: "Dual-OS infrastructure for Mixed-Criticality Systems on ARM devices", ADVCOMP 2015, Nice France, 19/07/2015. PDF
• Jérémy Fanguède, Alexander Spyridakis and Daniel Raho: "Towards Coordinated Task Scheduling in Virtualized Systems", ADVCOMP 2015, Nice France, 19/07/2015. PDF
• A . Crespo: “Keynote - Challenges in embedded multicore system virtualization for critical systems”, 10th IEEE International Symposium on Industrial Embedded Systems SIES'2015. Siegen (Germany). June 8-10. 2015.
• M. Raho, A. Spyridakis, M. Paolino, D. Raho, "KVM, Xen and Docker: a performance analysis for ARM based NFV and Cloud computing", 3rd Workshop on Advances in Information, Electronic and Electrical Engineering, November 13-14, 2015. Link

 

Security:

• M .D. Grammatikakis, K. Papadimitriou, P. Petrakis, A. Papagrigoriou, G. Kornaros, I. Christoforakis, O. Tomoutzoglou, G. Tsamis and M. Coppola, “Security in MPSoCs: A NoC Firewall and an Evaluation Framework”, IEEE Transactions on TCAD, 2015. Link
• M.D. Grammatikakis, A. Papagrigoriou, P. Petrakis, G. Kornaros, and M. Coppola, "High-Level Security Services based on a Hardware NoC Firewall Module", Proc. Workshop on Intelligent Solutions in Embedded Systems, Ancona, Italy, October 2015. Link

 

Certification and Safety:

• A. Larrucea, J. Perez, I. Agirre, V. Brocal, and R. Obermaisser, "A Modular Safety Case for an IEC 61508 compliant Generic Hypervisor," presented at the Digital System Design (DSD), Euromicro Conference on, Madeira, Portugal, 2015. Link
• A. Larrucea, I. Agirre, C. F. Nicolas, J. Perez, M. Azkarate-Askasua, and T. Trapman, "Temporal Independence Validation of an IEC 61508 compliant Mixed-Criticality System based on Multicore Partitioning," presented at the Forum on specification and Design Languages (FDL), Conference on, Barcelona, Spain, 2015. Link
• A. Larrucea, J. Perez, and R. Obermaisser: "A Modular Safety Case for an IEC 61508 compliant Generic COTS processor", Dependable, Autonomic and Secure Computing (DASC), International Conference on, Liverpool, UK, 2015. Link
• Jon Perez: “Talk- Towards modular certification of mixed product Integration of mixed-criticality subsystems on multi-core and manycore processors. Workshop, Amsterdam, Jan., 2015. Presentation
• Sylvain Girbal, Xavier Jean, Jimmy Le Rhun, Daniel Gracia Pérez, Marc Gatti, "Deterministic Platform Software for Hard Real-Time Systems Using Multi-Core COTS", Digital Avionics Systems Conference Sept. 201. Link

 

Scheduling:

• M ohammed Abuteir, Roman Obermaisser:” Scheduling of Rate-Constrained and Time-Triggered Traffic in Multi-Cluster TTEthernet Systems”, 2015 IEEE International Conference on Industrial Informatics (INDIN 2015), in Cambridge, UK, July 22-24, 2015. PDF
• Ayman Murshed, Roman Obermaisser, Hamidreza Ahmadian, and Ala Khalifeh: “Scheduling and allocation of time-triggered and event-triggered services for multi-core processors with networks-on-a-chip”, In Proc. Of “13th International IEEE Conference on Industrial Informatics (INDIN)” .Cambridge, UK, 22-24 July 2015 PDF
• A . Guasque, P. Balbastre, V. Brocal, A. Crespo: “Schedulability Analysis of Hierarchical Systems with Arbitrary Scheduling in the Global Level “, 2nd Conference on Embedded Systems, Computational Intelligence and Telematics in Control (CESCIT-2015) June 22-24, 2015, Maribor, Slovenia. Link
• Gerhard Fohler: "Talk - Comments on the vestal task model and its scheduling in time-triggered systems" In Dagstuhl Seminar Proceedings - Seminar 15121, Dagstuhl, March 2015. Paper

 

Simulation:

• Moises Urbina, Zaher Owda and Roman Obermaisser, “Simulation Environment based on SystemC and VEOS for Multi-Core Processors with Virtual AUTOSAR ECUs”, 13th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC-2015). Liverpool, England 26-28 October 2015. Link
• Zaher Owda, Mohammed Abuteir and Roman Obermaisser: "Co-simulation Framework for Networked Multi-core Chips with Interleaving Discrete Event Simulation Tools", ETFA 2015 - IEEE International Conference on Emerging Technology & Factory Automation, Luxembourg, September 8 -11, 2015. Link
• Zaher Owda and Roman Obermaisser:”Trace-based Simulation Framework Combining Message-Based and Shared-Memory Interactions in a Time-Triggered Platform”, IEEE International Conference on Event-based Control, Communications & Signal Processing , Special Session on Mixed-Criticality Systems, Poland- Krakow, June 16, 2015. Link

 

Demonstrators:

• J . Galizzi, P. Arberet, J.C. Damery, C. Guy, A. Crespo, M. Masmano, F. Roubert: “LVCUGEN – ready for flight?”, Data Systems In Aerospace DASIA 2015, Barcelona Spain, May, 2015.