The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchronization that prevents the components from interacting in ways that may endanger the system users, its correctness or performance. The undesirable interactions are usually described using temporal logic, or safety and live...

This paper proposes a general architecture for using evolutionary algorithms to achieve MEMS design synthesis. Functional MEMS devices are designed by combining parameterized basic MEMS building blocks together using Multi-objective Genetic Algorithms (MOGAs) to produce a pareto optimal set of feasible designs. The iterative design synthesis loop is implemented by combining MOGAs with the SUGAR...

Approaches to dependability and performance are challenged when systems are made up of networks of heterogeneous applications/devices, especially when operating in unpredictable open-world settings. The research community is tackling this problem and exploring means for enabling interoperability at the application level. The EU project CONNECT has developed a generic interoperability mechanism ...

As System-on-Chip (SoC) designs become more complex, it becomes increasingly harder to design communication architectures which satisfy designer constraints. Manually traversing the vast communication design space for constraint-driven synthesis is not feasible anymore. In this report we propose an approach that automates the synthesis of bus-based communication architectures for systems charac...

Research efforts have been directed towards constructing a fully automated microcomputer-controlled bench-scale 'batch-type' chemical reactor [1-6]. This fully automated reactor can execute repetitive experiments on an approximately 50 ml scale, providing important chemical reaction data during early stages of process development research programmes. The precision and accuracy of the reagent/so...

The automated synthesis of norms for coordination of multi-agent systems remains an open and complex problem. In this paper we present the Intelligent Robust On-line Norm Synthesis Machine (IRON), a system whose goal is the automated synthesis of norms. IRON is capable of synthesising norms that are at the same time effective (to ensure coordination) and necessary (to avoid overregulation). IRO...