Incremental modelling for verified communication architectures
Modern computer systems are advancing from multi-core to many-core designs and System-on-chips (SoC) are becoming increasingly complex while integrating a great variety of components, thus constituting complex distributed systems. Such architectures rely on extremely complex communication protocols to exchange data with required performance. Arguing formally about the correctness of communication is an acknowledged verification challenge.
This thesis presents a generic framework that...Expand abstract
- Publication date:
- Type of award:
- Level of award:
- Local pid:
- Copyright holder:
- Peter Boehm
- Copyright date:
- This thesis is not currently available via ORA.
Views and Downloads
If you are the owner of this record, you can report an update to it here: Report update to this record