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.
The Systems Analysis & Verification Department at NEC Labs engages in foundational as well as applied research in the areas of verification and analysis of software and embedded systems. We have developed several tools and frameworks for scalable and precise analysis of programs, some of which are now used within the company on large software projects. This extended abstract highlights their main...
The successful use of IEC 61499 in the industry requires software development processes that utilize the standard's support for best practices of software engineering, such as CORFU. The adoption of such a process would involve upgrading existing practices, tacit knowledge and legacy software, which constitute much of the core competence and essential assets of a company. This paper reports on a two...
The function block (FB) construct has been adopted by recent IEC standards for the design of reusable, interoperable, distributed control applications. In this paper, an approach to exploit the benefits of this paradigm in batch process control is presented. A hybrid approach that integrates the FB model with the Unified Modeling Language is exploited and customized to the batch domain taking as starting...
The IEC61499 standard is the first step towards the development of the next generation agile manufacturing systems where distribution, interoperability and re-configuration are between the most important requirements. Development environments that will demonstrate the applicability of this standard in industrial environments are still missing. In this paper an approach that allows the execution of...
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.