Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series)

Experience with an embedded systems software course

ACM SIGBED Review - Special issue: The first workshop on embedded system education (WESE)

Achieving Scalability in Real-Time Systems

Computer

Archeology of multimedia

MULTIMEDIA '06 Proceedings of the 14th annual ACM international conference on Multimedia

Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty

Real-Time Systems

Exploring performance trade-offs of a JPEG decoder using the deepcompass framework

WOSP '07 Proceedings of the 6th international workshop on Software and performance

Hard real-time reconfiguration port scheduling

Proceedings of the conference on Design, automation and test in Europe

Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds

IEEE Transactions on Computers

Heuristic scheduling algorithms designed based on properties of optimal algorithm for soft real-time tasks

Proceedings of the 2007 Summer Computer Simulation Conference

An environment for the rapid development of embedded file systems

Proceedings of the 2008 ACM symposium on Applied computing

On the Timed Automata-Based Verification of Ravenscar Systems

Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets

Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies

On Scheduling Policies for Streams of Structured Jobs

FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems

Computing needs time

Communications of the ACM - Security in the Browser

Run-time reconfigurable RTOS for reconfigurable systems-on-chip

Journal of Embedded Computing - Selected papers of EUC 2005

Adaptive Fair Sharing Control in Real-Time Systems Using Nonlinear Elastic Task Models

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

Minimizing CPU energy in real-time systems with discrete speed management

ACM Transactions on Embedded Computing Systems (TECS)

Reducing message-length variations in resource-constrained embedded systems implemented using the Controller Area Network (CAN) protocol

Journal of Systems Architecture: the EUROMICRO Journal

Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption

Real-Time Systems

Component-Based Real-Time Operating System for Embedded Applications

CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering

Effective bandwidth utilization in IEEE 802.11e

The Fourth International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness & Workshops

Automatic Code Generation from Real-Time Systems Specifications

RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping

Fault-tolerant Gang Scheduling in Distributed Real-time Systems Utilizing Imprecise Computations

Simulation

A gravitational task model with arbitrary anchor points for target sensitive real-time applications

Real-Time Systems

Dataflow models for shared memory access latency analysis

EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software

Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis

Proceedings of the 46th Annual Design Automation Conference

Experimental evaluation of slack management in real-time control systems: Coordinated vs. self-triggered approach

Journal of Systems Architecture: the EUROMICRO Journal

Introducing embedded systems: a cyber-physical approach: extended abstract

WESE '09 Proceedings of the 2009 Workshop on Embedded Systems Education

Real-time platooning of mobile robots: design and implementation

ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation

Delivering real-time behaviour

Domain modeling and the duration calculus

Temporal isolation for the cohabitation of applications in automotive embedded software

Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety

Towards budgeting in real-time calculus: deferrable servers

FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems

Scheduling in time-triggered networks

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II

Global deadline-monotonic scheduling of arbitrary-deadline sporadic task systems

OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems

Global fixed-priority scheduling of arbitrary-deadline sporadic task systems

ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking

Scheduling multiple task graphs with end-to-end deadlines in distributed real-time systems utilizing imprecise computations

Journal of Systems and Software

A disruptive computer design idea: architectures with repeatable timing

ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design

Competitive analysis of online real-time scheduling algorithms under hard energy constraint

Real-Time Systems

Asynchronous event handling and safety critical Java

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems

Dual ceiling protocol for real-time synchronization under preemption threshold scheduling

Journal of Computer and System Sciences

Online robust optimization framework for QoS guarantees in distributed soft real-time systems

EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software

Scheduling periodic tasks in a hard real-time environment

ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming

Solving an avionics real-time scheduling problem by advanced IP-methods

ESA'10 Proceedings of the 18th annual European conference on Algorithms: Part I

Recursive timed automata

ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis

On the schedulability analysis for dynamic QOS management in distributed embedded systems

SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems

An introductory textbook on cyber-physical systems

WESE '10 Proceedings of the 2010 Workshop on Embedded Systems Education

Design and implementation of an operating system for composable processor sharing

Microprocessors & Microsystems

A 3/2-approximation algorithm for rate-monotonic multiprocessor scheduling of implicit-deadline tasks

WAOA'10 Proceedings of the 8th international conference on Approximation and online algorithms

Multiobjective optimization to provide service guarantees for window-constrained scheduling using micro-genetic algorithm

Proceedings of the 2011 International Conference on Communication, Computing & Security

Energy/reliability trade-offs in fault-tolerant event-triggered distributed embedded systems

Proceedings of the 16th Asia and South Pacific Design Automation Conference

Real-time behavior-based robot control

Autonomous Robots

A survey of hard real-time scheduling for multiprocessor systems

ACM Computing Surveys (CSUR)

A formal approach to design and verification of two-level hierarchical scheduling systems

Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies

The impact of input error on the scheduling of task graphs with imprecise computations in heterogeneous distributed real-time systems

ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications

Distributed priority inheritance for real-time and embedded systems

OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems

Periodic message scheduling on a switched ethernet for hard real-time communication

HPCC'06 Proceedings of the Second international conference on High Performance Computing and Communications

Compositional constraints generation for concurrent real-time loops with interdependent iterations

IICS'05 Proceedings of the 5th international conference on Innovative Internet Community Systems

A reconfigurable computing platform for real time embedded applications

Microprocessors & Microsystems

Analysis and redesign of the 'TTC' and 'TTH' schedulers

Journal of Systems Architecture: the EUROMICRO Journal

Support industrial hard real-time traffic with switched ethernet

ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems

An FPGA-based real-time event sampler

ARC'10 Proceedings of the 6th international conference on Reconfigurable Computing: architectures, Tools and Applications

A safety-related PES for task-oriented real-time execution without asynchronous interrupts

SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security

Comparison of component frameworks for real-time embedded systems

CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering

Optimal scheduling for constant-rate multi-mode systems

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control

Scheduling real-time DAGs in heterogeneous clusters by combining imprecise computations and bin packing techniques for the exploitation of schedule holes

Future Generation Computer Systems

Asynchronous event handling and Safety Critical Java

Concurrency and Computation: Practice & Experience

Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches

DS-RT '12 Proceedings of the 2012 IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications

Shared recovery for energy efficiency and reliability enhancements in real-time applications with precedence constraints

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing

ACM Transactions on Embedded Computing Systems (TECS)

User-defined schedulers for real-time concurrent objects

Innovations in Systems and Software Engineering

Resource and performance trade-offs in real-time embedded control systems

Real-Time Systems

Code aware resource management

Formal Methods in System Design

Non-markovian analysis for model driven engineering of real-time software

Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering

Multi-core composability in the face of memory-bus contention

ACM SIGBED Review

A flexible time-triggered service for real-time CORBA

Computer Standards & Interfaces