<?xml 
version="1.0" encoding="utf-8"?>
<rss version="2.0" 
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
>

<channel xml:lang="en">
	<title>ArtistDesign NoE</title>
	<link>http://www.artist-embedded.org/artist/</link>
	
	<language>en</language>
	<generator>SPIP - www.spip.net</generator>




<item xml:lang="en">
		<title>Guide to Embedded Systems ConceptsCommon Technical Baseline</title>
		<link>http://www.artist-embedded.org/artist/Guide-to-Embedded-Systems.html</link>
		<guid isPermaLink="true">http://www.artist-embedded.org/artist/Guide-to-Embedded-Systems.html</guid>
		<dc:date>2030-12-01T07:24:00Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>en</dc:language>
		<dc:creator>Bruno Bouyssounouse</dc:creator>


		<dc:subject>hot topic</dc:subject>

		<description>&lt;p&gt;The Common Technical Baseline provides easy to access information on the most common embedded systems concepts.&lt;/p&gt;

-
&lt;a href="http://www.artist-embedded.org/artist/-Hot-Topics-.html" rel="directory"&gt;25. Hot Topics&lt;/a&gt;

/ 
&lt;a href="http://www.artist-embedded.org/artist/+-hot-topic-+.html" rel="tag"&gt;hot topic&lt;/a&gt;

		</description>


 <content:encoded>&lt;div class='rss_chapo'&gt;&lt;p&gt;A knowledge base on embedded systems design concepts, using easy-to-understand diagrams, texts and references.&lt;/p&gt;&lt;/div&gt;
		&lt;div class='rss_texte'&gt;&lt;p&gt;Navigate through the &lt;a href=&quot;http://www.embedded-systems-portal.com/CTB/&quot; class='spip_out' rel='external'&gt;knowledge base&lt;/a&gt; by clicking on the graphs.&lt;/p&gt; &lt;p&gt; &lt;/p&gt; &lt;hr&gt;
The &quot;Common Technical Baseline&quot; is structured into 3 high-level views:&lt;br&gt; &lt;ul class=&quot;spip&quot;&gt;&lt;li&gt; &lt;a href=&quot;http://www.embedded-systems-portal.com/CTB/?PageId=1&quot; class='spip_out' rel='external'&gt;System View&lt;/a&gt;&lt;br&gt;Access the concepts through a lego-like decomposition of what actually composes an embedded system, both hardware and software.&lt;br&gt; &lt;/li&gt;&lt;li&gt; &lt;a href=&quot;http://www.embedded-systems-portal.com/CTB-wrk/?PageId=2&quot; class='spip_out' rel='external'&gt;Product Lifecycle View&lt;/a&gt;&lt;br&gt;Access the concepts through the main lifecycle steps of an embedded system.&lt;br&gt; &lt;/li&gt;&lt;li&gt; &lt;a href=&quot;http://www.embedded-systems-portal.com/CTB/?PageId=5&quot; class='spip_out' rel='external'&gt;Design Tools View&lt;/a&gt;&lt;br&gt;Access the concepts through the different types of tools, including both their main inputs and outputs. &lt;br&gt; &lt;/li&gt;&lt;li&gt; &lt;a href=&quot;http://www.embedded-systems-portal.com/CTB/?PageId=4&quot; class='spip_out' rel='external'&gt;Methods View&lt;/a&gt;&lt;br&gt;Access the concepts through the main methodological approaches that may be used for embedded systems design. &lt;br&gt; &lt;/li&gt;&lt;/ul&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>
<item xml:lang="en">
		<title>ARCADIA Project</title>
		<link>http://www.artist-embedded.org/artist/ARCADIA-Project,2244.html</link>
		<guid isPermaLink="true">http://www.artist-embedded.org/artist/ARCADIA-Project,2244.html</guid>
		<dc:date>2012-06-14T22:05:00Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>en</dc:language>
		<dc:creator>Bruno Bouyssounouse</dc:creator>


		<dc:subject>hot topic</dc:subject>

		<description>&lt;p&gt;The &lt;a href=&quot;http://www.arcadia-project.eu/&quot; class='spip_out' rel='external'&gt;ARCADIA project&lt;/a&gt; main objective is to have better and effective coordination of the efforts in order to optimize the use of the resources, and to contribute in to the advance of an ERA for the Embedded System field to strengthening Europe's future growth, competitiveness and sustainable development.&lt;/p&gt;

-
&lt;a href="http://www.artist-embedded.org/artist/-Hot-Topics-.html" rel="directory"&gt;25. Hot Topics&lt;/a&gt;

