MULTIPARTES

Menu

EU Flag

This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement no 287702

PresentationsDeliverablesTutorialsPublicationsVideosPostersDocumentsSoftware


Public presentations

Top


Public deliverables

Top


Tutorials

Top


Scientific publications related to MultiPARTES

2014

E. Carrascosa, M. Masmano, A. Crespo, P. Balbastre, "XtratuM hypervisor redesign for LEON multicore processor", ACM SIGBED Review, Vol. 11, n.2, ACM, June 2014, DOI: 10.1145/2668138.2668142

J. Pérez, D. González, C.F. Nicolás, T. Trapman, J.M. Gárate, "A Safety Certification Strategy for IEC-61508 Compliant Industrial Mixed-Criticality Systems Based on Multicore Partitioning", Euromicro Conference on Digital System Design (DSD), 2014

Bekim Cilku, Peter Puschner, Alfons Crespo, Salvador Peiro, Javier Coronel, "A Memory Arbitration Scheme for Mixed-Criticality Multicore Platforms", Workshop on Mixed Criticality Systems 2014 Joinly RTSS, December 2014

Bekim Cilku, Peter Puschner, "Designing a Time-Predictable Memory Hierarchy for Single-Path Code", 7th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2014), IEEE, 2014

B. Cilku, B. Fromel, P. Puschner, "A dual-layer bus arbiter for mixed-criticality systems with hypervisors", 12th IEEE International Conference on Industrial Informatics (INDIN), IEEE, pp. 147 - 151, 2014, DOI: 10.1109/INDIN.2014.6945499

E. Carrascosa, M. Masmano, P. Balbastre, A. Crespo, J. Galizzi, "Multicore software architectures on virtualized partitioned systems", Data Systems In Aerospace DASIA, Warsaw, Poland, June 2014

Emilio Salazar, Alejandro Alonso,Jorge Garrido. Mixed-criticality design of a satellite software system. In E. Boje, X. Xia (eds.), Proceedings of the 19th IFAC World Congress, IFAC-PapersOnLine, 2014 ISBN 978-3-902823-62-5; DOI 10.3182/20140824-6-ZA-1003.02002.

Alfons Crespo, Alejandro Alonso, Marga Marcos, Juan A. de la Puente, Patricia Balbastre. Mixed Criticality in Control Systems. In E. Boje, X. Xia (eds.), Proceedings of the 19th IFAC World Congress, IFAC-PapersOnLine, 2014 ISBN 978-3-902823-62-5; DOI 10.3182/20140824-6-ZA-1003.02004.

Juan A. de la Puente, Jorge Garrido, Juan Zamorano, Alejandro Alonso. Model-Driven Design of Real-Time Software for an Experimental Satellite. In E. Boje, X. Xia (eds.), Proceedings of the 19th IFAC World Congress, IFAC-PapersOnLine, 2014 ISBN 978-3-902823-62-5; DOI 10.3182/20140824-6-ZA-1003.01967 .

J.A. de la Puente, A. Alonso, J. Zamorano, J. Garrido, E. Salazar, M.A. de Miguel. Experience in spacecraft on-board software development. Ada User Journal, 35, 1. March 2014. ISSN 1381-6551.

Juan Zamorano, Juan A. de la Puente. Memory Isolation in Many-Core Embedded Systems. 2nd Workshop on High-performance and Real-time Embedded SystemsProc. HIRES 2014.

Alejandro Alonso, Emilio Salazar, Miguel A. de Miguel. A Toolset for the Development of Mixed-Criticality Partitioned Systems. 2nd Workshop on High-performance and Real-time Embedded SystemsProc. HIRES 2014.

Salvador Trujillo, Alfons Crespo, Alejandro Alonso, Jon Pérez. MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems Microprocessors and Microsystems, 38, 8, Part B, November 2014, Pages 921–932 ISSN: 0141-9331, DOI 10.1016/j.micpro.2014.09.004.

Alejandro Alonso, Emilio Salazar. "Tools for Mixed-Criticality Partitioned Systems: Partitioning Algorithm and Extensibility Support" Ada User Journal, 35, 2. June 2014. ISSN 1381-6551.

J. Perez, D. Gonzalez, S. Trujillo, A. Trapman, and A. Garate, "A safety concept for a wind power mixed-criticality embedded system based on multicore partitioning," in Functional Safety in Industrial Applications, Proceedings of 11th Internaltional Symposioum, Cologne, Germany, 2014, p. 9.

S. Trujillo, A. Crespo, A. Alonso, and J. Pérez, "MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems," Microprocessor and Microsystems, vol. 38, pp. 921-932, November 2014.

