Towards a Formal Software Synthesis Methodology for Embedded Multiprocessor Systems
2011 (English)In: Proceedings of First International Software Technology Exchange Workshop 2011, 2011Conference paper (Refereed)
This paper addresses the increasing complexity of software design for multiprocessor embedded systems by proposing a designmethodology that combines a formal foundation based on the theory of models of computation (MoCs) and the industrial systemdesign language SystemC. The ForSyDe methodology provides thedesigner with SystemC class libraries that lead to executable system models, from which abstract analyzable models can be extracted. Using these abstract models, the design exploration andsynthesis process can make use of existing MoC theory by for instance incorporating efﬁcient scheduling and buffer optimizationtechniques. The choice of SystemC as modeling language allowsfor an efﬁcient implementation, since system model functions canbe directly compiled to target processors.
Place, publisher, year, edition, pages
IdentifiersURN: urn:nbn:se:kth:diva-111434OAI: oai:DiVA.org:kth-111434DiVA: diva2:586262
First International Software Technology Exchange Workshop 2011
QC 201305272013-01-112013-01-112013-05-27Bibliographically approved