Session 3: Modelling

This session focuses on various modeling formalisms, and usage of these formalisms for ESL modeling. For example, AADL is becoming standard in certain domains such as avionics, and IP-Xact is becoming standard for interoperability of IPs developed by independent vendors. Polychronous formalisms are being increasing used for concurrent embedded software system modeling. These three papers show certain advantages, and methodologies based in these formalisms. The first paper describes a transformation from AADL to Signal. This transformation allows for a direct formal validation of an AADL specification via the Sigali model-checker and the Polychrony environment. The second paper describes a collection of tools designed for other purposes (documentation, simulation) to try to extract sufficient information from models coded in SystemC so that an IP-Xact epresentation of these models could be assembled. The third paper announces a formally-based compilation framework, from specification parallelism to implementation parallelism. It relies on notions of weak-endochrony defined in the framework of synchronous reactive languages. In particular, it considers the generation of executable code involving multiple threads.