S. Trujillo, R. Obermaisser, K. Grüttner, F. J. Cazorla, and J. Perez, "European Project Cluster on Mixed-Criticality Systems," in Desing, Automation & Test in Europe, Workshop on, Dresden, Germany, 2014.

A. Armentia, A. Agirre, E. Estevez, J. Perez, and M. Marcos, "Model Driven Design Support for Mixed-Criticality Distributed Systems," in International Federation of Automatic Control (IFAC), The 19th World Congress of, Cape Town, South Africa, 2014, p. 6. 10.3182/20140824-6-ZA-1003.00585

2013

M. Masmano, J. Coronel, P. Balbastre, A. Crespo, J. Simó, S. Peiró, "XtratuM Hypervisor for Mixed-Criticality Systems: Configuration and Deployment", Open Demo Session of Real-Time Systems, IEEE Real-Time Systems Symposium, 2013

Sergio Sáez, Jorge Real, Alfons Crespo "Adding multiprocessor and mode change support to the Ada real-time framework", ACM SIGAda Ada Letters, vol 33, n.1, 10.1145/2492312.2492324

A. Gonzalez, W. Mata, A. Crespo, M. Masmano, "A hypervisor based platform to support real-time safety critical embedded java applications", Computer systems science and engineering, vol. 28, n. 3, May 2013.

J. Coronel, M. Tsagkaropoulos, D. Mylonas, V. Kollias, P. Balbastre, A. Crespo, "Validation of securely partitioned systems over multicore architectures based on XtratuM", Data Systems In Aerospace DASIA 2013. May, Porto (Portugal)

B. Fons, H. Usach, J. Vila, and A. Crespo. "Development of Integrated Modular Avionics Applications based on Simulink and XtratuM". Data Systems In Aerospace DASIA 2013. May, Porto (Portugal)

V. Bos, P. Mendham, P. Kauppinen, N. Holsti, A. Crespo, M. Masmano, J.A. de la Puente, J. Zamorano. "Time and Space Partitioning the EagleEye Reference Mission", Data Systems in Aerospace — DASIA 2013. Porto, 2013.

Elena Carrascosa, Miguel Masmano, Alfons Crespo, Patricia Balbastre, "XtratuM hypervisor redesign for LEON3 multicore processor", Workshop on Virtualization for Real-Time Embedded Systems, 2013

Bekim Cilku, "Aligning Single Path Loops to Reduce the Number of Capacity Cache Misses", 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013)

Bekim Cilku "Towards Temporal and Spatial Isolation in Memory Hierarchies for Mixed-Criticality Systems with Hypervisors", 1st workshop on Real-Time Mixed Criticality Systems, the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications

Jorge Garrido, Juan A. de la Puente, Juan Zamorano, Alejandro Alonso, "Diseño e implementación del software del UPMSat-2 en el entorno de desarrollo TASTE", IV Simposio de Sistemas de Tiempo Real, 2013

A. Alonso, C. Jouvray, S. Trujillo, M.A. de Miguel, C. Grepet and J. Simó Towards Model-Driven Engineering for Mixed-Criticality Systems: MultiPARTES Approach Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems, March 2013, Grenoble, France

Salvador Trujillo, Alfons Crespo, Alejandro Alonso. MultiPARTES: Multicore virtualization for Mixed-criticality Systems. 16th Euromicro Conference on Digital System Design. September 2013, Santander, Spain. DOI: 10.1109/DSD.2013.37

Juan Zamorano, Ángel Esquinas, Juan A. de la Puente, "Ada Real-Time Services and Virtualization", Ada Letters, 33, 1, pp. 128--133. April 2013. ISSN: 1094-3641; DOI 10.1145/2492312.2492325.

Emilio Salazar, Alejandro Alonso, Miguel A. de Miguel, Juan A. de la Puente. A Model-Based Framework for Developing Real-Time Safety Ada Systems. In H.B. Keller, E. Plödereder, P. Dencker, H. Klenk (eds.), Reliable Software Technologies — Ada-Europe 2013, LNCS 7896, pp. 126--141. Springer-Verlag, 2013. ISBN 978-3-642-38600-8; DOI 110.1007/978-3-642-38601-5_9

Jorge Garrido, Juan Zamorano, Juan A. de la Puente. "Static analysis of WCET in a satellite software subsystem" 12th International Workshop on Worst-Case Execution Time Analysis — WCET’2013. OpenAccess Series in Informatics (OASIcs), Vol. 30, July 2013. ISBN 978-3-939897-54-5. DOI 10.4230/OASIcs.WCET.2013.87.

Juan Zamorano, Ángel Esquinas, Juan A. de la Puente. "On real-time partitioned multicore systems" 16th International Real-Time Ada Workshop — IRTAW16.York, April 2013. Published in Ada Letters, 33, 2, pp. 33--39. August 2013. ISSN: 1094-3641; DOI 10.1145/2552999.2553003.

