Search Results

As technology advances in electronics, systems with higher complexity, interconnectedness and heterogeneity can be developed. Being constituted by several control units and communication buses, the development of such systems can only be done concurrently by teams of specialists. At the same time as many as possible design steps have to be automated to accelerate the design process itself. Typically, in current design processes, systems are described using manually written specifications or non-executable, model-based specifications. However, such specifications cannot be executed and therefore cannot be validated, evaluated, and optimized prior to the availability of hardware. This results in a design process exhibiting high uncertainty in the early design stages and thus, high development risks and costs [8].