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.
When developing critical and complex systems, the analysis and the performance evaluation of the designed system is a challenging task. Wireless Sensor Networks (WSNs) are examples of such systems. A WSN consists of a large amount of distributed nodes which monitor physical or environmental conditions. In this paper, we address the problem of how WSNs must be designed to have good performances in...
System Modelling Language (SysML) is a modelling language that allows system description with various integrated diagrams. The SysML activity diagram (SAD) is widely used to graphically describe system behaviours. Nevertheless, despite the various advantages of SysML, it lacks for formal semantics to achieve the verification of behavioural requirements. Petri nets (PNs) are a popular technique for...
The SysML Activity diagram can be used to describe the behavior of complex systems which integrate an increasing number of components and a variety of technologies. Call behavior actions are SysML activity diagram elements used for structuring, composing and reusing activities. However, when designing complex and critical systems, the use of formal methods is strongly recommended for their validation,...
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.