Abstract is missing.
- A Real-Time Scratchpad-Centric OS for Multi-Core Embedded SystemsRohan Tabish, Renato Mancuso, Saud Wasly, Ahmed Alhammad, Sujit S. Phatak, Rodolfo Pellizzoni, Marco Caccamo. 1-11 [doi]
- OSEK-Like Kernel Support for Engine Control Applications under EDF SchedulingVincenzo Apuzzo, Alessandro Biondi, Giorgio C. Buttazzo. 13-23 [doi]
- A Kernel for Energy-Neutral Real-Time Systems with Mixed CriticalitiesPeter Wägemann, Tobias Distler, Heiko Janker, Phillip Raffeck, Volkmar Sieh. 25-36 [doi]
- Temporal Isolation of Hard Real-Time Applications on Many-Core ProcessorsQuentin Perret, Pascal Maurere, Eric Noulard, Claire Pagetti, Pascal Sainrat, Benoit Triquet. 37-47 [doi]
- Poster Abstract: Towards Parallelizing Legacy Embedded Control Software Using the LET Programming ParadigmJulien Hennig, Hermann von Hasseln, Hassan Mohammad, Stefan Resmerita, Stefan Lukesch, Andreas Naderlinger. 51 [doi]
- Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered ImplementationsHela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem. 52 [doi]
- Poster Abstract: Slot-Level Time-Triggered Scheduling on COTS Multicore Platform with Resource ContentionsAnkit Agrawal, Gerhard Fohler, Jan Nowotsch, Sascha Uhrig, Michael Paulitsch. 53 [doi]
- Poster Abstract: Scheduling Multi-Threaded Tasks to Reduce Intra-Task Cache ContentionCorey Tessler, Nathan Fisher. 54 [doi]
- Poster Abstract: I/O Contention Aware Mapping of Multi-Criticalities Real-Time Applications over Many-Core ArchitecturesLaure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul. 55 [doi]
- Poster Abstract: Memory-Aware Response Time Analysis for P-FRP TasksXingliang Zou, Albert M. K. Cheng. 56 [doi]
- Poster Abstract: Cache Persistence Aware Response Time Analysis for Fixed Priority Preemptive SystemsSyed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar. 57 [doi]
- Poster Abstract: An Optimizing Framework for Real-Time SchedulingSakthivel Manikandan Sundharam, Sebastian Altmeyer, Nicolas Navet. 58 [doi]
- Poster Abstract: Preliminary Performance Evaluation of HEF Scheduling AlgorithmCarlos A. Rincon C., Albert M. K. Cheng. 59 [doi]
- Poster Abstract: Using Linked List in Exact Schedulability Tests for Fixed Priority SchedulingJiaming Lv, Yu Jiang, Xingliang Zou, Albert M. K. Cheng. 60 [doi]
- Poster Abstract: Online Semi-Partitioned Multiprocessor Scheduling of Soft Real-Time Periodic Tasks for QoS OptimizationBehnaz Sanati, Albert M. K. Cheng. 61 [doi]
- Poster Abstract: Towards Worst-Case Bounds Analysis of the IEEE 802.15.4eHarrison Kurunathan, Ricardo Severino, Anis Koubaa, Eduardo Tovar. 62 [doi]
- Demo Abstract: TEMPO: Integrating Scheduling Analysis in the Industrial Design PracticesRafik Henia, Laurent Rioux, Nicolas Sordon. 63 [doi]
- Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical SystemsLoïc Fejoz, Nicolas Navet, Sakthivel Manikandan Sundharam, Sebastian Altmeyer. 64 [doi]
- Demo Abstract: Demonstration of the FMTV 2016 Timing Verification ChallengeArne Hamann, Dirk Ziegenbein, Simon Kramer 0003, Martin Lukasiewycz. 65 [doi]
- Demo Abstract: Response-Time Analysis for Task Chains in Communicating Threads with pyCPAJohannes Schlatow, Jonas Peeck, Rolf Ernst. 66 [doi]
- Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical SystemsGeoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo Tovar. 67 [doi]
- Demo Abstract: Timing Aware Hardware Virtualization on the L4Re Microkernel SystemsAdam Lackorzynski, Alexander Warg. 68 [doi]
- Demo Abstract: Predictable SoC Architecture Based on COTS Multi-CoreNitin Shivaraman, Sriram Vasudevan, Arvind Easwaran. 69 [doi]
- Demo Abstract: A Real-Time Low Datarate Protocol for Cooperative Mobile Robot TeamsGaetano Patti, Giovanni Muscato, Nunzio Abbate, Lucia Lo Bello. 70 [doi]
- Criticality- and Requirement-Aware Bus Arbitration for Multi-Core Mixed Criticality SystemsMohamed Hassan, Hiren D. Patel. 73-83 [doi]
- Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory ControllersYonghui Li, Benny Akesson, Kai Lampka, Kees G. W. Goossens. 85-96 [doi]
- Memory Servers for Multicore SystemsRodolfo Pellizzoni, Heechul Yun. 97-108 [doi]
- TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time SystemsMan-Ki Yoon, Sibin Mohan, Chien-Ying Chen, Lui Sha. 111-122 [doi]
- Analysis and Implementation of GlEnergy Saving for Mixed-Criticalityobal Preemptive Fixed-Priority Scheduling with Dynamic Cache AllocationMeng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, Insup Lee. 123-134 [doi]
- Exploring Energy Saving for Mixed-Criticality Systems on Multi-CoresSujay Narayana, Pengcheng Huang, Georgia Giannopoulou, Lothar Thiele, R. Venkatesha Prasad. 135-146 [doi]
- Attacking the One-Out-Of-m Multicore Problem by Combining Hardware Management with Mixed-Criticality ProvisioningNamhoon Kim, Bryan C. Ward, Micaiah Chisholm, Cheng-Yang Fu, James H. Anderson, F. Donelson Smith. 149-160 [doi]
- Taming Non-Blocking Caches to Improve Isolation in Multicore Real-Time SystemsPrathap Kumar Valsan, Heechul Yun, Farzad Farshchi. 161-172 [doi]
- Mixed-Criticality Federated Scheduling for Parallel Real-Time TasksJing Li, David Ferry, Shaurya Ahuja, Kunal Agrawal, Christopher D. Gill, Chenyang Lu. 173-184 [doi]
- Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET AnalysisThomas Sewell, Felix Kam, Gernot Heiser. 185-195 [doi]
- Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow GraphsAdnan Bouakaz, Pascal Fradet, Alain Girault. 199-208 [doi]
- Modeling Multi-Periodic Simulink Systems by Synchronous Dataflow GraphsEnagnon Cedric Klikpo, Jad Khatib, Alix Munier Kordon. 209-218 [doi]
- Combining Offsets with Precedence Constraints to Improve Temporal Analysis of Cyclic Real-Time Streaming ApplicationsPhilip S. Kurtin, Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij. 219-230 [doi]
- From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller DesignYu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha. 231-241 [doi]
- Response-Time Analysis for Task Chains in Communicating ThreadsJohannes Schlatow, Rolf Ernst. 245-254 [doi]
- Buffer Space Allocation for Real-Time Priority-Aware NetworksHany Kashif, Hiren D. Patel. 255-266 [doi]
- Modeling High-Performance Wormhole NoCs for Critical Real-Time Embedded SystemsMilos Panic, Carles Hernández, Eduardo Quiñones, Jaume Abella, Francisco J. Cazorla. 267-278 [doi]
- Multi-Objective Co-Optimization of FlexRay-Based Distributed Control SystemsDebayan Roy, Licong Zhang, Wanli Chang, Dip Goswami, Samarjit Chakraborty. 279-290 [doi]
- Precise Cache Timing Analysis via Symbolic ExecutionDuc-Hiep Chu, Joxan Jaffar, Rasool Maghareh. 293-304 [doi]
- Improving Early Design Stage Timing Modeling in Multicore Based Real-Time SystemsDavid Trilla, Javier Jalle, Mikel Fernández, Jaume Abella, Francisco J. Cazorla. 305-316 [doi]
- Trading Cores for Memory Bandwidth in Real-Time SystemsAhmed Alhammad, Rodolfo Pellizzoni. 317-327 [doi]