Networks-on-chips (NoC) are emerging as a promising interconnect solution for efficient Multi-Processors Systemson-Chips. We propose a methodology that supports the specification of parametric NoCs. We provide sufficient constraints that ensure deadlock-free routing, functional correctness, and liveness of the design. To illustrate our method, we discharge these constraints for a parametric NoC inspired by the HERMES architecture.

Objectives The OSH Evidence group consists of experts coming from Institutes of the partnership for European Research in Occupational Safety and Health (PEROSH). Our main objective is to facilitate knowledge transfer from scientific research into policy making by means of systematic reviews. In this project we developed a priority list of topics for reviews which should be in line with the major trends and research challenges inOSH. Methods We took the PEROSH paper on research challenges as a starting point. In this paper seven main research areas were identified by consultation of the member institutes that are significantly prevalent and innovative in terms of preventing ill health and occupational accidents. We aimed to translate the research needs in answerable research questions. We formulated criteria to decide if this specific question should be answered with a systematic review or with a scoping review. For systematic reviews, we phrased clear answerable questions according to a predefined ‘PICO’ format: P = participants, I = intervention/exposure, C = comparison/control, O = outcome. For scoping reviews, we described the target population, the intervention or exposure (s) and the intended results of the scoping reviews. Results The main research challenges identified by PEROSH were: ‘Sustainable employability’, ‘Disability prevention’, ‘Psychosocial well-being’, ‘Multi-factorial genesis of musculoskeletal disorders’, ‘New technologies’, ‘Occupational risks of nano-materials’, and ‘Safety culture’. The project resulted in two lists for each research topic, one containing priorities for systematic reviews and one for scoping reviews. For example, a systematic review is needed for the research question “Is physically demanding work a risk factor for early retirement?”, while a scoping review is needed for the research question “Which interventions are available to prolong working life?”. Conclusions Translating research priorities into questions that can be answered with systematic reviews and scoping reviews is feasible. The exercise helps in setting priorities for where reviews are needed.

No abstract