The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Cyber-Physical Systems (CPS) are known to be highly complex systems which can be applied to a variety of different environments, covering both civil and military application domains. As CPS are typically complex systems, its design process requires strong guarantees that the specified functional and non-functional properties are satisfied on the designed application. Model-Driven Engineering (MDE)...
With the advent of low-cost embedded platforms, the design of embedded systems has gained in popularity over the recent years. It also contributed to increase the popularity and availability of software libraries developed for embedded systems, such as Intels MRAA and its higher-level version UPM. Besides this evolution, the design of embedded systems that requires controlling complex physical devices...
The design process of Cyber-Physical Systems (CPS) normally starts with the development of a functional model, used for simulation purposes. This model is composed of the control algorithms and a mathematical representation of the physical system to be controlled. The approach, called Assisted Transformation of Models (AST), provides a means to transform the functional model into an architectural...
Different models of computation can be used for designing the embedded computing system from a Cyber-Physical System. Such embedded system should be in charge of executing the control algorithms and communicating with the sensors and actuators. Timed-Trigger and Continuous-Time are examples of models-of-computation (MoC) used in such application domain. This work presents an assessment of using these...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.