Abstract is missing.
- Keynote Talks: Requirements on E/E-system architecture for future car concepts - Example eMobility with project RACEGernot Spiegelberg, Hermann Kopetz, Alfons Crespo. [doi]
- ReSA: An ontology-based requirement specification language tailored to automotive systemsNesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz. 1-10 [doi]
- Efficient compositing strategies for automotive HMI systemsSimon Gansel, Stephan Schnitzer, Riccardo Cecolin, Frank Dürr, Kurt Rothermel, Christian Maihöfer. 11-20 [doi]
- TTEthernet SW-based end system for AUTOSARThomas Fruhwirth, Wilfried Steiner, Bernhard Stangl. 21-28 [doi]
- Real-time DRAM throughput guarantees for latency sensitive mixed QoS MPSoCsLeonardo Ecco, Selma Saidi, Adam Kostrzewa, Rolf Ernst. 29-38 [doi]
- WCET analysis methods: Pitfalls and challenges on their trustworthinessJaume Abella, Carles Hernández, Eduardo Quiñones, Francisco J. Cazorla, Philippa Ryan Conmy, Mikel Azkarate-askasua, Jon Perez, Enrico Mezzetti, Tullio Vardanega. 39-48 [doi]
- Periodic thermal management for hard real-time systemsLong Cheng, Kai Huang, Gang Chen, Biao Hu, Alois Knoll. 49-58 [doi]
- Wormhole networks properties and their use for optimizing worst case delay analysis of many-coresLaure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul. 59-68 [doi]
- Analysis of access control policies in networked embedded systems: A case studyManuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano. 69-78 [doi]
- A new Profibus-DP interface for CERN's sputter ion pump controllersM. Roda, L. Mendes, P. Gomes, G. Pigny, S. Faria. 79-87 [doi]
- Real-time network traffic handling in FASARaphael Eidenbenz, Thanikesavan Sivanthi, Aurelien Monot, Jun Liu. 88-97 [doi]
- Stochastic delay analysis of a wireless safety-critical avionics networkD.-K. Dang, Ahlem Mifdaoui. 98-107 [doi]
- Time-triggered communication scheduling analysis for real-time multicore systemsMatthias Freier, Jian-Jia Chen. 108-116 [doi]
- Supporting firm real-time traffic in fault-tolerant real-time systems based on cyclic scheduling - The WICKPro protocolJesús Aísa, José Luis Villarroel. 117-126 [doi]
- Building an interactive test development environment for cyclic executive systemsGuillaume Langelier, Arnaud Dury, Alexandre Petrenko, S. Ramesh, Tameem Assaf. 127-135 [doi]
- Monitoring of I/O for safety-critical systems using PCI express advanced error reportingDaniel Münch, Michael Paulitsch, Andreas Herkersdorf. 136-139 [doi]
- Energy- and latency-aware simulation of battery-operated wireless embedded networks for home automationDaniel Pfefferkorn, Hartwig Jeschke, Holger Blume. 140-143 [doi]
- Fail-operational in safety-related automotive multi-core systemsAndre Kohn, Michael Kasmeyer, Rolf Schneider, Andre Roger, Claus Stellwag, Andreas Herkersdorf. 144-147 [doi]
- A framework architecture for student learning in distributed embedded systemsWilliam L. Honig, Konstantin Läufer, George K. Thiruvathukal. 148-151 [doi]
- Virtual prototyping of heterogeneous dynamic platforms using Open Virtual PlatformsLeonard Masing, Stephan Werner 0002, Jürgen Becker. 152-155 [doi]
- Optimal SAT-based scheduler for time-triggered networks-on-a-chipChristian Scholer, Rene Krenz-Baath, Ayman Murshed, Roman Obermaisser. 156-161 [doi]
- SMT-based synthesis of TTEthernet schedules: A performance studyFrancisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson, Wilfried Steiner. 162-165 [doi]
- A model-based workflow from specification until validation of timing requirements in embedded software systemsArne Noyer, Padma Iyenghar, Elke Pulvermüller, Joachim Engelhardt, Florian Pramme, Gert Bikker. 166-169 [doi]
- Protecting FPGA-based automotive systems against soft errors through reduced precision redundancyWalter Stechele. 170-173 [doi]
- Semi-online power estimation for smartphone hardware componentsEkarat Rattagan, Edward T.-H. Chu, Ying-Dar Lin, Yuan-Cheng Lai. 174-177 [doi]
- Deriving period restrictions from a given utilization bound under RMSDirk Müller 0002, Alan Burns. 178-184 [doi]
- From modes to patterns: Pattern-based resource management in time-critical applicationsRudolf H. Mak, Ionut David, Johan J. Lukkien. 185-194 [doi]
- Resource sharing under global scheduling with partial processor bandwidthSara Afshar, Moris Behnam, Reinder J. Bril, Thomas Nolte. 195-206 [doi]
- Extended support for limited preemption fixed priority scheduling for OSEK/AUTOSAR-compliant operating systemsMatthias Becker, Nima Moghaddami Khalilzad, Reinder J. Bril, Thomas Nolte. 207-217 [doi]
- Integrating Linux and the real-time ERIKA OS through the Xen hypervisorArianna Avanzini, Paolo Valente, Dario Faggioli, Paolo Gai. 218-224 [doi]
- Mapping CAN-to-ethernet communication channels within virtualized embedded environmentsDominik Reinhardt, Maximilian Güntner, Markus Kucera, Thomas Waas, Winfried E. Kühnhauser. 225-234 [doi]
- Model checking of finite-state machine-based scenario-aware dataflow using timed automataMladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim Guldstrand Larsen. 235-244 [doi]
- Using BIP to reinforce correctness of resource-constrained IoT applicationsAlexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis. 245-253 [doi]
- A formal, model-driven design flow for system simulation and multi-core implementationPapa Issa Diallo, Seyed Hosein Attarzadeh Niaki, Francesco Robino, Ingo Sander, Joël Champeau, Johnny Öberg. 254-263 [doi]
- A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systemsWei-Tsun Sun, Alain Girault, Gwenaël Delaval. 264-272 [doi]