This repository presents the rule files for the detection of insecure and unreachable networks, as well as the file of its implementation in USE. Likewise, it presents the .aasx file generated in the implementation performed in the AASX Package Explorer tool.
Procedure for the detection of unreachable networks.
- Make sure you have the latest version of USE installed, which can be found at the following link: https://github.com/useocl/use/blob/master/INSTALL
- Open the specification contained in the file "SFC Model -Rules".
- Open the .soil file
- Upload the file layout
- You will be able to visualize the example of the unreachable network
The same procedure applies for the example of insecure networks.
Implementation in the AASX PAckage Explorer tool
To view the .AASX file generated in the implementation, you must install the AASX Package Explorer tool, which you can download from the following link https://github.com/eclipse-aaspe/package-explorer/releases
Open "Crema Dental" file
