If you made any changes in Pure these will be visible here soon.

Research Output 1990 2018

2018

Exploiting specification modularity to prune the optimization-space of manufacturing systems

Bastos, J., Stuijk, S., Voeten, J., Schiffelers, R. & Corporaal, H., 28 May 2018, Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018. Stuijk, S. (ed.). New York: Association for Computing Machinery, Inc, p. 1-9 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Specifications
2 Citations (Scopus)

Identifying bottlenecks in manufacturing systems using stochastic criticality analysis

Nogueira Bastos, J. P., van der Sanden, L. J., Donk, O., Voeten, J. P. M., Stuijk, S., Schiffelers, R. R. H. & Corporaal, H., 27 Feb 2018, FDL 2017 - Proceedings of the 2017 Forum on Specification and Design Languages. Piscataway: IEEE Computer Society, Vol. 2017-September, p. 1-8 8 p. 8303901

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Critical path analysis
Systems analysis
Specifications
Flexible manufacturing systems
Error analysis

Modular specification and design exploration for flexible manufacturing systems

Nogueira Bastos, J. P., 3 Dec 2018, Eindhoven: Technische Universiteit Eindhoven. 187 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File

Timing prediction for service-based applications mapped on linux-based multi-core platforms

Jonk, R., Voeten, J., Geilen, M., Basten, T. & Schiffelers, R., 12 Oct 2018, Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018. Konofaos, N., Novotny, M. & Skavhaug, A. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 130-139 10 p. 8491806

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Legacy systems
Application programs
Pipelines
Linux
Experiments
2016

An embedded CAN controller for a vehicle networking course project

Breaban, G. D., Koedam, M. L. P. J., Voeten, J. P. M. & Goossens, K. G. W., 2016, WESE '16 Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, Pittsburgh, Pennsylvania, October 01- 07, 2016. New York: Association for Computing Machinery, Inc, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Students
Controllers
Automotive industry
Field programmable gate arrays (FPGA)
Servers

Communication aware multiprocessor binding for shared memory systems

Adyanthaya, S., Geilen, M. C. W., Basten, T., Voeten, J. P. M. & Schiffelers, R. R. H., 2016, 11th IEEE International Symposium on Industrial Embedded Systems (SIES), Krakow, Poland, 23-25 May 2016. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-10 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Data storage equipment
Clustering algorithms
Communication

Compositional specification of functionality and timing of manufacturing systems

van der Sanden, L. J., Nogueira Bastos, J. P., Voeten, J. P. M., Geilen, M. C. W., Reniers, M. A., Basten, T., Jacobs, J. & Schiffelers, R. R. H., Sep 2016, Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specifications
Controllers
Semantics

Robust multiprocessor scheduling of industrial-scale mechatronic control systems

Adyanthaya, S., 4 Jul 2016, Eindhoven: Technische Universiteit Eindhoven. 122 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
5 Citations (Scopus)

The impact of deadline misses on the control performance of high-end motion control systems

Geelen, W., Antunes, D., Voeten, J. P. M., Schiffelers, R. R. H. & Heemels, W. P. M. H., 1 Feb 2016, In : IEEE Transactions on Industrial Electronics. 63, 2, p. 1218-1229 12 p., 7339675

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Motion control
Control systems
Sampling
Time domain analysis
Real time control

xCPS: a tool to explore cyber physical systems

Adyanthaya, S., Alizadeh Ara, H., Nogueira Bastos, J. P., Baghbanbehrouzian, A., Medina Sanchez, R. A., van Pinxten, J. H. H., van der Sanden, L. J., Waqas, U., Basten, A. A., Corporaal, H., Frijns, R. M. W., Geilen, M. C. W., Goswami, D., Hendriks, M., Stuijk, S., Reniers, M. A. & Voeten, J. P. M., 2016, In : ACM SIGBED Review. 14, 1, p. 81-95

Research output: Contribution to journalArticleAcademicpeer-review

Education
Students
Cyber Physical System
Industry
2015

Iterative robust multiprocessor scheduling

Adyanthaya, S., Geilen, M. C. W., Basten, A. A., Voeten, J. P. M. & Schiffelers, R. R. H., 2015, 23rd International Conference on Real-Time Networks and Systems, 4-6 November 2015, Lille, France. New York: Association for Computing Machinery, Inc, p. 23-32

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Scheduling
1 Citation (Scopus)

Modeling resource sharing using FSM-SADF