/ 
&lt;a href="http://www.artist-embedded.org/artist/+-hot-topic-+.html" rel="tag"&gt;hot topic&lt;/a&gt;

		</description>


 <content:encoded>&lt;div class='rss_chapo'&gt;&lt;p&gt;The &lt;a href=&quot;http://www.arcadia-project.eu/&quot; class='spip_out' rel='external'&gt;ARCADIA project&lt;/a&gt; main objective is to have better and effective coordination of the efforts in order to optimize the use of the resources, and to contribute in to the advance of an ERA for the Embedded System field to strengthening Europe's future growth, competitiveness and sustainable development.&lt;/p&gt;&lt;/div&gt;
		&lt;div class='rss_texte'&gt;&lt;p&gt;The &lt;a href=&quot;http://www.arcadia-project.eu/&quot; class='spip_out' rel='external'&gt;ARCADIA project&lt;/a&gt; main objective is to have better and effective coordination of the efforts in order to optimize the use of the resources, and to contribute in to the advance of an ERA for the Embedded System field to strengthening Europe's future growth, competitiveness and sustainable development.&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>
<item xml:lang="en">
		<title>WCET Special Issue</title>
		<link>http://www.artist-embedded.org/artist/WCET-Special-Issue.html</link>
		<guid isPermaLink="true">http://www.artist-embedded.org/artist/WCET-Special-Issue.html</guid>
		<dc:date>2011-03-28T09:29:00Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>en</dc:language>
		<dc:creator>Bruno Bouyssounouse</dc:creator>


		<dc:subject>hot topic</dc:subject>

		<description>&lt;p&gt;Reliable WCET
bounds are a necessary component for the construction and verification
of dependable real-time systems. They are an input for doing task CPU
allocation, creating task schedules, and performing schedulability analysis.&lt;/p&gt;

-
&lt;a href="http://www.artist-embedded.org/artist/-Hot-Topics-.html" rel="directory"&gt;25. Hot Topics&lt;/a&gt;

/ 
&lt;a href="http://www.artist-embedded.org/artist/+-hot-topic-+.html" rel="tag"&gt;hot topic&lt;/a&gt;

		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;p&gt;The objective of worst-case execution-time (WCET) analysis is to compute upper bounds on the execution times of computer programs. Reliable WCET bounds are a necessary component for the construction and verification of dependable real-time systems. They are an input for doing task CPU allocation, creating task schedules, and performing schedulability analysis.&lt;/p&gt; &lt;p&gt;Deriving reliable WCET bounds is a complex task. Many details of the program itself and the hardware upon which the program is run have to be considered in the WCET analysis. Further, to guarantee the safety of applications the derived WCET bounds must be safe, i.e., guaranteed to not underestimate the WCET. To avoid that resources are wasted, derived bounds must also be tight, i.e., provide little or no overestimation. Moreover, the effort for computing WCET bounds should be moderate, thereby allowing the WCET analysis to be easily (and at a reasonable cost) integrated into the real-time systems development process.&lt;/p&gt; &lt;p&gt;Recent years have brought a number of developments that have dramatically increased the complexity of WCET analysis, thus making a high-quality WCET analysis a tough challenge:&lt;/p&gt; &lt;ul class=&quot;spip&quot;&gt;&lt;li&gt; Processor design: Modern high-end processors are highly complex. They use deep pipelines and parallel processing units on various levels of these pipelines, together with dynamic and out-of-order instruction scheduling, speculation, etc.&lt;/li&gt;&lt;li&gt; Memory systems: Processing systems used in embedded applications use heterogeneous memory systems, one or multiple levels of instruction- and data cache memory involving different main-memory update strategies, scratch pad memories, cache locking, etc.&lt;/li&gt;&lt;li&gt; Multiprocessor systems on a chip: Tasks running on different CPU cores compete for shared resources, e.g., memory. Thus the progress and execution time of a task becomes dependent on activities of other CPUs and the conflict resolution protocols implemented on the multi-core system.&lt;/li&gt;&lt;li&gt; Large code sizes: The size of the software used in embedded applications is constantly increasing. Thus, a WCET analysis must be able to scale to large code sizes without losing precision and still finish its inherent analyses within moderate time.&lt;/li&gt;&lt;li&gt; Diversity of code sources: A modern embedded application may involve a large variety of code sources, including model-based or component-based development tools, object-oriented programming languages, C, or even assembler. Moreover, to form an executable program, the code source files are compiled and linked together with other object code files and libraries. Thus, to be industrially applicable, a WCET analysis must be able to handle many code sources.&lt;/li&gt;&lt;/ul&gt;
