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.
A novel prototyping technique for concurrent control systems implemented in field programmable gate array (FPGA) devices is proposed in the paper. The method allows for dynamic modification of the implemented system. It means that the functionality of a part of the controller can be changed, while the rest of the system is still running. The approach applies to unified modeling language state machine...
This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between...
Non-autonomous Petri nets offer a language especially adapted for controller specifications. They are typically used in the design phase often with no clear connection to the analysis phase, including requirements specification. This paper shows how use cases can be used to support requirements specification amenable to a direct transformation to IOPT nets, a class of non-autonomous Petri nets. To...
Petri nets have been widely used in the design of embedded controllers, namely in electronic hardware and computing platforms design, as well as within automation application areas. This paper presents updated characteristics of one class of Petri nets, named Input-Output Place-Transition Petri nets (IOPT nets), extended to support networked embedded controllers design and globally-asynchronous locally-synchronous...
This paper presents the IOPT2SS tool, used to automatically generate state-space graphs associated with IOPT (Input-Output Place-Transition) Petri nets models. The new tool accounts with the non autonomous nature of the IOPT Petri net class, where transition firing is constrained by external input events and input signals (expressed in transition guards); on the other hand, transitions can trigger...
This paper describes a reengineering solution for a Smart House controllers system using model-based development approach, emphasizing automatic code generation. Starting with the analysis of an existing system, based on a network of controllers, named as Tiny-Domots, the behavioral models associated with each controller was built using state diagrams as primary modeling formalism. A set of rules...
Recent trends in embedded systems can be categorized by high application sophistication, shorter product life cycles and low cost requirements. As system complexity increases, rapid application development platforms and user interface builders became an important factor to reduce design cost and time-to-market. The tools proposed in this paper enable the rapid development of applications and the respective...
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.