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.
In current embedded system design practice, only few architectural solutions and mappings of the functionalities of a system on the architecture's components are examined. This paper presents an optimization-based method and the associated tool developed to help designers take architectural decisions. The principle of this approach is to efficiently explore the design space and to dynamically provide...
This paper presents the planned and on-going activities inside the FORDESIGN research project, funded by the Portuguese FCT (Foundation for Science and Technology), whose main objective is to foster the effective use of formal methods for embedded systems co-design. The project proposes a methodology where the use-cases are used as a starting point, not only for capturing requirements but also to...
This paper describes the hardware/software co-design of a multithreaded RTOS kernel on a new Xilinx Virtex II Pro FPGA. Our multithreaded RTOS kernel is an integral part of our hybrid thread programming model being developed for hybrid systems which are comprised of both software resident and hardware resident concurrently executing threads. Additionally, we provide new interrupt semantics by migrating...
This paper presents the object-oriented platform-based design process for embedded real-time systems (SEEP). More specifically, it includes a case study to highlight the main design steps proposed by SEEP. Details regarding embedded system modeling and its transition to the programming level are presented. Moreover, it describes the embedded system generation and provides data obtained from the hardware...
This paper presents a design scheme for an intelligent fieldbus master with Ethernet interface based on Profibus. Significance of the design scheme was discussed, as there are many different kinds of fieldbuses coexisting. Architecture of Profibus protocol and its state machine was investigated. According to the state machine, an integrated communication process of the master was analyzed, and a design...
Manufacturing systems are developed and configured using different design tools, e.g. CAD for mechanical construction, CAE for electronic engineering and IDE for software development. These tools work on different views of automation units, which are the basic blocks of manufacturing systems. With this, tool dependent data is generated that relates to automation units involved in the manufacturing...
The growing complexity of embedded applications has motivated system designers to search for methods and tools that enable the automatic generation of embedded systems. This paper outlines a strategy for generating customized run-time support systems and specific hardware platforms for dedicated applications. Based on the application-oriented system design methodology, the approached strategy proposes...
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.