This paper introduces a novel software and hardware co-design flow using a co-simulator and a co-verifier platform. In the new design platform, different hardware failures can be injected automatically to test the software protection on potential unsafe behavior of the hardware. The structure of the system is introduced in part II of this paper. In part III&IV, we take a simple circuit as an example to show how we setup the components' model and how our simulation system works. And at last, we make a conclusion on the system, also the problems and challenges we are facing.
Software hardware co-simulation and co-verification in safety critical system design
2013-08-01
273653 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Advanced Verification Techniques for Airborne Safety Critical Hardware (AIAA 2013-4565)
British Library Conference Proceedings | 2013
|Stochastic Validation and Verification of Railroad Safety-Critical Software
British Library Conference Proceedings | 2003
|Integrated Formal Verification and Validation of Safety Critical Software
British Library Conference Proceedings | 1993
|