Abstract is missing.
- Keynote: Toward a space system development frameworkJean-Loup Terraillon, Maxime Perrotin, Christophe Honvault. 2 [doi]
- Model-based design and automated validation of ARINC653 architecturesJérôme Hugues, Julien Delange. 3-9 [doi]
- Evaluation of energy savings on a VLIW processor through dynamic issue-width adaptationJuan S. P. Giraldo, Anderson Luiz Sartor, Luigi Carro, Stephan Wong, Antonio Carlos Schneider Beck. 11-17 [doi]
- Application-specific memory protection policies for energy-efficient reliable designSheng Yang, Rishad A. Shafik, S. Saqib Khursheed, David Flynn, Geoff V. Merrett, Bashir M. Al-Hashimi. 18-24 [doi]
- X-Ware: mutant computing substratesJoao Gabriel Reis, Antônio Augusto Fröhlich, Lucas Francisco Wanner. 25-31 [doi]
- Performance verification for ESL design methodology from AADL modelsGaudron Mathieu, Bois Guy, Jérôme Hugues, Fellipe Monteiro. 33-37 [doi]
- Design of critical embedded systems: from early specifications to prototypesArnaud Grasset. 38 [doi]
- ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROSPranav Srinivas Kumar, William Emfinger, Amogh Kulkarni, Gabor Karsai, Dexter Watkins, Benjamin Gasser, Cameron Ridgewell, Amrutur Anilkumar. 39-45 [doi]
- Fast GPU-in-the-loop simulation technique at OpenGL ES API level for Android Graphics ApplicationsYoungsub Ko, Youngmin Yi, Joongbaik Kim, Soonhoi Ha. 47-53 [doi]
- Challenges for the parallelization of loosely timed SystemC programsDenis Becker, Matthieu Moy, Jérôme Cornet. 54-60 [doi]
- Dynamic data flow analysis for NoC based application synthesisMatthieu Payet, Virginie Fresse, Frédéric Rousseau, Pascal Remy. 61-67 [doi]
- Caasper: providing accessible FPGA-acceleration over the networkValentin Mena Morales, Yahia Brakni, Pierre-Henri Horrein, Amer Baghdadi. 68-74 [doi]
- Ensuring safety and reliability of IP-based system design - A container approachArun Chandrasekharan, Kenneth Schmitz, Ulrich Kühne, Rolf Drechsler. 76-82 [doi]
- Proper handling of interrupts in cyber-physical systemsMateus Krepsky Ludwich, Antônio Augusto Fröhlich. 83-89 [doi]
- Towards an analysis-driven rapid design process for cyber-physical systemsZsolt Lattmann, James Klingler, Patrik Meijer, Jason Scott, Sandeep Neema, Ted Bapty, Gabor Karsai. 90-96 [doi]
- A testbed to simulate and analyze resilient cyber-physical systemsPranav Srinivas Kumar, William Emfinger, Gabor Karsai. 97-103 [doi]
- GMA: a high speed metaheuristic algorithmic approach to hardware software partitioning for Low-cost SoCsNaman Govil, Shubhajit Roy Chowdhury. 105-111 [doi]
- Generic scrubbing-based architecture for custom error correction algorithmsRui Santos, Shyamsundar Venkataraman, Akash Kumar. 112-118 [doi]
- A multi-objective approach for software/hardware partitioning in a multi-target tracking systemIhsen Alouani, Braham L. Mediouni, Smaïl Niar. 119-125 [doi]
- Hard block reduction and synthesis improvements in Odin IIBo Yan, Kenneth B. Kent. 126-132 [doi]
- Rapid prototyping of complete systems, the case study of a smart parkingLaurent-Frederic Ducreux, Claire Guyon-Gardeux, Maxime Louvel, François Pacull, Safietou Raby Thior, Maria Isabel Vergara Gallego. 133-139 [doi]