Abstract is missing.
- Optimization of Time-Partitions for Mixed-Criticality Real-Time Distributed Embedded SystemsDomitian Tamas-Selicean, Paul Pop. 1-10 [doi]
- Synthesis of Static Communication Schedules for Mixed-Criticality SystemsWilfried Steiner. 11-18 [doi]
- Suitability of Hypervisor and MPSoC Architectures for the Execution Environment of an Integrated Embedded SystemMikel Azkarate-askasua, Imanol Martinez, Xabier Iturbe, Roman Obermaisser. 19-24 [doi]
- Proving Memory Separation in a Microkernel by Code Level VerificationChristoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev. 25-32 [doi]
- Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory RepresentationsEva Beckschulze, Jörg Brauer, André Stollenwerk, Stefan Kowalewski. 33-40 [doi]
- Method and Tools for Mixed-Criticality Real-Time Applications within PharOSMatthieu Lemerre, Emmanuel Ohayon, Damien Chabrol, Mathieu Jan, Marie-Bénédicte Jacques. 41-48 [doi]
- Performance Analysis of Time-Triggered Ether-Networks Using Off-the-Shelf-ComponentsFlorian Bartols, Till Steinbach, Franz Korf, Thomas C. Schmidt. 49-56 [doi]
- MultiChipSat Fault-Tolerant ArchitectureMatthew M. McCormack, Alvar Saenz-Otero. 57-62 [doi]
- An Invariant Preserving Transformation for PLC ModelsJan Olaf Blech, Anton Hattendorf, Jia Huang. 63-71 [doi]
- Product Model Derivation by Model Transformation in Software Product LinesRasha Tawhid, Dorina C. Petriu. 72-79 [doi]
- Component-Based Hazard Analysis for Mechatronic SystemsClaudia Priesterjahn, Christoph Sondermann-Wölke, Matthias Tichy, Christian Hölscher. 80-87 [doi]
- Model-Based Hardware Generation and Programming - The MADES ApproachIan Gray, Nikos Matragkas, Neil C. Audsley, Leandro Soares Indrusiak, Dimitris S. Kolovos, Richard F. Paige. 88-96 [doi]
- Architectural Design Patterns for Flight SoftwareJulie Street Fant, Hassan Gomaa, Robert G. Pettit IV. 97-101 [doi]
- Abstract Infrastructure for Real Systems: Reflection and Autonomy in Real TimeChristopher Landauer. 102-109 [doi]
- Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the ArtEmil Vassev, Mike Hinchey. 110-119 [doi]
- Developing Mechanisms for Determining "Good Enough" in SORT SystemsKirstie L. Bellman, Phyllis R. Nelson. 120-125 [doi]
- A Lazy Algorithm for Distributed Priority Assignment in Real-Time SystemsMoritz Neukirchner, Steffen Stein, Rolf Ernst. 126-132 [doi]
- A Service Discovery Approach for Testing Dynamic SOAsAndrea Ceccarelli, Marco Vieira, Andrea Bondavalli. 133-142 [doi]
- Middleware Support for a Self-Configurable Wireless Sensor NetworkMarcelo Götz, Achim Rettberg, Ina Podolski. 143-151 [doi]
- Using Transactional Memory to Synchronize an Adaptive Garbage Collector in Real-Time JavaM. Teresa Higuera-Toledano. 152-161 [doi]
- Analytical Model for the Optimization of Self-Organizing Image Processing Systems Utilizing Cellular AutomataMarc Reichenbach, Michael Schmidt, Dietmar Fey. 162-171 [doi]
- Ordering of Time-Dependent Tasks for Self-Organized Resource SchedulingMathias Pacher, Uwe Brinkschulte. 172-180 [doi]
- Towards Dependability-Aware Design of Hardware Systems Using Extended Program State MachinesKim Grüttner, Andreas Herrholz, Ulrich Kühne, Daniel Große, Achim Rettberg, Wolfgang Nebel, Rolf Drechsler. 181-188 [doi]
- Accurate Temperature Measurements for Medical Research Using Body Sensor NetworksCarlo Alberto Boano, Matteo Lasagni, Kay Römer, Tanja Lange 0002. 189-198 [doi]
- Self-Organizing Real-Time Service Dissemination and Collection Using Mobile Agents for Mobile Ad Hoc NetworksTomoyuki Ohta, Takeshi Hashimoto, Yoshiaki Kakuda. 199-206 [doi]
- Self-Reconfiguration for Fault-Tolerant FlexRay NetworksKay Klobedanz, Andreas Koenig, Wolfgang Müller 0003, Achim Rettberg. 207-216 [doi]
- Self-Organized Cooperation in Swarm RoboticsYara Khaluf, Emi Mathews, Franz J. Rammig. 217-226 [doi]
- Using a Local Prefetch Strategy to Obtain Temporal Time PredictabilityBekim Cilku, Peter P. Puschner. 227-233 [doi]
- Timely Virtual Machine Migration for Pro-active Fault ToleranceAndreas Polze, Peter Tröger, Felix Salfner. 234-243 [doi]
- A Survey of Security Concepts for Common Operating EnvironmentsJoseph P. Loyall, Kurt Rohloff, Partha Pal, Michael Atighetchi. 244-253 [doi]
- Dependability Concerns in Model-Driven EngineeringLeonardo Montecchi, Paolo Lollini, Andrea Bondavalli. 254-263 [doi]
- Challenges for Creating Highly Dependable Service Based SystemsSean Banerjee, Hema Srikanth, Bojan Cukic. 264-273 [doi]
- Vision-Based Autonomous Landing for Small-Scale Unmanned RotorcraftDongwoon Jeon, Kiho Cho, Doo-Hyun Kim. 274-280 [doi]
- Task-Level Probabilistic Scheduling Guarantees for Dependable Real-Time Systems - A Designer Centric ApproachHüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat. 281-287 [doi]
- Virtual Software Execution Environments for Distributed Embedded Control SystemsYukikazu Nakamoto, Kenji Yabuuchi, Tatsunori Osaki. 288-296 [doi]
- Intelligent Agent Software Development Using AUML and the Descartes Specification LanguageVinitha Hannah Subburaj, Joseph E. Urban. 297-305 [doi]
- Live Streaming of Medical Data - The Fontane Architecture for Remote Patient Monitoring and Its Experimental EvaluationAlexander Schacht, Robert Wierschke, Martin Wolf, Martin von Löwis, Andreas Polze. 306-312 [doi]