ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number Safety Certification of Software-intensive Systems with Reusable Components Sept 25-27, 2013 Riga CAR/CTF Integration discussion Jerome Lambourg, AdaCore Massimiliano Turco, Akhela
, Page 2 ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number Background CAR: Reads artifacts from disk (monitoring) + Model description Handles traceability, impact analysis Scriptable (python) + HTTP API CTF Gathers together all SafeCer tools Knows how to launch them Knows the format of the resulting files
, Page 3 ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number Integrating the tools CAR Needs to tell the CTF when to launch a given tool What RPC mechanism to use ? We need to have a common minimal formalism to Identify uniquely the tool(s) to launch (e.g. a common identifier string) Identify the tools inputs (use a common path description) Get back the tools output (same common path description)
, Page 4 ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number From the CAR, proposed mechanism 3 phases to launch a tool: Setup: the data present in the CARs formalism is formatted to fit the common formalism Execution: the RPC command is sent to the CTF TearDown: the CTF answers the CAR with the common formalism. The CAR then translates to its internal formalism.
, Page 5 ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number Open discussion … Other proposals ? Timeframe and steps ? Proposal to start with a simple scenario, implement the minimal amount to have this scenario demoed Then add more features as needed What simple scenario then ?