https://web.ing.unimo.it/wiki/api.php?action=feedcontributions&feedformat=atom&user=22104 2026-05-20T02:19:55Z User contributions MediaWiki 1.39.7 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7664 2010-11-17T15:05:49Z

<p>22104: /* 2010 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2010====<br /> <br /> * Luca Pazzi, Matteo Interlandi, Marco Pradelli, &quot;[http://www.dii.unimo.it/~emblab/HASE-2010.pdf Automatic Fault Behavior Detection and Modeling by a State-based Specification Method]&quot;, HASE 2010, San Jose, CA, issn 1530-2059. [http://www.dii.unimo.it/~emblab/Pradelli-HASE.pdf Presentation].<br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliWHCM10.pdf Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines]'', [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy. [http://www.dii.unimo.it/~emblab/PresentationWHCM10.pdf Presentation].<br /> * Luca Pazzi, Marco Pradelli, Matteo Interlandi, &quot;[http://www.dii.unimo.it/~emblab/pazziAVOCS2010AB1.pdf Design-Time Model Checking in Part-Whole Statecharts]&quot;, AVoCS 2010, Düsseldorf, Germany. [http://www.dii.unimo.it/~emblab/pazziAvocs2010Presentation.pdf Presentation]. The version linked here is an extended abstract, the complete article will be linked within a month.<br /> <br /> ====2009====<br /> <br /> <br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> * Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7657 2010-11-08T10:24:30Z

<p>22104: /* 2010 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2010====<br /> <br /> * Luca Pazzi, Matteo Interlandi, Marco Pradelli, &quot;[http://www.dii.unimo.it/~emblab/HASE-2010.pdf Automatic Fault Behavior Detection and Modeling by a State-based Specification Method]&quot;, San Jose, CA. [http://www.dii.unimo.it/~emblab/Pradelli-HASE.pdf Presentation].<br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliWHCM10.pdf Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines]'', [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy. [http://www.dii.unimo.it/~emblab/PresentationWHCM10.pdf Presentation].<br /> * Luca Pazzi, Marco Pradelli, Matteo Interlandi, &quot;[http://www.dii.unimo.it/~emblab/pazziAVOCS2010AB1.pdf Design-Time Model Checking in Part-Whole Statecharts]&quot;, AVoCS 2010, Düsseldorf, Germany. [http://www.dii.unimo.it/~emblab/pazziAvocs2010Presentation.pdf Presentation]. The version linked here is an extended abstract, the complete article will be linked within a month.<br /> <br /> ====2009====<br /> <br /> <br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> * Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7614 2010-09-28T09:19:08Z

<p>22104: /* Papers */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2010====<br /> <br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliWHCM10.pdf Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines]'', [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy. [http://www.dii.unimo.it/~emblab/PresentationWHCM10.pdf Presentation].<br /> * Luca Pazzi, Marco Pradelli, Matteo Interlandi, &quot;[http://www.dii.unimo.it/~emblab/pazziAVOCS2010AB1.pdf Design-Time Model Checking in Part-Whole Statecharts]&quot;, AVoCS 2010, Düsseldorf, Germany. [http://www.dii.unimo.it/~emblab/pazziAvocs2010Presentation.pdf Presentation]. The version linked here is an extended abstract, the complete article will be linked within a month.<br /> <br /> ====2009====<br /> <br /> <br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> * Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7613 2010-09-28T09:18:49Z

<p>22104: /* 2010 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2010====<br /> <br /> * Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliWHCM10.pdf Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines]'', [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy. [http://www.dii.unimo.it/~emblab/PresentationWHCM10.pdf Presentation].<br /> * Luca Pazzi, Marco Pradelli, Matteo Interlandi, &quot;[http://www.dii.unimo.it/~emblab/pazziAVOCS2010AB1.pdf Design-Time Model Checking in Part-Whole Statecharts]&quot;, AVoCS 2010, Düsseldorf, Germany. [http://www.dii.unimo.it/~emblab/pazziAvocs2010Presentation.pdf Presentation]. The version linked here is an extended abstract, the complete article will be linked within a month.<br /> <br /> ====2009====<br /> <br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7612 2010-09-28T09:18:14Z

<p>22104: /* Papers */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2010====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliWHCM10.pdf Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines]'', [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy. [http://www.dii.unimo.it/~emblab/PresentationWHCM10.pdf Presentation].<br /> #Luca Pazzi, Marco Pradelli, Matteo Interlandi, &quot;[http://www.dii.unimo.it/~emblab/pazziAVOCS2010AB1.pdf Design-Time Model Checking in Part-Whole Statecharts]&quot;, AVoCS 2010, Düsseldorf, Germany. [http://www.dii.unimo.it/~emblab/pazziAvocs2010Presentation.pdf Presentation]. The version linked here is an extended abstract, the complete article will be linked within a month.<br /> <br /> ====2009====<br /> <br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7611 2010-09-28T09:18:02Z

<p>22104: /* 2010 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2010====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliWHCM10.pdf Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines]'', [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy. [http://www.dii.unimo.it/~emblab/PresentationWHCM10.pdf Presentation].<br /> <br /> #Luca Pazzi, Marco Pradelli, Matteo Interlandi, &quot;[http://www.dii.unimo.it/~emblab/pazziAVOCS2010AB1.pdf Design-Time Model Checking in Part-Whole Statecharts]&quot;, AVoCS 2010, Düsseldorf, Germany. [http://www.dii.unimo.it/~emblab/pazziAvocs2010Presentation.pdf Presentation]. The version linked here is an extended abstract, the complete article will be linked within a month.<br /> <br /> ====2009====<br /> <br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7610 2010-09-28T09:17:53Z

<p>22104: /* 2010 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2010====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliWHCM10.pdf Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines]'', [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy. [http://www.dii.unimo.it/~emblab/PresentationWHCM10.pdf Presentation].<br /> <br /> #Luca Pazzi, Marco Pradelli, Matteo Interlandi, &quot;[http://www.dii.unimo.it/~emblab/pazziAVOCS2010AB1.pdf Design-Time Model Checking in Part-Whole Statecharts]&quot;, AVoCS 2010, Düsseldorf, Germany. [http://www.dii.unimo.it/~emblab/pazziAvocs2010Presentation.pdf Presentation].<br /> The version linked here is an extended abstract, the complete article will be linked within a month.<br /> <br /> ====2009====<br /> <br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7607 2010-09-28T09:00:56Z

<p>22104: /* 2010 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2010====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliWHCM10.pdf Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines]'', [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy. [http://www.dii.unimo.it/~emblab/PresentationWHCM10.pdf Presentation].<br /> <br /> #Luca Pazzi, Marco Pradelli, Matteo Interlandi, &quot;[http://www.dii.unimo.it/~emblab/pazziAVOCS2010AB1.pdf Design-Time Model Checking in Part-Whole Statecharts]&quot;, AVoCS 2010, Düsseldorf, Germany. [http://www.dii.unimo.it/~emblab/pazziAvocs2010Presentation.pdf Presentation]. The version linked here is an extended abstract, the complete article will be linked in a month.<br /> <br /> ====2009====<br /> <br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Tech&diff=7413 2010-06-21T07:30:44Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> <br /> ==Method for ensuring safety and liveness rules in a state based design ==<br /> <br /> 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.<br /> <br /> <br /> The PCT patent regarding this method has been published [http://www.wipo.int/pctdb/en/wo.jsp?WO=2009095084&amp;IA=EP2008051300&amp;DISPLAY=STATUS here].&lt;BR&gt;<br /> A technical report that explains how it works is available [http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf here].</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Tech&diff=7401 2010-06-15T15:15:18Z

<p>22104: /* Method for ensuring safety and liveness rules in a state based design */</p> <hr /> <div>{{EmbLab}}<br /> <br /> ==Method for ensuring safety and liveness rules in a state based design ==<br /> <br /> 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.<br /> <br /> <br /> The PCT patent regarding this method has been published [http://www.wipo.int/pctdb/en/wo.jsp?WO=2009095084&amp;IA=EP2008051300&amp;DISPLAY=STATUS here].&lt;BR&gt;<br /> A technical report that explains how it works is available [http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf here].<br /> <br /> <br /> == Software tool for Part-Whole Statecharts ==<br /> <br /> 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.<br /> <br /> The software tool can be downloaded [http://dii.ing.unimo.it/~emblab/PWS-tool.zip here].</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7229 2010-02-23T16:44:32Z

<p>22104: /* Papers */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2010====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliWHCM10.pdf Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines]'', [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy. [http://www.dii.unimo.it/~emblab/PresentationWHCM10.pdf Presentation].<br /> <br /> ====2009====<br /> <br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7226 2010-02-22T08:17:04Z

<p>22104: /* Papers */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2010====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliVHCM10.pdf Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines]'', [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy.<br /> <br /> ====2009====<br /> <br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7204 2010-02-05T15:05:37Z

<p>22104: /* Papers */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2010====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines'', To appear at [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy.<br /> <br /> ====2009====<br /> <br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7052 2009-12-14T16:13:51Z

<p>22104: /* 2009 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines'', To appear at [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy.<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=7051 2009-12-14T16:12:53Z

<p>22104: /* 2009 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines'', To appear at WHCM2010, Venice, Italy.<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=6984 2009-11-10T15:36:34Z

<p>22104: /* 2009 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=6890 2009-10-12T12:09:45Z

<p>22104: /* 2009 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradeli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Tech&diff=6792 2009-09-07T10:31:25Z

<p>22104: /* Method for ensuring safety and liveness rules in a state based design */</p> <hr /> <div>{{EmbLab}}<br /> <br /> ==Method for ensuring safety and liveness rules in a state based design ==<br /> <br /> 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.<br /> <br /> <br /> The PCT patent regarding this method has been published [http://www.wipo.int/pctdb/en/wo.jsp?WO=2009095084&amp;IA=EP2008051300&amp;DISPLAY=STATUS here].&lt;BR&gt;<br /> A technical report that explains how it works is available [http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf here].</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=6543 2009-06-30T15:43:02Z

<p>22104: /* 2009 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Architectural issues in mixing heterogeneous paradigms in autonomic systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradeli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Tech&diff=6542 2009-06-30T15:00:34Z

<p>22104: /* Method for ensuring safety and liveness rules in a state based design */</p> <hr /> <div>{{EmbLab}}<br /> <br /> ==Method for ensuring safety and liveness rules in a state based design ==<br /> <br /> 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.<br /> <br /> [http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf CRIS-2008-02-01 technical report]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=6541 2009-06-30T14:58:44Z

<p>22104: /* 2009 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Architectural issues in mixing heterogeneous paradigms in autonomic systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradeli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI Robotica mobile per esplorazione lunare Unmanned (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=6540 2009-06-30T14:58:06Z

<p>22104: /* 2009 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Architectural issues in mixing heterogeneous paradigms in autonomic systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation];<br /> # Luca Pazzi, Marco Pradeli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI Robotica mobile per esplorazione lunare Unmanned (Mobile robotics for Unmanned lunar exploration), Roma, Italy.<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Tech&diff=6539 2009-06-30T09:30:38Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> <br /> ==Method for ensuring safety and liveness rules in a state based design ==<br /> <br /> 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.<br /> <br /> [[http://dii.ing.unimo.it/~emblab/CRIS-2008-02-01.pdf CRIS-2008-02-01]]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=6535 2009-06-26T14:01:25Z

<p>22104: /* 2009 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Architectural issues in mixing heterogeneous paradigms in autonomic systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation]<br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=6534 2009-06-26T13:54:14Z

<p>22104: /* 2008 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''Architectural issues in mixing heterogeneous paradigms in autonomic systems'', DCDS09, Bari, Italy<br /> <br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation]<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=6533 2009-06-26T13:42:48Z

<p>22104: /* Presentations */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''Architectural issues in mixing heterogeneous paradigms in autonomic systems'', DCDS09, Bari, Italy<br /> <br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=6527 2009-06-25T14:58:21Z

<p>22104: /* Papers */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''Architectural issues in mixing heterogeneous paradigms in autonomic systems'', DCDS09, Bari, Italy<br /> <br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008<br /> # Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008<br /> <br /> = Presentations =<br /> <br /> Under construction</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=6526 2009-06-25T14:53:50Z

<p>22104: /* 2008 */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, Architectural issues in mixing heterogeneous paradigms in autonomic systems, DCDS09, Bari, Italy<br /> <br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, [http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications], IEEE-CBMS2008, Finland, 2008<br /> # Luca Pazzi, Marco Pradelli, [http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software], QEES 2008, Berlin, Germany, 2008<br /> <br /> = Presentations =<br /> <br /> Under construction</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Thesis&diff=6525 2009-06-25T14:42:38Z

<p>22104: /* Available Thesis */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Available Thesis =<br /> * '''[http://www.landi.it/ Landi Renzo]''': Modellistica Matlab/Simulink della centralina controllo motore gas. Implementazione in ambiente di simulazione Simulink del controllo motore gas, includendo Scheduler tasks sincroni e asincroni Strategie di controllo iniezione Strategie di adattativita’. Durata prevista 4 mesi.<br /> <br /> * '''[http://www.skema-srl.it/ Skema]''':<br /> # Automatizzazione della gestione elettronica del cambio di un’imbarcazione da corsa partendo da un nostro sistema già esistente e potenziandone il solo software;<br /> # Realizzazione della parte informatica di un sistema che consenta l’ormeggio di imbarcazione a due motori;<br /> # Realizzazione di un software di autodiagnosi del sistema di acquisizione dati di una Sala Prova o di un’imbarcazione da corsa;<br /> <br /> * '''[http://www.bellco.net/ Bellco]''': Lo stage avrebbe una durata di 6 mesi in cui verrebbe analizzato un caso di studio basato su una apparecchiatura in produzione/fase di sviluppo presso l'azienda. Le problematiche relative al controllo basato sugli stati verranno analizzate attraverso gli strumenti teorici visti durante il corso di Sistemi Embedded &amp; Real-Time. Obiettivo dello stage consisterà nell'acquisizione di capacità di realizzazione di software attraverso strumenti attualmente disponibili, utilizzando una metodologia mista ispirata a strumenti teorici evoluti appresi durante il corso, principalmente PW-Statecharts adattati all'ambiente di sviluppo Stateflow e/o VisualState.<br /> <br /> = Past Students =<br /> *'''Marco Pradelli''', &lt;br&gt;''Automazione di sequenze di test per il software di centraline elettroniche: applicazione al controllo trasmissione per trattori CVT Case New Holland''. Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Matteo Rivasi''', &lt;br&gt;''Analisi dinamica di un software embedded safety critical'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Manuel Spezzani''', &lt;br&gt;''Studio e realizzazione di una interfaccia CAN SAE J1939 tra un motore diesel e il relativo PLC di controllo'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2006/2006<br /> *'''Marco Catellani''',&lt;br&gt;''Progetto di un sistema embedded linux-based su processore ARM7 : studio di analisi di opportunita e problematiche in applicazioni low cost'', A.A. 2006/2007<br /> *'''Andrea Malagoli''', &lt;br&gt;''Studio di fattibilità di un sistema di test e validazione per il software di centraline di controllo'', A.A. 2003/2004</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Thesis&diff=6524 2009-06-25T14:41:25Z

<p>22104: /* Available Thesis */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Available Thesis =<br /> * '''[http://www.landi.it/ Landi Renzo]''': Modellistica Matlab/Simulink della centralina controllo motore gas. Implementazione in ambiente di simulazione Simulink del controllo motore gas, includendo Scheduler tasks sincroni e asincroni Strategie di controllo iniezione Strategie di adattativita’. Durata prevista 4 mesi.<br /> <br /> * '''[http://www.skema-srl.it/ Skema]''':<br /> # Automatizzazione della gestione elettronica del cambio di un’imbarcazione da corsa partendo da un nostro sistema già esistente e potenziandone il solo software<br /> # Realizzazione della parte informatica di un sistema che consenta l’ormeggio di imbarcazione a due motori<br /> # Realizzazione di un software di autodiagnosi del sistema di acquisizione dati di una Sala Prova o di un’imbarcazione da corsa<br /> <br /> * '''[http://www.bellco.net/ Bellco]''': Lo stage avrebbe una durata di 6 mesi in cui verrebbe analizzato un caso di studio basato su una apparecchiatura in produzione/fase di sviluppo presso l'azienda. Le problematiche relative al controllo basato sugli stati verranno analizzate attraverso gli strumenti teorici visti durante il corso di Sistemi Embedded &amp; Real-Time. Obiettivo dello stage consisterà nell'acquisizione di capacità di realizzazione di software attraverso strumenti attualmente disponibili, utilizzando una metodologia mista ispirata a strumenti teorici evoluti appresi durante il corso, principalmente PW-Statecharts adattati all'ambiente di sviluppo Stateflow e/o VisualState.<br /> <br /> = Past Students =<br /> *'''Marco Pradelli''', &lt;br&gt;''Automazione di sequenze di test per il software di centraline elettroniche: applicazione al controllo trasmissione per trattori CVT Case New Holland''. Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Matteo Rivasi''', &lt;br&gt;''Analisi dinamica di un software embedded safety critical'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Manuel Spezzani''', &lt;br&gt;''Studio e realizzazione di una interfaccia CAN SAE J1939 tra un motore diesel e il relativo PLC di controllo'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2006/2006<br /> *'''Marco Catellani''',&lt;br&gt;''Progetto di un sistema embedded linux-based su processore ARM7 : studio di analisi di opportunita e problematiche in applicazioni low cost'', A.A. 2006/2007<br /> *'''Andrea Malagoli''', &lt;br&gt;''Studio di fattibilità di un sistema di test e validazione per il software di centraline di controllo'', A.A. 2003/2004</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Thesis&diff=6523 2009-06-25T14:41:16Z

<p>22104: /* Available Thesis */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Available Thesis =<br /> * '''[http://www.landi.it/ Landi Renzo]''': Modellistica Matlab/Simulink della centralina controllo motore gas. Implementazione in ambiente di simulazione Simulink del controllo motore gas, includendo Scheduler tasks sincroni e asincroni Strategie di controllo iniezione Strategie di adattativita’ Durata prevista 4 mesi.<br /> <br /> * '''[http://www.skema-srl.it/ Skema]''':<br /> # Automatizzazione della gestione elettronica del cambio di un’imbarcazione da corsa partendo da un nostro sistema già esistente e potenziandone il solo software<br /> # Realizzazione della parte informatica di un sistema che consenta l’ormeggio di imbarcazione a due motori<br /> # Realizzazione di un software di autodiagnosi del sistema di acquisizione dati di una Sala Prova o di un’imbarcazione da corsa<br /> <br /> * '''[http://www.bellco.net/ Bellco]''': Lo stage avrebbe una durata di 6 mesi in cui verrebbe analizzato un caso di studio basato su una apparecchiatura in produzione/fase di sviluppo presso l'azienda. Le problematiche relative al controllo basato sugli stati verranno analizzate attraverso gli strumenti teorici visti durante il corso di Sistemi Embedded &amp; Real-Time. Obiettivo dello stage consisterà nell'acquisizione di capacità di realizzazione di software attraverso strumenti attualmente disponibili, utilizzando una metodologia mista ispirata a strumenti teorici evoluti appresi durante il corso, principalmente PW-Statecharts adattati all'ambiente di sviluppo Stateflow e/o VisualState.<br /> <br /> = Past Students =<br /> *'''Marco Pradelli''', &lt;br&gt;''Automazione di sequenze di test per il software di centraline elettroniche: applicazione al controllo trasmissione per trattori CVT Case New Holland''. Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Matteo Rivasi''', &lt;br&gt;''Analisi dinamica di un software embedded safety critical'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Manuel Spezzani''', &lt;br&gt;''Studio e realizzazione di una interfaccia CAN SAE J1939 tra un motore diesel e il relativo PLC di controllo'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2006/2006<br /> *'''Marco Catellani''',&lt;br&gt;''Progetto di un sistema embedded linux-based su processore ARM7 : studio di analisi di opportunita e problematiche in applicazioni low cost'', A.A. 2006/2007<br /> *'''Andrea Malagoli''', &lt;br&gt;''Studio di fattibilità di un sistema di test e validazione per il software di centraline di controllo'', A.A. 2003/2004</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Thesis&diff=6522 2009-06-25T14:38:55Z

<p>22104: /* Available Thesis */</p> <hr /> <div>{{EmbLab}}<br /> <br /> = Available Thesis =<br /> * '''[http://www.landi.it/ Landi Renzo]''': Modellistica Matlab/Simulink della centralina controllo motore gas. Implementazione in ambiente di simulazione Simulink del controllo motore gas, includendo Scheduler tasks sincroni e asincroni Strategie di controllo iniezione Strategie di adattativita’<br /> <br /> * '''[http://www.skema-srl.it/ Skema]''':<br /> # Automatizzazione della gestione elettronica del cambio di un’imbarcazione da corsa partendo da un nostro sistema già esistente e potenziandone il solo software<br /> # Realizzazione della parte informatica di un sistema che consenta l’ormeggio di imbarcazione a due motori<br /> # Realizzazione di un software di autodiagnosi del sistema di acquisizione dati di una Sala Prova o di un’imbarcazione da corsa<br /> <br /> * '''[http://www.bellco.net/ Bellco]''': Lo stage avrebbe una durata di 6 mesi in cui verrebbe analizzato un caso di studio basato su una apparecchiatura in produzione/fase di sviluppo presso l'azienda. Le problematiche relative al controllo basato sugli stati verranno analizzate attraverso gli strumenti teorici visti durante il corso di Sistemi Embedded &amp; Real-Time. Obiettivo dello stage consisterà nell'acquisizione di capacità di realizzazione di software attraverso strumenti attualmente disponibili, utilizzando una metodologia mista ispirata a strumenti teorici evoluti appresi durante il corso, principalmente PW-Statecharts adattati all'ambiente di sviluppo Stateflow e/o VisualState.<br /> <br /> = Past Students =<br /> *'''Marco Pradelli''', &lt;br&gt;''Automazione di sequenze di test per il software di centraline elettroniche: applicazione al controllo trasmissione per trattori CVT Case New Holland''. Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Matteo Rivasi''', &lt;br&gt;''Analisi dinamica di un software embedded safety critical'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Manuel Spezzani''', &lt;br&gt;''Studio e realizzazione di una interfaccia CAN SAE J1939 tra un motore diesel e il relativo PLC di controllo'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2006/2006<br /> *'''Marco Catellani''',&lt;br&gt;''Progetto di un sistema embedded linux-based su processore ARM7 : studio di analisi di opportunita e problematiche in applicazioni low cost'', A.A. 2006/2007<br /> *'''Andrea Malagoli''', &lt;br&gt;''Studio di fattibilità di un sistema di test e validazione per il software di centraline di controllo'', A.A. 2003/2004</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab&diff=6518 2009-06-23T12:45:40Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> <br /> == Introduction ==<br /> <br /> The EmbLab Group is recently active in the field of embedded software with focus on software safety for safety-critical applications.<br /> The main topics of interest are:<br /> *Software quality<br /> *Software verification and validation<br /> *Model-based approach for development of robust software<br /> *Incremental validation<br /> *Fault Detection, Isolation and Recovery (FDIR)<br /> <br /> Nowadays the group is developing a new method that allows to design software by means of Part Whole Statecharts (PWS) and to incrementally verify the model created. A tool that implements the verification method is under development and the method itself has been applied to relevant cases of study.<br /> More informations on PWS verification method are available in [[EmbLab/Publications|publications]] and [[EmbLab/Tech|technical reports]] sections.</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab&diff=6517 2009-06-23T12:44:33Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> <br /> == Introduction ==<br /> <br /> The EmbLab Group is recently active in the field of embedded software with focus on software safety for safety-critical applications.<br /> The main topics of interest are:<br /> *Software quality<br /> *Software verification and validation<br /> *Model-based approach for development of robust software<br /> *Incremental validation<br /> *Fault Detection, Isolation and Recovery (FDIR)<br /> <br /> Nowadays the group is developing a new method that allows to design software by means of Part Whole Statecharts (PWS) and to incrementally verify the model created. A tool that implements the verification method is under development and the method itself has been applied to relevant cases of study.<br /> More informations on PWS verification method are available in [[EmbLab/Publications|publications]] and [[EmbLab/Tech|technical reports]] sections.<br /> <br /> [[Category: EmbLab]]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab&diff=6516 2009-06-23T12:44:19Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> <br /> == Introduction ==<br /> <br /> The EmbLab Group is recently active in the field of embedded software with focus on software safety for safety-critical applications.<br /> The main topics of interest are:<br /> *Software quality<br /> *Software verification and validation<br /> *Model-based approach for development of robust software<br /> *Incremental validation<br /> *Fault Detection, Isolation and Recovery (FDIR)<br /> <br /> Nowadays the group is developing a new method that allows to design software by means of Part Whole Statecharts (PWS) and to incrementally verify the model created. A tool that implements the verification method is under development and the method itself has been applied to relevant cases of study.<br /> More informations on PWS verification method are available in [[EmbLab/Publications|publications]] and [[EmbLab/Tech|technical reports]] sections.<br /> <br /> [[Category:{EmbLab}]]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab&diff=6515 2009-06-23T12:40:17Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> <br /> == Introduction ==<br /> <br /> The EmbLab Group is recently active in the field of embedded software with focus on software safety for safety-critical applications.<br /> The main topics of interest are:<br /> *Software quality<br /> *Software verification and validation<br /> *Model-based approach for development of robust software<br /> *Incremental validation<br /> *Fault Detection, Isolation and Recovery (FDIR)<br /> <br /> Nowadays the group is developing a new method that allows to design software by means of Part Whole Statecharts (PWS) and to incrementally verify the model created. A tool that implements the verification method is under development and the method itself has been applied to relevant cases of study.<br /> More informations on PWS verification method are available in [[EmbLab/Publications|publications]] and [[EmbLab/Tech|technical reports]] sections.</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Thesis&diff=6514 2009-06-23T12:38:32Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> <br /> = Available Thesis =<br /> * '''[http://www.landi.it/ Landi Renzo]''': Modellistica Matlab/Simulink della centralina controllo motore gas. Implementazione in ambiente di simulazione Simulink del controllo motore gas, includendo Scheduler tasks sincroni e asincroni Strategie di controllo iniezione Strategie di adattativita’<br /> <br /> * '''[http://www.skema-srl.it/ Skema]''':<br /> # Automatizzazione della gestione elettronica del cambio di un’imbarcazione da corsa partendo da un nostro sistema già esistente e potenziandone il solo software<br /> # Realizzazione della parte informatica di un sistema che consenta l’ormeggio di imbarcazione a due motori<br /> # Realizzazione di un software di autodiagnosi del sistema di acquisizione dati di una Sala Prova o di un’imbarcazione da corsa<br /> <br /> <br /> = Past Students =<br /> *'''Marco Pradelli''', &lt;br&gt;''Automazione di sequenze di test per il software di centraline elettroniche: applicazione al controllo trasmissione per trattori CVT Case New Holland''. Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Matteo Rivasi''', &lt;br&gt;''Analisi dinamica di un software embedded safety critical'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Manuel Spezzani''', &lt;br&gt;''Studio e realizzazione di una interfaccia CAN SAE J1939 tra un motore diesel e il relativo PLC di controllo'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2006/2006<br /> *'''Marco Catellani''',&lt;br&gt;''Progetto di un sistema embedded linux-based su processore ARM7 : studio di analisi di opportunita e problematiche in applicazioni low cost'', A.A. 2006/2007<br /> *'''Andrea Malagoli''', &lt;br&gt;''Studio di fattibilità di un sistema di test e validazione per il software di centraline di controllo'', A.A. 2003/2004</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Thesis&diff=6513 2009-06-23T12:35:34Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> <br /> = Available Thesis =<br /> * '''Landi Renzo''': Modellistica Matlab/Simulink della centralina controllo motore gas. Implementazione in ambiente di simulazione Simulink del controllo motore gas, includendo Scheduler tasks sincroni e asincroni Strategie di controllo iniezione Strategie di adattativita’<br /> <br /> * '''Skema''':<br /> # Automatizzazione della gestione elettronica del cambio di un’imbarcazione da corsa partendo da un nostro sistema già esistente e potenziandone il solo software<br /> # Realizzazione della parte informatica di un sistema che consenta l’ormeggio di imbarcazione a due motori<br /> # Realizzazione di un software di autodiagnosi del sistema di acquisizione dati di una Sala Prova o di un’imbarcazione da corsa<br /> <br /> <br /> = Past Students =<br /> *'''Marco Pradelli''', &lt;br&gt;''Automazione di sequenze di test per il software di centraline elettroniche: applicazione al controllo trasmissione per trattori CVT Case New Holland''. Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Matteo Rivasi''', &lt;br&gt;''Analisi dinamica di un software embedded safety critical'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Manuel Spezzani''', &lt;br&gt;''Studio e realizzazione di una interfaccia CAN SAE J1939 tra un motore diesel e il relativo PLC di controllo'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2006/2006<br /> *'''Marco Catellani''',&lt;br&gt;''Progetto di un sistema embedded linux-based su processore ARM7 : studio di analisi di opportunita e problematiche in applicazioni low cost'', A.A. 2006/2007<br /> *'''Andrea Malagoli''', &lt;br&gt;''Studio di fattibilità di un sistema di test e validazione per il software di centraline di controllo'', A.A. 2003/2004</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Thesis&diff=6512 2009-06-23T12:32:22Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> = Available Thesis =<br /> * '''Landi Renzo''': Modellistica Matlab/Simulink della centralina controllo motore gas. Implementazione in ambiente di simulazione Simulink del controllo motore gas, includendo Scheduler tasks sincroni e asincroni Strategie di controllo iniezione Strategie di adattativita’<br /> <br /> * '''Skema''':<br /> # Automatizzazione della gestione elettronica del cambio di un’imbarcazione da corsa partendo da un nostro sistema già esistente e potenziandone il solo software<br /> # Realizzazione della parte informatica di un sistema che consenta l’ormeggio di imbarcazione a due motori<br /> # Realizzazione di un software di autodiagnosi del sistema di acquisizione dati di una Sala Prova o di un’imbarcazione da corsa<br /> <br /> <br /> <br /> <br /> = Past Students =<br /> <br /> *'''Marco Pradelli''', &lt;br&gt;''Automazione di sequenze di test per il software di centraline elettroniche: applicazione al controllo trasmissione per trattori CVT Case New Holland''. Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Matteo Rivasi''', &lt;br&gt;''Analisi dinamica di un software embedded safety critical'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Manuel Spezzani''', &lt;br&gt;''Studio e realizzazione di una interfaccia CAN SAE J1939 tra un motore diesel e il relativo PLC di controllo'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2006/2006<br /> *'''Marco Catellani''',&lt;br&gt;''Progetto di un sistema embedded linux-based su processore ARM7 : studio di analisi di opportunita e problematiche in applicazioni low cost'', A.A. 2006/2007<br /> *'''Andrea Malagoli''', &lt;br&gt;''Studio di fattibilità di un sistema di test e validazione per il software di centraline di controllo'', A.A. 2003/2004</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Publications&diff=6511 2009-06-23T12:31:46Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> <br /> = Papers =<br /> ====2009====<br /> <br /> # Luca Pazzi, Marco Pradelli, Architectural issues in mixing heterogeneous paradigms in autonomic systems, DCDS09, Bari, Italy<br /> <br /> <br /> ====2008====<br /> <br /> # Luca Pazzi, Marco Pradelli, A state-based systemic view of behaviour for safe medical computer applications, IEEE-CBMS2008, Finland, 2008<br /> # Luca Pazzi, Marco Pradelli, Improving Quality Factors in Model-Based Embedded Software, QEES 2008, Berlin, Germany<br /> <br /> <br /> = Presentations =<br /> <br /> Under construction</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Staff&diff=6510 2009-06-23T12:29:36Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> <br /> [[User:pazzi|Luca Pazzi]] - Ricercatore Universitario&lt;BR&gt;<br /> email: luca.pazzi @unimore.it&lt;BR&gt;<br /> Tel: +39 059 205 6140&lt;BR&gt;<br /> <br /> <br /> [[User:22104|Marco Pradelli]] - Ph.D. Student&lt;BR&gt;<br /> email: marco.pradelli @unimore.it&lt;BR&gt;<br /> Tel: +39 059 205 6110&lt;BR&gt;</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Staff&diff=6509 2009-06-23T12:28:36Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> <br /> [[User:pazzi|Luca Pazzi]] - Ricercatore Universitario<br /> <br /> [[User:22104|Marco Pradelli]] - Ph.D. Student<br /> email: marco.pradelli @unimore.it<br /> Tel: +39 059 205 6110</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=Template:EmbLab&diff=6508 2009-06-23T12:27:52Z

<p>22104: </p> <hr /> <div>[[EmbLab|Home]]<br /> [[EmbLab/Staff|Staff]]<br /> [[EmbLab/Publications|Publications]]<br /> [[EmbLab/Tech|Technical reports]]<br /> [[EmbLab/Thesis|Thesis]]<br /> [[Image:emblab-banner.png|center|Embedded Software Research Group]]<br /> &lt;BR&gt;</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=EmbLab/Thesis&diff=6507 2009-06-23T12:27:18Z

<p>22104: </p> <hr /> <div>{{EmbLab}}<br /> = Available Thesis =<br /> * '''Landi Renzo''': Modellistica Matlab/Simulink della centralina controllo motore gas. Implementazione in ambiente di simulazione Simulink del controllo motore gas, includendo Scheduler tasks sincroni e asincroni Strategie di controllo iniezione Strategie di adattativita’<br /> <br /> * '''Skema''':<br /> # Automatizzazione della gestione elettronica del cambio di un’imbarcazione da corsa partendo da un nostro sistema già esistente e potenziandone il solo software<br /> # Realizzazione della parte informatica di un sistema che consenta l’ormeggio di imbarcazione a due motori<br /> # Realizzazione di un software di autodiagnosi del sistema di acquisizione dati di una Sala Prova o di un’imbarcazione da corsa<br /> <br /> <br /> <br /> <br /> == Past Students ==<br /> <br /> *'''Marco Pradelli''', &lt;br&gt;''Automazione di sequenze di test per il software di centraline elettroniche: applicazione al controllo trasmissione per trattori CVT Case New Holland''. Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Matteo Rivasi''', &lt;br&gt;''Analisi dinamica di un software embedded safety critical'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2005/2006<br /> *'''Manuel Spezzani''', &lt;br&gt;''Studio e realizzazione di una interfaccia CAN SAE J1939 tra un motore diesel e il relativo PLC di controllo'', Corso di Laurea Magistrale in Ingegneria Informatica A.A 2006/2006<br /> *'''Marco Catellani''',&lt;br&gt;''Progetto di un sistema embedded linux-based su processore ARM7 : studio di analisi di opportunita e problematiche in applicazioni low cost'', A.A. 2006/2007<br /> *'''Andrea Malagoli''', &lt;br&gt;''Studio di fattibilità di un sistema di test e validazione per il software di centraline di controllo'', A.A. 2003/2004</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=File:Emblab-banner.png&diff=6498 2009-06-11T17:58:16Z

<p>22104: uploaded a new version of &quot;File:Emblab-banner.png&quot;:&amp;#32;G maiuscola e scritta inferiore staccata un po&#039; dal bordo</p> <hr /> <div></div>

22104 https://web.ing.unimo.it/wiki/index.php?title=Template:EmbLab&diff=6497 2009-06-11T13:14:48Z

<p>22104: </p> <hr /> <div>[[EmbLab|Home]]<br /> [[EmbLab/Staff|Staff]]<br /> [[EmbLab/Publications|Publications]]<br /> [[EmbLab/Tech|Technical reports]]<br /> [[EmbLab/Thesis|Thesis]]<br /> [[Image:emblab-banner.png|center|Embedded Software Research Group]]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=File:Emblab-banner.png&diff=6496 2009-06-11T13:12:48Z

<p>22104: uploaded a new version of &quot;File:Emblab-banner.png&quot;</p> <hr /> <div></div>

22104 https://web.ing.unimo.it/wiki/index.php?title=File:Emblab-banner.png&diff=6495 2009-06-11T08:40:45Z

<p>22104: </p> <hr /> <div></div>

22104 https://web.ing.unimo.it/wiki/index.php?title=Template:EmbLab&diff=6494 2009-06-11T08:40:21Z

<p>22104: </p> <hr /> <div>[[EmbLab|Home]]<br /> [[EmbLab/Staff|Staff]]<br /> [[EmbLab/Publications|Publications]]<br /> [[EmbLab/Tech|Technical reports]]<br /> [[EmbLab/Thesis|Thesis]]<br /> [[Image:emblab-banner.png|center]]</div>

22104 https://web.ing.unimo.it/wiki/index.php?title=Template:EmbLab&diff=6493 2009-06-11T08:33:35Z

<p>22104: </p> <hr /> <div>[[EmbLab|Home]]<br /> [[EmbLab/Staff|Staff]]<br /> [[EmbLab/Publications|Publications]]<br /> [[EmbLab/Tech|Technical reports]]<br /> [[EmbLab/Thesis|Thesis]]<br /> [[Image:emblab-banner.jpg|center]]</div>

22104