Nogueira Bastos, J., Stuijk, S., Voeten, J., Schiffelers, R., Jacobs, J. & Corporaal, H., Sep 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 21-23 September 2015, Austin, Texas . Piscataway: Institute of Electrical and Electronics Engineers, p. 96-101

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Data flow analysis
Finite automata
Semantics
Throughput
10 Citations (Scopus)

Modular model-based supervisory controller design for wafer logistics in lithography machines

van der Sanden, L. J., Reniers, M. A., Geilen, M. C. W., Basten, A. A., Jacobs, J., Voeten, J. P. M. & Schiffelers, R. R. H., Sep 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS): Proceedings. Piscataway: ACM/IEEE, p. 416-425 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Lithography
Logistics
Finite automata
Controllers
Supervisory personnel

Platform-based design for high-performance mechatronic systems

Frijns, R. M. W., 2015, Eindhoven: Technische Universiteit Eindhoven. 132 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
1 Citation (Scopus)

xCPS : a tool to eXplore cyber physical systems

Adyanthaya, S., Alizadeh Ara, H., Bastos, J. P., Baghbanbehrouzian, A., Medina Sanchez, R. A., Pinxten, van, J. H. H., Sanden, van der, L. J., Waqas, U., Basten, A. A., Corporaal, H., Frijns, R. M. W., Geilen, M. C. W., Goswami, D., Stuijk, S., Reniers, M. A. & Voeten, J. P. M., 2015, Proceedings of WESE'15 : Workshop on Embedded and Cyber-Physical Systems Education, 8 October 2015, Amsterdam, The Netherlands. Grimheden, M. E. (ed.). New York: Association for Computing Machinery, Inc, p. 1-8 3

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Education
Students
Cyber Physical System
Industry
2014

Model-driven engineering for high-performance servo control : from research to industrial practice

Voeten, J. P. M. & Schiffelers, R. R. H., 2014, 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES), 10-11 June 2014, Sankt Goar, Germany. New York: Association for Computing Machinery, Inc

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Multi-core communication-aware scheduler for CARM 2G

Adyanthaya, S., Schiffelers, R. R. H., Theunissen, R., Huët, van, C., Geilen, M. C. W., Frijns, R. M. W. & Voeten, J. P. M., 2014

Research output: Contribution to conferencePosterAcademic

6 Citations (Scopus)

Robustness analysis of multiprocessor schedules

Adyanthaya, S., Zhang, Z., Geilen, M. C. W., Voeten, J. P. M., Basten, T. & Schiffelers, R. R. H., 2014, Proceedings 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), July 14-17, 2014, Samos, Greece. Galuzzi, C. & Veidenbaum, A. (eds.). Samos, Greece: Institute of Electrical and Electronics Engineers, p. 9-17

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Curve fitting
4 Citations (Scopus)

Timing analysis of first-come first-served scheduled interval-timed directed acyclic graphs

Frijns, R. M. W., Adyanthaya, S., Stuijk, S., Voeten, J. P. M., Geilen, M. C. W., Schiffelers, R. R. H. & Corporaal, H., 2014, Proceedings of the design, automation and test in Europe(DATE) 24-28 March 2014, Dresden, Germany. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Scheduling
Explosions

Towards 120 kHz stages using CARM 2G

Voeten, J. P. M., Frijns, R. M. W., Bontekoe, M., Gidalov, N., Schiffelers, R. R. H. & Huët, van, C., 2014

Research output: Contribution to conferencePosterAcademic

Towards robust multi-processor scheduling for high-end servo control

Voeten, J. P. M., Adyanthaya, S., Schiffelers, R. R. H. & Theelen, B. D., 2014, Advanced School for Computing and Imaging (ASCI) Summer School, June 10, 2014, Soesterberg, The Netherlands.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Lithography
Scheduling
Data flow analysis
Degrees of freedom (mechanics)
Throughput
2013
2 Citations (Scopus)

Calibration error bound estimation in performance modeling

Parappurath, V., Voeten, J. P. M. & Kotterink, C., 2013, Proceedings 16th Euromicro conference on digital system design (DSD 2013), 4-6 September 2013, Santander, Spain. Matos, J. S. & Leporati, F. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 97-102

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Calibration
Embedded systems
2 Citations (Scopus)

Dataflow-based multi-ASIP platform approach for digital control applications

Frijns, R. M. W., Kamp, A. L. J., Stuijk, S., Voeten, J. P. M., Bontekoe, M., Gemei, K. J. A. & Corporaal, H., 2013, Proceedings 16th Euromicro Conference on Digital Systems Design (DSD 2013), 4-6 September 2013, Santandor, Spain. Silva Matos, J. & Leporati, F. (eds.). p. 811-814

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Field programmable gate arrays (FPGA)
Sampling
Controllers
Processing
10 Citations (Scopus)

