Searched for: author:"Geilen, M."
(1 - 20 of 33)

Pages

document
Behrouzian, A.R.B. (author), Goswami, D. (author), Basten, T. (author), Geilen, M. (author), Alizadeh Ara, H. (author), Hendriks, M. (author)
(m, k)-firm real-time tasks require meeting the deadline of at least m jobs out of any k consecutive jobs. When compared to hard real-time tasks, (m, k)-firm tasks open up the possibility of tighter resource-dimensioning in implementations. Firmness analysis verifies the satisfaction of (m, k)-firmness conditions. Scheduling policies under which...
conference paper 2020
document
vanden Berg, F. (author), Camra, V. (author), Hendriks, M. (author), Geilen, M. (author), Hnetynka, P. (author), Manteca, F. (author), Sanchez, P. (author), Bures, T. (author), Basten, T. (author)
Cyber-physical systems (CPS) are complex, heterogeneous, and dynamic systems, spanning hardware and software components ranging from edge devices to cloud platforms. CPS need to satisfy many rigorous constraints, e.g., with respect to deadlines, safety, and quality, yielding a large configuration space where only a limited number of...
conference paper 2020
document
Jonk, R. (author), Voeten, J. (author), Geilen, M. (author), Basten, T. (author), Schiffelers, R. (author)
We introduce a technique to verify temporal properties expressed in MTL on Interval Message Sequence Charts (IMSC), a model based on UML2.0 MSC that captures the timed execution of component-based software systems. We accomplish this by encoding the IMSC and the property of interest in a constraint satisfaction problem, which is then solved with...
conference paper 2020
document
Elahi, H. (author), Geilen, M. (author), Basten, T. (author)
The timing of discrete-event systems with synchronization is naturally modeled with canonical multi-rate max-plus linear equations. The main objectives of these models are to analyze and control the systems. As a system becomes more complex, determining its canonical model becomes more complicated. Moreover, these systems may change over time...
conference paper 2020
document
Ara, H.A. (author), Behrouzian, A. (author), Hendriks, M. (author), Geilen, M. (author), Goswami, D. (author), Basten, T. (author)
Multi-scale dataflow models have actors acting at multiple granularity levels, e.g., a dataflow model of a video processing application with operations on frame, line, and pixel level. The state of the art timing analysis methods for both static and dynamic dataflow types aggregate the behaviours across all granularity levels into one, often...
article 2018
document
Hendriks, M. (author), Ara, H.A. (author), Geilen, M. (author), Basten, A.A. (author), Marin, R.G. (author), de Jong, R. (author), van der Vlugt, S. (author)
Many high data-rate video-processing applications are subject to a trade-off between throughput and the sizes of buffers in the system (the storage distribution). These applications have strict requirements with respect to throughput as this directly relates to the functional correctness. Furthermore, the size of the storage distribution relates...
article 2018
document
Behrouzian, A.R.B. (author), Goswami, D. (author), Basten, T. (author), Geilen, M. (author), Alizadeh Ara, H. (author), Hendriks, M. (author)
firm real-time tasks must meet the deadline of at least m jobs out of any k consecutive jobs to satisfy the firmness requirement. Scheduling of an (m, k)-firm task requires firmness analysis, whose results are used to provide system-level guarantees on the satisfaction of firmness conditions. We address firmness analysis of an (m, k)-firm task...
conference paper 2018
document
van Pinxten, J. (author), Geilen, M. (author), Hendriks, M. (author), Basten, T. (author)
High-end manufacturing systems are cyber-physical systems where productivity depends on the close cooperation of mechanical (physical) and scheduling (cyber) aspects. Mechanical and control constraints impose minimal and maximal time differences between events in the product flow. Sequence-dependent constraints are used by a scheduler to...
article 2018
document
Geilen, M. (author), Basten, T. (author)
Kahn and MacQueen have introduced a generic class of determinate asynchronous data-flow applications, called Kahn Process Networks (KPNs) with an elegant mathematical model and semantics in terms of Scott-continuous functions on data streams together with an implementation model of independent asynchronous sequential programs communicating...
bookPart 2018
document
Ara, H.A. (author), Geilen, M. (author), Behrouzian, A. (author), Basten, A.A. (author)
In multi-media applications, bufers represent storage spaces that are used to store the data communicated between diferent tasks in the application, and throughput refers to the rate at which output data is produced by the application. The capacities of the bufers inluence the throughput, by altering the waiting times for tasks that need to read...
conference paper 2018
document
Hendriks, M. (author), Ara, H.A. (author), Geilen, M. (author), Marin, R.G. (author), de Jong, R. (author), van der Vlugt, S. (author), Goswami, D. (author)
Complex real-time video processing applications with strict throughput constraints are commonly found in a typical healthcare application. The video processing chain is implemented as Field-Programmable Gate Array (FPGA) accelerators (processing blocks) communicating through a number of First-In First-Out (FIFO) buffers. The FIFO buffers are...
article 2018
document
Hendriks, M. (author), Geilen, M. (author), Behrouzian, A.R.B. (author), Basten, T. (author), Alizadeh, H. (author), Goswami, D. (author)
conference paper 2017
document
Geilen, M. (author), Falk, J. (author), Haubelt, C. (author), Basten, T. (author), Theelen, B. (author), Stuijk, S. (author)
The timed dataflow model of computation is a useful performance analysis tool for electronic system level design automation and embedded software synthesis. Its determinism gives it strong analyzability properties. Its monotonic temporal behavior provides hard real-time guarantees on throughput and latency. It is expressive enough to cover a...
article 2017
document
Tang, Q. (author), Basten, T. (author), Geilen, M. (author), Stuijk, S. (author), Wei, J.B. (author)
Multi-processor systems-on-chips are widely adopted in implementing modern streaming applications to satisfy the ever increasing computation requirements. To take advantage of this kind of platform, it is necessary to map tasks of the application properly to different processors, so as to fully exploit the inherent task-level parallelism and...
article 2017
document
Tang, Q. (author), Basten, T. (author), Geilen, M. (author), Stuijk, S. (author), Wei, J.B. (author)
This article studies the scheduling of real-time streaming applications on multiprocessor systems-on-chips with predictable memory hierarchy. An iteration-based task-FIFO co-scheduling framework is proposed for this problem. We obtain FIFO size distributions using Pareto space searching, based on which the task-toprocessor mapping is obtained...
article 2017
document
van Pinxten, J. (author), Waqas, U. (author), Geilen, M. (author), Basten, T. (author), Somers, L. (author)
Online scheduling of operations is essential to optimize productivity of flexible manufacturing systems (FMSs) where manufacturing requests arrive on the fly. An FMS processes products according to a particular flow through processing stations. This work focusses on online scheduling of re-entrant FMSs with flows using processing stations where...
article 2017
document
Behrouzian, A.R.B. (author), Goswami, D. (author), Geilen, M. (author), Hendriks, M. (author), Alizadeh Ara, H. (author), van Horssen, E.P. (author), Heemels, W.P.M.H. (author), Basten, T. (author)
This paper proposes methods for verification of (m, k)-firmness properties of control applications running on a shared TDMA-scheduled processor. We particularly consider dropped samples arising from processor sharing. Based on the available processor budget for any sample that is ready for execution, the Finite-Point (FP) method is proposed for...
conference paper 2016
document
Waqas, U. (author), Geilen, M. (author), Stuijk, S. (author), Pinxten, J.V. (author), Basten, T. (author), Somers, L. (author), Corporaal, H. (author)
Self re-entrant flowshops consist of machines which process jobs several times. They are found in applications like TFT-LCD assembly, LED manufacturing and industrial printing. The structure of a self re-entrant flowshop influences its performance. To get better performance while reducing costs a fast performance estimation method can be used to...
conference paper 2016
document
van Pinxten, J. (author), Geilen, M. (author), Basten, T. (author), Waqas, U. (author), Somers, L. (author)
Today’s manufacturing systems are typically complex cyber-physical systems where the physical and control aspects interact with the scheduling decisions. Optimizing such facilities requires ordering jobs and configuring the manufacturing system for each job. This optimization problem can be described as a Multi-Objective Generalized TSP where...
conference paper 2016
document
Alizadeh Ara, H. (author), Geilen, M. (author), Basten, T. (author), Behrouzian, A.R.B. (author), Hendriks, M. (author), Goswami, D. (author)
We present an analysis method that provides tight temporal bounds for applications modeled by Synchronous Dataflow Graphs and mapped to shared resources. We consider the resource sharing effects on the temporal behaviour of the application by embedding worst case resource availability curves in the symbolic simulation of the application graph....
conference paper 2016
Searched for: author:"Geilen, M."
(1 - 20 of 33)

Pages