DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems.
Georgia GiannopoulouPeter PoplavkoDario SocciPengcheng HuangNikolay StoimenovParaskevas BourgosLothar ThieleMarius BozgaSaddek BensalemSylvain GirbalMadeleine FaugèreRomain SoulatBenoît Dupont de DinechinPublished in: Des. Autom. Embed. Syst. (2018)