Buzz: analyzable embedded component-based software

The paper presents an experimental toolset for developping component-based embed- ded systems. This environment uses as input a dedicated language, called Buzz, that combines two complementary component based programming paradigms: BIP and Think. This language can act as a pivot and most popular execution paradigms(even-driven, Thread oriented, ...) can be translated into it. BIP is a framework for model-based de- velopment including a language for the description of heterogeneous systems, as well as associated simulation and verification tools. Think is a software component framework for the generation of small-footprint embedded systems. Buzz comes with a compiler that allows both the generation of a Think architecture for the software execution on the embedded platform and the generation of a BIP model for verifications and analysis.