Example 1 with Mission
use of verdict.vdm.vdm_model.Mission in project VERDICT by ge-high-assurance.
the class GSNInterface method runGsnArtifactsGenerator.
/**
* The interface for creating GSN artefacts
*
* @param userInput -- the GUI user input with Ids
* @param gsnOutputDir -- the directory where outputs will be stored
* @param soteriaOutputDir -- the directory containing Soteria outputs
* @param caseAadlPath -- the directory containing the AADL files
* @param xmlFlag -- determines if xml should be created
* @param soteriaOutputLinkPathPrefix -- a prefix for creating the clickable urls
* @throws IOException
* @throws ParserConfigurationException
* @throws SAXException
*/
public void runGsnArtifactsGenerator(String userInput, String gsnOutputDir, String soteriaOutputDir, String modelAadlPath, boolean xmlFlag, String soteriaOutputLinkPathPrefix, String hostSTEMDir) throws IOException, ParserConfigurationException, SAXException {
File modelXml = new File(gsnOutputDir, "modelXML.xml");
File cyberOutput = new File(soteriaOutputDir, "ImplProperties.xml");
File safetyOutput = new File(soteriaOutputDir, "ImplProperties-safety.xml");
// Fetch the DeliveryDrone model from the XML
Model xmlModel = VdmTranslator.unmarshalFromXml(modelXml);
// List of all mission ids
List<String> missionIds = new ArrayList<>();
for (Mission aMission : xmlModel.getMission()) {
missionIds.add(aMission.getId());
}
// List of ids to create fragments for
List<String> forIds = new ArrayList<>();
if (userInput.equals("ALLMREQKEY")) {
forIds.addAll(missionIds);
} else {
// get individual IDs from the user input
String[] inputs = userInput.split(";");
// adding each Id to the list
for (String id : inputs) {
forIds.add(id);
}
}
// creating fragments
for (String rootGoalId : forIds) {
// create the GSN fragment
CreateGSN objCreateGSN = new CreateGSN();
GsnNode gsnFragment = objCreateGSN.gsnCreator(xmlModel, cyberOutput, safetyOutput, modelAadlPath, rootGoalId, soteriaOutputLinkPathPrefix, hostSTEMDir);
System.out.println("Info: Created GSN fragment for " + rootGoalId);
// Filenames
String xmlFilename = rootGoalId + "_GsnFragment.xml";
String dotFilename = rootGoalId + "_GsnFragment.dot";
String svgFilename = rootGoalId + "_GsnFragment.svg";
if (xmlFlag) {
// Create a file and print the GSN XML
File gsnXmlFile = new File(gsnOutputDir, xmlFilename);
Gsn2Xml objGsn2Xml = new Gsn2Xml();
objGsn2Xml.convertGsnToXML(gsnFragment, gsnXmlFile);
System.out.println("Info: Written GSN to xml for " + rootGoalId + ": " + gsnXmlFile.getAbsolutePath());
}
// Create a file and print the dot
File gsnDotFile = new File(gsnOutputDir, dotFilename);
Gsn2Dot objGsn2Dot = new Gsn2Dot();
objGsn2Dot.createDot(gsnFragment, gsnDotFile);
// System.out.println(
// "Info: Written GSN to dot for "
// + rootGoalId
// + ": "
// + gsnDotFile.getAbsolutePath());
// generate the svg file using graphviz
String graphDestination = gsnOutputDir + SEP + svgFilename;
String dotFileSource = gsnDotFile.getAbsolutePath();
Dot2GraphViz objDot2GraphViz = new Dot2GraphViz();
objDot2GraphViz.generateGraph(dotFileSource, graphDestination);
System.out.println("Info: Written GSN to svg for " + rootGoalId + ": " + graphDestination);
}
}