3605531
doi
10.1109/DSD.2019.00085
oai:zenodo.org:3605531
user-eu
Luigi Pomante
University of L'Aquila
Patricia Balbastre
Universitat Politecnica de Valencia
Josè Simò
Universitat Politecnica de Valencia
Alfons Crespo
Universitat Politecnica de Valencia
HW/SW Co-Design Framework for Mixed-Criticality Embedded Systems Considering Xtratum-Based SW Partitions
Vittoriano Muttillo
University of L'Aquila
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
HW/SW Co-Design
Heterogeneous Parallel Systems
Design Space Exploration
Mixed-Criticality
Hypervisor
<p>Heterogeneous parallel devices are becoming widely diffused in the embedded systems application field since they allow to improve time performances and other orthogonal metrics (e.g., cost, power, size, etc.) at the same time. In such a context, the introduction of safety requirements, as dictated by the relevant standards (i.e., DO-178 B/C and RTCA/DO-254 in airborne systems, ARINC 653 for avionics software, ISO-26262 in automotive domain, etc.) while considering shared resources on a heterogeneous parallel HW platform, adds further challenges to industrial and academic research. This kind of platforms that execute tasks with different levels of criticality are commonly called mixed-criticality embedded systems. So, the main problem in their management is to ensure that low criticality tasks do not interfere with high criticality ones. The final goal is to allow several applications to interact and coexist on the same platform. For this, the exploitation of virtualization technologies (i.e., hypervisors) allows to guarantee isolation and to satisfy certification requirements but introduces scheduling overhead and new HW/SW partitioning challenges. In such a scenario, this work focuses on a framework for modeling, analysis, and validation of mixed-criticality and real-time systems based on an existing "Model-Based Electronic System Level HW/SW Co-Design" methodology. The main contribution of this work is the integration of the considered framework with Xamber tool in order to provide systems implementations by exploiting a design space exploration able to consider Xtratum-based SW partitions.</p>
Zenodo
2019-10-21
info:eu-repo/semantics/preprint
3605530
user-eu
award_title=Aggregated Quality Assurance for Systems; award_number=737475; award_identifiers_scheme=url; award_identifiers_identifier=https://cordis.europa.eu/projects/737475; funder_id=00k4n6c32; funder_name=European Commission;
award_title=From the cloud to the edge - smart IntegraTion and OPtimization Technologies for highly efficient Image and VIdeo processing Systems; award_number=783162; award_identifiers_scheme=url; award_identifiers_identifier=https://cordis.europa.eu/projects/783162; funder_id=00k4n6c32; funder_name=European Commission;
award_title=MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems.; award_number=737494; award_identifiers_scheme=url; award_identifiers_identifier=https://cordis.europa.eu/projects/737494; funder_id=00k4n6c32; funder_name=European Commission;
1634780935.133772
1205684
md5:ccb0f982e06eb92fb353dde1906ffbff
https://zenodo.org/records/3605531/files/DSD_2019_Hepsycode_Xamber.pdf
public