Modeling Mixed-critical Systems in Real-time BIP
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Dorel Bozga · 2013
Abstract—The proliferation of multi- and manycores creates an important design problem: the design and verification for mixed-criticality constraints in timing and safety, taking into account the resource sharing and hardware faults. In our work, we aim to contribute towards the solution of these problems by using a formal design language – the real time BIP, to model both hardware and software, functionality and scheduling. In this paper we present the initial experiments of modeling mixed-criticality systems in BIP. I.