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.
Formal verification has become very useful and popular in last decade in area of embedded systems design and in analysis of critical systems. It can reveal common errors like deadlocks, starvation, check system invariants, but also verify more complex properties defined by LTL formulas whose writing may be very error prone for non expert users. To reduce the time-to-market for embedded systems and...
We present an approach for formal modelling of SystemC programs build uppon the “Behavior, Interactions and Priority” framework. Produced automata interactions are restricted only by using priorities rather than cutting their interactions. Produced models have thus the advantages of being composable — with other futur programs — without any change, except for the priorities. Furthermore automata are...
The Internet of things (IoT) is the interconnection of physical objects with the Internet network using existing technologies and communication protocols. The speed up and massive uses of this network's type in a multitude domain, from large industrial applications to small every day's uses, raises new serious problematic related to security. Indeed, recent reports on cyber security highlighted the...
Simulation is an essential tool for analysing and characterizing defects in complex systems. It allows an analysis of their severity and their distribution for testing strategies to detect serious defects as soon as possible and avoid so the total destruction of the equipment. It also helps to identify the degraded operating modes or even anticipate the occurrence of default and so react before the...
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.