On the Construction of Monitors for Temporal Logic Properties

Autor: Geilen, M.C.W.

Publikováno v: In Electronic Notes in Theoretical Computer Science October 2001 55(2):181-199

Worst-case throughput analysis for parametric rate and parametric actor execution time scenario-aware dataflow graphs

Autor: Skelin, M., Geilen, M.C.W., Catthoor, F., Hendseth, S., André, É., Frehse, G.

Publikováno v: Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014, 65-79
STARTPAGE=65;ENDPAGE=79;TITLE=Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014
SynCoP
Electronic Proceedings in Theoretical Computer Science, Vol 145, Iss Proc. SynCoP 2014, Pp 65-79 (2014)

Scenario-aware dataflow (SADF) is a prominent tool for modeling and analysis of dynamic embedded dataflow applications. In SADF the application is represented as a finite collection of synchronous dataflow (SDF) graphs, each of which represents one p

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46393932398019a2dc22b65b8b403ab7
https://doi.org/10.4204/eptcs.145.7

NoC-Based Multiprocessor Architecture for Mixed-Time-Criticality Applications

Autor: Goossens, K.G.W., Koedam, M.L.P.J., Nelson, A.T., Sinha, S.S., Goossens, S., Li, Y., Breaban, G.D., van Kampenhout, J.R., Tavakoli Najafabadi, R., Valencia, J., Ahmadi Balef, H., Akesson, B., Stuijk, S., Geilen, M.C.W., Goswami, D., Nabi Najafabadi, M., Ha, S., Teich, J.

Publikováno v: Handbook of Hardware/Software Codesign ISBN: 9789401773584
Handbook of hardware/software codesign, 491-530
STARTPAGE=491;ENDPAGE=530;TITLE=Handbook of hardware/software codesign
Handbook of Hardware/Software Codesign

In this chapter we define what a mixed-time-criticality system is and what its requirements are. After defining the concepts that such systems should follow, we described CompSOC, which is one example of a mixed-time-criticality platform. We describe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::883d4183392fbde4c616e89883bc3410
https://doi.org/10.1007/978-94-017-7358-4_17-1

Wireless Body Area Network protocols

Autor: Nabi, M., Basten, T., Geilen, M.C.W., Eren, H., Webster, J.G.

Publikováno v: Telemedicine and Electronic Medicine, 191-210
STARTPAGE=191;ENDPAGE=210;TITLE=Telemedicine and Electronic Medicine

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e89fae8bdeff89f30cf876db6909e313
https://doi.org/10.1201/b19210-12

Robustness analysis of multiprocessor schedules

Autor: Adyanthaya, S., Zhang, Z., Geilen, M.C.W., Voeten, J.P.M., Basten, T., Schiffelers, R.R.H., Galuzzi, C., Veidenbaum, A.

Publikováno v: Proceedings 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), July 14-17, 2014, Samos, Greece, 9-17
STARTPAGE=9;ENDPAGE=17;TITLE=Proceedings 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), July 14-17, 2014, Samos, Greece
Veidenbaum A.V.Galuzzi C., 14th International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, SAMOS 2014, 14 July 2014 through 17 July 2014, 9-17
ICSAMOS

Tasks executing on general purpose multiprocessor platforms exhibit variations in their execution times. As such, there is a need to explicitly consider robustness, i.e., tolerance to these fluctuations. This work aims to quantify the robustness of s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::79b95c161d56cef7a5bbb6c038c67e22
http://resolver.tudelft.nl/uuid:63d82666-513b-4676-9087-c676df125af6