&lt;p&gt;It is the aim of this special issue to provide a collection of mature results in this complex and crucial area of real-time systems research. Specific topics for this issue include, but are not limited to:&lt;/p&gt; &lt;p&gt;&lt;img src=&quot;http://www.artist-embedded.org/artist/squelettes-dist/puce.gif&quot; width='8' height='11' class=&quot;puce&quot; alt=&quot;-&quot; style='height:11px;width:8px;' /&gt; Tool architectures and methods for WCET computation (based e.g., on systematic measurements, static analysis, or hybrid approaches)
&lt;br /&gt;&lt;img src=&quot;http://www.artist-embedded.org/artist/squelettes-dist/puce.gif&quot; width='8' height='11' class=&quot;puce&quot; alt=&quot;-&quot; style='height:11px;width:8px;' /&gt; Flow analysis techniques (e.g., for derivation of loop bounds or (in)feasible paths)
&lt;br /&gt;&lt;img src=&quot;http://www.artist-embedded.org/artist/squelettes-dist/puce.gif&quot; width='8' height='11' class=&quot;puce&quot; alt=&quot;-&quot; style='height:11px;width:8px;' /&gt; Hardware analysis and hardware modeling for WCET analysis, (e.g., targeting one or more of the challenges described above).
&lt;br /&gt;&lt;img src=&quot;http://www.artist-embedded.org/artist/squelettes-dist/puce.gif&quot; width='8' height='11' class=&quot;puce&quot; alt=&quot;-&quot; style='height:11px;width:8px;' /&gt; Methods for WCET calculation, (e.g., new uses of IPET)
&lt;br /&gt;&lt;img src=&quot;http://www.artist-embedded.org/artist/squelettes-dist/puce.gif&quot; width='8' height='11' class=&quot;puce&quot; alt=&quot;-&quot; style='height:11px;width:8px;' /&gt; Techniques for finding the WCET by measurements
&lt;br /&gt;&lt;img src=&quot;http://www.artist-embedded.org/artist/squelettes-dist/puce.gif&quot; width='8' height='11' class=&quot;puce&quot; alt=&quot;-&quot; style='height:11px;width:8px;' /&gt; Integration and interaction of embedded system software development tools and WCET analysis
&lt;br /&gt;&lt;img src=&quot;http://www.artist-embedded.org/artist/squelettes-dist/puce.gif&quot; width='8' height='11' class=&quot;puce&quot; alt=&quot;-&quot; style='height:11px;width:8px;' /&gt; Hardware and software architectures supporting WCET composability and compositionality
&lt;br /&gt;&lt;img src=&quot;http://www.artist-embedded.org/artist/squelettes-dist/puce.gif&quot; width='8' height='11' class=&quot;puce&quot; alt=&quot;-&quot; style='height:11px;width:8px;' /&gt; Hardware and software design for timing predictability and repeatability
&lt;br /&gt;&lt;img src=&quot;http://www.artist-embedded.org/artist/squelettes-dist/puce.gif&quot; width='8' height='11' class=&quot;puce&quot; alt=&quot;-&quot; style='height:11px;width:8px;' /&gt; Experience reports on using WCET analysis methods and tools in industrial settings&lt;/p&gt; &lt;p&gt;We encourage both submissions of new novel ideas as well as earlier published and mature works. The latter provides an opportunity for authors to present previously published work in more detail, including e.g., more detailed method descriptions, more exhaustive evaluations, complete proofs, and valuable implementation details. Submissions based on previously published work have to include at least 30% new material, as well as a short additional description on how the new work differs from the already published one.&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;SUBMISSION INFORMATION&lt;/h3&gt;
&lt;p&gt;All manuscripts and any supplementary material should be submitted via the online submission and peer review systems at &lt;a href=&quot;http://ees.elsevier.com/jsa&quot; class='spip_out' rel='external'&gt;http://ees.elsevier.com/jsa&lt;/a&gt;
Follow the submission instructions given on this site.
Please select the article type as &quot;Special Issue: WCET Analysis&quot;. All manuscripts should comply with the journal's &lt;a href=&quot;http://www.elsevier.com/wps/find/journaldescription.cws_home/505616/authorinstructions&quot; class='spip_out' rel='external'&gt;Guide for Authors&lt;/a&gt;.&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;IMPORTANT DATES&lt;/h3&gt;
&lt;p&gt;Submission Deadline: January 10, 2010
Acceptance Notification: March 30, 2010
Final Papers: April 30, 2010
Publication: June/July 2010&lt;/p&gt; &lt;h3 class=&quot;spip&quot;&gt;JSA Editor-in-Chief&lt;/h3&gt;
&lt;ul class=&quot;spip&quot;&gt;&lt;li&gt; Iain Bate, University of York, UK&lt;/li&gt;&lt;/ul&gt;
&lt;h3 class=&quot;spip&quot;&gt;Guest Editors&lt;/h3&gt;
&lt;table class=&quot;spip&quot;&gt;
&lt;tbody&gt;
&lt;tr class='row_even'&gt;
&lt;td&gt;Andreas Ermedahl
M&#228;lardalen University
Box 883, 721 23 V&#228;ster&#229;s, Sweden
&lt;/td&gt;
&lt;td&gt;Peter Puschner
Technische Universit&#228;t Wien
A1040 Wien, Austria&lt;/td&gt;&lt;/tr&gt;
&lt;tr class='row_odd'&gt;
&lt;td&gt;&lt;/td&gt;
&lt;td&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr class='row_even'&gt;
&lt;td colspan='2'&gt;&lt;div align=center&gt;&lt;a href=&quot;mailto:andreas.ermedahl@mdh.se,peter@vmars.tuwien.ac.at?Subject=Journal%20of%20Systems%20Architecture%20-%20Special%20Issue%20on%20WCET%20Analysis&quot; class='spip_mail'&gt;EMAIL&lt;/a&gt;&lt;/div&gt; &lt;/td&gt;&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>
<item xml:lang="en">
		<title>Artist2 Newsletter</title>
		<link>http://www.artist-embedded.org/artist/Artist2-Newsletter,438.html</link>
		<guid isPermaLink="true">http://www.artist-embedded.org/artist/Artist2-Newsletter,438.html</guid>
		<dc:date>2010-10-11T22:30:00Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>en</dc:language>
		<dc:creator>Bruno Bouyssounouse</dc:creator>


		<dc:subject>hidden</dc:subject>
		<dc:subject>hot topic</dc:subject>

		<description>&lt;p&gt;ARTIST2 publishes a newsletter to inform the larger embedded systems research and industrial community about important events of interest (workshops, summer schools, high level events, selected publications for a wide audience, etc).&lt;/p&gt;

