document

Firmness Analysis of Real-Time Tasks

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

QRML: A Component Language and Toolset for Quality and Resource Management

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

On the extension of walraven’s aggregate interlock model based on laser scanned crack surface

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

Co-simulation of vehicles and crowds for rescue trials

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

An interoperability Framework for Trials and Exercises

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

Scalable analysis for multi-scale dataflow models

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

Performance engineering with Trace

Hendriks, M. (author), Basten, A.A. (author)

article 2018

document

Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling

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

Parametric Critical Path Analysis for Event Networks with Minimal and Maximal Time Lags

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

Modeling and Analysis of FPGA Accelerators for Real-Time Streaming Video Processing in the Healthcare Domain

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

Monotonic Optimization of Dataflow Buffer Sizes

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

Checking Metric Temporal Logic with TRACE

Hendriks, M. (author), Geilen, M. (author), Behrouzian, A.R.B. (author), Basten, T. (author), Alizadeh, H. (author), Goswami, D. (author)

conference paper 2017

document

Sample-Drop Firmness Analysis of TDMA-Scheduled Control Applications

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

A blueprint for system-level performance modeling of software-intensive embedded systems

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

Tight Temporal Bounds for Dataflow Applications Mapped onto Shared Resources

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

Engineering the Smarts: An Illustration of the Disconnect between Control Engineering and AI

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

Performance engineering for industrial embedded data-processing systems

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

A blueprint for system-level performance modeling of software-intensive embedded systems

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

Architecture for self-organizing, co-operative and robust Building Automation Systems

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

A systematic engineering tool chain approach for self-organizing building automation systems

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