http://www.artist-embedded.org/artist/ en SPIP - www.spip.net http://www.artist-embedded.org/artist/Matlab-Simulink-and-Synchronous.html http://www.artist-embedded.org/artist/Matlab-Simulink-and-Synchronous.html 2006-07-10T16:13:57Z text/html en hard real time synchronous programming validation <p>Matlab provides high quality support for domain specific and control engineering as well as scientific engineering in general and visualization. Simulink itself, with its add-on Stateflow, provides an integrated description and simulation environment for hybrid systems, both dataflow and state based.</p> - <a href="http://www.artist-embedded.org/artist/-Programming-Languages-.html" rel="directory">30. Programming Languages</a> / <a href="http://www.artist-embedded.org/artist/+-hard-real-time-+.html" rel="tag">hard real time</a>, <a href="http://www.artist-embedded.org/artist/+-synchronous-programming-+.html" rel="tag">synchronous programming</a>, <a href="http://www.artist-embedded.org/artist/+-validation-+.html" rel="tag">validation</a> <div class='rss_texte'><p>Matlab-Simulink has established itself as the de-facto standard for highly engineering-oriented embedded systems industries, such as automobile and aeronautics. Matlab provides high quality support for domain specific and control engineering as well as scientific engineering in general and visualization. Simulink itself, with its add-on Stateflow, provides an integrated description and simulation environment for hybrid systems, both dataflow and state based.</p> <p>ARTIST2 partners are the founders of synchronous languages, such as Esterel, Lustre, and Signal, which are widely used in the aeronautics/avionics industries. These languages are semantically close to Matlab/Simulink. ARTIST2 partners have developed a semantic framework for graphical notations such as those found in Simulink/Stateflow, and have improved on code generation, formal validation, and architecture generation for Matlab/Simulink.</p> <p>ARTIST2 research activities – and specifically through the “Real-Time Components” cluster - will aim to develop results for distributed architecture generation, from Matlab/Simulink specifications. While not contributing directly to a “standard” in the usual sense, this work could provide the basis for improving the existing technology, or even for developing an independent European technology to replace Matlab/Simulink.</p></div> http://www.artist-embedded.org/artist/Science-of-Computer-Programming.html http://www.artist-embedded.org/artist/Science-of-Computer-Programming.html 2006-07-04T08:02:25Z text/html en Bruno Bouyssounouse system specification testing and verification validation <p>Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design.</p> - <a href="http://www.artist-embedded.org/artist/-Journals-.html" rel="directory">10. Journals</a> / <a href="http://www.artist-embedded.org/artist/+-system-specification-+.html" rel="tag">system specification</a>, <a href="http://www.artist-embedded.org/artist/+-testing-and-verification-+.html" rel="tag">testing and verification</a>, <a href="http://www.artist-embedded.org/artist/+-validation-+.html" rel="tag">validation</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton90.gif?1152000125" width='110' height='150' style='height:150px;width:110px;' /> <div class='rss_chapo'><p>Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design.</p></div> <div class='rss_texte'><p>The journal has a wide scope ranging from the many facets of methodological foundations to the details of technical issues and the aspects of industrial practice.</p> <p>The subjects of interest to SCP cover the entire spectrum of methods for the entire life cycle of software systems, including <br /><img src="http://www.artist-embedded.org/artist/squelettes-dist/puce.gif" width='8' height='11' class="puce" alt="-" style='height:11px;width:8px;' /> requirements, specification, design , validation, verification, coding, testing, maintenance, metrics and renovation of software; <br /><img src="http://www.artist-embedded.org/artist/squelettes-dist/puce.gif" width='8' height='11' class="puce" alt="-" style='height:11px;width:8px;' /> design, implementation and evaluation of programming languages; <br /><img src="http://www.artist-embedded.org/artist/squelettes-dist/puce.gif" width='8' height='11' class="puce" alt="-" style='height:11px;width:8px;' /> programming environments, development tools, visualisation and animation; <br /><img src="http://www.artist-embedded.org/artist/squelettes-dist/puce.gif" width='8' height='11' class="puce" alt="-" style='height:11px;width:8px;' /> management of the development process; <br /><img src="http://www.artist-embedded.org/artist/squelettes-dist/puce.gif" width='8' height='11' class="puce" alt="-" style='height:11px;width:8px;' /> human factors in software. <br /><img src="http://www.artist-embedded.org/artist/squelettes-dist/puce.gif" width='8' height='11' class="puce" alt="-" style='height:11px;width:8px;' /> software aspects of operating systems, system administration and network management</p> <p><a href="http://www.sciencedirect.com/science/journal/01676423" class='spip_out' rel='external'>See it online!</a></p></div>