Table of Contents

• Embedded systems in automation - Commodities and challengesRené Graf. [doi]
• Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switchingJonas Diemer, Daniel Thiele, Rolf Ernst. 1-10 [doi]
• Worst-case delay analysis on a real-time heterogeneous networkXiaoting Li, Jean-Luc Scharbarg, Christian Fraboul. 11-20 [doi]
• Response-time analysis of the flexray dynamic segment under consideration of slot-multiplexingMoritz Neukirchner, Mircea Negrean, Rolf Ernst, Torsten T. Bone. 21-30 [doi]
• Certification-cognizant scheduling of tasks with pessimistic frequency specificationSanjoy K. Baruah. 31-38 [doi]
• Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systemsSjoerd Cranen, Reinder J. Bril. 39-47 [doi]
• Online intra-task device scheduling for hard real-time systemsMuhammad Ali Awan, Stefan M. Petters. 48-56 [doi]
• An improved preemption delay upper bound for floating non-preemptive regionJosé Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut. 57-66 [doi]
• A performance study of Audio Video Bridging in aeronautic Ethernet networksEmanuel Heidinger, Fabien Geyer, Stefan Schneele, Michael Paulitsch. 67-75 [doi]
• Implementing hierarchical scheduling on COTS Ethernet switches using a master/slave approachZahid Iqbal, Luís Almeida, Ricardo Marau, Moris Behnam, Thomas Nolte. 76-84 [doi]
• Design of Networked Control Systems (NCSs) on the basis of interplays between Quality of Control and Quality of ServiceHung Xuan Nguyen, Guy Juanole. 85-93 [doi]
• On the timing analysis of the dynamic segment of FlexRayUnmesh D. Bordoloi, Bogdan Tanasa, Petru Eles, Zebo Peng. 94-101 [doi]
• Opportunistic hierarchical classification for power optimization in wearable movement monitoring systemsFrancesco Fraternali, Mahsan Rofouei, Nabil Alshurafa, Hassan Ghasemzadeh, Luca Benini, Majid Sarrafzadeh. 102-111 [doi]
• Inter-application redundancy elimination in Wireless Sensor Networks with compiler-assisted schedulingVikram Gupta, Eduardo Tovar, Karthik Lakshmanan, Ragunathan Rajkumar. 112-119 [doi]
• On voting strategies for loosely synchronized dependable real-time systemsHüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, Iain Bate. 120-129 [doi]
• Efficient implementation of AUTOSAR components with minimal memory usageHaibo Zeng, Marco Di Natale. 130-137 [doi]
• Introducing database-centric support in AUTOSARAndreas Hjertström, Dag Nyström, Mikael Sjödin. 138-147 [doi]
• Bandwidth adaptation in hierarchical scheduling using fuzzy controllersNima Moghaddami Khalilzad, Moris Behnam, Giacomo Spampinato, Thomas Nolte. 148-157 [doi]
• Probabilistic preemption control using frequency scaling for sporadic real-time tasksAbhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat. 158-165 [doi]
• Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysisDawood Khan, Luca Santinelli, Liliana Cucu-Grosjean. 166-175 [doi]
• Embedded systems: Many cores - Many problemsReinhard Wilhelm, Jan Reineke. 176-180 [doi]
• Optimized software mapping for advanced driver assistance systemsTimo Schönwald, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel. 181-190 [doi]
• Response-time analysis for non-preemptive scheduling in multi-core systems with shared resourcesMircea Negrean, Rolf Ernst. 191-200 [doi]
• Model-driven virtual prototyping for real-time simulation of distributed embedded systemsJochen Zimmermann, Stefan Stattelmann, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel. 201-210 [doi]
• A formal support for homogeneous simulation of heterogeneous embedded systemsLuigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco. 211-219 [doi]
• Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoCLaurence Pierre, Luca Ferro, Zeineb Bel Hadj Amor, Philippe Bourgon, Jérôme Quévremont. 220-228 [doi]
• An LLVM-based hybrid binary translation systemBor-Yeh Shen, Jyun-Yan You, Wuu Yang, Wei-Chung Hsu. 229-236 [doi]
• Enhancing security in CAN systems using a star coupling routerRoland Kammerer, Bernhard Frömel, Armin Wasicek. 237-246 [doi]
• System configuration check against security policies in industrial networksManuel Cheminod, Luca Durante, Adriano Valenzano. 247-265 [doi]
• Fine-grained timing and control flow error checking for hard real-time task executionJulian Wolf, Bernhard Fechner, Sascha Uhrig, Theo Ungerer. 257-266 [doi]
• Scalable virtual prototyping of distributed embedded control in a modern elevator systemAlberto Ferrari, Marco Carloni, Alessandro Mignogna, Francesco Menichelli, David Ginsberg, Eelco Scholte, Dang Nguyen. 267-270 [doi]
• Towards runtime adaptation in real-time, networked embedded systemsChristian Prehofer, Marc Zeller. 271-274 [doi]
• Design by uncertainty: Towards the use of measurement uncertainty in real-time systemsPeter Ulbrich, Florian Franzmann, Fabian Scheler, Wolfgang Schröder-Preikschat. 275-278 [doi]
• LISPARC: Using an architecture description language approach for modelling an adaptive processor microarchitectureCarsten Tradowsky, Florian Thoma, Michael Hübner, Jürgen Becker. 279-282 [doi]
• Non-generic floating-point software support for embedded media processingClaude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat. 283-286 [doi]
• AUTOSAR OS on a message-passing multicore processorFlorian Kluge, Mike Gerdes, Theo Ungerer. 287-290 [doi]
• Response time analysis for mixed messages in CAN supporting transmission abort requestsSaad Mubeen, Jukka Mäki-Turja, Mikael Sjödin. 291-294 [doi]
• Combining instruction set simulation and WCET analysis for embedded software performance estimationStefan Stattelmann, Sebastian Ottlik, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel. 295-298 [doi]
• Shared memory protection for spatial separation in multicore architecturesAnton Hattendorf, Andreas Raabe, Alois Knoll. 299-302 [doi]
• Designing embedded systems with MARTE: A PIM to PSM converterRoberto de Medeiros, Miguel Góis, Drausio Linardi Rossi, Vanderlei Bonato. 303-306 [doi]
• Performance evaluation of Chirp Spread Spectrum ranging for indoor embedded navigation systemsPaolo Pivato, Stefano Dalpez, David Macii. 307-310 [doi]
• A predicate-aware modulo scheduling for improving resource efficiency of coarse grained reconfigurable architecturesJhin-Bin Jiang, Kuen-Cheng Chiang, Jean Jyh-Jiun Shann. 311-314 [doi]
• Towards resource sharing under multiprocessor semi-partitioned schedulingSara Afshar, Farhang Nemati, Thomas Nolte. 315-318 [doi]
• Implementing hierarchical scheduling to support multi-mode systemRafia Inam, Mikael Sjödin, Reinder J. Brfi. 319-322 [doi]
• Miniaturized wireless sensor node for earthquake monitoring applicationsKevin I-Kai Wang, Zoran A. Salcic, Mathew R. Wilson, Karl M. Brook. 323-326 [doi]
• Automated Bio Cybernetic System: A Lab-on-Chip case studyKevin I-Kai Wang, Zoran A. Salcic, Johnny Yeh, Jin Akagi, Donald Wlodkowic. 327-330 [doi]