|
<requality>
|
|
<req qid="/Requirements">
|
|
<name>Requirements</name>
|
|
<req qid="/Requirements/BUG">
|
|
<name>BUG</name>
|
|
<req qid="/Requirements/BUG/AADL-4.4(N2)">
|
|
<name>AADL-4.4(N2)</name>
|
|
<desc><![CDATA[The requirement according to which the defining identifier of the component implementation must be unique within the local namespace of the component type is seemed to be unreasonable with a view of the AADL semantics.]]></desc>
|
|
<ldesc><![CDATA[(N2) The defining identifier of the component implementation must be unique within the local namespace of the component type.]]></ldesc>
|
|
<req qid="/Requirements/BUG/AADL-4.4(N2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[The language defined in SAE AS5506 has been refined and extended based on industrial experience with version 1.0 over the last 4 years. The improvements focus on better support for architecture templates and modeling of l]]></ldesc>
|
|
<req qid="/Requirements/BUG/AADL-4.4(N2)/01/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(5) <span xmlns="http://www.w3.org/1999/xhtml" class="p">Rules of conformance are specified between specifications written in AADL, source text and physical components described by those specifications, and physical systems constructed from those specifications. The AADL is not intended to describe all possible aspects of any possible component or system; selected syntactic and semantic requirements are imposed on components and systems. Many of the attributes of an AADL component are represented in an AADL model as properties of that component. The conformance rules of the language include the characteristics described by these properties as well as the syntactic and semantic requirements imposed on components and systems. Compliance between AADL specifications and items described by specifications is determined through analysis, e.g., by tools for source text processing and system integration.</span>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/BUG/AADL-6.4(L)">
|
|
<name>AADL-6.4(L)</name>
|
|
<desc><![CDATA[The AADL-6.4(L5) legality rule tells that a bus implementation must not contain a connections subclause. This rule is seemed to be reasonable as the subcomponent types, allowed for the bus implementation declaration, may not contain any feature declarations. But the table above the AADL-6.4(L1) legality rule tells that a bus implementation can contain a connections subclause. This requirement conflicts with the AADL-6.4(L5) legality rule and it is seemed to be unreasonable.]]></desc>
|
|
<ldesc><![CDATA[Connections: yes]]></ldesc>
|
|
<req qid="/Requirements/BUG/AADL-6.4(L)/01">
|
|
<name>01</name>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/BUG/AADL-8.2()">
|
|
<name>AADL-8.2()</name>
|
|
<desc><![CDATA[There is a missing requirement in the standard. The defining identifier following the reserved word end must be identical to the defining identifier following reserved words feature group.]]></desc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/PS">
|
|
<name>PS</name>
|
|
<req qid="/Requirements/PS/1">
|
|
<name>1</name>
|
|
<ldesc><![CDATA[Description Language Subcommittee]]></ldesc>
|
|
<ldesc><![CDATA[Description Language Subcommittee]]></ldesc>
|
|
<req qid="/Requirements/PS/1/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[5.2 Subprograms and Subprogram Calls]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/PS/PS0001">
|
|
<name>PS0001</name>
|
|
<ldesc><![CDATA[(N1) A defining package name consists of a sequence of one or more package identifiers separated by a double colon<br xmlns="http://www.w3.org/1999/xhtml"/>(“::”).]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/PS/PS0002">
|
|
<name>PS0002</name>
|
|
<ldesc><![CDATA[(L2) The <b xmlns="http://www.w3.org/1999/xhtml">prototypes</b>, <b xmlns="http://www.w3.org/1999/xhtml">features</b>, <b xmlns="http://www.w3.org/1999/xhtml">flows</b>, <b xmlns="http://www.w3.org/1999/xhtml">modes</b>, and <b xmlns="http://www.w3.org/1999/xhtml">properties </b>subclauses are optional. If a subclause is present but empty, then the reserved word <b xmlns="http://www.w3.org/1999/xhtml">none </b>followed by a semi-colon must be present.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/PS/PS0003">
|
|
<name>PS0003</name>
|
|
<ldesc><![CDATA[(L5) A component type must not contain both a <span xmlns="http://www.w3.org/1999/xhtml" class="s12">requires_modes_subclause </span>and a <span xmlns="http://www.w3.org/1999/xhtml" class="s12">modes_subclause</span>.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/PS/PS0004">
|
|
<name>PS0004</name>
|
|
<ldesc><![CDATA[(L2) The <b xmlns="http://www.w3.org/1999/xhtml">prototypes</b>, <b xmlns="http://www.w3.org/1999/xhtml">subcomponents</b>, <b xmlns="http://www.w3.org/1999/xhtml">connections</b>, <b xmlns="http://www.w3.org/1999/xhtml">calls</b>, <b xmlns="http://www.w3.org/1999/xhtml">flows</b>, <b xmlns="http://www.w3.org/1999/xhtml">modes</b>, and <b xmlns="http://www.w3.org/1999/xhtml">properties </b>subclauses are optional. If they are present and the set of feature or required subcomponent declarations or property associations is empty, <b xmlns="http://www.w3.org/1999/xhtml">none </b>followed by a semi-colon must be present in that subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/PS/PS0005">
|
|
<name>PS0005</name>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0001">
|
|
<name>SC0001</name>
|
|
<desc><![CDATA[The defining identifier following the reserved word END is not identical to the defining identifier following the reserved word of the declaration.]]></desc>
|
|
<req qid="/Requirements/SC0001/AADL-11.1(N2)">
|
|
<name>AADL-11.1(N2)</name>
|
|
<ldesc><![CDATA[(N2) The defining identifier following the reserved word <b xmlns="http://www.w3.org/1999/xhtml">end </b>must be identical to the defining identifier following the reserved word <b xmlns="http://www.w3.org/1999/xhtml">property set</b>.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0001/AADL-4.2(L1)">
|
|
<name>AADL-4.2(L1)</name>
|
|
<ldesc><![CDATA[(L1) The defining package name following the reserved word <b xmlns="http://www.w3.org/1999/xhtml">end </b>must be identical to the defining package name following the reserved word <b xmlns="http://www.w3.org/1999/xhtml">package</b>.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0001/AADL-4.3(L1)">
|
|
<name>AADL-4.3(L1)</name>
|
|
<ldesc><![CDATA[(L1) The defining identifier following the reserved word <b xmlns="http://www.w3.org/1999/xhtml">end </b>must be identical to the defining identifier that appears after the component category reserved word.]]></ldesc>
|
|
<req qid="/Requirements/SC0001/AADL-4.3(L1)/01">
|
|
<name>01</name>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0001/AADL-4.4(L1)">
|
|
<name>AADL-4.4(L1)</name>
|
|
<ldesc><![CDATA[(L1) The pair of identifiers separated by a dot (“.”) following the reserved word <b xmlns="http://www.w3.org/1999/xhtml">end </b>must be identical to the pair of identifiers following the reserved word <b xmlns="http://www.w3.org/1999/xhtml">implementation</b>.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0001/AADL-8.2()">
|
|
<name>AADL-8.2()</name>
|
|
<desc><![CDATA[The defining identifier following the reserved word end must be identical to the defining identifier following reserved words feature group.]]></desc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0002">
|
|
<name>SC0002</name>
|
|
<desc><![CDATA[For each package there may be at most one public section declaration and one private section declaration. These two sections may be declared in a single package declaration or in two separate package declarations.]]></desc>
|
|
<req qid="/Requirements/SC0002/AADL-4.2(L2)">
|
|
<name>AADL-4.2(L2)</name>
|
|
<ldesc><![CDATA[(L2) For each package there may be at most one <b xmlns="http://www.w3.org/1999/xhtml">public </b>section declaration and one <b xmlns="http://www.w3.org/1999/xhtml">private </b>section declaration.<br xmlns="http://www.w3.org/1999/xhtml" class=" "/>These two sections may be declared in a single package declaration or in two separate package declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0002/AADL-4.2(N1)">
|
|
<name>AADL-4.2(N1)</name>
|
|
<ldesc><![CDATA[A defining package name must be unique in the global namespace.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0002/AADL-4.2(N2)">
|
|
<name>AADL-4.2(N2)</name>
|
|
<ldesc><![CDATA[(N2) The <b xmlns="http://www.w3.org/1999/xhtml">public </b>and <b xmlns="http://www.w3.org/1999/xhtml">private </b>section of a package may be declared in separate package declarations; these two declarations introduce a single defining package name.]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0003">
|
|
<name>SC0003</name>
|
|
<desc><![CDATA[The package name or property set identifier in a import declaration must exist in the global name space.]]></desc>
|
|
<req qid="/Requirements/SC0003/AADL-11.1(N5)">
|
|
<name>AADL-11.1(N5)</name>
|
|
<ldesc><![CDATA[(N5) The property set identifiers and package names listed in an <span xmlns="http://www.w3.org/1999/xhtml" class="s12">import_declaration </span>must exist in the global namespace.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0003/AADL-4.2(N7)">
|
|
<name>AADL-4.2(N7)</name>
|
|
<ldesc><![CDATA[(N7) The package name in a <span xmlns="http://www.w3.org/1999/xhtml" class="s12">import_declaration </span>must exist in the global name space.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0003/AADL-4.2(N8)">
|
|
<name>AADL-4.2(N8)</name>
|
|
<ldesc><![CDATA[(N8) The property set identifier in a <span xmlns="http://www.w3.org/1999/xhtml" class="s12">import_declaration </span>must exist in the global name space.]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0004">
|
|
<name>SC0004</name>
|
|
<desc><![CDATA[The component implementation declaration in the public section of a package may only contain a properties subclause and a modes subclause.]]></desc>
|
|
<req qid="/Requirements/SC0004/AADL-4.2(L3)">
|
|
<name>AADL-4.2(L3)</name>
|
|
<ldesc><![CDATA[(L3) A component implementation may be declared in both the public and private part of a package. In that case the declaration in the public part may only contain a <b xmlns="http://www.w3.org/1999/xhtml">properties </b>subclause and a <b xmlns="http://www.w3.org/1999/xhtml">modes </b>subclause.]]></ldesc>
|
|
<req qid="/Requirements/SC0004/AADL-4.2(L3)/01">
|
|
<name>01</name>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0004/AADL-4.4(S8)">
|
|
<name>AADL-4.4(S8)</name>
|
|
<ldesc><![CDATA[A component implementation can be viewed as a component variant with the same interface but with differing property values that characterize the differences between implementations without exposing the internals of their realization. This can be achieved by placing the component implementation declaration without subcomponents and connections in the public section of an AADL package, and a component implementation declaration with subcomponents and connections for the same component in the private section of an AADL package.]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0005">
|
|
<name>SC0005</name>
|
|
<desc><![CDATA[If the size of the array dimension is specified it must be specified for all dimensions in the same declaration.]]></desc>
|
|
<req qid="/Requirements/SC0005/AADL-4.5(L7)">
|
|
<name>AADL-4.5(L7)</name>
|
|
<ldesc><![CDATA[(L7) The array size specification for the dimensions is optional. In this case the array declaration is considered incomplete. If the size of the array dimension is specified it must be specified for all dimensions in the same declaration.]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006">
|
|
<name>SC0006</name>
|
|
<desc><![CDATA[The subclause may not appear in the component classifier declaration with the given component category.]]></desc>
|
|
<req qid="/Requirements/SC0006/AADL-4.6(L1)">
|
|
<name>AADL-4.6(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-4.6(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[flow declarations, as well as property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-4.6(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flow specifications: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-4.6(L3)">
|
|
<name>AADL-4.6(L3)</name>
|
|
<req qid="/Requirements/SC0006/AADL-4.6(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L3) An <b xmlns="http://www.w3.org/1999/xhtml">abstract </b>component implementation can contain a modes subclause, a connections subclause, a flows subclause, and property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-4.6(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subprogram calls: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Connections: yes Flows: yes Modes: yes Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.1(L1)">
|
|
<name>AADL-5.1(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.1(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[as well as property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.1(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Properties: yes]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.1(L2)">
|
|
<name>AADL-5.1(L2)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.1(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A data type declaration must not contain a flow specification or modes subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.1(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[null]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.1(L3)">
|
|
<name>AADL-5.1(L3)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.1(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[and data property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.1(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Properties: yes]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.1(L4)">
|
|
<name>AADL-5.1(L4)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.1(L4)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L4) A data implementation must not contain a flow implementation, an end-to-end flow specification, or a modes subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.1(L4)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subprogram calls: no</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Connections: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flows: no Modes: no</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.2(L1)">
|
|
<name>AADL-5.2(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.2(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[It can also contain a flow specification subclause, a modes subclause, and property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.2(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flow specifications: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.2(L2)">
|
|
<name>AADL-5.2(L2)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.2(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[a subprogram calls subclause, a connections subclause, a flows subclause, a modes subclause, and property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.2(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subprogram calls: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Connections: yes Flows: yes Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.3(L1)">
|
|
<name>AADL-5.3(L1)</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flow specifications: no</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: no</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.3(L2)">
|
|
<name>AADL-5.3(L2)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.3(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[and subprogram access connections.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.3(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subprogram calls: no</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Connections: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flows: no Modes: no Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.4(L1)">
|
|
<name>AADL-5.4(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.4(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[It can also contain flow specifications, a modes subclause, and property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.4(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flow specifications: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.4(L2)">
|
|
<name>AADL-5.4(L2)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.4(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[a calls subclause, a flows subclause, a modes subclause, and thread property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.4(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subprogram calls: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Connections: yes Flows: yes Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.5(L1)">
|
|
<name>AADL-5.5(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.5(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[It can also contain flow specifications, modes subclauses, and property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.5(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flow specifications: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.5(L3)">
|
|
<name>AADL-5.5(L3)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.5(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L3) A thread group implementation can contain a connections subclause, a flows subclause, a modes subclause, and properties subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.5(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Connections: yes Flows: yes Modes: yes Properties: yes]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.5(L4)">
|
|
<name>AADL-5.5(L4)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.5(L4)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L4) A thread group must not contain a subprogram calls subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.5(L4)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Subprogram calls: no]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.6(L1)">
|
|
<name>AADL-5.6(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.6(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[It can also contain flow specifications, modes subclause, and property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.6(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flow specifications: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.6(L3)">
|
|
<name>AADL-5.6(L3)</name>
|
|
<req qid="/Requirements/SC0006/AADL-5.6(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L3) A process implementation can contain a connections subclause, a flows subclause, a modes subclause, and a properties subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-5.6(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subprogram calls: no</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Connections: yes Flows: yes Modes: yes Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.1(L1)">
|
|
<name>AADL-6.1(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.1(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[It may contain flow specifications, a modes subclause, as well as property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.1(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flow specifications: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.1(L3)">
|
|
<name>AADL-6.1(L3)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.1(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L3) A processor implementation can contain a modes subclause, flows subclause, and a properties subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.1(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Flows: yes Modes: yes Properties: yes]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.1(L4)">
|
|
<name>AADL-6.1(L4)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.1(L4)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L4) A processor implementation can contain bus access connection declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.1(L4)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Connections: yes]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.1(L5)">
|
|
<name>AADL-6.1(L5)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.1(L5)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L5) A processor implementation must not contain a subprogram calls subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.1(L5)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Subprogram calls: no]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.2(L1)">
|
|
<name>AADL-6.2(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.2(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[ It may contain flow specifications, a modes subclause, as well as property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.2(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flow specifications: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.2(L3)">
|
|
<name>AADL-6.2(L3)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.2(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L3) A virtual processor implementation can contain a modes subclause, flows subclause, and a properties subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.2(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[null]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.2(L4)">
|
|
<name>AADL-6.2(L4)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.2(L4)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L4) A virtual processor implementation must not contain a subprogram calls subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.2(L4)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subprogram calls: no</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Connections: no</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L1)">
|
|
<name>AADL-6.3(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[a modes subclause, and property associations. It must not contain flow specifications.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flow specifications: no</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L3)">
|
|
<name>AADL-6.3(L3)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L3) A memory implementation can contain a modes subclause and property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[ Modes: yes Properties: yes]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L4)">
|
|
<name>AADL-6.3(L4)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L4)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L4) A memory implementation can contain bus access connection declarations if it contains a memory subcomponent that requires bus access.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L4)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Connections: yes]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L5)">
|
|
<name>AADL-6.3(L5)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L5)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L5) A memory implementation must not contain flows subclause, or subprogram calls subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L5)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Subprogram calls: no]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.3(L5)/03">
|
|
<name>03</name>
|
|
<ldesc><![CDATA[Flows: no<span xmlns="http://www.w3.org/1999/xhtml" class="requality_text id_3c81af8f-3abb-4d81-afd4-81480b3db42a"><a class="requality_id" id="id_3c81af8f-3abb-4d81-afd4-81480b3db42a" name="3c81af8f-3abb-4d81-afd4-81480b3db42a"/><span class="requality_link requality_link_invisible">02</span></span>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L1)">
|
|
<name>AADL-6.4(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[a modes subclause, and property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L2)">
|
|
<name>AADL-6.4(L2)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A bus type must not contain any flow specifications.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Flow specifications: no]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L4)">
|
|
<name>AADL-6.4(L4)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L4)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L4) A bus implementation can contain a modes subclause and property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L4)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Modes: yes Properties: yes]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L5)">
|
|
<name>AADL-6.4(L5)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L5)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L5) A bus implementation must not contain a connections subclause, flows subclause, or subprogram calls subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L5)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Subprogram calls: no]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.4(L5)/03">
|
|
<name>03</name>
|
|
<ldesc><![CDATA[Flows: no]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.5(L1)">
|
|
<name>AADL-6.5(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.5(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) A virtual bus type can have property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.5(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.5(L2)">
|
|
<name>AADL-6.5(L2)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.5(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A virtual bus type must not contain flow specifications.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.5(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• none</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flow specifications: no</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.5(L4)">
|
|
<name>AADL-6.5(L4)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.5(L4)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L4) A virtual bus implementation can contain a modes subclause and property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.5(L4)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Modes: yes Properties: yes]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.5(L5)">
|
|
<name>AADL-6.5(L5)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.5(L5)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L5) A virtual bus implementation must not contain a connections subclause, flows subclause, or subprogram calls subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.5(L5)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subprogram calls: no</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Connections: no Flows: no</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.6(L1)">
|
|
<name>AADL-6.6(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.6(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[flow specifications, a modes subclause, as well as property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.6(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flow specifications: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.6(L2)">
|
|
<name>AADL-6.6(L2)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.6(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A device component implementation must not contain a subprogram calls subclause.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.6(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Subprogram calls: no]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.6(L3)">
|
|
<name>AADL-6.6(L3)</name>
|
|
<req qid="/Requirements/SC0006/AADL-6.6(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[bus access connections, a modes subclause, a flows subclause, and property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-6.6(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[Connections: yes Flows: yes Modes: yes Properties: yes]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-7.1(L1)">
|
|
<name>AADL-7.1(L1)</name>
|
|
<req qid="/Requirements/SC0006/AADL-7.1(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[It can also contain flow specifications as well as property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-7.1(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Flow specifications: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-7.1(L3)">
|
|
<name>AADL-7.1(L3)</name>
|
|
<req qid="/Requirements/SC0006/AADL-7.1(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L3) A system implementation can contain a modes subclause, a connections subclause, a flows subclause, and property associations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0006/AADL-7.1(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subprogram calls: no</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Connections: yes Flows: yes Modes: yes</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">Properties: yes</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007">
|
|
<name>SC0007</name>
|
|
<desc><![CDATA[The specified feature may not appear in the component type declaration with the given component category.]]></desc>
|
|
<req qid="/Requirements/SC0007/AADL-4.6(L1)">
|
|
<name>AADL-4.6(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-4.6(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) An <b xmlns="http://www.w3.org/1999/xhtml">abstract </b>component type declaration can contain feature declarations (including abstract feature declarations),]]></ldesc>
|
|
<req qid="/Requirements/SC0007/AADL-4.6(L1)/01/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<span xmlns="http://www.w3.org/1999/xhtml" class="s12"> </span>The component of category <b xmlns="http://www.w3.org/1999/xhtml">abstract </b>represents an abstract component. It can be used to represent conceptual architectures. This abstract component can be refined into a runtime architecture by refining the component category into a software, composite, or hardware component. Such a refinement from a conceptual architecture to a runtime architecture is illustrated in the example below.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-4.6(L1)/01/03">
|
|
<name>03</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s12">austoutput: <b>requires bus access </b>Manifold;</p><h4 xmlns="http://www.w3.org/1999/xhtml">end <span class="s12">power_train;</span></h4><h4 xmlns="http://www.w3.org/1999/xhtml">abstract <span class="s12">exhaust_system</span></h4><h4 xmlns="http://www.w3.org/1999/xhtml">features</h4><p xmlns="http://www.w3.org/1999/xhtml" class="s12">exhaustManifold: <b>provides bus access </b>Manifo</p>]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-4.6(L1)/01/04">
|
|
<name>04</name>
|
|
<ldesc><![CDATA[<span xmlns="http://www.w3.org/1999/xhtml" class="s12">(17) </span>The example illustrates modeling of source text data types as data component types without any implementation details. It illustrates the use of <b xmlns="http://www.w3.org/1999/xhtml">package </b>to group data component type declarations. It illustrates both component classifier references to component types and to component implementations. It illustrates the use of ports as well as required and provided data access, and required subprogram access. In that context it illustrates the ways of resolving required access. The Data Modeling Annex (Annex Document B) provides guidance on how to effectively represent data models of applications in AADL.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-4.6(L1)/01/05">
|
|
<name>05</name>
|
|
<ldesc><![CDATA[(14) <span xmlns="http://www.w3.org/1999/xhtml" class="p">All elements of a subcomponent array have the same component classifier, i.e., they are of the same kind. A subcomponent array can also be declared to have the same component type, but its elements vary in their implementation, e.g., to represent variants in an N-Version redundancy pattern.</span>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-4.6(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• port</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides data access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides bus access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires data access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires bus access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• (abstract) feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.1(L1)">
|
|
<name>AADL-5.1(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-5.1(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) A data type declaration can contain provides subprogram access declarations]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.1(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.2(L1)">
|
|
<name>AADL-5.2(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-5.2(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) A subprogram type declaration can contain parameter, out event port, out event data port, and feature group declarations as well as requires data, subprogram, and subprogram group access declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.2(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• out event port</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• out event data port</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires data access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• parameter</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.3(L1)">
|
|
<name>AADL-5.3(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-5.3(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) A subprogram group type can contain provides and requires subprogram access, and requires subprogram group access.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.3(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.4(L1)">
|
|
<name>AADL-5.4(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-5.4(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) A thread type declaration can contain port, feature group, requires and provides data access declarations, as well as requires and provides subprogram access declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.4(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• port</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides data access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires data access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.4(L3)">
|
|
<name>AADL-5.4(L3)</name>
|
|
<ldesc><![CDATA[L3) The <span xmlns="http://www.w3.org/1999/xhtml" class="s12">Complete </span><b xmlns="http://www.w3.org/1999/xhtml">out </b>event port, and <span xmlns="http://www.w3.org/1999/xhtml" class="s12">Error </span><b xmlns="http://www.w3.org/1999/xhtml">out </b>event data port are predeclared, i.e., are implicitly identifiers in the name space of a thread type.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.5(L1)">
|
|
<name>AADL-5.5(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-5.5(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) A thread group component type can contain provides and requires data access, as well as port, feature group, provides and requires subprogram access declarations, and provides and requires subprogram group access declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.5(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• port</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides data access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires data access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.6(L1)">
|
|
<name>AADL-5.6(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-5.6(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) A process component type can contain port, feature group, provides and requires data access, provides and requires subprogram access declarations, and provides and requires subprogram group access declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-5.6(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• port</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides data access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires data access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-6.1(L1)">
|
|
<name>AADL-6.1(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-6.1(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) A processor component type can contain port, feature group, provides subprogram access, provides subprogram group access, and bus access declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-6.1(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• port</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires bus access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides bus access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-6.2(L1)">
|
|
<name>AADL-6.2(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-6.2(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) A virtual processor component type can contain port, feature group, provides subprogram access, and subprogram group access declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-6.2(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• port</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-6.3(L1)">
|
|
<name>AADL-6.3(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-6.3(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[L1) A memory type can contain bus access declarations, feature groups,]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-6.3(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires bus access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides bus access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-6.4(L1)">
|
|
<name>AADL-6.4(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-6.4(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) A bus type can have requires bus access declarations,]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-6.4(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires bus access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-6.6(L1)">
|
|
<name>AADL-6.6(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-6.6(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) A device type can contain port, feature group, provides subprogram access, provides subprogram group access, bus access declarations,]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-6.6(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• port</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires bus access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides bus access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-7.1(L1)">
|
|
<name>AADL-7.1(L1)</name>
|
|
<req qid="/Requirements/SC0007/AADL-7.1(L1)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L1) A system component type can contain subprogram, subprogram group, data and bus access declarations, port, feature group declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0007/AADL-7.1(L1)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Features:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• port</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires subprogram group access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides bus access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires bus access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• provides data access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• requires data access</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• feature</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008">
|
|
<name>SC0008</name>
|
|
<desc><![CDATA[The type of the subcomponent is not allowed for the component category of the containing component implementation declaration.]]></desc>
|
|
<req qid="/Requirements/SC0008/AADL-4.6(L2)">
|
|
<name>AADL-4.6(L2)</name>
|
|
<req qid="/Requirements/SC0008/AADL-4.6(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) An <b xmlns="http://www.w3.org/1999/xhtml">abstract </b>component implementation can contain subcomponent declarations of any category.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-4.6(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• data</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• subprogram</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• subprogram group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• thread</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• thread group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• process</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• processor</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• virtual processor</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• memory</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• bus</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• virtual bus</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• device</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• system</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-5.1(L3)">
|
|
<name>AADL-5.1(L3)</name>
|
|
<req qid="/Requirements/SC0008/AADL-5.1(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L3) A data implementation can contain abstract, data and subprogram subcomponents, ]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-5.1(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• data</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• subprogram</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-5.2(L2)">
|
|
<name>AADL-5.2(L2)</name>
|
|
<req qid="/Requirements/SC0008/AADL-5.2(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A subprogram implementation can contain abstract and data subcomponents,]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-5.2(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• data</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-5.3(L2)">
|
|
<name>AADL-5.3(L2)</name>
|
|
<req qid="/Requirements/SC0008/AADL-5.3(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A subprogram group implementation can contain abstract and subprogram subcomponents]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-5.3(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• subprogram</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-5.4(L2)">
|
|
<name>AADL-5.4(L2)</name>
|
|
<req qid="/Requirements/SC0008/AADL-5.4(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A thread component implementation can contain abstract, data, subprogram, and subprogram group subcomponent declarations,]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-5.4(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• data</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• subprogram</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• subprogram group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-5.5(L2)">
|
|
<name>AADL-5.5(L2)</name>
|
|
<req qid="/Requirements/SC0008/AADL-5.5(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A thread group component implementation can contain abstract, data, subprogram, subprogram group, thread, and thread group subcomponent declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-5.5(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• data</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• subprogram</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• subprogram group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• thread</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• thread group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-5.6(L2)">
|
|
<name>AADL-5.6(L2)</name>
|
|
<req qid="/Requirements/SC0008/AADL-5.6(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A process component implementation can contain abstract, data, subprogram, subprogram group, thread, and thread group subcomponent declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-5.6(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• data</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• subprogram</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• subprogram group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• thread</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• thread group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-6.1(L2)">
|
|
<name>AADL-6.1(L2)</name>
|
|
<req qid="/Requirements/SC0008/AADL-6.1(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A processor component implementation can contain declarations of memory, bus, virtual bus, virtual processor, and abstract subcomponents.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-6.1(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• memory</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• bus</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• virtual processor</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• virtual bus</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-6.2(L2)">
|
|
<name>AADL-6.2(L2)</name>
|
|
<req qid="/Requirements/SC0008/AADL-6.2(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A virtual processor component implementation can contain declarations of virtual bus, virtual processor, and abstract subcomponents.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-6.2(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• virtual processor</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• virtual bus</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-6.3(L2)">
|
|
<name>AADL-6.3(L2)</name>
|
|
<req qid="/Requirements/SC0008/AADL-6.3(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A memory implementation can contain abstract, memory, and bus subcomponent declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-6.3(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• memory</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• bus</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-6.4(L3)">
|
|
<name>AADL-6.4(L3)</name>
|
|
<req qid="/Requirements/SC0008/AADL-6.4(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L3) A bus implementation can contain virtual bus and abstract subcomponent declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-6.4(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• virtual bus</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-6.5(L3)">
|
|
<name>AADL-6.5(L3)</name>
|
|
<req qid="/Requirements/SC0008/AADL-6.5(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[L3) A virtual bus implementation can contain virtual bus subcomponent declarations.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-6.5(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• virtual bus</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-6.6(L3)">
|
|
<name>AADL-6.6(L3)</name>
|
|
<req qid="/Requirements/SC0008/AADL-6.6(L3)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L3) A device implementation can contain abstract, virtual bus, and bus subcomponents,]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-6.6(L3)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• bus</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• virtual bus</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-7.1(L2)">
|
|
<name>AADL-7.1(L2)</name>
|
|
<req qid="/Requirements/SC0008/AADL-7.1(L2)/01">
|
|
<name>01</name>
|
|
<ldesc><![CDATA[(L2) A system component implementation can contain abstract, data, subprogram, subprogram group, process, and system subcomponent declarations as well as execution platform components, i.e., processor, virtual processor, memory, bus, virtual bus, and device.]]></ldesc>
|
|
</req>
|
|
<req qid="/Requirements/SC0008/AADL-7.1(L2)/02">
|
|
<name>02</name>
|
|
<ldesc><![CDATA[<p xmlns="http://www.w3.org/1999/xhtml" class="s4">Subcomponents:</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• data</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• subprogram</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• subprogram group</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• process</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• processor</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• virtual processor</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• memory</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• bus</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• virtual bus</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• device</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• system</p><p xmlns="http://www.w3.org/1999/xhtml" class="s4">• abstract</p>]]></ldesc>
|
|
</req>
|
|
</req>
|
|
</req>
|
|
</req>
|
|
</requality>
|