Publication

Integration of Correct-by-Construction BIP Models into the MetroII Design Space Exploration Flow

Alena Simalatsar
2012
Conference Papers

Abstract

Design correctness and performance are major issues which are usually considered separately, and with different emphasis, by traditional system design flows. In this paper we show that one can meaningfully connect and benefit from the advantages of two design frameworks, with different design goals. We consider BIP for high-level rigorous design and correct-by-construction implementation, and METROII, for low-level platform-based design and performance evaluation.

Official source

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Integration of Correct-by-Construction BIP Models into the MetroII Design Space Exploration Flow

Chat with Graph Search

Graph generative deep learning models with an application to circuit topologies

Strategy to systematically design and deploy the ITER plasma control system: A system engineering and model-based design approach

Mesh-based topology, shape and sizing optimization of ribbed plates