MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems

Trujillo, Salvador; Crespo, Alfons; Alonso, Alejandro; Pérez, Jon

doi:10.1016/j.micpro.2014.09.004

Cited by 30 publications

(22 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…We refer readers to the general survey on CPS [37] for more information. There are many similar/relevant completed (such as CONTREX [10] , MultiPARTES [13] , ASAM [38] , SCUBA [39] ) and on-going European projects (such as DREAMS [11] , EM C 2 [12] ) which are focused on many different aspects (mostly focused on the mixed-criticality application domain) of CPS. We are discussing few of them which are more relevant to our works.…”

Section: Related Workmentioning

confidence: 99%

“…The AXIOM project (Agile, eXtensible, fast I/O Module) provides a general framework focusing on easily mapping applications to multi-board processing platforms [8,9] . Unlike other research effort s (such as CONTREX [10] , DREAMS [11] , EM C 2 [12] , MultiPARTES [13] ) that focus mainly on the mixed-criticality appli- cations, AXIOM provides a generic platform with its complete application development suite. Despite the existence of many FPGAbased boards, to the best of our knowledge our approach is the first that combines all the features (especially parallel programmability, connectivity and scalability).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

The AXIOM platform for next-generation cyber physical systems

Theodoropoulos

Mazumdar

Ayguadé

et al. 2017

Microprocessors and Microsystems

View full text Add to dashboard Cite

Cyber-Physical Systems (CPSs) are widely used in many applications that require interactions between humans and their physical environment. These systems usually integrate a set of hardware-software components for optimal application execution in terms of performance and energy consumption. The AXIOM project (Agile, eXtensible, fast I/O Module), presented in this paper, proposes a hardware-software platform for CPS coupled with an easy parallel programming model and sufficient connectivity so that the performance can scale-up by adding multiple boards. AXIOM supports a task-based programming model based on OmpSs and leverages a high-speed, inexpensive communication interface called AXIOM-Link. The board also tightly couples the CPU with reconfigurable resources to accelerate portions of the applications. As case studies, AXIOM uses smart video surveillance, and smart home living applicationsThis work is partially supported by the European Union H2020 program through the AXIOM project (grant ICT-01-2014 GA\ud 645496) and HiPEAC (GA 687698), by the Spanish Government through Programa Severo Ochoa (SEV-2015-0493), by the Spanish Ministry of Science and Technology through TIN2015-65316-P project, and by the Generalitat de Catalunya (contracts 2014-SGR-1051 and 2014-SGR-1272). We also thank the Xilinx University Program for its hardware and software donations.Peer ReviewedPostprint (author's final draft

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

The AXIOM platform for next-generation cyber physical systems

Theodoropoulos

Mazumdar

Ayguadé

et al. 2017

Microprocessors and Microsystems

View full text Add to dashboard Cite

show abstract

“…We used CompSOC for this work and describe it further in III-B. A number of research projects focus on developing platforms that have composable properties, notably parMERASA [14], T-CREST [15] and MultiPARTES [16].…”

Section: B Composable Platformsmentioning

confidence: 99%

“…for k = 0 to current.num_ports−1 do end for 16: end for at once by firing all actors in each iteration, even if they do not belong to the detected scenario. In this way, both the rates and schedule do not need to be changed.…”

Section: B Toolflowmentioning

confidence: 99%

A Scenario-Aware Dataflow Programming Model

Kampenhout¹,

Stuijk²,

Goossens³

2015

2015 Euromicro Conference on Digital System Design

View full text Add to dashboard Cite

Abstract-The FSM-SADF model of computation allows to find a tight bound on the throughput of firm real-time applications by capturing dynamic variations in scenarios. We explore an FSM-SADF programming model, and propose three different alternatives for scenario switching. The best candidate for our CompSOC platform was implemented, and experiments confirm that the tight throughput bound results in a reduced resource budget. This comes at the cost of a predictable overhead at runtime as well as increased communication and memory budgets. We show that design choices offer interesting trade-offs between run-time cost and resource budgets.

show abstract

“…• The wide adoption of multi-core CPU architectures in consumer electronics [PGPC15,TCAP14] present new challenges to the V&V of multi-core systems. The key point to address is the exponential growth of the program state space as the number of concurrent CPUs executing increases.…”

Section: Research Linesmentioning

confidence: 99%

Metodología para hipervisores seguros utilizando técnicas de validación formal

Frasquet¹

View full text Add to dashboard Cite

Per últim, s'estudien les vulnerabilitats de tipus information leak ) degudes a la pèrdua de la confidencialitat de la informació gestionada per el sistema particionat. En aquest àmbit, es modelen les vulnerabilitats, s'apliquen tècniques de anàlisis de codi per a la detecció de les vulnerabilitats en base al model definit, per últim es valida la tècnica proposada mitjançant un cas pràctic sobre el nucli del sistema operatiu Linux que forma part de l'arquitectura particionada. 9This page is intentionally left blank. Contents Cover 1Acknowledgements 3Abstract 5Resumen 7Resum 9

show abstract

MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems

Cited by 30 publications

References 20 publications

The AXIOM platform for next-generation cyber physical systems

The AXIOM platform for next-generation cyber physical systems

A Scenario-Aware Dataflow Programming Model

Metodología para hipervisores seguros utilizando técnicas de validación formal

Contact Info

Product

Resources

About