


default search action
8th SIES 2013: Porto, Portugal
- 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, Porto, Portugal, June 19-21, 2013. IEEE 2013, ISBN 978-1-4799-0658-1 
- Eduardo Tovar  , Richard Zurawski, Roberto Passerone , Richard Zurawski, Roberto Passerone , Karl-Erik Årzén, Arvind Easwaran , Karl-Erik Årzén, Arvind Easwaran , Luca Santinelli: , Luca Santinelli:
 Welcome message.
Optimization
- Mario Bambagini, Marko Bertogna  , Mauro Marinoni , Mauro Marinoni , Giorgio C. Buttazzo: , Giorgio C. Buttazzo:
 An energy-aware algorithm exploiting limited preemptive scheduling under fixed priorities. 3-12
- Khaled Baati, Michel Auguin: 
 Temperature-aware DVFS-DPM for real-time applications under variable ambient temperature. 13-20
- Matthias Freier, Jian-Jia Chen  : :
 Prioritization for real-time embedded systems on dual-core platforms by exploiting the typical- and worst-case execution times. 21-29
Multicore
- Javier Jalle, Jaume Abella  , Eduardo Quiñones , Eduardo Quiñones , Luca Fossati, Marco Zulianello, Francisco J. Cazorla , Luca Fossati, Marco Zulianello, Francisco J. Cazorla : :
 Deconstructing bus access control policies for Real-Time multicores. 31-38
- Dakshina Dasari, Benny Akesson  , Vincent Nélis , Vincent Nélis , Muhammad Ali Awan , Muhammad Ali Awan , Stefan M. Petters , Stefan M. Petters : :
 Identifying the sources of unpredictability in COTS-based multicore systems. 39-48
- Alexander Wieder, Björn B. Brandenburg: 
 Efficient partitioning of sporadic real-time tasks with shared resources and spin locks. 49-58
- Laura Micconi, Deepak Gangadharan  , Paul Pop , Paul Pop , Jan Madsen , Jan Madsen : :
 Multi-ASIP platform synthesis for real-time applications. 59-67
Work-in-Progress Session
- Mario Collotta  , Arcangelo Lo Cascio, Giovanni Pau , Arcangelo Lo Cascio, Giovanni Pau , Gianfranco Scatà: , Gianfranco Scatà:
 Smart localization platform for IEEE 802.11 industrial networks. 69-72
- Benjamin Menhorn, Lukas Brix, Frank Slomka: 
 Digital hardware projects: A new tool for automated complexity analysis. 73-76
- Abdelaziz Ahmed Nacer, Katia Jaffrès-Runser  , Jean-Luc Scharbarg, Christian Fraboul: , Jean-Luc Scharbarg, Christian Fraboul:
 Strategies for the interconnection of CAN buses through an Ethernet switch. 77-80
- Mehdi Aïchouch, Jean-Christophe Prévotet  , Fabienne Nouvel: , Fabienne Nouvel:
 Evaluation of the overheads and latencies of a virtualized RTOS. 81-84
- Mahmoud Naghibzadeh  , Peyman Neamatollahi , Peyman Neamatollahi , Reza Ramezani, Amin Rezaeian, Toktam Dehghani: , Reza Ramezani, Amin Rezaeian, Toktam Dehghani:
 Efficient semi-partitioning and rate-monotonic scheduling hard real-time tasks on multi-core systems. 85-88
- Cláudio Maia  , Luís Nogueira , Luís Nogueira , Luís Miguel Pinho , Luís Miguel Pinho : :
 Scheduling parallel real-time tasks using a fixed-priority work-stealing algorithm on multiprocessors. 89-92
- Femi A. Aderohunmu, Giacomo Paci, Luca Benini  , Jeremiah D. Deng, Davide Brunelli , Jeremiah D. Deng, Davide Brunelli : :
 SWIFTNET: A data acquisition protocol for fast-reactive monitoring applications. 93-96
- Syed Md Jakaria Abdullah  , Nima Moghaddami Khalilzad, Moris Behnam, Thomas Nolte: , Nima Moghaddami Khalilzad, Moris Behnam, Thomas Nolte:
 Towards implementation of Virtual-Clustered multiprocessor scheduling in Linux. 97-100
- Luca Rizzon, Roberto Passerone  : :
 Embedded soundscape rendering for the visually impaired. 101-104
- Maryam Vahabi, Eduardo Tovar  , Michele Albano , Michele Albano : :
 A self-adaptive approximate interpolation scheme for dense sensing. 105-109
- Johan Eriksson, Fredrik Haggstrom, Simon Aittamaa, Andrey Kruglyak, Per Lindgren: 
 Real-time for the masses, step 1: Programming API and static priority SRP kernel primitives. 110-113
