Journal: IEEE Trans. Industrial Informatics

Volume 5, Issue 4

375 -- 387Thomas Nolte, Insik Shin, Mikael Sjsdin, Moris Behnam. A Synchronization Protocol for Temporal Isolation of Software Components in Vehicular Systems
388 -- 401Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli. Stochastic Analysis of Distributed Real-time Automotive Systems
402 -- 413Simon Schliecker, Mircea Negrean, Rolf Ernst. Response Time Analysis in Multicore ECUs with Shared Resources
414 -- 428Mehrnoush Rahmani, Ktawut Tappayuthpijarn, Benjamin Krebs, Richard Bogenberger, Eckehard G. Steinbach. Traffic Shaping for Resource-Efficient In-Vehicle Communication
429 -- 442Magnus Jonsson, Kristina Kunert. Towards Reliable Wireless Industrial Communication with Real-Time Guarantees
443 -- 453Gregory Faraut, Laurent Piétrac, Eric Niel. Formal approach to multi-modal control design: application to mode switching
454 -- 464JH Zhou, Chee Khiang Pang, Frank Lewis, Zhao-Wei Zhong. Intelligent Diagnosis and Prognosis of Tool Wear Using Dominant Feature Identification
465 -- 482Shuming Wang, Junzo Watada, Witold Pedrycz. Value-at-Risk-Based Two-Stage Fuzzy Facility Location Problems
479 -- 491Tommaso Cucinotta, Luigi Palopoli, Luca Abeni, Dario Faggioli, Giuseppe Lipari. On the Integration of Application Level and Resource Level QoS Control for Real-time Applications
483 -- 494Artzai Picon, Ovidiu Ghita, Paul F. Whelan, Pedro Iriondo. Fuzzy Spectral and Spatial Feature Integration for Classification of Non-ferrous Materials in Hyper-spectral Data
492 -- 502Andrea Quagli, Daniele Fontanelli, Luca Greco, Luigi Palopoli, Antonio Bicchi. Design of Embedded Controllers Based on Anytime Computing
495 -- 506Andrew Ning, Henry C. W. Lau, Yi Zhao, Eric Wong. Fulfillment of retailer demand by using the MDL-optimal neural network prediction and decision policy
503 -- 520Pau Martí, Antonio Camacho, Manel Velasco, Mohamed El Mongi Ben Gaid. Run-Time Allocation of Optional Control Jobs to a Set of CAN-based Networked Control Systems
521 -- 533Henri Bauer, Jean-Luc Scharbarg, Christian Fraboul. Improving the worst-case delay analysis of an AFDX network using an optimized trajectory approach
534 -- 547Ahlem Mifdaoui, Fabrice Frances, Christian Fraboul. Performance Analysis of a Master/ Slave Switched Ethernet for Military Embedded Applications
548 -- 567Roman Obermaisser, Hermann Kopetz, Christian Paukovits. A Cross-Domain Multi-Processor System-on-a-Chip for Embedded Real-Time Systems
568 -- 578Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee. Timed and Resource-oriented Statecharts for Embedded Software
579 -- 591Marko Bertogna, Sanjoy K. Baruah. Limited preemption EDF scheduling of sporadic task systems
594 -- 609Eduardo Camponogara, Augusto Born de Oliveira, George Lima. Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers with Support for Stochastic Processor Consumption
610 -- 620Yifan Wu, Giuseppe Buttazzo, Enrico Bini, Anton Cervin. Parameter Selection for Real-time Controllers in Resource-Constrained Systems
621 -- 636Qi Zhu, Yang Yang, Marco Di Natale, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli. Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems
637 -- 651Marco Di Natale, Liangpeng Guo, Haibo Zeng, Alberto L. Sangiovanni-Vincentelli. Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays
652 -- 663Sebastian Fischmeister, Patrick Lam. Time-aware Instrumentation of Real-time Programs
664 -- 677Basilio B. Fraguela, Diego Andrade, Ramon Doallo. Address-Independent Estimation of the Worst-case Memory Performance
678 -- 691Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli. Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network
692 -- 707Andreas Schranzhofer, Jian-Jia Chen, Lothar Thiele. Dynamic Power-Aware Mapping of Applications onto Heterogeneous MPSoC Platforms
708 -- 718Marius Bozga, Mohamad Jaber, Joseph Sifakis. Source-to-Source Architecture Transformation for Performance Optimization in BIP
719 -- 728Michael A. Gora, Abhranil Maiti, Patrick Schaumont. A Flexible Design Flow for Software IP Binding in FPGA
729 -- 743Guoqiang Wang, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli. Optimal synthesis of communication procedures in real-time synchronous reactive models
744 -- 757Sooyeon Shin, Gil-yong Jo, Taekyoung Kwon, Youngman Park, Haekyu Rhee. An Experimental Study of Hierarchical Intrusion Detection for Wireless Industrial Sensor Networks
758 -- 766K. Ahmad, P.-B. Ostfeld, U. Meier, H. Kwasnicka. Exploitation of Multiple Hyperspace Dimensions to Realize Coexistence Optimized Wireless Automation Systems
767 -- 779Dimitar Filev, Ratna Babu Chinnam, Finn Tseng, Pundarikaksha Baruah. An Industrial Strength Novelty Detection Framework for Autonomous Equipment Monitoring and Diagnostics

