Search

Your search keyword '"Hooman, J."' showing total 76 results
Start Over Author "Hooman, J." Search Limiters Full Text
76 results on '"Hooman, J."'

2. Industrial experiences with the evolution of a DSL

Author

Gray, J., Schuts, M.T.W., Alonso, M., Hooman, J., Gray, J., Schuts, M.T.W., Alonso, M., and Hooman, J.

Abstract

DSM 2021, Contains fulltext : 240077.pdf (Publisher’s version ) (Open Access)

Published
2021

3. Complex software-centric systems require interface medelling

Author

Hooman, J., Munnik, D. van der, and Noltes, P.

Subjects
Industrial Innovation
Abstract

Software interfaces play a crucial rule in component-based development. The Comma framework provides mature tool support for the specification and analysis of interfaces. An interface description in Comma contains a protocol state machine and it may specify timing constraints on the occurrence of interface events. For a component, constraints can be added on the relations between its interfaces. Using a Comma model as the single source of truth, many artifacts can be generated, such as visualization, documentation, code for middleware, monitors and tests.

Published
2020

4. Reducing design time and promoting evolvability using Domain-Specific Languages in an industrial context

Author

Tekinerdogan, B., Babur, Ö., Cleophas, L., Brand, M. van den, Akşit, M., Akesson, B., Hooman, J., Sleuters, J., Yankov, A., Tekinerdogan, B., Babur, Ö., Cleophas, L., Brand, M. van den, Akşit, M., Akesson, B., Hooman, J., Sleuters, J., and Yankov, A.

Abstract

Contains fulltext : 216823.pdf (preprint version ) (Closed access) Contains fulltext : 216823pub.pdf (Publisher’s version ) (Open Access)

Published
2020

5. Reducing Design Time and Promoting Evolvability using Domain-specific Languages in an Industrial Context

Author

Akesson, B., Hooman, J., Sleuters, J., and Yankov, A.

Subjects
Co-evolution, Industrial Innovation, Validation, Modularity, Evolvability, Model-based engineering, Domain-specific languages, Simulation
Abstract

The complexity of cyber-physical systems is increasing, driven by integration of more functionality and trends towards mass-customization. This has resulted in complex systems with many variants that require long time to develop and are difficult to adapt to changing requirements and introduction of new technology. New methodologies are hence required to reduce development time, simplify customization for a particular customer, and improve evolvability both during development and after deployment. This chapter explains how these challenges are addressed by an approach to model-based engineering (MBE) based on domainspecific languages (DSLs). However, applying the approach in industry has resulted in 5 technical research questions, namely how to: RQ1) achieve modularity and reuse in a DSL ecosystem, RQ2) achieve consistency between model and realizations, RQ3) manage an evolving DSL eco-system, RQ4) ensure model quality, RQ5) ensure quality of generated code. The five research questions are explored in the context of the published state-ofthe-art, as well as practically investigated through a case study from the defense domain.

Published
2019

7. Early Analysis of Cyber-Physical Systems using Co-simulation and Multi-level Modelling

Author

Luo, R.C., Nägele, T., Broenink, T., Hooman, J., Broenink, J., Luo, R.C., Nägele, T., Broenink, T., Hooman, J., and Broenink, J.

Abstract