Fast multiprocessor scheduling with fixed task binding of large scale industrial cyber physical systems

Adyanthaya, S., Geilen, M. C. W., Basten, T., Schiffelers, R. R. H., Theelen, B. D. & Voeten, J. P. M., 2013, Proceedings of the Euromicro Conference on Digital System Design (DSD) 2013, 4-6 September 2013, Los Alamitos, California. Piscataway: Institute of Electrical and Electronics Engineers, p. 979-988

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Scheduling
Silicon wafers
Throughput
Cyber Physical System

High-performance heterogeneous architectures for CARM2G

Frijns, R. M. W., Bontekoe, M., Gemei, K. J. A., Gidalov, N., Huët, van, C., Schiffelers, R. R. H. & Voeten, J. P. M., 2013

Research output: Contribution to conferencePosterAcademic

2012

CARM 2G : model based design, analysis and initialization of Twinscan servo controllers

Schiffelers, R. R. H., Huët, van, C., Gidalov, N., Alberts, W., Voeten, J. P. M., Theelen, B. D., Ven, J. & Tabingh Suermondt, W., 2012

Research output: Contribution to conferencePosterAcademic

12 Citations (Scopus)

Model-based specification, analysis and synthesis of servo controllers for lithoscanners

Schiffelers, R. R. H., Alberts, W. & Voeten, J. P. M., 2012, Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (MPM 2012) , October 1, 2012, Innsbruck, Austria. New York: Association for Computing Machinery, Inc, p. 55-60

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Specifications
Controllers
Control systems
Lithography
Transducers

Model-driven engineering for litho scanners

Voeten, J. P. M., Schiffelers, R., Alberts, W. & Theelen, B. D., 2012

Research output: Contribution to conferenceOtherAcademic

Modelgebaseerd ontwerp van regelaars in lithoscanners

Schiffelers, R. R. H., Alberts, W. & Voeten, J. P. M., 2012, In : Bits & Chips : Nieuwsmagazine voor de Hightechindustrie. 4, p. 34-37

Research output: Contribution to journalArticlePopular

2011
1 Citation (Scopus)

Error computation for predictable real-time software synthesis

Voeten, J. P. M., Florescu, O., Huang, J. & Corporaal, H., 2011, In : Simulation. 87, 4, p. 334-350 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

Synthesis
Real-time
Software
Path
Model
9 Citations (Scopus)

Performance model checking scenario-aware dataflow

Theelen, B. D., Geilen, M. C. W. & Voeten, J. P. M., 2011, Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11), 21-23 September 2011, Aalborg, Denmark,. U. Fahrenberg, S. T. (ed.). Berlin: Springer, p. 43-59 (Lecture Notes in Computer Science; vol. 6919)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Semantics
Signal processing
Throughput

Performance prediction and optimization for wafer scanners

Voeten, J. P. M., Hendriks, T., Theelen, B. D., Schuddemat, J., Tabingh Suermondt, W., Gemei, J., Kotterink, C. & Huët, van, C., 2011

Research output: Contribution to conferenceOtherAcademic

5 Citations (Scopus)

Predicting timing performance of advanced mechatronics control systems

Voeten, J. P. M., Hendriks, T., Theelen, B. D., Schuddemat, J., Tabingh Suermondt, W., Gemei, J., Kotterink, C. & Huet, van, J., 2011, Proceedings of the Computer Software and Applications Conference Workshops (COMPSACW 2011), 18-22 July 2011, Munich, Germany. Eichler, G., Kuepper, A., Schau, V., Fouchal, H. & Unger, H. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 206-210

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Mechatronics
Control systems
Fallout
Industrial applications
Industry

Towards a predictable automated design flow for large-scale high-performance control applications

Frijns, R. M. W., Aangenent, W. H. T. M., Bontekoe, M., Corporaal, H., Clijsen, G., Tabingh Suermondt, W., Theelen, B. D., Voeten, J. P. M. & van de Wal, M., 2011

Research output: Contribution to conferencePosterAcademic

2010

An FPGA-based solution for a MEMS mirror controller

Hui, J., 2010, Eindhoven: Technische Universiteit Eindhoven. 128 p.

Research output: ThesisPd Eng ThesisAcademic

2 Citations (Scopus)

Connecting technical and non-technical views of system architectures

