Here you have XML/XSLT combination. Can you tell me the steps you followed to setup saxon role?
Thanks, Oskar ----- Original Message ----- From: "SAXESS - Hussayn Dabbous" <[EMAIL PROTECTED]> To: <[EMAIL PROTECTED]> Sent: Monday, November 18, 2002 11:40 AM Subject: Re: Weird Saxon errors > Hy; > > I got exactly the same problems as you describe. Finnally i managed > to setup my system for operation. Unfortunately i had lots of > interconnected problems, so i can't tell you, what finally solved > exactly the problem, you are describing. > I had a look into your problem, but couldn't reprocuce it so far > from the data in your email. But if you send me a small XML/XSLT > combination that triggers this problem, i will check this against my > cocoon-2.0.3/saxon-6.5.2 setup and uncover the cause of the problem. > > This is, what i can offer so far. > > regards, hussayn > > Oskar Casquero wrote: > > Jeremy, I have got exactly the same problem when I use saxon 6.5.2 with > > cocoon 2.0.3 or cocoon 2.1 (invalid processing instruction name > > (saxon:warning) at line 13 column -1 (what column is that?)). I have > > configured saxon role in the same way as you (as described in > > http://outerthought.net/wiki/Wiki.jsp?page=DocbookTransformation) and I know > > that the xslt stylesheet is correct because I have tested it with xalan. > > > > Does anyone know how to solve this problem? > > > > Oskar > > > > ----- Original Message ----- > > From: "Jeremy Quinn" <[EMAIL PROTECTED]> > > To: <[EMAIL PROTECTED]> > > Sent: Saturday, November 16, 2002 3:26 PM > > Subject: Weird Saxon errors > > > > > > > >>I just switched to using Saxon 6.5.2 with Cocoon 2.1-dev as lots of > >>people say it is faster than xalan and xsltc. > >> > >>I get lots of strange errors in my stylesheets, that I cannot work out. > >>These are stylesheets that are largely trivial, and work fine in Xalan > >>and XSLTC. > >> > >>Has anyone else noticed this kind of behaviour? > >> > >>Example: > >> > >>org.apache.cocoon.ProcessingException: Could not read resource > >>file:/Users/jermq/Library/TomCat/webapps/cocoon/iniva/parts/components/ > >>meta-data.xml: > >>file:/Users/jermq/Library/TomCat/webapps/cocoon/iniva/parts/xsl/macro- > >>filter.xsl:12:-1:javax.xml.transform.TransformerException: Invalid > >>processing instruction name (saxon:warning) > >> > >>this is line 12, column -1 (sic) > >> > >><?xml version="1.0"?> > >> > >><xsl:stylesheet version="1.0" > >>xmlns:xsl="http://www.w3.org/1999/XSL/Transform" > >>xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" > >>xmlns:saxon="http://icl.com/saxon" > >>exclude-result-prefixes="saxon" > >> > > >> > >><xsl:param name="idref"/> > >> > >><xsl:template match="doc"> > >><xsl:apply-templates select="macro[@id=$idref]/*"/> > >></xsl:template> > >> > >> <xsl:template match="@*|node()" > >>priority="-2"><xsl:copy><xsl:apply-templates > >>select="@*|node()"/></xsl:copy></xsl:template> > >> <xsl:template match="text()" priority="-1"><xsl:value-of > >>select="."/></xsl:template> > >> > >></xsl:stylesheet> > >> > >>Where line 12 is: > >> > >><xsl:template match="@*|node()" > >>priority="-2"><xsl:copy><xsl:apply-templates > >>select="@*|node()"/></xsl:copy></xsl:template> > >> > >>Do What??? > >>There is nothing wrong with this line according to the other XSLT > >>engines. > >>Invalid processing instruction?????? > >> > >> > >>This is my config: > >> > >>in cocoon.xconf: > >> > >> <xslt-processor logger="core.xslt-processor"> > >> <parameter name="use-store" value="false"/> > >> <parameter name="incremental-processing" value="true"/> > >> </xslt-processor> > >> > >> <component > >> role="org.apache.cocoon.components.xslt.XSLTProcessor/Saxon" > >> class="org.apache.cocoon.components.xslt.XSLTProcessorImpl" > >> logger="core.xslt-processor"> > >> <parameter name="use-store" value="true"/> > >> <parameter name="incremental-processing" value="false"/> > >> <parameter name="transformer-factory" > >> value="com.icl.saxon.TransformerFactoryImpl"/> > >> </component> > >> > >>in sitemap.xmap: > >> > >><map:transformer logger="sitemap.transformer.saxon" name="saxon" > >> pool-grow="2" pool-max="32" pool-min="8" > >> src="org.apache.cocoon.transformation.TraxTransformer"> > >> <use-request-parameters>false</use-request-parameters> > >> <use-browser-capabilities-db>false</use-browser-capabilities-db> > >> <xslt-processor-role> > >> org.apache.cocoon.components.xslt.XSLTProcessor/Saxon > >> </xslt-processor-role> > >></map:transformer> > >> > >> > >>Any suggestions would be gratefully accepted. > >> > >>regards Jeremy > >> > >> > >>--------------------------------------------------------------------- > >>Please check that your question has not already been answered in the > >>FAQ before posting. <http://xml.apache.org/cocoon/faq/index.html> > >> > >>To unsubscribe, e-mail: <[EMAIL PROTECTED]> > >>For additional commands, e-mail: <[EMAIL PROTECTED]> > >> > > > > > > --------------------------------------------------------------------- > > Please check that your question has not already been answered in the > > FAQ before posting. <http://xml.apache.org/cocoon/faq/index.html> > > > > To unsubscribe, e-mail: <[EMAIL PROTECTED]> > > For additional commands, e-mail: <[EMAIL PROTECTED]> > > > > -- > Dr. Hussayn Dabbous > SAXESS Software Design GmbH > Neuenhöfer Allee 125 > 50935 Köln > Telefon: +49-221-56011-0 > Fax: +49-221-56011-20 > E-Mail: [EMAIL PROTECTED] > > > --------------------------------------------------------------------- > Please check that your question has not already been answered in the > FAQ before posting. <http://xml.apache.org/cocoon/faq/index.html> > > To unsubscribe, e-mail: <[EMAIL PROTECTED]> > For additional commands, e-mail: <[EMAIL PROTECTED]> >
<?xml version="1.0" encoding="UTF-8"?> <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"> <xsl:output omit-xml-declaration="yes"/> <xsl:variable name="pe"><![CDATA[>]]></xsl:variable> <xsl:template match="MAST_RT_View"> <xsl:apply-templates select="RT_Target_Model | RT_Logical_Model | RT_Scenario_Model"/> </xsl:template> <xsl:template match="RT_Target_Model"> <xsl:apply-templates select="Processing_Resource | Scheduling_Server" mode="RT_Target_Model"/> </xsl:template> <xsl:template match="Processing_Resource" mode="RT_Target_Model"> Processing_Resource ( <xsl:apply-templates select="Processor | Network"/> ); </xsl:template> <xsl:template match="Processor"> <xsl:choose> <xsl:when test="child::Fixed_Priority_Processor"> <xsl:apply-templates select="Fixed_Priority_Processor"/> </xsl:when> </xsl:choose> </xsl:template> <xsl:template match="Fixed_Priority_Processor"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Fixed_Priority_Processor, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, Max_Priority =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Max_Priority"/>, Min_Priority =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Min_Priority"/>, Max_Interrupt_Priority =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Max_Interrupt_Priority"/>, Min_Interrupt_Priority =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Min_Interrupt_Priority"/>, Worst_Context_Switch =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Worst_Context_Switch"/>, Avg_Context_Switch =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Avg_Context_Switch"/>, Best_Context_Switch =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Best_Context_Switch"/>, Worst_ISR_Switch =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Worst_ISR_Switch"/>, Avg_ISR_Switch =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Avg_ISR_Switch"/>, Best_ISR_Switch =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Best_ISR_Switch"/>, <xsl:if test="../child::Timer"> <xsl:apply-templates select="../Timer"/> </xsl:if> Speed_Factor =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Speed_Factor"/> </xsl:template> <xsl:template match="Timer"> System_Timer =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:choose> <xsl:when test="child::Ticker"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Ticker, Worst_Overhead =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Worst_Overhead"/>, Period =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="Ticker/@Period"/> </xsl:when> <xsl:when test="child::Alarm_Clock"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Alarm_Clock, Worst_Overhead =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Worst_Overhead"/>, Avg_Overhead =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Avg_Overhead"/>, Best_Overhead =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Best_Overhead"/> </xsl:when> </xsl:choose> ), </xsl:template> <xsl:template match="Network"> <xsl:choose> <xsl:when test="child::Fixed_Priority_Network"> <xsl:apply-templates select="Fixed_Priority_Network"/> </xsl:when> </xsl:choose> </xsl:template> <xsl:template match="Fixed_Priority_Network"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Fixed_Priority_Network, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, Max_Priority =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Max_Priority"/>, Min_Priority =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Min_Priority"/>, Packet_Worst_Overhead =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Packet_Worst_Overhead"/>, Packet_Avg_Overhead =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Packet_Avg_Overhead"/>, Packet_Best_Overhead =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Packet_Best_Overhead"/>, Transmission =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Transmission"/>, Max_Blocking =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Max_Blocking_Time"/>, Max_Packet_Transmission_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Max_Packet_Transmission_Time"/>, Min_Packet_Transmission_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Min_Packet_Transmission_Time"/>, Speed_Factor =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Speed_Factor"/>, <xsl:apply-templates select="../List_of_Drivers"/> </xsl:template> <xsl:template match="List_of_Drivers"> List_of_Drivers =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:apply-templates select="Packet_Driver"/> ) </xsl:template> <xsl:template match="Packet_Driver"> <xsl:choose> <xsl:when test="not(child::Character_Packet_Driver)"> (Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Packet_Driver, <xsl:apply-templates select="Packet_Server"/> <xsl:apply-templates select="Packet_Send_Operation"/> <xsl:apply-templates select="Packet_Receive_Operation"/> ) <xsl:if test="not(position() = last())">,</xsl:if> </xsl:when> </xsl:choose> </xsl:template> <xsl:template match="Packet_Server"> <xsl:variable name="Id" select="@Id"/> Packet_Server =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:for-each select="../../../../../../RT_Target_Model"> <xsl:for-each select="Scheduling_Server"> <xsl:if test="$Id = @Id"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:if test="@Type = 'FP_Sched_Server'"> Fixed_Priority, </xsl:if> Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, <xsl:apply-templates select="Scheduling_Policy" mode="Scheduling_Server"/> Server_Processing_Resource =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="Processing_Resource/*/*/@Id"/> </xsl:if> </xsl:for-each> </xsl:for-each> ), </xsl:template> <xsl:template match="Packet_Send_Operation"> Packet_Send_Operation =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Simple, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, Worst_Case_Execution_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@WCET"/>, Avg_Case_Execution_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@ACET"/>, Best_Case_Execution_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@BCET"/> ), </xsl:template> <xsl:template match="Packet_Receive_Operation"> Packet_Receive_Operation =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Simple, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, Worst_Case_Execution_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@WCET"/>, Avg_Case_Execution_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@ACET"/>, Best_Case_Execution_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@BCET"/> ) <xsl:if test="not(position() = last())">,</xsl:if> </xsl:template> <xsl:template match="Scheduling_Server" mode="RT_Target_Model"> Scheduling_Server ( Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:if test="@Type = 'FP_Sched_Server'"> Fixed_Priority, </xsl:if> Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>,<xsl:apply-templates select="Processing_Resource | Scheduling_Policy" mode="Scheduling_Server"/> ); </xsl:template> <xsl:template match="Scheduling_Policy" mode="Scheduling_Server"> Server_Sched_Parameters =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:choose> <xsl:when test="child::FP_Sched_Policy"> <xsl:apply-templates select="FP_Sched_Policy"/> </xsl:when> </xsl:choose> ), </xsl:template> <xsl:template match="FP_Sched_Policy"> <xsl:choose> <xsl:when test="child::Non_Preembile_FP_Policy"> <xsl:apply-templates select="Non_Preembile_FP_Policy"/> </xsl:when> </xsl:choose> <xsl:choose> <xsl:when test="child::Fixed_Priority_Policy"> <xsl:apply-templates select="Fixed_Priority_Policy"/> </xsl:when> </xsl:choose> <xsl:choose> <xsl:when test="child::Polling_Policy"> <xsl:apply-templates select="Polling_Policy"/> </xsl:when> </xsl:choose> <xsl:choose> <xsl:when test="child::Sporadic_Server_Policy"> <xsl:apply-templates select="Sporadic_Server_Policy"/> </xsl:when> </xsl:choose> <xsl:choose> <xsl:when test="child::Interrupt_FP_Policy"> <xsl:apply-templates select="Interrupt_FP_Policy"/> </xsl:when> </xsl:choose> </xsl:template> <xsl:template match="Non_Preembile_FP_Policy"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Non_Preembile_FP_Policy, The_Priority =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@The_Priority"/> </xsl:template> <xsl:template match="Fixed_Priority_Policy"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Fixed_Priority_Policy, The_Priority =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@The_Priority"/> </xsl:template> <xsl:template match="Polling_Policy"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Polling_Policy, The_Priority =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@The_Priority"/>, Polling_Period =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@The_Priority"/>, Polling_Worst_Overhead =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@The_Priority"/>, Polling_Avg_Overhead =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@The_Priority"/>, Polling_Best_Overhead =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@The_Priority"/> </xsl:template> <xsl:template match="Sporadic_Server_Policy"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Sporadic_Server_Policy, The_Priority =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@The_Priority"/>, Background_Priority =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Background_Priority"/>, Initial_Capacity =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Initial_Capacity"/>, Replenishment_Period =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Replenishment_Period"/>, Max_Pending_Replenishment =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Max_Pending_Replenishment"/> </xsl:template> <xsl:template match="Interrupt_FP_Policy"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Interrupt_FP_Policy, The_Priority =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@The_Priority"/> </xsl:template> <xsl:template match="Processing_Resource" mode="Scheduling_Server"> Server_Processing_Resource =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="*/*/@Id"/> </xsl:template> <xsl:template match="RT_Logical_Model"> <xsl:apply-templates select="Shared_Resource | Operation"/> </xsl:template> <xsl:template match="Shared_Resource"> Shared_Resource ( <xsl:choose> <xsl:when test="child::FP_Shared_Resource"> <xsl:apply-templates select="FP_Shared_Resource"/> </xsl:when> </xsl:choose> ); </xsl:template> <xsl:template match="FP_Shared_Resource"> <xsl:choose> <xsl:when test="child::Immediate_Ceiling_Resource"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Immediate_Ceiling_Resource, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="Immediate_Ceiling_Resource/@Id"/> </xsl:when> <xsl:when test="child::Priority_Inheritance_Resource"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Priority_Inheritance_Resource, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="Priority_Inheritance_Resource/@Id"/> </xsl:when> </xsl:choose> </xsl:template> <xsl:template match="Operation"> Operation ( <xsl:apply-templates select="Simple_Operation | Composite_Operation | Enclosing_Operation" mode="Operation"/> ); </xsl:template> <xsl:template match="Simple_Operation" mode="Operation"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Simple, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, Worst_Case_Execution_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@WCET"/>, Avg_Case_Execution_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@ACET"/>, Best_Case_Execution_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@BCET"/> <xsl:choose> <xsl:when test="child::Shared_Resources_To_Lock">, Shared_Resources_To_Lock =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:apply-templates select="Shared_Resources_To_Lock/Resource"/> ) </xsl:when> <xsl:when test="child::Shared_Resources_To_Unlock">, Shared_Resources_To_Unlock =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:apply-templates select="Shared_Resources_To_Unlock/Resource"/> ) </xsl:when> <xsl:when test="child::Shared_Resources_List">, Shared_Resources_List =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:apply-templates select="Shared_Resources_List/Resource"/> ) </xsl:when> </xsl:choose> </xsl:template> <xsl:template match="Resource"> <xsl:value-of select="@Id"/> <xsl:if test="not(position() = last())">,</xsl:if> </xsl:template> <xsl:template match="Composite_Operation" mode="Operation"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Composite, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, Composite_Operation_List =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:apply-templates select="Composite_Operation_List/Simple_Operation"/> ) </xsl:template> <xsl:template match="Simple_Operation"> <xsl:value-of select="@Id"/> <xsl:if test="not(position() = last())">,</xsl:if> </xsl:template> <xsl:template match="Enclosing_Operation" mode="Operation"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Enclosing, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, Worst_Case_Execution_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@WCET"/>, Avg_Case_Execution_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@ACET"/>, Best_Case_Execution_Time =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@BCET"/>, Composite_Operation_List =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:apply-templates select="Composite_Operation_List/Simple_Operation"/> ) </xsl:template> <xsl:template match="RT_Scenario_Model"> <xsl:apply-templates select="Transaction"/> </xsl:template> <xsl:template match="Transaction"> Transaction ( Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:if test="@Type = 'Regular_Transaction'"> Regular, </xsl:if> Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, <xsl:apply-templates select="External_Event_Source_List | Internal_Event_List | Activity_Model"/> ); </xsl:template> <xsl:template match="External_Event_Source_List"> External_Events =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:apply-templates select="External_Event_Source"/> ), </xsl:template> <xsl:template match="External_Event_Source"> ( <xsl:choose> <xsl:when test="child::Periodic_Event_Source"> <xsl:apply-templates select="Periodic_Event_Source"/> </xsl:when> <xsl:when test="child::Aperiodic_Event_Source"> <xsl:apply-templates select="Aperiodic_Event_Source"/> </xsl:when> <xsl:when test="child::Singular_Event_Source"> <xsl:apply-templates select="Singular_Event_Source"/> </xsl:when> </xsl:choose> ) <xsl:if test="not(position() = last())">,</xsl:if> </xsl:template> <xsl:template match="Periodic_Event_Source"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Periodic, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, Period =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Period"/> </xsl:template> <xsl:template match="Aperiodic_Event_Source"> <xsl:choose> <xsl:when test="child::Sporadic_Event_Source"> <xsl:apply-templates select="Sporadic_Event_Source"/> </xsl:when> <xsl:when test="child::Unbounded_Event_Source"> <xsl:apply-templates select="Unbounded_Event_Source"/> </xsl:when> <xsl:when test="child::Bursty_Event_Source"> <xsl:apply-templates select="Bursty_Event_Source"/> </xsl:when> </xsl:choose> </xsl:template> <xsl:template match="Sporadic_Event_Source"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Sporadic, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, Min_Interarrival =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Min_Interarrival"/> </xsl:template> <xsl:template match="Unbounded_Event_Source"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Unbounded, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/> </xsl:template> <xsl:template match="Bursty_Event_Source"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Bursty, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, Bound_Interarrival =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Bound_Interarrival"/> </xsl:template> <xsl:template match="Singular_Event_Source"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Singular, Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/>, Phase =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Phase"/> </xsl:template> <xsl:template match="Internal_Event_List"> Internal_Events =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:apply-templates select="Internal_Event"/> ), </xsl:template> <xsl:template match="Internal_Event"> ( Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:if test="@Type = 'Regular'"> Regular, </xsl:if> Name =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Id"/> <xsl:choose> <xsl:when test="child::Timing_Requirement"> ,<xsl:apply-templates select="Timing_Requirement"/> </xsl:when> </xsl:choose> ) <xsl:if test="not(position() = last())">,</xsl:if> </xsl:template> <xsl:template match="Timing_Requirement"> Timing_Requirements =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:apply-templates select="Simple_Timing_Requirement | Composite_Timing_Requirement"/> ) </xsl:template> <xsl:template match="Simple_Timing_Requirement"> <xsl:choose> <xsl:when test="child::Max_Output_Jitter_Req"> <xsl:apply-templates select="Max_Output_Jitter_Req"/> </xsl:when> <xsl:when test="child::Deadline_Timing_Requirement"> <xsl:apply-templates select="Deadline_Timing_Requirement"/> </xsl:when> </xsl:choose> </xsl:template> <xsl:template match="Deadline_Timing_Requirement"> <xsl:choose> <xsl:when test="child::Global_Timing_Requirement"> <xsl:apply-templates select="Global_Timing_Requirement"/> </xsl:when> <xsl:when test="child::Local_Timing_Requirement"> <xsl:apply-templates select="Local_Timing_Requirement"/> </xsl:when> </xsl:choose> </xsl:template> <xsl:template match="Global_Timing_Requirement"> <xsl:choose> <xsl:when test="Hard_Global_Deadline"> <xsl:apply-templates select="Hard_Global_Deadline"/> </xsl:when> <xsl:when test="Soft_Global_Deadline"> <xsl:apply-templates select="Soft_Global_Deadline"/> </xsl:when> <xsl:when test="Global_Max_Miss_Ratio"> <xsl:apply-templates select="Global_Max_Miss_Ratio"/> </xsl:when> </xsl:choose> </xsl:template> <xsl:template match="Hard_Global_Deadline"> Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> Hard_Global_Deadline, Deadline =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Deadline"/>, <xsl:if test="parent::Global_Timing_Requirement"> Referenced_Event =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="../@Referenced_Event"/> </xsl:if> </xsl:template> <xsl:template match="Activity_Model"> Event_Handlers =<xsl:value-of disable-output-escaping="yes" select="$pe"/> ( <xsl:apply-templates select="Activity_List"/> ) </xsl:template> <xsl:template match="Activity_List"> <xsl:apply-templates select="Activity"/> </xsl:template> <xsl:template match="Activity"> ( Type =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:choose> <xsl:when test="@Type = 'Timed_Activity'"> System_Timed_Activity, </xsl:when> <xsl:when test="@Type = 'Activity'"> Activity, </xsl:when> </xsl:choose> Input_Event =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Input_Event"/>, Output_Event =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Output_Event"/>, Activity_Operation =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Activity_Operation"/>, Activity_Server =<xsl:value-of disable-output-escaping="yes" select="$pe"/> <xsl:value-of select="@Activity_Server"/> ) <xsl:if test="not(position() = last())">,</xsl:if> </xsl:template> </xsl:stylesheet>
<?xml version="1.0" encoding="UTF-8"?> <?xml-stylesheet type="text/xsl" href="C:\proyecto\MAST-XML\xml2txt.xsl"?> <MAST_RT_View xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="MAST_RT_View.xsd" Id="Robot_Teleoperado"> <RT_Target_Model> <Processing_Resource> <Processor> <Fixed_Priority_Processor Id="Station" Speed_Factor="1.0" Best_ISR_Switch="2.5E-6" Avg_ISR_Switch="2.5E-6" Worst_ISR_Switch="2.5E-6" Best_Context_Switch="4.0E-6" Avg_Context_Switch="4.2E-6" Worst_Context_Switch="5.0E-6" Min_Interrupt_Priority="32" Max_Interrupt_Priority="32" Min_Priority="16" Max_Priority="32"/> </Processor> </Processing_Resource> <Processing_Resource> <Processor> <Fixed_Priority_Processor Id="Controller" Speed_Factor="0.25" Best_ISR_Switch="2.5E-6" Avg_ISR_Switch="2.5E-6" Worst_ISR_Switch="2.5E-6" Best_Context_Switch="5.0E-6" Avg_Context_Switch="5.0E-6" Worst_Context_Switch="5.0E-6" Min_Interrupt_Priority="31" Max_Interrupt_Priority="31" Min_Priority="1" Max_Priority="30"/> <Timer Best_Overhead="0.0" Avg_Overhead="0.0" Worst_Overhead="7.1E-6"> <Ticker Id="Controller_Timer" Period="1.0E-3"/> </Timer> </Processor> </Processing_Resource> <Processing_Resource> <Network> <Fixed_Priority_Network Id="Can_Bus" Speed_Factor="0.8" Max_Blocking_Time="1.3875E-4" Min_Packet_Transmission_Time="8.0E-5" Max_Packet_Transmission_Time="8.0E-5" Packet_Best_Overhead="5.875E-5" Packet_Avg_Overhead="5.875E-5" Packet_Worst_Overhead="5.875E-5" Min_Priority="16" Max_Priority="2047" Transmission="Half_Duplex"/> <List_of_Drivers> <Packet_Driver Id="Station_Driver"> <Packet_Server Id="Station_Comm_Task"/> <Packet_Send_Operation Id="Send_Oper" WCET="2.5E-6" ACET="2.5E-6" BCET="2.5E-6"/> <Packet_Receive_Operation Id="Receive_Oper" WCET="2.0E-6" ACET="2.0E-6" BCET="2.0E-6"/> </Packet_Driver> <Packet_Driver Id="Controller_Driver"> <Packet_Server Id="Controller_Comm_Task"/> <Packet_Send_Operation Id="Send_Oper" WCET="2.5E-6" ACET="2.5E-6" BCET="2.5E-6"/> <Packet_Receive_Operation Id="Receive_Oper" WCET="2.0E-6" ACET="2.0E-6" BCET="2.0E-6"/> </Packet_Driver> </List_of_Drivers> </Network> </Processing_Resource> <Scheduling_Server Type="FP_Sched_Server" Id="Command_Interpreter_Task"> <Scheduling_Policy> <FP_Sched_Policy> <Fixed_Priority_Policy Id="Command_Interpreter_SP" The_Priority="18"/> </FP_Sched_Policy> </Scheduling_Policy> <Processing_Resource> <Processor> <Fixed_Priority_Processor Id="Station"/> </Processor> </Processing_Resource> </Scheduling_Server> <Scheduling_Server Type="FP_Sched_Server" Id="Display_Refresher_Task"> <Scheduling_Policy> <FP_Sched_Policy> <Fixed_Priority_Policy Id="Display_Refresher_SP" The_Priority="22"/> </FP_Sched_Policy> </Scheduling_Policy> <Processing_Resource> <Processor> <Fixed_Priority_Processor Id="Station"/> </Processor> </Processing_Resource> </Scheduling_Server> <Scheduling_Server Type="FP_Sched_Server" Id="Station_Comm_Task"> <Scheduling_Policy> <FP_Sched_Policy> <Fixed_Priority_Policy Id="Station_Comm_SP" The_Priority="32"/> </FP_Sched_Policy> </Scheduling_Policy> <Processing_Resource> <Processor> <Fixed_Priority_Processor Id="Station"/> </Processor> </Processing_Resource> </Scheduling_Server> <Scheduling_Server Type="FP_Sched_Server" Id="Servos_Controller_Task"> <Scheduling_Policy> <FP_Sched_Policy> <Fixed_Priority_Policy Id="Servos_Controller_SP" The_Priority="30"/> </FP_Sched_Policy> </Scheduling_Policy> <Processing_Resource> <Processor> <Fixed_Priority_Processor Id="Controller"/> </Processor> </Processing_Resource> </Scheduling_Server> <Scheduling_Server Type="FP_Sched_Server" Id="Reporter_Task"> <Scheduling_Policy> <FP_Sched_Policy> <Fixed_Priority_Policy Id="Reporter_SP" The_Priority="24"/> </FP_Sched_Policy> </Scheduling_Policy> <Processing_Resource> <Processor> <Fixed_Priority_Processor Id="Controller"/> </Processor> </Processing_Resource> </Scheduling_Server> <Scheduling_Server Type="FP_Sched_Server" Id="Command_Manager_Task"> <Scheduling_Policy> <FP_Sched_Policy> <Fixed_Priority_Policy Id="Controller_Manager_SP" The_Priority="16"/> </FP_Sched_Policy> </Scheduling_Policy> <Processing_Resource> <Processor> <Fixed_Priority_Processor Id="Controller"/> </Processor> </Processing_Resource> </Scheduling_Server> <Scheduling_Server Type="FP_Sched_Server" Id="Controller_Comm_Task"> <Scheduling_Policy> <FP_Sched_Policy> <Interrupt_FP_Policy Id="Controller_Com_SP" The_Priority="31"/> </FP_Sched_Policy> </Scheduling_Policy> <Processing_Resource> <Processor> <Fixed_Priority_Processor Id="Controller"/> </Processor> </Processing_Resource> </Scheduling_Server> <Scheduling_Server Type="FP_Sched_Server" Id="Msj_Status_Server"> <Scheduling_Policy> <FP_Sched_Policy> <Fixed_Priority_Policy Id="Msj_Status_SP" The_Priority="24"/> </FP_Sched_Policy> </Scheduling_Policy> <Processing_Resource> <Network> <Fixed_Priority_Network Id="Can_Bus"/> </Network> </Processing_Resource> </Scheduling_Server> <Scheduling_Server Type="FP_Sched_Server" Id="Msj_Command_Server"> <Scheduling_Policy> <FP_Sched_Policy> <Fixed_Priority_Policy Id="Msj_Command_SP" The_Priority="20"/> </FP_Sched_Policy> </Scheduling_Policy> <Processing_Resource> <Network> <Fixed_Priority_Network Id="Can_Bus"/> </Network> </Processing_Resource> </Scheduling_Server> </RT_Target_Model> <RT_Logical_Model> <Shared_Resource> <FP_Shared_Resource> <Immediate_Ceiling_Resource Id="Display_Data_Lock"/> </FP_Shared_Resource> </Shared_Resource> <Shared_Resource> <FP_Shared_Resource> <Immediate_Ceiling_Resource Id="Servos_Data_Lock"/> </FP_Shared_Resource> </Shared_Resource> <Operation> <Simple_Operation Id="Display_Data.Read" WCET="2.0E-3" ACET="1.8E-3" BCET="0.12E-3"/> </Operation> <Operation> <Simple_Operation Id="Display_Data.Write" WCET="2.5E-3" ACET="2.4E-3" BCET="0.15E-3"/> </Operation> <Operation> <Simple_Operation Id="Servos_Data.Get" WCET="2.0E-5" ACET="4.2E-6" BCET="4.0E-6"/> </Operation> <Operation> <Simple_Operation Id="Servos_Data.Put" WCET="2.5E-5" ACET="5.2E-6" BCET="5.0E-6"/> </Operation> <Operation> <Simple_Operation Id="Actualize_Graphic" WCET="10.0E-3" ACET="6.5E-3" BCET="5.0E-3"/> </Operation> <Operation> <Simple_Operation Id="Plan_Trajectory" WCET="200.0E-3" ACET="80.0E-3" BCET="20.0E-3"/> </Operation> <Operation> <Simple_Operation Id="Transfer_Command" WCET="32.0E-5" ACET="32.0E-5" BCET="32.0E-5"/> </Operation> <Operation> <Simple_Operation Id="Transfer_Status" WCET="64.0E-5" ACET="64.0E-5" BCET="64.0E-5"/> </Operation> <Operation> <Simple_Operation Id="Station_Communication.Send_Command" WCET="1.5E-5" ACET="1.5E-5" BCET="1.5E-5"/> </Operation> <Operation> <Simple_Operation Id="Station_Communication.Wait_Status" WCET="2.2E-5" ACET="2.2E-5" BCET="2.2E-5"/> </Operation> <Operation> <Simple_Operation Id="Station_Communication.Send_Status" WCET="3.1E-5" ACET="3.1E-5" BCET="3.1E-5"/> </Operation> <Operation> <Simple_Operation Id="Controller_Communication.Wait_Command" WCET="0.2E-5" ACET="0.2E-5" BCET="0.2E-5"/> </Operation> <Operation> <Simple_Operation Id="Control_Algorithm" WCET="2.5E-4" ACET="2.5E-4" BCET="2.5E-4"/> </Operation> <Operation> <Simple_Operation Id="Do_Control" WCET="1.5E-4" ACET="1.5E-4" BCET="1.5E-4"/> </Operation> <Operation> <Simple_Operation Id="PO_000003" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Lock> <Resource Id="Display_Data_Lock"/> </Shared_Resources_To_Lock> </Simple_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000004" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Unlock> <Resource Id="Display_Data_Lock"/> </Shared_Resources_To_Unlock> </Simple_Operation> </Operation> <Operation> <Composite_Operation Id="PO_000002"> <Composite_Operation_List> <Simple_Operation Id="PO_000003"/> <Simple_Operation Id="Display_Data.Read"/> <Simple_Operation Id="PO_000004"/> </Composite_Operation_List> </Composite_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000006" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Lock> <Resource Id="Display_Data_Lock"/> </Shared_Resources_To_Lock> </Simple_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000007" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Unlock> <Resource Id="Display_Data_Lock"/> </Shared_Resources_To_Unlock> </Simple_Operation> </Operation> <Operation> <Composite_Operation Id="PO_000005"> <Composite_Operation_List> <Simple_Operation Id="PO_000006"/> <Simple_Operation Id="Display_Data.Write"/> <Simple_Operation Id="PO_000007"/> </Composite_Operation_List> </Composite_Operation> </Operation> <Operation> <Composite_Operation Id="Actualize_Display"> <Composite_Operation_List> <Simple_Operation Id="Station_Communication.Wait_Status"/> <Simple_Operation Id="PO_000002"/> <Simple_Operation Id="PO_000005"/> <Simple_Operation Id="Actualize_Graphic"/> </Composite_Operation_List> </Composite_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000009" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Lock> <Resource Id="Display_Data_Lock"/> </Shared_Resources_To_Lock> </Simple_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000010" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Unlock> <Resource Id="Display_Data_Lock"/> </Shared_Resources_To_Unlock> </Simple_Operation> </Operation> <Operation> <Composite_Operation Id="PO_000008"> <Composite_Operation_List> <Simple_Operation Id="PO_000009"/> <Simple_Operation Id="Display_Data.Read"/> <Simple_Operation Id="PO_000010"/> </Composite_Operation_List> </Composite_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000012" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Lock> <Resource Id="Display_Data_Lock"/> </Shared_Resources_To_Lock> </Simple_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000013" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Unlock> <Resource Id="Display_Data_Lock"/> </Shared_Resources_To_Unlock> </Simple_Operation> </Operation> <Operation> <Composite_Operation Id="PO_000011"> <Composite_Operation_List> <Simple_Operation Id="PO_000012"/> <Simple_Operation Id="Display_Data.Write"/> <Simple_Operation Id="PO_000013"/> </Composite_Operation_List> </Composite_Operation> </Operation> <Operation> <Composite_Operation Id="Attend_Event"> <Composite_Operation_List> <Simple_Operation Id="PO_000008"/> <Simple_Operation Id="Plan_Trajectory"/> <Simple_Operation Id="PO_000011"/> <Simple_Operation Id="Station_Communication.Send_Command"/> </Composite_Operation_List> </Composite_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000015" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Lock> <Resource Id="Servos_Data_Lock"/> </Shared_Resources_To_Lock> </Simple_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000016" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Unlock> <Resource Id="Servos_Data_Lock"/> </Shared_Resources_To_Unlock> </Simple_Operation> </Operation> <Operation> <Composite_Operation Id="PO_000014"> <Composite_Operation_List> <Simple_Operation Id="PO_000015"/> <Simple_Operation Id="Servos_Data.Get"/> <Simple_Operation Id="PO_000016"/> </Composite_Operation_List> </Composite_Operation> </Operation> <Operation> <Enclosing_Operation Id="Report" WCET="1.22E-3" ACET="1.15E-3" BCET="1.1E-3"> <Composite_Operation_List> <Simple_Operation Id="PO_000014"/> </Composite_Operation_List> </Enclosing_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000018" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Lock> <Resource Id="Servos_Data_Lock"/> </Shared_Resources_To_Lock> </Simple_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000019" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Unlock> <Resource Id="Servos_Data_Lock"/> </Shared_Resources_To_Unlock> </Simple_Operation> </Operation> <Operation> <Composite_Operation Id="PO_000017"> <Composite_Operation_List> <Simple_Operation Id="PO_000018"/> <Simple_Operation Id="Servos_Data.Put"/> <Simple_Operation Id="PO_000019"/> </Composite_Operation_List> </Composite_Operation> </Operation> <Operation> <Enclosing_Operation Id="Manage" WCET="11.5E-3" ACET="5.2E-3" BCET="5.1E-3"> <Composite_Operation_List> <Simple_Operation Id="PO_000017"/> </Composite_Operation_List> </Enclosing_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000021" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Lock> <Resource Id="Servos_Data_Lock"/> </Shared_Resources_To_Lock> </Simple_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000022" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Unlock> <Resource Id="Servos_Data_Lock"/> </Shared_Resources_To_Unlock> </Simple_Operation> </Operation> <Operation> <Composite_Operation Id="PO_000020"> <Composite_Operation_List> <Simple_Operation Id="PO_000021"/> <Simple_Operation Id="Servos_Data.Get"/> <Simple_Operation Id="PO_000022"/> </Composite_Operation_List> </Composite_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000024" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Lock> <Resource Id="Servos_Data_Lock"/> </Shared_Resources_To_Lock> </Simple_Operation> </Operation> <Operation> <Simple_Operation Id="PO_000025" WCET="0.0" ACET="0.0" BCET="0.0"> <Shared_Resources_To_Unlock> <Resource Id="Servos_Data_Lock"/> </Shared_Resources_To_Unlock> </Simple_Operation> </Operation> <Operation> <Composite_Operation Id="PO_000023"> <Composite_Operation_List> <Simple_Operation Id="PO_000024"/> <Simple_Operation Id="Servos_Data.Put"/> <Simple_Operation Id="PO_000025"/> </Composite_Operation_List> </Composite_Operation> </Operation> <Operation> <Composite_Operation Id="Control_Servos"> <Composite_Operation_List> <Simple_Operation Id="PO_000020"/> <Simple_Operation Id="Control_Algorithm"/> <Simple_Operation Id="Do_Control"/> <Simple_Operation Id="PO_000023"/> </Composite_Operation_List> </Composite_Operation> </Operation> </RT_Logical_Model> <RT_Scenario_Model> <Transaction Type="Regular_Transaction" Id="Control_Servos_Trans"> <External_Event_Source_List> <External_Event_Source> <Periodic_Event_Source Phase="0.0" Max_Jitter="0.0" Period="5.0E-3" Id="Init_Control"/> </External_Event_Source> </External_Event_Source_List> <Internal_Event_List> <Internal_Event Type="Regular" Id="End_Control_Servos"> <Timing_Requirement> <Simple_Timing_Requirement> <Deadline_Timing_Requirement> <Global_Timing_Requirement Referenced_Event="Init_Control"> <Hard_Global_Deadline Deadline="5.0E-3"/> </Global_Timing_Requirement> </Deadline_Timing_Requirement> </Simple_Timing_Requirement> </Timing_Requirement> </Internal_Event> </Internal_Event_List> <Activity_Model> <Activity_List> <Activity Type="Timed_Activity" Id="Activity_1" Input_Event="Init_Control" Output_Event="End_Control_Servos" Activity_Operation="Control_Servos" Activity_Server="Servos_Controller_Task"/> </Activity_List> </Activity_Model> </Transaction> <Transaction Type="Regular_Transaction" Id="Report_Process"> <External_Event_Source_List> <External_Event_Source> <Periodic_Event_Source Phase="0.0" Max_Jitter="0.0" Period="100.0E-3" Id="Init_Report"/> </External_Event_Source> </External_Event_Source_List> <Internal_Event_List> <Internal_Event Type="Regular" Id="Display_Refreshed"> <Timing_Requirement> <Simple_Timing_Requirement> <Deadline_Timing_Requirement> <Global_Timing_Requirement Referenced_Event="Init_Report"> <Hard_Global_Deadline Deadline="100.0E-3"/> </Global_Timing_Requirement> </Deadline_Timing_Requirement> </Simple_Timing_Requirement> </Timing_Requirement> </Internal_Event> <Internal_Event Type="Regular" Id="T000026"/> <Internal_Event Type="Regular" Id="T000027"/> </Internal_Event_List> <Activity_Model> <Activity_List> <Activity Type="Timed_Activity" Id="Activity_1" Input_Event="Init_Report" Output_Event="T000026" Activity_Operation="Report" Activity_Server="Reporter_Task"/> <Activity Type="Activity" Id="Activity_2" Input_Event="T000026" Output_Event="T000027" Activity_Operation="Transfer_Status" Activity_Server="Msj_Status_Server"/> <Activity Type="Activity" Id="Activity_3" Input_Event="T000027" Output_Event="Display_Refreshed" Activity_Operation="Actualize_Display" Activity_Server="Display_Refresher_Task"/> </Activity_List> </Activity_Model> </Transaction> <Transaction Type="Regular_Transaction" Id="Execute_Command"> <External_Event_Source_List> <External_Event_Source> <Aperiodic_Event_Source Avg_Interarrival="0.0" Distribution="Uniform"> <Sporadic_Event_Source Min_Interarrival="1.0" Id="Tick_Command"/> </Aperiodic_Event_Source> </External_Event_Source> </External_Event_Source_List> <Internal_Event_List> <Internal_Event Type="Regular" Id="Command_Processed"> <Timing_Requirement> <Simple_Timing_Requirement> <Deadline_Timing_Requirement> <Global_Timing_Requirement Referenced_Event="Tick_Command"> <Hard_Global_Deadline Deadline="1.0"/> </Global_Timing_Requirement> </Deadline_Timing_Requirement> </Simple_Timing_Requirement> </Timing_Requirement> </Internal_Event> <Internal_Event Type="Regular" Id="T000028"/> <Internal_Event Type="Regular" Id="T000029"/> </Internal_Event_List> <Activity_Model> <Activity_List> <Activity Type="Activity" Id="Activity_1" Input_Event="Tick_Command" Output_Event="T000028" Activity_Operation="Attend_Event" Activity_Server="Command_Interpreter_Task"/> <Activity Type="Activity" Id="Activity_2" Input_Event="T000028" Output_Event="T000029" Activity_Operation="Transfer_Command" Activity_Server="Msj_Command_Server"/> <Activity Type="Activity" Id="Activity_3" Input_Event="T000029" Output_Event="Command_Processed" Activity_Operation="Manage" Activity_Server="Command_Manager_Task"/> </Activity_List> </Activity_Model> </Transaction> </RT_Scenario_Model> </MAST_RT_View>
--------------------------------------------------------------------- Please check that your question has not already been answered in the FAQ before posting. <http://xml.apache.org/cocoon/faq/index.html> To unsubscribe, e-mail: <[EMAIL PROTECTED]> For additional commands, e-mail: <[EMAIL PROTECTED]>