Schedule validation for embedded reactive real-time systems
DAC '97 Proceedings of the 34th annual Design Automation Conference
Scheduling Parallel Computations
Journal of the ACM (JACM)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Software Synthesis from Dataflow Graphs
Software Synthesis from Dataflow Graphs
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
A HW/SW partitioning algorithm for dynamically reconfigurable architectures
Proceedings of the conference on Design, automation and test in Europe
A systematic approach to software peripherals for embedded systems
Proceedings of the ninth international symposium on Hardware/software codesign
Run-time HW/SW codesign for discrete event systems using dynamically reconfigurable architectures
ISSS '00 Proceedings of the 13th international symposium on System synthesis
Schedulability of event-driven code blocks in real-time embedded systems
Proceedings of the 39th annual Design Automation Conference
Hardware-Software partitioning and pipelined scheduling of transformative applications
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
HW/SW codesign techniques for dynamically reconfigurable architectures
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems
Proceedings of the tenth international symposium on Hardware/software codesign
Dynamic run-time HW/SW scheduling techniques for reconfigurable architectures
Proceedings of the tenth international symposium on Hardware/software codesign
A tool for describing and evaluating hierarchical real-time bus scheduling policies
Proceedings of the 40th annual Design Automation Conference
Schedulability-driven frame packing for multi-cluster distributed embedded systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Proceedings of the 2003 international conference on Compilers, architecture and synthesis for embedded systems
System-Level Performance Analysis in SystemC
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Hardware-Software Co-Design of Resource Constrained Systems on a Chip
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Multitasking on reconfigurable architectures: microarchitecture support and dynamic scheduling
ACM Transactions on Embedded Computing Systems (TECS)
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Modeling and optimizing run-time reconfiguration using evolutionary computation
ACM Transactions on Embedded Computing Systems (TECS)
Schedulability analysis of applications with stochastic task execution times
ACM Transactions on Embedded Computing Systems (TECS)
Schedulability-driven frame packing for multicluster distributed embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
A Timed Petri Net Approach for Pre-Runtime Scheduling in Partial and Dynamic Reconfigurable Systems
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 3 - Volume 04
A generic approach to schedulability analysis of real-time tasks
Nordic Journal of Computing
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Analysis and optimization of distributed real-time embedded systems
Proceedings of the 41st annual Design Automation Conference
A non-preemptive scheduling algorithm for soft real-time systems
Computers and Electrical Engineering
EURASIP Journal on Applied Signal Processing
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems
International Journal of Parallel Programming - Special Issue on Multiprocessor-based embedded systems
Dynamic coprocessor management for FPGA-enhanced compute platforms
CASES '08 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems
Software optimization for MPSoC: a mpeg-2 decoder case study
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
Intra- and inter-processor hybrid performance modeling for MPSoC architectures
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
Modern development methods and tools for embedded reconfigurable systems: A survey
Integration, the VLSI Journal
Automata based interfaces for control and scheduling
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Online SystemC emulation acceleration
Proceedings of the 47th Design Automation Conference
Dynamic acceleration management for SystemC emulation
ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09)
Embedded Systems Design
ILP security optimization method for embedded systems with timing constraints
Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
Timed systemC waiting-state automata
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Modeling and verification of real-time embedded systems
ISIICT'09 Proceedings of the Third international conference on Innovation and Information and Communication Technology
Security-aware optimization for ubiquitous computing systems with SEAT graph approach
Journal of Computer and System Sciences
| Hi-index | 0.00 |
Embedded systems are loosely defined as electronic subsystems immersed in a larger physical system (e.g., a car, an airplane, a washing machine, a cellular phone) that implement a given functionality (i.e. a set of tasks) using one or more software-programmable device (e.g. a microcontroller, a Digital Signal Processor). Hence implementing the given functionality in an embedded system involves the partitioning of the tasks into hardware and software components. Since the software has to be executed on a limited set of processing units and several embedded systems are safety critical, deciding the execution sequence for the tasks on the processing units (scheduling) is an important problem to guarantee that the embedded system functions correctly.In this article we review several approaches to software scheduling for real-time embedded computing. In particular, we illustrate scheduling methods for reactive systems (her, the main concern is the speed of response to different inputs from the environment) and for Digital Signal Processing systems (the main concern is the efficient utilization of the processor(s), in the presence of a semi-regular stream of inputs).Given the characteristics of embedded systems, we focus on the scheduling validation problem that aims at answering the question whether a given schedule is guaranteed to satisfy a given set of constraints (deadlines, throughput, and so on).