Theoretical Computer Science
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
A linear-time heuristic for improving network partitions
DAC '82 Proceedings of the 19th Design Automation Conference
Modular Code Generation from Triggered and Timed Block Diagrams
RTAS '08 Proceedings of the 2008 IEEE Real-Time and Embedded Technology and Applications Symposium
Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Testing real-time task networks with functional extensions using model-checking
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Hi-index | 0.00 |
The approach proposed in this paper forms the front-end of a framework for the complete design flow from specification models of new automotive functions captured in Matlab Simulink to their distributed execution on hierarchical bus-based electronic architectures hosting the release of already deployed automotive functions. The process starts by deriving a task structure from a given Matlab Simulink model. Because the obtained network is typically unbalanced in the sense of computational node weights, nodes are melted following an optimization metric called cohesion where nodes are attracted by high communication density and repelled by high node weights. This reduces task-switching times by avoiding too lightweight tasks and relieves the bus by keeping inter-task communication low. This so-called Task Creation encloses the translation of the synchronous block diagram model of Simulink into a message-based task network formalism that serves as semantic base.