The embedded systems market is a lively—some would say volatile—place. There is a
growing demand for products that make the best use of rapidly improving computer …

Mechatronic design is the integrated design of a mechanical system and its embedded
control system. In order to make proper choices early in the design stage, tools are required …

System-Performance Engineering (SysPE) encompasses modeling formalisms, methods,
techniques, and industrial practices to design systems for performance, where performance …

The increasing dynamism and interconnectivity of Cyber-Physical Systems of Systems
(CPSoS) emphasize the need for advanced performance modeling approaches …

An execution trace is a model of a single system behavior. Execution traces occur
everywhere in the system's lifecycle as they can typically be produced by executable …

In this paper we show that using co-simulation for robot software design will be more
efficient than without co-simulation. We will show an example of the plotter how the co …

Norwegian high-tech industries face a rapidly changing market need. Staying ahead of
competitors and develo** significant innovative solutions are essential for business value …

The effective use of model-based formal methods in the development of complex embedded
systems requires the integration of discrete-event models of controllers with continuous-time …

Embedded systems can be seen as the first generation of a wider class of cyber-physical
systems that integrate possibly large numbers of computing platforms in physical …

This paper shows how conceptual models can support the reasoning during early-phase
concept evaluation in the subsea domain. Proposing concepts that are fit for purpose …