EmbLab/Tech - Revision history

22104 at 07:30, 21 June 2010

2010-06-21T07:30:44Z

← Older revision		Revision as of 07:30, 21 June 2010
Line 8:		Line 8:
	The PCT patent regarding this method has been published [http://www.wipo.int/pctdb/en/wo.jsp?WO=2009095084&IA=EP2008051300&DISPLAY=STATUS here].<BR>		The PCT patent regarding this method has been published [http://www.wipo.int/pctdb/en/wo.jsp?WO=2009095084&IA=EP2008051300&DISPLAY=STATUS here].<BR>
	A technical report that explains how it works is available [http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf here].		A technical report that explains how it works is available [http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf here].


	~~== Software tool for Part-Whole Statecharts ==~~

	~~A software tool that allows to build and validate PWS diagrams is under development. This tool has a demonstrative purpose and should not be used for real applications.~~

	~~The software tool can be downloaded [http://dii.ing.unimo.it/~emblab/PWS-tool.zip here].~~

22104: /* Method for ensuring safety and liveness rules in a state based design */

2010-06-15T15:15:18Z

Method for ensuring safety and liveness rules in a state based design

← Older revision		Revision as of 15:15, 15 June 2010
Line 8:		Line 8:
	The PCT patent regarding this method has been published [http://www.wipo.int/pctdb/en/wo.jsp?WO=2009095084&IA=EP2008051300&DISPLAY=STATUS here].<BR>		The PCT patent regarding this method has been published [http://www.wipo.int/pctdb/en/wo.jsp?WO=2009095084&IA=EP2008051300&DISPLAY=STATUS here].<BR>
	A technical report that explains how it works is available [http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf here].		A technical report that explains how it works is available [http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf here].


			== Software tool for Part-Whole Statecharts ==

			A software tool that allows to build and validate PWS diagrams is under development. This tool has a demonstrative purpose and should not be used for real applications.

			The software tool can be downloaded [http://dii.ing.unimo.it/~emblab/PWS-tool.zip here].

22104: /* Method for ensuring safety and liveness rules in a state based design */

2009-09-07T10:31:25Z

Method for ensuring safety and liveness rules in a state based design

← Older revision		Revision as of 10:31, 7 September 2009
Line 5:		Line 5:
	Aim of this document is to describe a method which works upon an abstract operational and structural model of the control of one or more sets of state machines, named assemblages, by means of other state machines, named controllers. According to the model, such controllers may be further grouped into assemblages themselves and be controlled, on their turn, by other controllers, and so on. The method is based on state constraints, which are propositions about the global state of an assemblage and enforces safety in a state based design, that is it checks that such constraints are always verified, that is when the controller is in a given state the controlled machines in the assemblage do not violate the constraint of such state. It moreover shows how to ensure that a reactive behavior is correctly implemented, that is when the assemblage moves, in an uncontrollable way, to a global state which violates the constraint of the current state of the controller, then there is a transition in the controller that is triggered and move the control out of the violated state. The method enforces also liveness in a state based design, by checking that any part of the constraint of a given state may be reached by the global state of the assemblage.		Aim of this document is to describe a method which works upon an abstract operational and structural model of the control of one or more sets of state machines, named assemblages, by means of other state machines, named controllers. According to the model, such controllers may be further grouped into assemblages themselves and be controlled, on their turn, by other controllers, and so on. The method is based on state constraints, which are propositions about the global state of an assemblage and enforces safety in a state based design, that is it checks that such constraints are always verified, that is when the controller is in a given state the controlled machines in the assemblage do not violate the constraint of such state. It moreover shows how to ensure that a reactive behavior is correctly implemented, that is when the assemblage moves, in an uncontrollable way, to a global state which violates the constraint of the current state of the controller, then there is a transition in the controller that is triggered and move the control out of the violated state. The method enforces also liveness in a state based design, by checking that any part of the constraint of a given state may be reached by the global state of the assemblage.

	[http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf ~~CRIS-2008-02-01 technical report~~]
			The PCT patent regarding this method has been published [http://www.wipo.int/pctdb/en/wo.jsp?WO=2009095084&IA=EP2008051300&DISPLAY=STATUS here].<BR>
			A technical report that explains how it works is available [http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf here].

22104: /* Method for ensuring safety and liveness rules in a state based design */

2009-06-30T15:00:34Z

Method for ensuring safety and liveness rules in a state based design

← Older revision		Revision as of 15:00, 30 June 2009
Line 5:		Line 5:
	Aim of this document is to describe a method which works upon an abstract operational and structural model of the control of one or more sets of state machines, named assemblages, by means of other state machines, named controllers. According to the model, such controllers may be further grouped into assemblages themselves and be controlled, on their turn, by other controllers, and so on. The method is based on state constraints, which are propositions about the global state of an assemblage and enforces safety in a state based design, that is it checks that such constraints are always verified, that is when the controller is in a given state the controlled machines in the assemblage do not violate the constraint of such state. It moreover shows how to ensure that a reactive behavior is correctly implemented, that is when the assemblage moves, in an uncontrollable way, to a global state which violates the constraint of the current state of the controller, then there is a transition in the controller that is triggered and move the control out of the violated state. The method enforces also liveness in a state based design, by checking that any part of the constraint of a given state may be reached by the global state of the assemblage.		Aim of this document is to describe a method which works upon an abstract operational and structural model of the control of one or more sets of state machines, named assemblages, by means of other state machines, named controllers. According to the model, such controllers may be further grouped into assemblages themselves and be controlled, on their turn, by other controllers, and so on. The method is based on state constraints, which are propositions about the global state of an assemblage and enforces safety in a state based design, that is it checks that such constraints are always verified, that is when the controller is in a given state the controlled machines in the assemblage do not violate the constraint of such state. It moreover shows how to ensure that a reactive behavior is correctly implemented, that is when the assemblage moves, in an uncontrollable way, to a global state which violates the constraint of the current state of the controller, then there is a transition in the controller that is triggered and move the control out of the violated state. The method enforces also liveness in a state based design, by checking that any part of the constraint of a given state may be reached by the global state of the assemblage.

	[[http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf CRIS-2008-02-01]]		[http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf CRIS-2008-02-01 technical report]

22104 at 09:30, 30 June 2009

2009-06-30T09:30:38Z

← Older revision		Revision as of 09:30, 30 June 2009
Line 4:		Line 4:

	Aim of this document is to describe a method which works upon an abstract operational and structural model of the control of one or more sets of state machines, named assemblages, by means of other state machines, named controllers. According to the model, such controllers may be further grouped into assemblages themselves and be controlled, on their turn, by other controllers, and so on. The method is based on state constraints, which are propositions about the global state of an assemblage and enforces safety in a state based design, that is it checks that such constraints are always verified, that is when the controller is in a given state the controlled machines in the assemblage do not violate the constraint of such state. It moreover shows how to ensure that a reactive behavior is correctly implemented, that is when the assemblage moves, in an uncontrollable way, to a global state which violates the constraint of the current state of the controller, then there is a transition in the controller that is triggered and move the control out of the violated state. The method enforces also liveness in a state based design, by checking that any part of the constraint of a given state may be reached by the global state of the assemblage.		Aim of this document is to describe a method which works upon an abstract operational and structural model of the control of one or more sets of state machines, named assemblages, by means of other state machines, named controllers. According to the model, such controllers may be further grouped into assemblages themselves and be controlled, on their turn, by other controllers, and so on. The method is based on state constraints, which are propositions about the global state of an assemblage and enforces safety in a state based design, that is it checks that such constraints are always verified, that is when the controller is in a given state the controlled machines in the assemblage do not violate the constraint of such state. It moreover shows how to ensure that a reactive behavior is correctly implemented, that is when the assemblage moves, in an uncontrollable way, to a global state which violates the constraint of the current state of the controller, then there is a transition in the controller that is triggered and move the control out of the violated state. The method enforces also liveness in a state based design, by checking that any part of the constraint of a given state may be reached by the global state of the assemblage.

			[[http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf CRIS-2008-02-01]]

22104: New page: {{EmbLab}} ==Method for ensuring safety and liveness rules in a state based design == Aim of this document is to describe a method which works upon an abstract operational and structural...

2009-05-21T12:40:26Z

New page: {{EmbLab}} ==Method for ensuring safety and liveness rules in a state based design == Aim of this document is to describe a method which works upon an abstract operational and structural...

New page

{{EmbLab}}

==Method for ensuring safety and liveness rules in a state based design ==

Aim of this document is to describe a method which works upon an abstract operational and structural model of the control of one or more sets of state machines, named assemblages, by means of other state machines, named controllers. According to the model, such controllers may be further grouped into assemblages themselves and be controlled, on their turn, by other controllers, and so on. The method is based on state constraints, which are propositions about the global state of an assemblage and enforces safety in a state based design, that is it checks that such constraints are always verified, that is when the controller is in a given state the controlled machines in the assemblage do not violate the constraint of such state. It moreover shows how to ensure that a reactive behavior is correctly implemented, that is when the assemblage moves, in an uncontrollable way, to a global state which violates the constraint of the current state of the controller, then there is a transition in the controller that is triggered and move the control out of the violated state. The method enforces also liveness in a state based design, by checking that any part of the constraint of a given state may be reached by the global state of the assemblage.