We present a case study on automatic synthesis of control software from formal speciications for an industrial automation control system. Our aim is to compare the eeectiveness (i.e. design eeort and controller quality) of automatic controller synthesis from closed loop formal speciications with that of manual controller design followed by automatic veriication. Our experimental results show th...

We present a case study on automatic synthesis of control software from formal speci cations for an industrial automation control system. Our aim is to compare the e ectiveness (i.e. design e ort and controller quality) of automatic controller synthesis from closed loop formal speci cations with that of manual controller design followed by automatic veri cation. Our experimental results show th...

What does an Industrial Designer do? Design is all around us, yet very few people truly understand the role of an industrial designer. Yet, their work is evident everywhere we look. Architectural, furniture, automotive, textile, graphic and product are all examples of different types of design. The designer is one who gives form to function, one who balances art and technology. Design is expand...

The conceptual design of parallel robots can be dated back to the time when Gough established the basic principles of a device with a closed-loop kinematic structure (Gough 1956), that can generate specified position and orientation of a moving platform so as to test tire wear and tear. Based on this principle, Stewart designed a platform for use as an aircraft simulator in 1965 (Stewart 1965)....

With the growing size and complexity of systems under design, industry needs a generation of Model-Driven Engineering (MDE) tools, especially model query and transformation, with the proven capability to handle large-scale scenarios. While researchers are proposing several technical solutions in this sense, the community lacks a set of shared scalability benchmarks, that would simplify quantita...

A novel methodology for the calculation, visualisation and analysis of the Reconfigurable Machinery Efficient Workspace (RMEW), based on the twist angles, is presented in this paper. The machinery’s kinematic parameters are used for calculating the workspace, while the efficient workspace is associated with the machinery’s path and includes the endeffector position and orientation. To analyse a...

Designing parallel applications is generally experienced as a tedious and difficult task, especially when hard real-time performance requirements have to be met. This paper discusses on-going work concerning the construction of a Design Entry System which supports the design phase of parallel real-time industrial application development. In particular, in this paper we pay attention to the deve...