Where academic tradition
meets the exciting future

Modeling for Multi-View Interference Analysis of Design Aspects in MPSoC Designs

Jüri Vain, Apneet Kaur, Leonidas Tsiopoulos, Jaan Raik, Maksim Jenihhin, Modeling for Multi-View Interference Analysis of Design Aspects in MPSoC Designs. In: Proceedings of 22nd IEEE European Test Symposium: RESCUE 2017, Workshop on Reliability, Security and Quality, 1–6, KIOS Research Center | University of Cyprus, 2017.

Abstract:

The paper proposes a modeling approach for an MPSoC design using multi-view contracts enabling a formal analysis of design aspects’ interference. In particular it focuses on the behavioral, reliability and security design views of the system at the level of abstraction where the key properties of internal routing mechanism are explicitly specified and the implementation details abstracted away. A case study on an open-source MPSoC platform has demonstrated that the view contracts can be, first, specified and verified separately from each other using Uppaal Timed Automata formalism and conjoined thereafter for complete design contract without breaking the correctness of individual view contracts.

BibTeX entry:

@INPROCEEDINGS{inpVaKaTsRaJe17a,
  title = {Modeling for Multi-View Interference Analysis of Design Aspects in MPSoC Designs},
  booktitle = {Proceedings of 22nd IEEE European Test Symposium: RESCUE 2017, Workshop on Reliability, Security and Quality},
  author = {Vain, Jüri and Kaur, Apneet and Tsiopoulos, Leonidas and Raik, Jaan and Jenihhin, Maksim},
  publisher = {KIOS Research Center | University of Cyprus},
  pages = {1–6},
  year = {2017},
}

Belongs to TUCS Research Unit(s): Other, Distributed Systems Laboratory (DS Lab)

Edit publication