28.11.2014 Views

PDF, 55.773 M - Proceedings of the II International Multiconference ...

PDF, 55.773 M - Proceedings of the II International Multiconference ...

PDF, 55.773 M - Proceedings of the II International Multiconference ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>International</strong> Workshop on Real Time S<strong>of</strong>tware:<br />

Call For Papers 567<br />

Real Time Behavior <strong>of</strong> Data in Distributed Embedded Systems 569<br />

Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec<br />

Compact RIO Embedded System in Power Quality Analysis Area. 577<br />

Petr Bilik, Ludvik Koval, Jiri Hajduk<br />

Real-time Task Reconfiguration Support Applied to an UAV-based<br />

Surveillance System 581<br />

Alécio Pedro Delazari Binotto, Edison Pignaton de Freitas, Carlos Eduardo<br />

Pereira, André Stork, Tony Larsson<br />

Student’s Contest: Self-Driven Slot Car Racing 589<br />

Milan Brejl, Jaroslav Niečesaný<br />

Real-time Support in Adaptable Middleware for Heterogeneous Sensor<br />

Networks 593<br />

Edison Pignaton de Freitas, Marco Aurelio Wehrmeister, Carlos Eduardo<br />

Pereira, Tony Larsson<br />

Embedded control systems design based on RT-DEVS and temporal<br />

analysis using Uppaal 601<br />

Angelo Furfaro, Libero Nigro<br />

Study <strong>of</strong> different load dependencies among shared redundant systems 609<br />

Ján Galdun, Jean-Marc Thiriet, Ján Liguš<br />

Runtime resource assurance and adaptation with Qinna framework: a case<br />

study 617<br />

Laure Gonnord, Jean-Philippe Babau<br />

Real-time Control Teaching Using LEGO R○ MINDSTORMS R○ NXT Robot 625<br />

Wojciech Grega, Adam Piłat<br />

A Safety Shell for UML-RT Projects 629<br />

Roman Gumzej, Wolfgang A. Halang<br />

An RSIC-SE2004 Curriculum Framework 633<br />

Thomas Hilburn, Andrew Kornecki, Wojciech Grega, Jean-Marc Thiriet,<br />

Miroslav Sveda<br />

You Can’t Get There From Here! Problems and Potential Solutions in<br />

Developing New Classes <strong>of</strong> Complex Computer Systems 639<br />

Michael Hinchey, James Rash, Walter Truszkowski, Christopher Rouff, Roy<br />

Sterritt<br />

Minos—The design and implementation <strong>of</strong> an embedded real-time operating<br />

system with a perspective <strong>of</strong> fault tolerance 649<br />

Thomas Kaegi-Trachsel, Juerg Gutknecht<br />

Simulator Generation Using an Automaton Based Pipeline Model for<br />

Timing Analysis 657<br />

Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Guillaume Savaton, Yvon<br />

Trinquet<br />

S<strong>of</strong>tware Certification for Safety-Critical Systems: A Status Report 665<br />

Andrew Kornecki, Janusz Zalewski<br />

Modeling Real-Time Database Concurrency Control Protocol<br />

Two-Phase-Locking in Uppaal 673<br />

Martin Kot<br />

Distributed Scheduling for Real-Time Railway Traffic Control 679<br />

Tiberiu Letia, Mihai Hulea, Radu Miron<br />

Wireless Sensor and Actuator Networks: Characterization and Case Study<br />

for Confined Spaces Healthcare Applications 687<br />

Diego Martinez, Francisco Blanes, Jose Simo, Alfons Crespo<br />

x

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!