Volume 5, Issue 3

202 -- 219Marko Bertogna, Nathan Fisher, Sanjoy K. Baruah. Resource-sharing servers for Open Environments
220 -- 228Luca Abeni, Luigi Palopoli. Legacy Real-Time Applications in a Reservation-Based System
229 -- 240Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli. Improving the size of communication buffers in synchronous models with time constraints
241 -- 256Gabor Madl, Sudeep Pasricha, Nikil Dutt, Sherif Abdelwahed. Cross-abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs
255 -- 264Jinuk Choi, Hojung Cha. A Processor Power Management Scheme for Handheld Systems Considering the Off-chip Contributions
257 -- 266Daniel Sundmark, Andreas Ermedahl, Johan Stärner. Pinpointing Interrupts in Embedded Real-Time Systems using Hashed Execution Contexts
265 -- 275Anthony Rowe, Karthik Lakshmanan, Haifeng Zhu, Ragunathan Rajkumar. Rate-Harmonized Scheduling and Its Applicability to Energy Management
267 -- 277Tommaso Cucinotta, Antonio Mancina, Gaetano Anastasi, Giuseppe Lipari, Leonardo Mangeruca, Roberto Checcozzo, Fulvio Rusina. A Real-time Service-Oriented Architecture for Industrial Automation
276 -- 286Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen. Computing Optimal Schedules for battery Usage in Embedded Systems
278 -- 288Iria Estévez-Ayres, Pablo Basanta-Val, Marisol García-Valls, Jesús A. Fisteus, Luís Almeida. QoS-aware Real-Time Composition Algorithms for Service-Based Applications
287 -- 301Ya-Shu Chen, Chuan-Yue Yang, Tei-Wei Kuo. Energy-Efficient Task Synchronization for Real-Time Systems
289 -- 298Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres. Simple asynchronous remote invocations for distributed real-time Java
299 -- 313Anis Koubaa, Ricardo Severino, Mário Alves, Eduardo Tovar. Improving Quality-of-Service in Wireless Sensor Networks by mitigating hidden-node collisions
302 -- 315Xiaorui Wang, Xing Fu, Xue Liu, Zonghua Gu. PAUC: Power-Aware Utilization Control in Distributed Real-Time Systems
314 -- 324Emanuele Toscano, Lucia Lo Bello. An Adaptive Approach for Topology Management in Large and Dense Real-Time Wireless Sensor Networks
316 -- 328Baoxian Zhao, Hakan Aydin, Dakai Zhu. On Maximizing Reliability of Real-Time Embedded Applications under Hard Energy Constraint
325 -- 337Sebastian Fischmeister, Robert Trausmuth, Insup Lee. Hardware Acceleration for Programmable Real-Time Ethernet
329 -- 339Gang Quan, Member, Vivek Chaturvedi. Feasibility Analysis for Temperature-Constraint Hard Real-Time Periodic Tasks
338 -- 350Andreas Willig. Memory-efficient segment-based packet-combining schemes in face of deadlines
340 -- 351Donghwa Shin, Sung Woo Chung, Eui-Young Chung, Naehyuck Chang. Energy-Optimal Dynamic Thermal Management: Computation and Cooling Power Co-Optimization
351 -- 365Giuseppe Anastasi, Marco Conti, Mario Di Francesco. Extending the Lifetime of Wireless Sensor Networks through Adaptive Sleep
352 -- 364Leping Wang, Ying Lu. An Efficient Threshold-Based Power Management Mechanism for Heterogeneous Soft Real-Time Clusters
369 -- 380Zdenek Hanzálek, Pavel Burget, Premysl Sucha. Profinet IO IRT Message Scheduling with Temporal Constraints
381 -- 392Paolo Ferrari, Alessandra Flammini, Stefano Rinaldi, Emiliano Sisinni. On the Seamless Interconnection of IEEE1588-based Devices using a PROFINET IO infrastructure
393 -- 404Qixin Wang, Sathish Gopalakrishnan. Adapting a Main-Stream Internet Switch Architecture for Multi-Hop Real-Time Industrial Networks
405 -- 415Giovanni Gamba, Federico Tramarin, Andreas Willig. Retransmission Strategies for Cyclic Polling over Wireless Channels in the Presence of Interference
416 -- 424Joern Ploennigs, Volodymyr Vasyutynskyy, Klaus Kabitzsch. Comparative Study of Energy-Efficient Sampling Approaches for Wireless Control Networks
425 -- 437Gianluca Cena, Lucia Seno, Adriano Valenzano, Claudio Zunino. On the Performance of IEEE 802.11e Wireless Infrastructures for Soft-Real-Time Industrial Applications
438 -- 450ZdenekHanzalek, Petr Jurcík. Energy efficient scheduling for cluster-tree Wireless Sensor Networks with time-bounded data flows: application to IEEE 802.15.4/ZigBee
451 -- 459Carlo Alberto Boano, James Brown, Nicolas Tsiftes, Utz Roedig, Thiemo Voigt. The Impact of Temperature on Outdoor Industrial WSN Applications
460 -- 471Marius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva. An Automated Framework for Formal Verification of Timed Continuous Petri Nets