- Ricardo Garibay-Martínez, Luis Lino Ferreira  , Cláudio Maia , Cláudio Maia , Luís Miguel Pinho , Luís Miguel Pinho : :
 Towards transparent parallel/distributed support for real-time embedded applications. 114-117
Requirements
- Leonardo Mangeruca, Orlando Ferrante, Alberto Ferrari: 
 Formalization and completeness of evolving requirements using Contracts. 120-129
- Ingo Stierand, Philipp Reinkemeier, Tayfun Gezgin, Purandar Bhaduri  : :
 Real-time scheduling interfaces and contracts for the design of distributed embedded systems. 130-139
- Erwan Jahier, Nicolas Halbwachs, Pascal Raymond: 
 Engineering functional requirements of reactive systems using synchronous languages. 140-149
Scheduling
- Martijn M. H. P. van den Heuvel, Reinder J. Bril  , Johan J. Lukkien: , Johan J. Lukkien:
 Virtual scheduling for compositional real-time guarantees. 151-160
- Zhishan Guo  , Sanjoy K. Baruah: , Sanjoy K. Baruah:
 Mixed-criticality scheduling upon non-monitored varying-speed processors. 161-167
- Zaid Al-bayati, Haibo Zeng, Marco Di Natale  , Zonghua Gu: , Zonghua Gu:
 Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling. 168-177
- Javier Fernández, Pablo Parra  , Bogdan Nilas, J. Ignacio García Tejedor , Bogdan Nilas, J. Ignacio García Tejedor , Sebastián Sánchez-Prieto , Sebastián Sánchez-Prieto , Oscar R. Polo , Oscar R. Polo : :
 Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques. 178-187
Test, Error and Complexity
- Liangpeng Guo, Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto  : :
 A complexity metric for concurrent finite state machine based embedded software. 189-195
- Philipp Luchscheider, Sebastian Siegl: 
 Test profiling for usage models by deriving metrics from component-dependency-models. 196-204
- Luis Marques  , Verónica Vasconcelos , Verónica Vasconcelos , Paulo Pedreiras , Paulo Pedreiras , Luís Almeida , Luís Almeida : :
 Error recovery in time-triggered communication systems using servers. 205-212
WSN Platforms
- Marcin Szczodrak, Yong Yang, Dave Cavalcanti, Luca P. Carloni: 
 An open framework to deploy heterogeneous wireless testbeds for Cyber-Physical Systems. 215-224
- Oliver Stecklina, Peter Langendörfer  , Hannes Menzel: , Hannes Menzel:
 Design of a tailor-made memory protection unit for low power microcontrollers. 225-231
- Jiming Jiang, Christian G. Claudel  : :
 A wireless computational platform for distributed computing based traffic monitoring involving mixed Eulerian-Lagrangian sensing. 232-239
Timing Analysis
- Franck Wartel, Leonidas Kosmidis  , Code Lo, Benoit Triquet, Eduardo Quiñones , Code Lo, Benoit Triquet, Eduardo Quiñones , Jaume Abella , Jaume Abella , Adriana Gogonel, Andrea Baldovin, Enrico Mezzetti , Adriana Gogonel, Andrea Baldovin, Enrico Mezzetti , Liliana Cucu, Tullio Vardanega , Liliana Cucu, Tullio Vardanega , Francisco J. Cazorla , Francisco J. Cazorla : :
 Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. 241-248
- Meng Liu, Moris Behnam, Thomas Nolte: 
 An EVT-based worst-case Response Time Analysis of complex real-time systems. 249-258
- Hajer Herbegue, Hugues Cassé, Mamoun Filali, Christine Rochange: 
 Hardware architecture specification and constraint-based WCET computation. 259-268
Networks and Communication
- Alberto Ballesteros  , Marco Wagner, Dieter Zöbel: , Marco Wagner, Dieter Zöbel:
 SOAcom: Designing Service communication in adaptive automotive networks. 270-279
- Mohammad Ashjaei  , Moris Behnam, Thomas Nolte, Luís Almeida , Moris Behnam, Thomas Nolte, Luís Almeida : :
 Performance analysis of master-slave multi-hop switched ethernet networks. 280-289
- Milton Armando Cunguara, Tomás Antonio Mendes Oliveira e Silva  , Paulo Bacelar Reis Pedreiras , Paulo Bacelar Reis Pedreiras : :
 On the control of lossy networks with hold strategy. 290-298

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.


 Google
Google Google Scholar
Google Scholar Semantic Scholar
Semantic Scholar Internet Archive Scholar
Internet Archive Scholar CiteSeerX
CiteSeerX ORCID
ORCID