ICPS 2019: IEEE Conference on Industrial Cyber Physical Systems, May 6-9, 2019 Taipei, Taiwan, Contains fulltext : 207639.pdf (preprint version ) (Open Access) Contains fulltext : 207639.pdf (publisher's version ) (Closed access)

Published
2019

10. A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements

Author

German, R., Berg, F. van den, Hooman, J., Haverkort, B.R., German, R., Berg, F. van den, Hooman, J., and Haverkort, B.R.

Abstract

Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Contains fulltext : 184404.pdf (preprint version ) (Open Access) Contains fulltext : 184404.pdf (Publisher’s version ) (Open Access)

Published
2018

11. CoHLA: Design Space Exploration and Co-simulation Made Easy

Author

Colombo, A.W., Nägele, T., Hooman, J., Broenink, T., Broenink, J., Colombo, A.W., Nägele, T., Hooman, J., Broenink, T., and Broenink, J.

Abstract

2018 IEEE Industrial Cyber-Physical Systems (ICPS), ITMO University, Saint Petersburg, Russia 15 - 18 May, 2018, Contains fulltext : 195250.pdf (Publisher’s version ) (Open Access)

Published
2018

14. Industrial Experience with the Migration of Legacy Models using a DSL

Author

Schuts, M., Hooman, J., Tielemans, P., Schuts, M., Hooman, J., and Tielemans, P.

Abstract

RWDSL2018: Real World Domain Specific Languages Workshop 2018, Vienna, Austria — February 24 - 24, 2018, Contains fulltext : 199879.pdf (Publisher’s version ) (Open Access)

Published
2018

15. Building Distributed Co-simulations using CoHLA

Author

Novotny, M., Nägele, T., Hooman, J., Sleuters, J., Novotny, M., Nägele, T., Hooman, J., and Sleuters, J.

Abstract

DSD 2018: 21st Euromicro Conference on Digital System Design, August 29-31, 2018, Prague, Czech Republic, Contains fulltext : 197658.pdf (Publisher’s version ) (Open Access)

Published
2018

16. iDSL: Automated Performance Evaluation of Service-Oriented Systems

Author

Berg, F. van den, Haverkort, B. R., and Hooman, J.

Subjects
TS - Technical Sciences, Informatics, Industrial Innovation, ESI - Embedded Systems Innovations, Domain Specific Language, ICT, Performance evaluation, Idsl
Abstract

Service-oriented systems interconnect with other systems in a time critical manner, making their performance vital. For this purpose, we propose an automated performance evaluation approach for service-oriented systems which includes both performance measurement and prediction. The approach makes use of the iDSL language, a domain specific language tailored to modeling service-oriented systems, and the iDSL toolchain to evaluate iDSL models, as follows. First, discrete-event simulation yields many performance artifacts, e.g., latency breakdown charts, cumulative distribution graphs, and latency bar charts. Second, timed automata-based model checking yields absolute latency bounds. Third, probabilistic timed automata-based model checking leads to exact latency distributions for each service. We successfully validated our approach; several case studies on interventional X-ray systems displayed similar measured and predicted outcomes.

Published
2017

17. Co-simulation of cyber-physical systems using HLA

Author

Nägele, T.C., Hooman, J., Nägele, T.C., and Hooman, J.

Abstract

IEEE CCWC 2017: The 7th IEEE Annual Computing and Communication Workshop and Conference, Las Vegas, USA, 9-11 January 2017, Contains fulltext : 173174.pdf (Publisher’s version ) (Open Access)

Published
2017

18. Runtime Monitoring Based on Interface Specifications

Author

Katoen, J.-P., Langerak, R., Rensink, A., Kurtev, I., Hooman, J., Schuts, M., Katoen, J.-P., Langerak, R., Rensink, A., Kurtev, I., Hooman, J., and Schuts, M.

Abstract

Contains fulltext : 178513.pdf (Publisher’s version ) (Open Access)

Published
2017

19. Rapid Construction of Co-simulations of Cyber-Physical Systems in HLA using a DSL

Author

Felderer, M., Nägele, T., Hooman, J., Felderer, M., Nägele, T., and Hooman, J.

Abstract

SEAA 2017: 43rd Euromicro Conference on Software Engineering and Advanced Applications, 30 August - 1 September 2017, Vienna, Austria, Contains fulltext : 178512.pdf (Publisher’s version ) (Open Access)

Published
2017

20. iDSL: Automated Performance Evaluation of Service-Oriented Systems

Author

Katoen, J.-P., Langerak, R., Rensink, A., Berg, F. van den, Haverkort, B.R., Hooman, J., Katoen, J.-P., Langerak, R., Rensink, A., Berg, F. van den, Haverkort, B.R., and Hooman, J.

Abstract

Contains fulltext : 178514.pdf (Publisher’s version ) (Open Access)

Published
2017

21. Cost-effective industrial software rejuvenation using domain-specific models

Author

Mooij, A.J., Eggen, G., Hooman, J., and Wezep, H. van

Subjects
Industrial software, TS - Technical Sciences, Informatics, Software engineering, Industrial Innovation, Software rejuvenation, ICT, Budget control, Software design, ESI - Embedded Systems Innovation, Cost effectiveness, Domain specific models
Abstract

Software maintenance consumes a significant and increasing proportion of industrial software engineering budgets, only to maintain the existing product functionality. This hinders the development of new innovative features with added value to customers. To make software development efforts more effective, legacy software needs to be rejuvenated into a substantial redesign. We show that partially-automated software rejuvenation is becoming feasible and cost-effective in industrial practice. We use domain-specific models that abstract from implementation details, and apply a pragmatic combination of manual and automated techniques. We demonstrate the effectiveness of this approach by the rejuvenation of legacy software of the Interventional X-ray machines developed by Philips Healthcare. cop. Springer International Publishing Switzerland 2015.

Published
2015

22. Formalizing the concept phase of product development

Author

Schuts, M. and Hooman, J.

Subjects
Model checking, TS - Technical Sciences, Industrial Innovation, Formal techniques, Interventional, Formal methods, X-ray system, HOL - Holst, Formal model, Product development, Industry, Nano Technology, Model-checking techniques, Product realisation
Abstract

We discuss the use of formal techniques to improve the concept phase of product realisation. As an industrial application, a new concept of interventional X-ray systems has been formalized, using model checking techniques and the simulation of formal models. cop. Springer International Publishing Switzerland 2015.

Published
2015

23. Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques

Author

Knottenbelt, W., Berg, F. van den, Haverkort, B.R., Hooman, J., Knottenbelt, W., Berg, F. van den, Haverkort, B.R., and Hooman, J.

Abstract

VALUETOOLS’15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Berlin, Germany - December 14-16, 2015, Contains fulltext : 163102.pdf (preprint version ) (Open Access)

Published
2016

24. Improving Maintenance by Creating a DSL for Configuring a Fieldbus

Author

Tolvanen, J.-P., Schuts, M.T.W., Hooman, J., Tolvanen, J.-P., Schuts, M.T.W., and Hooman, J.

Abstract

DSM 2016: Proceedings of the International Workshop on Domain-Specific Modeling, Amsterdam, Netherlands - October 30-30, 2016, Contains fulltext : 181584.pdf (publisher's version ) (Closed access)

Published
2016

36. Gaining industrial confidence for the introduction of domain-specific languages

Author

Sasaki, R., Mooij, A.J., Hooman, J., Albers, R., Sasaki, R., Mooij, A.J., Hooman, J., and Albers, R.

Abstract

2013 IEEE 37th Annual Computer Software and Applications Conference Workshops (COMPSACW) 22-26 July 2013, Kyoto, Japan, Contains fulltext : 122416.pdf (preprint version ) (Open Access)

Published
2013

38. Complementary verification of embedded software using ASD and Uppaal

Author

Doornbos, R., Hooman, J., Vlimmeren, B. van, Doornbos, R., Hooman, J., and Vlimmeren, B. van

Abstract

2012 International Conference on Innovations in Information Technology (IIT), 18-20 March 2012 in AbuDhabi, Al-Ain, UAE, Item does not contain fulltext

Published
2012

41. Experiences with a Compositional Model Checker in the Healthcare Domain

Author

Liu, Z., Hooman, J., Huis in 't Veld, R., Schuts, M., Liu, Z., Hooman, J., Huis in 't Veld, R., and Schuts, M.

Abstract

Foundations of Health Information Engineering and Systems - FHIES 2011: First International Symposium Johannesburg, South Africa, September 2011, Contains fulltext : 91792.pdf (publisher's version ) (Closed access)

Published
2011

44. Formalizing UML Models and OCL Constraints in PVS

Author

Kyas, M., Fecher, H., Boer, F.S. (Frank) de, Jacob, J.F. (Joost), Hooman, J., Zwaag, M.B. van der, Arons, T., Kugler, H., Kyas, M., Fecher, H., Boer, F.S. (Frank) de, Jacob, J.F. (Joost), Hooman, J., Zwaag, M.B. van der, Arons, T., and Kugler, H.

Published
2005

Catalog

Books, media, physical & digital resources
See catalog results