Searched for: author:"Hendriks, M."
(1 - 20 of 22)

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
Presvyri, S. (author), Yang, Y. (author), Hendriks, M. (author), Visser, J. (author), Hordijk, D. (author)
With the recent developments in modelling the shear behaviour of reinforcement concrete (RC) members without transverse reinforcement, the contribution of aggregate interlock has been more and more recognized as one of the critical components in the shear resistance of RC members. This paper presents a study on the aggregate interlock action...
conference paper 2019
document
Flötteröd, Y.P. (author), Behrisch, M. (author), Hendriks, M. (author), Bonne, J.B. (author), Vullings, H.J.L.M. (author), Bruining, R.W. (author)
In this paper, the focus is put on the integration of XVR, SE-Star and SUMO simulators via the Driver+ test-bed, where XVR provides different learning environments for all levels of incident command, SE-Star handles crowd simulation and SUMO focuses on vehicular simulation and routing. With the test-bed and the provided services these simulation...
conference paper 2019
document
Hendriks, M. (author), Vullings, H.J.L.M. (author), van Campen, S. (author), Hameete, P. (author)
In the Crisis Management (CM) domain, there is a need for quickly setting up a trial or exercise to test or train new or existing CM solutions and procedures. The EU-funded DRIVER+ project developed an open source cloudbased simulation framework, which provides a quick and easy way to connect simulators and (C2-like) solutions in such a way that...
conference paper 2019
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), Basten, A.A. (author)
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
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
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
Hendriks, M. (author), Basten, T. (author), Verriet, J. (author), Brassé, M. (author), Somers, L. (author)
Exploration of design alternatives and estimation of their key performance metrics such as latency and energy consumption is essential for making the proper design decisions in the early phases of system development. Often, high-level models of the dynamic behavior of the system are used for the analysis of design alternatives. Our work presents...
article 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
document
Borth, M. (author), Hendriks, M. (author)
The design and analysis of smart system behavior needs to bridge between worlds – both with regard to engineering methods and to the technologies central to adaptivity and thus a
conference paper 2016
document
Hendriks, M. (author), Verriet, J. (author), Basten, T. (author), Brassn, M. (author), Dankers, R. (author), Laan, R. (author), Lint, A. (author), Moneva, H. (author), Somers, L. (author), Willekens, M. (author)
Performance is a key aspect of many embedded systems, embedded data processing systems in particular. System performance can typically only be measured in the later stages of system development. To avoid expensive re-work in the final stages of development, it is essential to have accurate performance estimations in the early stages. For this...
conference paper 2015
document
Hendriks, M. (author), Basten, T. (author), Verriet, J. (author), Brassé, M. (author), Somers, L. (author)
Exploration of design alternatives and estimation of their key performance metrics such as latency and energy consumption is essential for making the proper design decisions in the early phases of system development. Often, highlevel models of the dynamic behavior of the system are used for the analysis of design alternatives. Our work presents...
article 2014
document
Bernier, F. (author), Ploennigs, J. (author), Pesch, D. (author), Lesecq, S. (author), Basten, T. (author), Boubekeur, M. (author), Denteneer, D. (author), Oltmanns, F. (author), Bonnard, F. (author), Lehmann, M. (author), Mai, T.L. (author), McGibney, A. (author), Rea, S. (author), Pacull, F. (author), Guyon-Gardeux, C. (author), Ducreux, L.F. (author), Thior, S. (author), Hendriks, M. (author), Verriet, J. (author), Fedor, S. (author)
This paper provides an overview of the architecture for self-organizing, co-operative and robust Building Automation Systems (BAS) proposed by the EC funded FP7 SCUBA1 project. We describe the current situation in monitoring and control systems and outline the typical stakeholders involved in the case of building automation systems. We derive...
conference paper 2013
document
McGibney, A. (author), Rea, S. (author), Lehmann, M. (author), Thior, S. (author), Lesecq, S. (author), Hendriks, M. (author), Gardeux, C. (author), Mai, L.T. (author), Pacull, F. (author), Ploennigs, J. (author), Basten, T. (author), Pesch, D. (author)
There is a strong push towards smart buildings that aim to achieve comfort, safety and energy efficiency, through building automation systems (BAS) that incorporate multiple subsystems such as heating and air-conditioning, lighting, access control etc. The design, commissioning and operation of BAS is already challenging when handling an...
conference paper 2013
Searched for: author:"Hendriks, M."
(1 - 20 of 22)

Pages