Incorrect URL for SACM in Appendix B
-
Key: SACM_-2
-
Legacy Issue Number: 17432
-
Status: closed
-
Source: Adaptive ( Mr. Pete Rivett)
-
Summary:
Annex B (updated by Issue 16695) has the same problems as the XSD file (below), and further has no URI at all in the declaration of namespace SACM. Also oddly TARGET and TRUE are capitalized for no reason
The namespaces declared for the SACM namespaces e.g. xmlns:SACM="http://schema.omg.org/SACM/1.0" are inconsistent with those in the inventory.
Correct URLs are:
xmlns:ARM="www.omg.org/spec/SACM/20120501/Argumentation" schemaLocation="http://www.omg.org/spec/SACM/20120501/Argumentation.xsd"
xmlns:EM=" www.omg.org/spec/SACM/20120501/Evidence" schemaLocation="http://www.omg.org/spec/SACM/20120501/Evidence.xsd"
xmlns:SACM=" www.omg.org/spec/SACM/20120501/SACM" schemaLocation="http://www.omg.org/spec/SACM/20120501/SACM.xsd"
-
Reported: SACM 1.0b2 — Tue, 19 Jun 2012 04:00 GMT
-
Disposition: Resolved — SACM 1.0
-
Disposition Summary:
Change example in section B.1 into the following:
<?xml version="1.0" encoding="ASCII"?>
<ARM:Argumentation xmi:version="2.1"
xmlns:xmi="http://schema.omg.org/spec/XMI/2.1"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:ARM=" www.omg.org/spec/SACM/20120501/Argumentation"
xmi:id="0" id="IPSA">
<xsd:import namespace=http://schema.omg.org/spec/XMI/2.1"
schemaLocation="http://www.omg.org/spec/XMI/20071213/XMI.xsd"/>
<xsd:import namespace="www.omg.org/spec/SACM/20120501/Argumentation" schemaLocation="
http://www.omg.org/spec/SACM/20120501/Argumentation.xsd" />
<argumentElement xsi:type="ARM:Claim" xmi:id="1" id=“C1" description="" content="C/S logic is fault
free"/> <argumentElement xsi:type="ARM:ArgumentReasoning" xmi:id="2" id=“RC1.1" content="Argument by
omission of all identified software hazards" describes="5 6"/>
<argumentElement xsi:type="ARM:ArgumentReasoning" xmi:id="3" id=“RC1.2" content="Argument by
satisfaction of all C/S safety requirements" describes="7 8 9"/>
<argumentElement xsi:type="ARM:InformationElement" xmi:id="4" id=“IRC1.1" description="Identified
software hazards"/>
<argumentElement xsi:type="ARM:Claim" xmi:id="5" id=“C1.1" description="" content="Unintended
opening of press (after PoNR) can only occur as a result of component failure"/>
<argumentElement xsi:type="ARM:Claim" xmi:id="6" id=“C1.2" description="" content="Unintended
closing of press can only occur as a result of component failure"/>
<argumentElement xsi:type="ARM:Claim" xmi:id="7" id=“C2.1" content="Press controls being 'jammed
on' will cause press to halt"/>
<argumentElement xsi:type="ARM:Claim" xmi:id="8" id=“C2.2" content="Release of controls prior to
press passing physical PoNR will cause press operation to abort"/>
<argumentElement xsi:type="ARM:Claim" xmi:id="9" id=“C2.3" description="" content="C/S fails safe
(halts on) and annunciates (by sounding Klaxon) all component failures" toBeSupported=”true”/>
<argumentElement xsi:type="ARM:Claim" xmi:id="12" id=“C2.1.1" content="Failure 1 of PLC state
machine includes BUTTON_IN remaining true"/>
<argumentElement xsi:type="ARM:Claim" xmi:id="13" id=“C2.2.1" content="Abort transition of PLC
state machine includes BUTTON_IN going false"/>
<argumentElement xsi:type="ARM:InformationElement" xmi:id="10" id=“S1.1" content="Fault tree
analysis cutsets for event 'Hand trapped in press due to command error'"/>
<argumentElement xsi:type="ARM:InformationElement" xmi:id="11" id=“S1.2" content="Hazard directed
test results"/>
<argumentElement xsi:type="ARM:InformationElement" xmi:id="14" id=“S2.1" description=""
content="black box testing"/>
<argumentElement xsi:type="ARM:InformationElement" xmi:id="15" id=“S2.2.1" content="C/S state
machine"/>
<argumentElement xsi:type="ARM:AssertedInference" xmi:id="16" id=“C1.1.1" description=""
source="5" target="1"/>
<argumentElement xsi:type="ARM:AssertedInference" xmi:id="17" id=“C1.1.2" source="6" target="1"/>
<argumentElement xsi:type="ARM:AssertedInference" xmi:id="18" id=“C1.2.1" source="7" target="1"/>
<argumentElement xsi:type="ARM:AssertedInference" xmi:id="19" id=“C1.2.2" source="8" target="1"/>
<argumentElement xsi:type="ARM:AssertedInference" xmi:id="20" id=“C1.2.3" source="9" target="1"/>
<argumentElement xsi:type="ARM:AssertedContext" xmi:id="21" id=“CIRC1.1" source="4" target="2"/>
<argumentElement xsi:type="ARM:AssertedEvidence" xmi:id="22" id=“S1.1" source="10" target="5 6"/>
<argumentElement xsi:type="ARM:AssertedEvidence" xmi:id="23" id=“S1.2" source="11" target="5 6"/>
<argumentElement xsi:type="ARM:AssertedEvidence" xmi:id="24" id=“SC2.1" source="14" target="7"/>
<argumentElement xsi:type="ARM:AssertedEvidence" xmi:id="25" id=“SC2.1.1" source="15"
target="12"/>
<argumentElement xsi:type="ARM:AssertedEvidence" xmi:id="26" id=“SC2.2.1" source="15"
target="13"/>
<argumentElement xsi:type="ARM:AssertedInference" xmi:id="27" id=“DI C2.1" source="12"
target="7"/>
<argumentElement xsi:type="ARM:AssertedInference" xmi:id="28" id=“DI C2.2" source="13"
target="8"/>
<argumentElement xsi:type="ARM:AssertedContext" xmi:id="29" id=“AR29" source="2" target="16
17"/>
</ARM:Argumentation>
Change example in section B.2 into the following:
<?xml version="1.0" encoding="ASCII"?>
<ARM:Argumentation xmi:version="2.1"
xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:ARM=" www.omg.org/spec/SACM/20120501/Argumentation"
xmi:id="0" id="BSC11">
<xsd:import namespace=http://schema.omg.org/spec/XMI/2.1"
schemaLocation="http://www.omg.org/spec/XMI/20071213/XMI.xsd"/>
<xsd:import namespace="www.omg.org/spec/SACM/20120501/Argumentation" schemaLocation="
http://www.omg.org/spec/SACM/20120501/Argumentation.xsd" />
<argumentElement xsi:type="ARM:Claim" xmi:id="1" id=“Bluetooth secure" content="A bluetooth
enabled network provides adequate security"/>
<argumentElement xsi:type=“ARM: Claim" xmi:id="2" id=“Availability" content="A bluetooth enabled
network is adequately available [1] Section 1 para 3"/>
<argumentElement xsi:type=“ARM: Claim" xmi:id="3" id=“Access" description="" content="A bluetooth
enabled network provides adequate control for access to services and data [1] Section 1 para 3"/>
<argumentElement xsi:type=“ARM: Claim" xmi:id="4" id=“Confidentiality" content="A bluetooth
enabled network provides adequate levels of confidentiality [1] Setion 1 para 3"/>
<argumentElement xsi:type=“ARM: Claim" xmi:id="5" id=“Integrity" content="A bluetooth enabled
network provides adequate levels of integrity [1] Section 1 para 3"/>
<argumentElement xsi:type=“ARM: InformationElement" xmi:id="6" id=“Context: security policy and
scenario for use" content="Definitions are required of the intented security policy and the scenario of use
for the system, including what is regarded as 'adequate'"/>
<argumentElement xsi:type=“ARM: InformationElement" xmi:id="7" id=“References" content="[1]
Bluetooth security white paper 19/4/ 02"/>
<argumentElement xsi:type=“ARM: InformationElement" xmi:id="8" id=“Definition: Availability"
content="The system is capable of providing requested services to authorised users, in an
acceptable/defined time"/>
<argumentElement xsi:type=“ARM: InformationElement" xmi:id="9" id=“Definition: Access"
content="Only users permitted by the defined security policy have access to services and data"/>
<argumentElement xsi:type=“ARM: InformationElement" xmi:id="10" id=“Define: Confidentiality"
content="Unauthorised persons cannot intercept and understand information to which they are not
entitled"/>
<argumentElement xsi:type=“ARM: InformationElement" xmi:id="11" id=“Define: Integrity"
description="" content="Services and data are provided to authorised users as intended and without
corruption"/>
<argumentElement xsi:type=“ARM: AssertedContext" xmi:id="12" id=“AC1" source="7" target="1"/>
<argumentElement xsi:type=“ARM: AssertedContext" xmi:id="13" id=“AC2" source="6" target="1"/>
<argumentElement xsi:type=“ARM: AssertedContext" xmi:id="14" id=“AC3" source="8" target="2"/>
<argumentElement xsi:type=“ARM: AssertedContext" xmi:id="15" id=“AC4" source="9 " target="3"/>
<argumentElement xsi:type=“ARM: AssertedContext" xmi:id="16" id=“AC5" source="10" target="4"/>
<argumentElement xsi:type=“ARM: AssertedContext" xmi:id="17" id=“AC6" source="11" target="5"/>
<argumentElement xsi:type=“ARM: AssertedInference" xmi:id="18" id=“AI1" source="5 4 3 2"
target="1"/>
<argumentElement xsi:type=“ARM: ArgumentReasoning" xmi"id="19" id=“Argue over vulnerabilities"
description="" content="Argue for each security requirement identified in the security white paper"
describes="18"/>
</ARM:Argument> -
Updated: Sun, 8 Mar 2015 13:50 GMT