Integration of correct-by-construction BIP models into the MetroII design space exploration flow

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....

Full description

Saved in:
Bibliographic Details
Published in2012 IEEE 30th International Conference on Computer Design (ICCD) pp. 490 - 491
Main Authors Simalatsar, A., Liangpeng Guo, Bozga, M., Passerone, R.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.09.2012
Subjects
Computational modeling
Computer architecture
Connectors
Real-time systems
Sorting
Synchronization
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:1467330515
9781467330510
ISSN:1063-6404
2576-6996
DOI:10.1109/ICCD.2012.6378688