-
&lt;a href="http://www.artist-embedded.org/artist/-Publications,142-.html" rel="directory"&gt;60. Publications&lt;/a&gt;

/ 
&lt;a href="http://www.artist-embedded.org/artist/+-hidden-+.html" rel="tag"&gt;hidden&lt;/a&gt;, 
&lt;a href="http://www.artist-embedded.org/artist/+-hot-topic-+.html" rel="tag"&gt;hot topic&lt;/a&gt;

		</description>


 <content:encoded>&lt;img class=&quot;spip_logos&quot; alt=&quot;&quot; align=&quot;right&quot; src=&quot;http://www.artist-embedded.org/artist/IMG/arton438.jpg?1175864784&quot; width='115' height='69' style='height:69px;width:115px;' /&gt;
		&lt;div class='rss_texte'&gt;&lt;p&gt;&lt;i&gt;This list is separate from the one for the Artist Mailing List (which publishes much more frequently).&lt;/i&gt;&lt;/p&gt; &lt;p&gt;The ARTIST2 Network of Excellence on Embedded Systems Design publishes a newsletter to inform the larger embedded systems research and industrial community about important events of interest (workshops, summer schools, high level events, selected publications for a wide audience, etc).&lt;/p&gt; &lt;p&gt; &lt;/p&gt; &lt;div align=center&gt;&lt;font size=+1&gt;&lt;a href=http://www.artist-embedded.org/docs/Publications/Newsletter/ARTIST2-Newsletter_No_4_Sept2007.pdf target=_blank&gt;ARTIST2 Newsletter #4&lt;/a&gt;&lt;br&gt;&lt;font size=2&gt;(current issue: Sept 2007)&lt;/font&gt;&lt;/font&gt;&lt;/div&gt;
