Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th SIES 2012: Karlsruhe, Germany
- 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012, Karlsruhe, Germany, June 20-22, 2012. IEEE 2012, ISBN 978-1-4673-2685-8
Keynote
- René Graf:
Embedded systems in automation - Commodities and challenges.
Networks I
- Jonas Diemer, Daniel Thiele, Rolf Ernst:
Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching. 1-10 - Xiaoting Li, Jean-Luc Scharbarg, Christian Fraboul:
Worst-case delay analysis on a real-time heterogeneous network. 11-20 - Moritz Neukirchner, Mircea Negrean, Rolf Ernst, Torsten T. Bone:
Response-time analysis of the flexray dynamic segment under consideration of slot-multiplexing. 21-30
Scheduling
- Sanjoy K. Baruah:
Certification-cognizant scheduling of tasks with pessimistic frequency specification. 31-38 - Sjoerd Cranen, Reinder J. Bril
:
Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systems. 39-47 - Muhammad Ali Awan, Stefan M. Petters:
Online intra-task device scheduling for hard real-time systems. 48-56 - José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut:
An improved preemption delay upper bound for floating non-preemptive region. 57-66
Networks II
- Emanuel Heidinger, Fabien Geyer, Stefan Schneele, Michael Paulitsch:
A performance study of Audio Video Bridging in aeronautic Ethernet networks. 67-75 - Zahid Iqbal, Luís Almeida, Ricardo Marau, Moris Behnam, Thomas Nolte:
Implementing hierarchical scheduling on COTS Ethernet switches using a master/slave approach. 76-84 - Hung Xuan Nguyen, Guy Juanole:
Design of Networked Control Systems (NCSs) on the basis of interplays between Quality of Control and Quality of Service. 85-93
Embedded Systems Design
- Unmesh D. Bordoloi, Bogdan Tanasa, Petru Eles, Zebo Peng:
On the timing analysis of the dynamic segment of FlexRay. 94-101 - Francesco Fraternali, Mahsan Rofouei, Nabil Alshurafa, Hassan Ghasemzadeh, Luca Benini, Majid Sarrafzadeh:
Opportunistic hierarchical classification for power optimization in wearable movement monitoring systems. 102-111 - Vikram Gupta, Eduardo Tovar, Karthik Lakshmanan, Ragunathan Rajkumar:
Inter-application redundancy elimination in Wireless Sensor Networks with compiler-assisted scheduling. 112-119 - Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, Iain Bate:
On voting strategies for loosely synchronized dependable real-time systems. 120-129
Software Engineering and Control
- Haibo Zeng, Marco Di Natale:
Efficient implementation of AUTOSAR components with minimal memory usage. 130-137 - Andreas Hjertström, Dag Nyström, Mikael Sjödin:
Introducing database-centric support in AUTOSAR. 138-147 - Nima Moghaddami Khalilzad, Moris Behnam, Giacomo Spampinato, Thomas Nolte:
Bandwidth adaptation in hierarchical scheduling using fuzzy controllers. 148-157
Stochastic Modeling
- Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat:
Probabilistic preemption control using frequency scaling for sporadic real-time tasks. 158-165 - Dawood Khan, Luca Santinelli, Liliana Cucu-Grosjean:
Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysis. 166-175
Multi-core
- Reinhard Wilhelm, Jan Reineke:
Embedded systems: Many cores - Many problems. 176-180 - Timo Schönwald, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel:
Optimized software mapping for advanced driver assistance systems. 181-190 - Mircea Negrean, Rolf Ernst:
Response-time analysis for non-preemptive scheduling in multi-core systems with shared resources. 191-200
Modeling and Verification
- Jochen Zimmermann, Stefan Stattelmann, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel:
Model-driven virtual prototyping for real-time simulation of distributed embedded systems. 201-210 - Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco:
A formal support for homogeneous simulation of heterogeneous embedded systems. 211-219 - Laurence Pierre, Luca Ferro, Zeineb Bel Hadj Amor, Philippe Bourgon, Jérôme Quévremont:
Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC. 220-228 - Bor-Yeh Shen, Jyun-Yan You, Wuu Yang, Wei-Chung Hsu:
An LLVM-based hybrid binary translation system. 229-236
Safety and Error Checking
- Roland Kammerer, Bernhard Frömel, Armin Wasicek:
Enhancing security in CAN systems using a star coupling router. 237-246 - Manuel Cheminod, Luca Durante, Adriano Valenzano:
System configuration check against security policies in industrial networks. 247-265 - Julian Wolf, Bernhard Fechner, Sascha Uhrig, Theo Ungerer:
Fine-grained timing and control flow error checking for hard real-time task execution. 257-266
Work-In-Progress (WIP)
- Alberto Ferrari, Marco Carloni, Alessandro Mignogna, Francesco Menichelli, David Ginsberg, Eelco Scholte, Dang Nguyen:
Scalable virtual prototyping of distributed embedded control in a modern elevator system. 267-270 - Christian Prehofer, Marc Zeller:
Towards runtime adaptation in real-time, networked embedded systems. 271-274 - Peter Ulbrich, Florian Franzmann, Fabian Scheler, Wolfgang Schröder-Preikschat:
Design by uncertainty: Towards the use of measurement uncertainty in real-time systems. 275-278 - Carsten Tradowsky, Florian Thoma, Michael Hübner, Jürgen Becker:
LISPARC: Using an architecture description language approach for modelling an adaptive processor microarchitecture. 279-282 - Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat:
Non-generic floating-point software support for embedded media processing. 283-286 - Florian Kluge, Mike Gerdes, Theo Ungerer:
AUTOSAR OS on a message-passing multicore processor. 287-290 - Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin:
Response time analysis for mixed messages in CAN supporting transmission abort requests. 291-294 - Stefan Stattelmann, Sebastian Ottlik, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel:
Combining instruction set simulation and WCET analysis for embedded software performance estimation. 295-298 - Anton Hattendorf, Andreas Raabe, Alois C. Knoll:
Shared memory protection for spatial separation in multicore architectures. 299-302 - Roberto de Medeiros, Miguel Góis, Drausio Linardi Rossi, Vanderlei Bonato:
Designing embedded systems with MARTE: A PIM to PSM converter. 303-306 - Paolo Pivato, Stefano Dalpez, David Macii:
Performance evaluation of Chirp Spread Spectrum ranging for indoor embedded navigation systems. 307-310 - Jhin-Bin Jiang, Kuen-Cheng Chiang, Jean Jyh-Jiun Shann:
A predicate-aware modulo scheduling for improving resource efficiency of coarse grained reconfigurable architectures. 311-314 - Sara Afshar, Farhang Nemati, Thomas Nolte:
Towards resource sharing under multiprocessor semi-partitioned scheduling. 315-318 - Rafia Inam, Mikael Sjödin, Reinder J. Brfi:
Implementing hierarchical scheduling to support multi-mode system. 319-322 - Kevin I-Kai Wang, Zoran A. Salcic, Mathew R. Wilson, Karl M. Brook:
Miniaturized wireless sensor node for earthquake monitoring applications. 323-326 - Kevin I-Kai Wang, Zoran A. Salcic, Johnny Yeh, Jin Akagi, Donald Wlodkowic:
Automated Bio Cybernetic System: A Lab-on-Chip case study. 327-330
a service of 
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-04-19 20:27 CEST 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:
