default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th SIES 2015: Siegen, Germany
- 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015. IEEE 2015, ISBN 978-1-4673-7711-9
- Gernot Spiegelberg, Hermann Kopetz, Alfons Crespo:
Keynote Talks: Requirements on E/E-system architecture for future car concepts - Example eMobility with project RACE. IV-VI
Session 1 Automotive Systems
- Nesredin Mahmud, Cristina Seceleanu
, Oscar Ljungkrantz:
ReSA: An ontology-based requirement specification language tailored to automotive systems. 1-10 - Simon Gansel, Stephan Schnitzer, Riccardo Cecolin, Frank Dürr, Kurt Rothermel, Christian Maihöfer:
Efficient compositing strategies for automotive HMI systems. 11-20 - Thomas Frühwirth, Wilfried Steiner, Bernhard Stangl:
TTEthernet SW-based end system for AUTOSAR. 21-28
Session 2 Architectures and architecture analysis
- Leonardo Ecco, Selma Saidi, Adam Kostrzewa, Rolf Ernst:
Real-time DRAM throughput guarantees for latency sensitive mixed QoS MPSoCs. 29-38 - Jaume Abella, Carles Hernández, Eduardo Quiñones, Francisco J. Cazorla, Philippa Ryan Conmy, Mikel Azkarate-askasua, Jon Pérez, Enrico Mezzetti, Tullio Vardanega:
WCET analysis methods: Pitfalls and challenges on their trustworthiness. 39-48 - Long Cheng, Kai Huang, Gang Chen, Biao Hu, Alois C. Knoll:
Periodic thermal management for hard real-time systems. 49-58 - Laure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul:
Wormhole networks properties and their use for optimizing worst case delay analysis of many-cores. 59-68
Session 3 Networked embedded systems
- Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Analysis of access control policies in networked embedded systems: A case study. 69-78 - Marco Andre Roda, L. Mendes, P. Gomes, Gregory Pigny, Sérgio Faria:
A new Profibus-DP interface for CERN's sputter ion pump controllers. 79-87 - Raphael Eidenbenz, Thanikesavan Sivanthi, Aurelien Monot, Jun Liu:
Real-time network traffic handling in FASA. 88-97 - D.-K. Dang, Ahlem Mifdaoui:
Stochastic delay analysis of a wireless safety-critical avionics network. 98-107
Session 4 Time-triggered systems and Cyclic executives
- Matthias Freier, Jian-Jia Chen:
Time-triggered communication scheduling analysis for real-time multicore systems. 108-116 - Jesús Aísa, José Luis Villarroel:
Supporting firm real-time traffic in fault-tolerant real-time systems based on cyclic scheduling - The WICKPro protocol. 117-126 - Guillaume Langelier, Arnaud Dury, Alexandre Petrenko, S. Ramesh, Tameem Assaf:
Building an interactive test development environment for cyclic executive systems. 127-135
Session 5 WIP session
- Daniel Münch, Michael Paulitsch, Andreas Herkersdorf:
Monitoring of I/O for safety-critical systems using PCI express advanced error reporting. 136-139 - Daniel Pfefferkorn, Hartwig Jeschke, Holger Blume:
Energy- and latency-aware simulation of battery-operated wireless embedded networks for home automation. 140-143 - André Kohn, Michael Kasmeyer, Rolf Schneider, Andre Roger, Claus Stellwag, Andreas Herkersdorf:
Fail-operational in safety-related automotive multi-core systems. 144-147 - William L. Honig, Konstantin Läufer, George K. Thiruvathukal:
A framework architecture for student learning in distributed embedded systems. 148-151 - Leonard Masing, Stephan Werner, Jürgen Becker:
Virtual prototyping of heterogeneous dynamic platforms using Open Virtual Platforms. 152-155 - Christian Scholer, Rene Krenz-Baath, Ayman Murshed, Roman Obermaisser:
Optimal SAT-based scheduler for time-triggered networks-on-a-chip. 156-161 - Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson, Wilfried Steiner:
SMT-based synthesis of TTEthernet schedules: A performance study. 162-165 - Arne Noyer, Padma Iyenghar, Elke Pulvermüller, Joachim Engelhardt, Florian Pramme, Gert Bikker:
A model-based workflow from specification until validation of timing requirements in embedded software systems. 166-169 - Walter Stechele:
Protecting FPGA-based automotive systems against soft errors through reduced precision redundancy. 170-173 - Ekarat Rattagan, Edward T.-H. Chu, Ying-Dar Lin, Yuan-Cheng Lai:
Semi-online power estimation for smartphone hardware components. 174-177
Session 6 Resource Management and Real-Time Scheduling
- Dirk Müller, Alan Burns:
Deriving period restrictions from a given utilization bound under RMS. 178-184 - Rudolf H. Mak, Ionut David, Johan J. Lukkien:
From modes to patterns: Pattern-based resource management in time-critical applications. 185-194 - Sara Afshar, Moris Behnam, Reinder J. Bril, Thomas Nolte:
Resource sharing under global scheduling with partial processor bandwidth. 195-206
Session 7 Operating Systems, Virtualization and Hypervisors
- Matthias Becker, Nima Moghaddami Khalilzad, Reinder J. Bril, Thomas Nolte:
Extended support for limited preemption fixed priority scheduling for OSEK/AUTOSAR-compliant operating systems. 207-217 - Arianna Avanzini, Paolo Valente, Dario Faggioli, Paolo Gai:
Integrating Linux and the real-time ERIKA OS through the Xen hypervisor. 218-224 - Dominik Reinhardt, Maximilian Güntner, Markus Kucera, Thomas Waas, Winfried E. Kühnhauser:
Mapping CAN-to-ethernet communication channels within virtualized embedded environments. 225-234
Session 8 Analysis and Synthesis by Formal Methods
- Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim Guldstrand Larsen:
Model checking of finite-state machine-based scenario-aware dataflow using timed automata. 235-244 - Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis:
Using BIP to reinforce correctness of resource-constrained IoT applications. 245-253 - Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, Ingo Sander, Joël Champeau, Johnny Öberg:
A formal, model-driven design flow for system simulation and multi-core implementation. 254-263 - Wei-Tsun Sun, Alain Girault, Gwenaël Delaval:
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems. 264-272
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
