Publication

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

Alena Simalatsar
2012
Conference Papers

Résumé

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.

Source officielle

https://infoscience.epfl.ch/entities/publication/d52ac0a0-0e55-49a9-bb68-014b5f166100

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

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

Chattez avec 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