Jon Pérez, David González, Salvador Trujillo, Tom Trapman, Jose Miguel Gárate "A safety concept for a wind power mixed-criticality embedded system based on multicore partitioning MultiPARTES". International workshop on Mixed-criticality Systems (WMCC) at the IEEE real-time symposioum (RTSS), 2013

2012

J. Pérez, D. González, S. Trujillo, T. Trapman, "Mixed-Criticality in Wind Power: The MultiPARTES Approach", ESReDA Conference, ESREDA Association, Switzerland, May 2012

Salvador Trujillo, "FOSD-Engineering beyond Code: Experiences from Offshore Wind Power and Railways", FOSD 2012 (Feature Oriented Software Development Workshop), Dresden, Germany, September 2012

Peter J. Bradley, Juan A. de la Puente, Juan Zamorano, Daniel Brosnan, "A Platform for Real-Time Control Education with LEGO MINDSTORMS", In P. Pakshin (ed.), Proceedings of the 9th IFAC Symposium on Advances in Control Education IFAC-PapersOnLine, 2012 ISBN 978-3-902661-00-5; DOI 10.3182/20120619-3-RU-2024.00062.

Jorge Garrido, Daniel Brosnan, Juan A. de la Puente, Alejandro Alonso, Juan Zamorano, "Analysis of WCET in an experimental satellite software development". 12th International Workshop on Worst-Case Execution Time Analysis — WCET’2012. OpenAccess Series in Informatics (OASIcs), July 2012. ISBN 978-3-939897-41-5. DOI 10.4230/OASIcs.WCET.2012.81.

A. Esquinas, J. Zamorano, J.A. de la Puente, M. Masmano, A. Crespo, "Time and Space Partition platform for safe and secure flight software". In DASIA 2012. DAta Systems In Aerospace. May. Dubrovnik 2012.

A. Crespo, M. Masmano, J. Coronel, P. Balbastre, et. al., "Time and space partitioning computational model". In DASIA 2012. DAta Systems In Aerospace. May. Dubrovnik 2012.

Sergio Saez, Jorge Real, Alfons Crespo, "An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications". Ada-Europe 2012. 18-34 May 2012

Peter Puschner, Raimund Kirner, Daniel Prokesch, Benedikt Huber, "Compiling for Time Predictability" Lecture Notes in Computer Science, Springer LNCS 7613 (2012) ISBN: 978-3-642-33674-4

Ángel Esquinas, Juan Zamorano, Juan A.de la Puente, Miguel Masmano, Alfons Crespo, "Time and Space Partition Platform for Safe and Secure Flight Software". Data Systems in Aerospace — DASIA 2012. Durbovnik, 2012.

Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl "Worst-case execution time analysis-driven object cache design", Concurrency and Computation: Practice and Experience, Volume 24, Issue 8 ISSN: 1532-0634

2011

A dual-band priority assignment algorithm for dynamic QoS resource management. Marisol García Valls, Alejandro Alonso, Juan A. de la Puente. Future Generation Computer Systems, 2012. ISSN 0167-739X; DOI 10.1016/j.future.2011.10.005

Application of Deadlock Risk Evaluation of Architectural Models Antonio Monzón, José L. Fernández, Juan A. de la Puente Software: Practice and Experience, 2011. ISSN 1097-024X; DOI 10.1002/spe.1118

Ada User Guide for LEGO MINDSTORMS NXT. Peter J. Bradley, Juan A. de la Puente and Juan Zamorano. Ada User Journal, 32, no. 3. September 2011.

Model-driven development of high-integrity distributed real-time systems using the end-to-end flow model. Héctor Pérez, J. Javier Gutiérrez, Esteban Asensio, Juan Zamorano, Juan A. de la Puente. 37th Euromicro Conference on Software Engineering and Advanced Applications. ISBN 978-1-4577-1027-8; DOI 10.1109/SEAA.2011.40

ORK+/XtratuM: An Open Partitioning Platform for Ada. Ángel Esquinas, Juan Zamorano, Juan A. de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo. In A. Romanovsky and T. Vardanega (eds.), Reliable Software Technologies — Ada-Europe 2011, LNCS 6652, pp.160–173. Springer-Verlag, 2011. ISBN 978-3-642-21337-3; DOI 10.1007/978-3-642-21338-0_12

Top


Videos

The consortium has created a number of videos for demonstrating different aspects of the project, which are accesible at MultiPARTES channel in Youtube. This channel includes a selection of videos, that includes: Top


Posters

Top


Public documents

Top


Software

A part of the MultiPARTES tools and technologies have been developed for distribution to industry and academia. They following tools can be downloaded: Top