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.
One of the most common applications for Cyber-Physical Systems (CPS) is process execution. Nowadays, different description languages are employed in order to define, command and control the execution of processes using the elements making up a CPS. However, this approach creates rigid (or hard) processes, which are only valid in certain scenarios. The inclusion of legacy systems, new Industry 4.0...
ADLs are used to describe system architectures at a very high level of abstraction. The concrete ADLs are interested in generating code from an architectural description. AADL is a concrete language designed for embedded applications. It integrates a software and hardware specifications in its description. Several studies around AADL are devoted to the development of executable systems from their...
Distribution of automation functions onto several controllers has become a widely applied answer to the demands of huge and complex automated systems. Distributed networked automation systems offer advantages regarding various nonfunctional requirements, such as flexibility, availability and maintainability. On the other hand, they impose additional challenges, e.g. for fulfilling the real-time requirements...
The paper presents bi-directional transformation of two hierarchical hardware behavior description diagrams - UML Activity Diagrams and Control Interpreted Petri Nets. The transformation rules covers representation of UML complex activities by means of Petri Net macroplaces and macrotransitions. Bi-directional transformation ensures fully efficient cooperation of designers teams working with both...
The size and complexity of large-scale distributed embedded systems such as automotive and process controls have increased recently. Sophisticated systems that are safe and environmentally friendly require numerous types of sensor data, which are collected from various devices and sent to computers through networks. To develop such large-scale distributed embedded systems with high dependability and...
To cope with quick variation in product demand, modern automation systems shall be able to conjugate increasing complexity of controlled processes with agile reconfiguration of flexible manufacturing systems. To such an aim, structured approaches for reconfigurable system design, based on formal reference models, have to be provided. Mandatory condition for the adoption of such approaches is the identification...
This paper introduces an embedded system of smart home development with AADL in, which is useful to analyze requirement, design software model, and verify relations between hardware and software in an embedded system. AADL is very convenient and scaleable to manage home equipment in smart home system, and enhance the developing quality of embedded software.
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.