Volume 5, Issue 2

75 -- 85Jürgen Jasperneite, Jahanzaib Imtiaz, Markus Schumacher, Karl Weber. A Proposal for a Generic Real-Time Ethernet System
86 -- 98Lucia Seno, Stefano Vitturi, Claudio Zunino. Analysis of Ethernet Powerlink Wireless Extensions Based on the IEEE 802.11 WLAN
99 -- 112Guido Marchetto, Mario Baldi, Riccardo Giacomelli. Time driven Access and Forwarding for industrial wireless multi-hop networks
113 -- 122Yanjun Li, Chung Shue Chen, Ye-Qiong Song, Zhi Wang, Youxian Sun. Enhancing Real-Time Delivery in Wireless Sensor Networks with Two-Hop Information
123 -- 131Marek Miskowicz. Average Channel Utilization of CSMA with Geometric Distribution under Varying Workload
127 -- 135David Gomez-Gutierrez, Guillermo Ramírez-Prado, Antonio Ramírez-Treviño, José Javier Ruiz-Leon. Observability of Switched Linear Systems
132 -- 146Matthias Fuegge, Eric Armengaud, Andreas Steininger. Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - a Combined Formal & Experimental Approach
136 -- 144Goran Cengic, Knut Åkesson. On Formal Analysis of IEC 61499 Applications, Part A: Modeling
145 -- 154Goran Cengic, Knut Åkesson. On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics
147 -- 156Sebastian Theiss, Volodymyr Vasyutynskyy, Klaus Kabitzsch. Software Agents in Industry: A Customized Framework in Theory and Praxis
155 -- 165Valeriy Vyatkin, Victor Dubinin. Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
157 -- 167Lucia Lo Bello, Emanuele Toscano. Coexistence Issues of Multiple Co-located IEEE 802.15.4/ZigBee Networks Running on Adjacent Radio Channels in Industrial Environments
168 -- 180Simona Bernardi, Javier Campos. Computation of Performance Bounds for Real-Time systems using Time Petri Nets
181 -- 194Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio. Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems
181 -- 193Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano. Detecting Chains of Vulnerabilities in Industrial Networks
195 -- 205Philippa Conmy, Iain Bate. Component-Based Safety Analysis of FPGAs
206 -- 215Georg Gaderer, Patrick Loschmidt, Thilo Sauter. Improving Fault Tolerance in High-Precision Clock Synchronization
216 -- 228Keck Voon Ling, Han Yan, Weng Khuen Ho, Khiang Wee Lim. Multi-Zone Thermal Processing in Semiconductor Manufacturing: Bias Estimation
229 -- 242Ying Zheng, Bing Ai, David Wong, Shi-Shang Jang, Jie Zhang, Yanwei Wang. An EWMA algorithm with a cycled resetting (CR) discount factor for drift and fault of high-mix Run-To-Run Control
243 -- 250Yang Zheng, Haifeng Shen, Chengzheng Sun. Inspiring Innovative Design Integration by Collaborative Exploration of Boolean Operations

Volume 5, Issue 1

3 -- 11Jiman Hong, Junyoung Heo, Yookun Cho. EARQ: Energy Aware Routing for Real-Time and Reliable Communication in Wireless Industrial Sensor Networks
12 -- 21Luca Abeni, Luigi Palopoli, Claudio Scordino, Giuseppe Lipari. Resource Reservations for General Purpose Applications
22 -- 37Man Lin, Li Xu, Laurence Tianruo Yang, Xiao Qin, Nenggan Zheng, Zhaohui Wu, Meikang Qiu. Static Security Optimization for Real Time Systems
38 -- 49Jean-Luc Scharbarg, Frédéric Ridouard, Christian Fraboul. A probabilistic analysis of end-to-end delays on an avionics switched Ethernet
50 -- 55C. H. Lo, E. H. K. Fung, Y. K. Wong. Intelligent Automatic Fault Detection for Actuator Failures in Aircraft
56 -- 66Girolamo Fornarelli, Antonio Giaquinto, Gioacchino Brunetti, Giuseppe Acciani. A Neurofuzzy Method for the Evaluation of Soldering Global Quality Index