Model-based specification and design of large-scale embedded signal processing systems
Lemaitre, J.
Citation
Lemaitre, J. (2008, October 2). Model-based specification and design of large-scale embedded signal processing systems. Retrieved from https://hdl.handle.net/1887/13126
Version: Corrected Publisher’s Version
License: Licence agreement concerning inclusion of doctoral thesis in the Institutional Repository of the University of Leiden
Downloaded from: https://hdl.handle.net/1887/13126
Note: To cite this publication please use the final published version (if applicable).
Propositions (Stellingen)
by J´erˆome Lemaitre, author of
Model-based Specification and Design of Large-Scale Embedded Signal Processing Systems
1. In the digital part of large-scale phase array radio telescopes, the run- time configuration of the behavior of the distributed and high-throughput streaming signal processing part must be done through a control and monitoring part that is decentralized and reactive. (This Thesis) 2. Synchronizing and interfacing these two parts without altering the be-
havior and performance of the dominant signal processing part is an issue. (This Thesis)
3. Specifying the timed functional behavior and architecture of these two parts based on domain-specific models allows reasoning about their interfacing and synchronization before going to implementation. (This Thesis)
4. Respecting and refining model semantics when mapping behavioral models onto architecture models allows structuring the design process down to the level of abstraction where implementation tools are avail- able. (This Thesis)
5. To scale the digital part of phase array radio telescopes, it is necessary to bring a regular structure both at system-on-chip level and at higher levels (station-level). (This Thesis)
6. Experience of individuals is required to analyze and criticize system specifications beyond intuitive decisions.
7. People integrate faster in a foreign country through leisures than through work.
8. Successive temporary contracts do not necessarily motivate young re- searchers to go on with their research.
9. Take a short break, ask yourself what you want in the future, and start paving the way to get it.
1