Li, L., Hooman, J. J. M. & Voeten, J. P. M., 2010, Proceedings of Green Computing and Communications (GreenCom), 2010 IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social Computing (CPSCom), 18-20 December 2010, Hangzhou, China. p. 592-

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Animation
Costs
Cyber Physical System
4 Citations (Scopus)

From POOSL to UPPAAL : transformation and quantitative analysis

Xing, J., Theelen, B. D., Langerak, R., Pol, van de, J. C., Tretmans, J. & Voeten, J. P. M., 2010, Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 21-25 June 2010, Braga, Portugal. Los Alamitos: IEEE Computer Society, p. 47-56

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specification languages
Motion control
Control systems
Chemical analysis
Model checking

Performance prediction and design-space exploration for wafer scanners.

Voeten, J. P. M., 2010 1 p.

Research output: Contribution to conferenceOtherAcademic

Predicting timing performance of wafer scanners

Voeten, J. P. M., 2010

Research output: Contribution to conferenceOtherAcademic

2 Citations (Scopus)

UPPAAL in practice : quantitative verification of a RapidIO network.

Xing, J., Theelen, B. D., Langerak, R., Pol, van de, J. C., Tretmans, J. & Voeten, J. P. M., 2010, Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, October 18-21, 2010, Heraklion, Greece. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 160-174

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specification languages
Packet networks
Model checking
Distributed computer systems
Motion control
2009
1 Citation (Scopus)

Concurrent design of embedded control software

Groothuis, M., Frijns, R. M. W., Voeten, J. P. M. & Broenink, J., 2009, Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009), 4-9 October 2009, Denver, Colorado, USA. (Electronic Communications of the EASST; vol. 21)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Patterns for automatic generation of soft real-time system models

Florescu, O., Voeten, J. P. M., Theelen, B. D. & Corporaal, H., 2009, In : Simulation. 85, 11/12, p. 709-733 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

Specification languages
Real time systems
Radio navigation
Real-time
Navigation systems

Predictable Wafer Scanner Design

Theelen, B. D. & Voeten, J. P. M., 2009

Research output: Contribution to conferenceOtherAcademic

Quality in model driven engineering

Punter, H. T., Voeten, J. P. M. & Huang, J., 2009, Model-driven software development : integrating quality assurance. Rech, J. & Bunse, C. (eds.). New York: Information Science Reference, p. 37-56

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Y-chart based system design: a discussion on approaches

Lapalme, J., Theelen, B. D., Stoimenov, N., Voeten, J. P. M., Thiele, L. & Aboulhamid, E. M., 2009, Nouvelles approches pour la conception d'outils CAO pour le domaine des systems embarqu'es. Montreal, Canada: Universite de Montreal, p. 23-56 36 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded systems
Systems analysis
Hardware
2008

An executable interface specification for industrial embedded system design.

Huang, J., Voeten, J. P. M., Wolfs, S. & Coopmans, M., 2008, The Eighth International Conference on Quality Software, 2008 : QSIC '08 ; 12 - 13 Aug. 2008, Oxford, UK ; proceedings ; [in conjunction with] the Third International Workshop on Integration of Software Engineering and Agent Technologies (ISEAT 2008). Piscataway: Institute of Electrical and Electronics Engineers, p. 37-44

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Embedded systems
Interfaces (computer)
Systems analysis
Specifications
Architectural design

A Packet Switch Case Study

Voeten, J. P. M., 2008

Research output: Contribution to conferenceOtherAcademic

Parallel object-oriented specification language

Florescu, O., Voeten, J. P. M., Theelen, B. D., Geilen, M. C. W. & Corporaal, H., 2008, ARTIST Survey of Programming Languages. Burns, A. (ed.). s.l.: ARTIST2, Network of Excellence on Embedded System Design

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Specification languages
Message passing
Product design
Computer hardware
Algebra

Scenario-aware dataflow

Theelen, B. D., Geilen, M. C. W., Stuijk, S., Gheorghita, V., Basten, T., Voeten, J. P. M. & Ghamarian, A. H., 2008, Eindhoven: Technische Universiteit Eindhoven. 22 p. (ES reports; vol. 2008-08)

Research output: Book/ReportReportAcademic

Open Access
File
2007
9 Citations (Scopus)

A Model Driven Approach for Mechatronic Systems

Huang, J., Voeten, J. P. M., Groothuis, M., Broenink, J. & Corporaal, H., 2007, Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007) 10-13 July 2007, Bratislava, Slovak Republic. Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 127-136

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Mechatronics
Glues
Software design