http://www.artist-embedded.org/artist/ en SPIP - www.spip.net http://www.artist-embedded.org/artist/article607.html http://www.artist-embedded.org/artist/article607.html 2006-09-25T17:31:06Z text/html en Wang Yi Real-Time Components Modeling and Validation - <a href="http://www.artist-embedded.org/artist/-Core-Team-Leaders-.html" rel="directory">30. Core Team Leaders</a> / <a href="http://www.artist-embedded.org/artist/+-Cluster-Real-Time-Components-+.html" rel="tag">Real-Time Components</a>, <a href="http://www.artist-embedded.org/artist/+-Modeling-and-Validation-+.html" rel="tag">Modeling and Validation</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton607.jpg?1159205454" width='100' height='121' style='height:121px;width:100px;' /> http://www.artist-embedded.org/artist/Programme,578.html http://www.artist-embedded.org/artist/Programme,578.html 2006-09-18T08:09:29Z text/html en Bengt Jonsson, Bruno Bouyssounouse, Kim Larsen, Luigi Palopoli, Reinhard Wilhelm, Wang Yi Monday, Feb. 19 Modeling and Design of Heterogeneous Systems Alberto Ferrari PARADES Modeling of Heterogeneous Systems in Metropolis Joseph Sifakis Verimag Component-based Construction of Real-Time Systems Roberto Passerone Trento Interface and component-based design for heterogeneous systems Benoit Caillaud INRIA Composition and Transformation of Heterogeneous Real-Time Systems Student Presentations Tuesday, Feb. 20 Model Transformation and UML Reiko Heckel Leicester (...) - <a href="http://www.artist-embedded.org/artist/-MOTIVES-2007-.html" rel="directory">ARTIST2 - MOTIVES 2007</a> <div class='rss_texte'><h3 class="spip">Monday, Feb. 19</h3> <table class="spip"> <tbody> <tr class='row_even'> <td colspan='4'> <h3 class="spip">Modeling and Design of Heterogeneous Systems</h3> </td></tr> <tr class='row_odd'> <td>Alberto Ferrari</td> <td>PARADES</td> <td><strong> <a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/MOTIVES_Ferrari.pdf" class='spip_out' rel='external'>Modeling of Heterogeneous Systems in Metropolis</a></strong></td></tr> <tr class='row_even'> <td>Joseph Sifakis</td> <td>Verimag</td> <td><strong><a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/MOTIVES_JS.pdf" class='spip_out' rel='external'>Component-based Construction of Real-Time Systems</a></strong></td></tr> <tr class='row_odd'> <td>Roberto Passerone</td> <td>Trento</td> <td><strong> <a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/Passerone_Motives2007.pdf" class='spip_out' rel='external'>Interface and component-based design for heterogeneous systems</a></strong></td></tr> <tr class='row_even'> <td>Benoit Caillaud</td> <td>INRIA</td> <td><strong><a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/motives-caillaud-19-feb-2007-handouts.pdf" class='spip_out' rel='external'>Composition and Transformation of Heterogeneous Real-Time Systems</a></strong></td></tr> <tr class='row_odd'> <td colspan='3'>Student Presentations</td></tr> </tbody> </table> <h3 class="spip">Tuesday, Feb. 20</h3> <table class="spip"> <tbody> <tr class='row_even'> <td colspan='4'> <h3 class="spip">Model Transformation and UML</h3> </td></tr> <tr class='row_odd'> <td>Reiko Heckel</td> <td>Leicester</td> <td><strong><a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/Motives_Reiko.ppt" class='spip_out' rel='external'>Foundations of Model Transformation</a></strong></td></tr> <tr class='row_even'> <td>Andy Schuerr</td> <td>Darmstadt</td> <td><strong><a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/motives_schurr.pdf" class='spip_out' rel='external'>MDD with OMG Standards MOF, OCL, QVT and Graph Transformations</a></strong></td></tr> <tr class='row_odd'> <td>Wang Yi</td> <td>Uppsala</td> <td><strong><a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/Wang-motives.pdf" class='spip_out' rel='external'>Schedulability Analysis of Timed Systems</a></strong></td></tr> <tr class='row_even'> <td>Julio Medina</td> <td>CEA/LIST</td> <td><strong>UML for scheduling Analysis</strong></td></tr> <tr class='row_odd'> <td colspan='3'>Social Dinner</td></tr> </tbody> </table> <h3 class="spip">Wednesday Feb. 21</h3> <table class="spip"> <tbody> <tr class='row_even'> <td colspan='4'> <h3 class="spip">Static Analysis for Safety and Performance</h3> </td></tr> <tr class='row_odd'> <td colspan='4'><strong>Tutorials</strong></td></tr> <tr class='row_even'> <td>Hanne Riis Nielson</td> <td>DTU</td> <td><strong><a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/Nielson_Trento.pdf" class='spip_out' rel='external'>Static Analysis for Safety and Security</a></strong></td></tr> <tr class='row_odd'> <td>Reinhard Wilhelm</td> <td>Saarland</td> <td><strong>Timing Analysis for Real-Time Systems <a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/TimingAnalysisChapter_wilhelm2.pdf" class='spip_out' rel='external'>part 1</a> <a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/surveyTimingAnalysis_wilhelm.pdf" class='spip_out' rel='external'>part 2</a></strong></td></tr> <tr class='row_even'> <td>Samarjit Chakraborty</td> <td>Singapore</td> <td><strong>Interactive Performance Debugging of Real-Time Systems <a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/samarjit_RTAS2007_chakraborty.pdf" class='spip_out' rel='external'>part 1</a> <a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/samarjit_TECS2007.pdf" class='spip_out' rel='external'>part 2</a></strong></td></tr> <tr class='row_odd'> <td>Sylvie Putot</td> <td>CEA</td> <td><strong><a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/slidesSPutot.pdf" class='spip_out' rel='external'>Abstract Interpretation of Floating-Point Computations</a></strong></td></tr> <tr class='row_even'> <td>Joerg Bauer</td> <td>Saarland</td> <td><strong><a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/Motives_bauer.pdf" class='spip_out' rel='external'>Static Analysis of Dynamic Communication Systems</a></strong></td></tr> </tbody> </table> <h3 class="spip">Thursday Feb. 22</h3> <table class="spip"> <tbody> <tr class='row_even'> <td colspan='4'> <h3 class="spip">Schedulability and Controller Synthesis</h3> </td></tr> <tr class='row_odd'> <td>Jean-Francois Raskin</td> <td>ULB</td> <td><strong>Controller Synthesis <a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/motives_Raskin.pdf" class='spip_out' rel='external'>part 1</a> <a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/Raskin_Algorithms.pdf" class='spip_out' rel='external'>part 2</a></strong></td></tr> <tr class='row_even'> <td>Joost-Pieter Katoen</td> <td>Aachen</td> <td><strong><a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/motives_Katoen.pdf" class='spip_out' rel='external'>Soft Real Time Scheduling and Quality of Service</a></strong></td></tr> <tr class='row_odd'> <td>Kim Larsen</td> <td>Aalborg</td> <td><strong><a href="http://www.cs.aau.dk/~kgl/MOTIVES07/Index.html" class='spip_out' rel='external'>Optimal Scheduling and Controller Synthesis</a></strong></td></tr> <tr class='row_even'> <td>Giuseppe Lipari</td> <td>Sant'Anna</td> <td><strong><a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/motives_Lipari.ppt" class='spip_out' rel='external'>Contract-based Scheduling: An Overview of the Results of the FIRST EU Project</a></strong></td></tr> </tbody> </table> <h3 class="spip">Friday Feb. 23</h3> <table class="spip"> <tbody> <tr class='row_even'> <td colspan='4'> <h3 class="spip">Testing and Run-Time Verification</h3> </td></tr> <tr class='row_odd'> <td>Ed Brinksma</td> <td>Embedded Systems Institute</td> <td><strong>Conformance Testing and Test Coverage <a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/brinksma.pdf" class='spip_out' rel='external'>part 1</a> <a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/brinksma_semantic.pdf" class='spip_out' rel='external'>part 2</a></strong></td></tr> <tr class='row_even'> <td>Vlad Rusu</td> <td>IRISA</td> <td><strong><a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/presentation-rusu.pdf" class='spip_out' rel='external'>Formal verification and testing for reactive systems</a></strong></td></tr> <tr class='row_odd'> <td>Bernd Finkbeiner</td> <td>Saarland</td> <td><strong><a href="http://www.artist-embedded.org/docs/Events/2007/MOTIVES/" class='spip_out' rel='external'>Run-Time Verification</a></strong></td></tr> </tbody> </table></div>