&lt;p&gt; &lt;/p&gt; &lt;p&gt; &lt;/p&gt; &lt;ul class=&quot;spip&quot;&gt;&lt;li&gt; &lt;strong&gt;Previous Editions&lt;/strong&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.artist-embedded.org/artist/squelettes-dist/puce.gif&quot; width='8' height='11' class=&quot;puce&quot; alt=&quot;-&quot; style='height:11px;width:8px;' /&gt; &lt;i&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Publications/Newsletter/ARTIST2-Newsletter_No_3_April10_2007.pdf&quot; class='spip_out' rel='external'&gt;Newsletter #3&lt;/a&gt; &lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.artist-embedded.org/artist/squelettes-dist/puce.gif&quot; width='8' height='11' class=&quot;puce&quot; alt=&quot;-&quot; style='height:11px;width:8px;' /&gt; &lt;i&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Publications/Newsletter/ARTIST2-Newsletter_No_2_July26_2006.pdf&quot; class='spip_out' rel='external'&gt;Newsletter #2&lt;/a&gt; &lt;/i&gt;
&lt;br /&gt;&lt;img src=&quot;http://www.artist-embedded.org/artist/squelettes-dist/puce.gif&quot; width='8' height='11' class=&quot;puce&quot; alt=&quot;-&quot; style='height:11px;width:8px;' /&gt; &lt;i&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Publications/Newsletter/ARTIST2-Newsletter_No1__Feb14_2006.pdf&quot; class='spip_out' rel='external'&gt;Newsletter #1&lt;/a&gt; &lt;/i&gt;&lt;/li&gt;&lt;/ul&gt;
&lt;ul class=&quot;spip&quot;&gt;&lt;li&gt; &lt;strong&gt;Purpose&lt;/strong&gt;
&lt;i&gt;With over 3500 contacts, the ARTIST2 Newsletter is widely distributed within the European Embedded Systems research and industrial community, with information about important events of interest (workshops, summer schools, high level events, selected publications for a large audience, etc).&lt;/i&gt;&lt;/li&gt;&lt;/ul&gt;
&lt;ul class=&quot;spip&quot;&gt;&lt;li&gt; &lt;strong&gt;Submitting Articles&lt;/strong&gt;
&lt;i&gt;Anyone may submit announcements or articles for publication. Any information submitted for publication in the newsletter becomes public information, with no rights or restrictions imposed by the original author. Information submitted will be edited and modified as best suits the needs of the community, at the editor's discretion. Please note that this procedure will probably evolve over time. Be sure to check the latest issue for up-to-date instructions.
To publish an item in the newsletter, please send a message to Bruno Bouyssounouse, including relevant images and web links. &lt;/i&gt;&lt;/li&gt;&lt;/ul&gt;
&lt;ul class=&quot;spip&quot;&gt;&lt;li&gt; &lt;strong&gt;Privacy Policy&lt;/strong&gt;
&lt;i&gt;ARTIST2 maintains a very strict privacy policy. Under no circumstances will we provide our mailing list to any other party, including the Artist2 partners.&lt;/i&gt;&lt;/li&gt;&lt;/ul&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>
<item xml:lang="en">
		<title>90. Press Release</title>
		<link>http://www.artist-embedded.org/artist/Press-Release.html</link>
		<guid isPermaLink="true">http://www.artist-embedded.org/artist/Press-Release.html</guid>
		<dc:date>2009-10-29T14:49:25Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>en</dc:language>
		<dc:creator>Bruno Bouyssounouse</dc:creator>


		<dc:subject>hot topic</dc:subject>

		<description>FOR IMMEDIATE RELEASE Trento October 12th, 2009. Seventy five experts from Academia, Research Institutions and Industry from Europe and United States met in Trento on October 8th and 9th to discuss state-of-the-art, challenges and future opportunities in research on and industrial deployment of energy-efficient solutions in buildings, smart grids and power generation equipment. Fifteen talks (five from Universities, two from public research institutions, and eight from industry; three (...)

-
&lt;a href="http://www.artist-embedded.org/artist/-SEEC-09-.html" rel="directory"&gt;SEEC'09&lt;/a&gt;

/ 
&lt;a href="http://www.artist-embedded.org/artist/+-hot-topic-+.html" rel="tag"&gt;hot topic&lt;/a&gt;

		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;p&gt;&lt;strong&gt;FOR IMMEDIATE RELEASE&lt;/strong&gt;&lt;/p&gt; &lt;p&gt;Trento October 12th, 2009.&lt;/p&gt; &lt;p&gt;Seventy five experts from Academia, Research Institutions and Industry from Europe and United States met in Trento on October 8th and 9th to discuss state-of-the-art, challenges and future opportunities in research on and industrial deployment of energy-efficient solutions in buildings, smart grids and power generation equipment. Fifteen talks (five from Universities, two from public research institutions, and eight from industry; three from US and twelve from Europe) addressed a variety of approaches to energy efficiency with particular emphasis on the use of Information and Communication Technology (ICT) to problems in this area (see the attached program of the meeting).&lt;/p&gt; &lt;p&gt;According to the U.S. Department of Energy, buildings consumed 72% of the nation's total electricity in 2006. Heating, cooling and lighting alone account for 70% and 63% of the energy usage for residential and commercial buildings respectively. It is therefore imperative to improve energy efficiency and reduce the carbon footprints for buildings. An efficient management of facilities requires the use of advanced infrastructures for data communication and information sharing (e.g. wireless sensor network), and an environment in which different services such as building controls (e.g. HVAC), electronic appliances and security functions are integrated seamlessly.&lt;/p&gt; &lt;p&gt;There was a general consensus among the participants about research needs and the necessity to form joint teams among industry and academia across the Ocean to provide critical mass for the solution to the energy efficiency problem. The approaches taken by the US were contrasted and compared with similar activities in the EU to identify synergies and complementarities. The state-of-the-art in modeling, simulation and design of energy efficient buildings was presented and the technical challenges were analyzed in details. Research programs and preliminary results were also introduced. To complement the building efficiency theme, the need for developing smart grids to adapt to local energy generation and consumption was outlined and alternative source of energies were presented.&lt;/p&gt; &lt;p&gt;&#8220;Energy efficiency in buildings is a fundamental topic in the green economy. It is also a rich source of research topics for academia and industry. This research is going to change dramatically our view of energy use. This workshop is an important milestone in forming a world-wide community interested in research and applications in this field&#8221; said Alberto Sangiovanni Vincentelli, the Edgar L. and Harold H. Buttner Chair of Electrical Engineering at the University of California at Berkeley and chair of the workshop.&lt;/p&gt; &lt;p&gt;&#8220;This workshop is one of the best workshops I attended in years and it was an ideal showcase for advanced research and industrial views on the energy efficiency theme. I was pleasantly surprised about the overall quality of the presentations and of the discussion&#8221; remarked Professor Manfred Morari, Chairman of the Electrical Engineering Department at the ETH in Zurich.&lt;/p&gt; &lt;p&gt;&#8220;The ideas presented at this workshop should be vigorously pursued in the future. It is important that the general public as well as the research community be informed of the debate on energy efficiency&#8221; Dr. Conrad G&#228;hler, Pre-development &amp; Research, Siemens Building Technologies, pointed out. &quot;Also, the necessary transformation towards better energy efficiency is a chance for the economy to create new jobs. In Siemens for instance, a quarter of our 77 billion Euro total revenue, and thus more than 100'000 jobs, can be attributed to products and solutions that make a direct and verifiable contribution to environmental and climate protection.&quot;&lt;/p&gt; &lt;p&gt;&#8220;Energy-efficiency is a priority of the Trentino Province and among the key research areas of our Research Institute. I welcome this initiative and I hope it will be continued in the future.&#8221; Professor Zanotti, President of the Bruno Kessler Foundation, who hosted the meeting, said at the meeting opening.
The meeting was sponsored by the Artist Design Network of Excellence of the European Community and by the COMBEST STREP project of the European community. These European initiatives pursue research on embedded systems and compositional techniques that are very much at the root of the technical problems faced in designing energy efficient buildings.&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>
<item xml:lang="en">
		<title>20. Videos &amp; Slides</title>
		<link>http://www.artist-embedded.org/artist/Videos-Slides.html</link>
		<guid isPermaLink="true">http://www.artist-embedded.org/artist/Videos-Slides.html</guid>
		<dc:date>2009-02-23T15:53:16Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>en</dc:language>
		


		<dc:subject>hot topic</dc:subject>

		<description>Click on the orange links below to see the videos. A PDF version is also available on the right. Be sure to close your video before opening a new one, or you will hear both videos at once. Real-Time Programming Luis Almeida (U. Aveiro) The challenges of flexible real-time communication David Bacon (IBM) Real-Time Programming in Javainvited speaker Sanjoy Baruah (U. N.C. at Chapel Hill) Multiprocessor Real-Time Computing: Formal Foundations invited speaker Hermann Haertig (TU (...)

-
&lt;a href="http://www.artist-embedded.org/artist/-ARTIST2-Summer-School-2008-.html" rel="directory"&gt;ARTIST2 Summer School 2008 in Europe&lt;/a&gt;

/ 
&lt;a href="http://www.artist-embedded.org/artist/+-hot-topic-+.html" rel="tag"&gt;hot topic&lt;/a&gt;

		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;table&gt;&lt;tr&gt;&lt;td&gt;&lt;img src=http://www.artist-embedded.org/docs/Events/2008/Autrans/video-icon/Videos-mediumsmall.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/td&gt;&lt;td align=center&gt;&lt;font size=-1 style=font-weight:normal&gt;&lt;i&gt;Click on the orange links below to see the videos.&lt;br&gt;A PDF version is also available on the right.
&lt;p&gt; &lt;/p&gt; &lt;p&gt;Be sure to close your video before opening a new one, or you will hear both videos at once.&lt;/i&gt;&lt;/font&gt;&lt;/p&gt;
&lt;/td&gt;&lt;td&gt;&lt;img src=http://www.artist-embedded.org/docs/Events/2008/Autrans/video-icon/Videos-mediumsmall.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;
&lt;h3 class=&quot;spip&quot;&gt;Real-Time Programming&lt;/h3&gt;
&lt;ul class=&quot;spip&quot;&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Luis Almeida&lt;/strong&gt; (U. Aveiro)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Luis_Almeida&quot; class='spip_out' rel='external'&gt;The challenges of flexible real-time communication&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Almeida.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;David Bacon&lt;/strong&gt; (IBM)
&lt;strong&gt;Real-Time Programming in Java&lt;/strong&gt;&lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;span style=padding-right:30px;&gt;&lt;i&gt;invited speaker&lt;/i&gt;&lt;/span&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Bacon.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Sanjoy Baruah&lt;/strong&gt; (U. N.C. at Chapel Hill) &lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Sanjoy_Baruah&quot; class='spip_out' rel='external'&gt;Multiprocessor Real-Time Computing: Formal Foundations&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;span style=padding-right:30px;&gt;&lt;i&gt;invited speaker&lt;/i&gt;&lt;/span&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Baruah.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Hermann Haertig&lt;/strong&gt; (TU Dresden)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Hermann_Haertig&quot; class='spip_out' rel='external'&gt;Enforceable Component-Based Realtime Contracts&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Haertig.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Raj Rajkumar&lt;/strong&gt; (Carnegie Mellon University)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Raj_Rajkumar&quot; class='spip_out' rel='external'&gt;Building Blocks for Large-Scale Wireless Sensor Networks&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Rajkumar.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Lothar Thiele&lt;/strong&gt; (ETHZ)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Lothar_Thiele&quot; class='spip_out' rel='external'&gt;Performance analysis of distributed real-time systems&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Thiele.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Reinhard Wilhelm&lt;/strong&gt; (Saarland)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Reinhard_Wilhelm&quot; class='spip_out' rel='external'&gt;Timing Analysis and Timing Predictability&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Wilhelm.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;/ul&gt;
&lt;h3 class=&quot;spip&quot;&gt;Control and Scheduling&lt;/h3&gt;
&lt;ul class=&quot;spip&quot;&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Tarek Abdelzaher&lt;/strong&gt; (U. Illinois U-Champaign)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Tarek_Abdelzaher&quot; class='spip_out' rel='external'&gt;Feedback Control of Distributed Computing Systems&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;span style=padding-right:30px;&gt;&lt;i&gt;invited speaker&lt;/i&gt;&lt;/span&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Abdelzaher.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Karl Erik Arzen&lt;/strong&gt; (Lund) &amp; &lt;strong&gt;Pedro Albertos&lt;/strong&gt; (UP Valencia)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Karl_Erik_Arzen_and_Pedro_Albertos&quot; class='spip_out' rel='external'&gt;Implementation of control systems in resource-constrained embedded systems&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_ArzenAlbertos.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Karl Johan Astrom&lt;/strong&gt; (LTH) &lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Karl_Johan_Alstrom&quot; class='spip_out' rel='external'&gt;Control System Architectures&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;span style=padding-right:30px;&gt;&lt;i&gt;invited speaker&lt;/i&gt;&lt;/span&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Astrom.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Giorgio Buttazzo&lt;/strong&gt; (Pisa)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Giorgio_Buttazzo&quot; class='spip_out' rel='external'&gt;Real-Time Scheduling and Resource Management&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Buttazzo.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Michael Gonzalez&lt;/strong&gt; (U. Cantabria)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Michael_Gonzalez_Harbour&quot; class='spip_out' rel='external'&gt;Contract-based resource reservation and scheduling&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Gonzalez.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Kai Richter&lt;/strong&gt; (Symtavision)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Kai_Richter&quot; class='spip_out' rel='external'&gt;Establishing Formal Scheduling Analysis in Automotive Design Processes&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Richter.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;/ul&gt;
&lt;h3 class=&quot;spip&quot;&gt;Hardware Platforms&lt;/h3&gt;
&lt;ul class=&quot;spip&quot;&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Marco Bekooij&lt;/strong&gt; (NXP)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Marco_Bekooij&quot; class='spip_out' rel='external'&gt;Dataflow analysis for predictable multiprocessor design&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Bekooij.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Peter Marwedel&lt;/strong&gt; &amp; &lt;strong&gt;Heiko Falk&lt;/strong&gt; (TU Dortmund)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Peter_Marwedel_and_Heiko_Falk&quot; class='spip_out' rel='external'&gt;Memory architecture aware compilation&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_MarwedelFalk.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;	&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Giovanni De Micheli&lt;/strong&gt; (EPFL) &lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Giovanni_De_Micheli&quot; class='spip_out' rel='external'&gt;Heterogeneous Platforms for Embedded Systems&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;span style=padding-right:30px;&gt;&lt;i&gt;invited speaker&lt;/i&gt;&lt;/span&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Demicheli.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Diederik Verkest&lt;/strong&gt; (IMEC)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Diederik_Verkest&quot; class='spip_out' rel='external'&gt;Mapping C code on MPSoC for Nomadic Embedded Systems&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Verkest.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;/ul&gt;
&lt;h3 class=&quot;spip&quot;&gt;Verification, Test, and Validation&lt;/h3&gt;
&lt;ul class=&quot;spip&quot;&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Gerard Berry&lt;/strong&gt; (Esterel Technologies)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Gerard_Berry&quot; class='spip_out' rel='external'&gt;The evolution of the synchronous model&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Berry.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Ed Brinksma&lt;/strong&gt; (ESI)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Ed_Brinksma&quot; class='spip_out' rel='external'&gt;Quantitative Testing Theory&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Brinksma.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Rance Cleaveland&lt;/strong&gt; (University of Maryland, USA) &lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Rance_Cleaveland&quot; class='spip_out' rel='external'&gt;An Instrumentation-based Approach to Controller Model Validation&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Cleaveland.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Klaus Havelund&lt;/strong&gt; (NASA JPL)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Klaus_Havelund&quot; class='spip_out' rel='external'&gt;Rule-based Runtime Verification&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Havelund.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Marta Kwiatkowska&lt;/strong&gt; (Oxford U.)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Marta_Kwiatowska&quot; class='spip_out' rel='external'&gt;Quantitative Probabilistic Verification of Systems&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Kwiatkowska.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Kim Larsen&lt;/strong&gt; (Aalborg)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Kim_Larsen&quot; class='spip_out' rel='external'&gt;Quantitative Verification and Synthesis for Embedded Systems&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Larsen.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;li&gt; &lt;table width=80% cellspacing=0 cellpadding=0&gt;&lt;tr&gt;&lt;td&gt;&lt;strong&gt;Steve Vestal&lt;/strong&gt; (Honeywell)
&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/Videos/Steve_Vestal&quot; class='spip_out' rel='external'&gt;Automating compositional safety analysis for IMA systems&lt;/a&gt; &lt;/td&gt;&lt;td align=right valign=middle&gt;&lt;a href=&quot;http://www.artist-embedded.org/docs/Events/2008/Autrans/SLIDES/ArtistSummerSchool2008_Vestal.pdf&quot; class='spip_out' rel='external'&gt;&lt;img src=http://www.artist-embedded.org/docs/Images/pdf-tiny.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/a&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/li&gt;&lt;/ul&gt;
&lt;table style=padding-top:50px&gt;&lt;tr&gt;&lt;td align=left&gt;&lt;img src=http://www.artist-embedded.org/docs/Events/2008/Autrans/video-icon/Videos-mediumsmall.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/td&gt;&lt;td align=center&gt;&lt;img src=http://www.artist-embedded.org/docs/Events/2008/Autrans/video-icon/Videos-mediumsmall.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/td&gt;&lt;td align=right&gt;&lt;img src=http://www.artist-embedded.org/docs/Events/2008/Autrans/video-icon/Videos-mediumsmall.jpg style='max-width: 500px; max-height: 100000px'&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>
<item xml:lang="en">
		<title>30. ARTEMIS Industrial Association (ARTEMISIA)</title>
		<link>http://www.artist-embedded.org/artist/ARTEMIS-Industrial-Association.html</link>
		<guid isPermaLink="true">http://www.artist-embedded.org/artist/ARTEMIS-Industrial-Association.html</guid>
		<dc:date>2007-03-08T14:16:00Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>en</dc:language>
		


		<dc:subject>hot topic</dc:subject>

		<description>&lt;p&gt;How to join&lt;/p&gt;

-
&lt;a href="http://www.artist-embedded.org/artist/-ARTEMIS-European-Technology-.html" rel="directory"&gt;ARTEMIS European Technology Platform&lt;/a&gt;

/ 
&lt;a href="http://www.artist-embedded.org/artist/+-hot-topic-+.html" rel="tag"&gt;hot topic&lt;/a&gt;

		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;p&gt;The ARTEMIS Industry Association has been established in 2007. Please find all relevant information for registration on the web site &lt;a href=&quot;https://www.artemisia-association.org/&quot; class='spip_out' rel='external'&gt;here&lt;/a&gt;.&lt;/p&gt; &lt;p&gt;For any further information, please contact the ARTEMIS-IA office:&lt;/p&gt; &lt;p&gt;Tel: +31 88 0036 188
Fax +31 88 0036 180&lt;/p&gt; &lt;p&gt;Email: &lt;a href=&quot;mailto:info@artemisia-association.eu?Subject=Question regarding ARTEMISIA (contact established via the ArtistDesign European Network of Excellence)&quot; class='spip_mail'&gt;info@artemisia-association.eu&lt;/a&gt;&lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>
<item xml:lang="en">
		<title>CASTNESS'07 Workshop and School</title>
		<link>http://www.artist-embedded.org/artist/CASTNESS-07-Workshop-and-School,735.html</link>
		<guid isPermaLink="true">http://www.artist-embedded.org/artist/CASTNESS-07-Workshop-and-School,735.html</guid>
		<dc:date>2007-01-31T13:46:00Z</dc:date>
		<dc:format>text/html</dc:format>
		<dc:language>en</dc:language>
		<dc:creator>Bruno Bouyssounouse</dc:creator>


		<dc:subject>hot topic</dc:subject>

		<description>

-
&lt;a href="http://www.artist-embedded.org/artist/-CASTNESS-07-Workshop-and-School-.html" rel="directory"&gt; CASTNESS'07 Workshop and School&lt;/a&gt;

/ 
&lt;a href="http://www.artist-embedded.org/artist/+-hot-topic-+.html" rel="tag"&gt;hot topic&lt;/a&gt;

		</description>


 <content:encoded>&lt;div class='rss_texte'&gt;&lt;p&gt; &lt;IFRAME src=&quot;http://shapes.atmelroma.it/twiki/bin/view/ShapesPublic/CastNess07&quot; width=100% height=4000 scrolling=&quot;auto&quot; frameborder=&quot;1&quot;&gt;&lt;/IFRAME&gt; &lt;/p&gt;&lt;/div&gt;
		
		</content:encoded>


		

	</item>



</channel>

</rss>
