Joachim Denil

Publications:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms constraints invoked by copyright holders.

2016:

David Lawrance, Claudio Gomes, Joachim Denil, Didier Buchs and Hans Vangheluwe: Coupling Petri nets with Deterministic Formalisms Using Co-simulation, TMS-DEVS @SpringSim 2016

2015:

Ken Vanherpen, Joachim Denil, Hans Vangheluwe, Paul De Meulenaere: Round-trip Engineering for Control-Deployment Co-Design, MOD4Sim workshop @ SpringSim, 2015
Bert Van Acker, Joachim Denil, Hans Vangheluwe, Paul De Meulenaere: Generation of an Optimised Master Algorithm for FMI Co-simulation, MOD4Sim workshop @ SpringSim, 2015
Joachim Denil, Hany Kashif, Pansy Arafa, Hans Vangheluwe, Sebastian Fishmeister: Instrumentation and Preservation of Extra-functional properties of Simulink Model, TMS-DEVS @ SpringSim, 2015
Joachim Denil, Bart Meyers, Paul De Meuleneare, Hans Vangheluwe: Explicit Semantic Adaptation of Hybrid Formalisms for FMI Co-Simulation, TMS-DEVS @SpringSim, 2015

2014:

Ken Vanherpen, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe: Design-Space Exploration in Model-Driven Engineering, an Initial Pattern Catalogue, CMSEBA@MoDELS2014
Sebastian J. I. Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay, Dániel Varró: Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies. MPM@MoDELS 2014: 61-66
Joachim Denil, Maris Jukss, Clark Verbrugge, Hans Vangheluwe: Search-Based Model Optimization Using Model Transformations. SAM 2014: 80-95 (Co-Located at MoDELS 2014)
Bart Pussig, Joachim Denil, Paul De Meulenaere, Generation of Co-simulation Compliant Functional Mock-up Units From Simulink, Using Explicit Computational Semantics, Proceedings of the 2014 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2014
Hans Vangheluwe, Daniel Riegelhaupt, Sadaf Mustafiz, Joachim Denil and Simon Van Mierlo, Explicit Modelling of Causal Block Diagram Simulation Environments, Proceedings of the 2014 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2014
Joachim Denil, Pieter Mosterman and Hans Vangheluwe, Rule-Based Model Transformation For, and In Simulink, Proceedings of the 2014 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2014
Joachim Denil and Maris Jukss and Clark Verbrugge and Hans Vangheluwe, "Search-Based Model Optimization using Model Transformations", School of Computer Science, McGill University, January 2014, SOCS-TR-2014.2

2013:

Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil, "Towards Domain-Specific Property Languages: The ProMoBox Approach", DSM Workshop, Indianapolis, 2013
Magnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe and Joachim Denil, ''A Characterization of Integrated Multi‐View Modeling for Embedded Systems', EMSoft 2013, Montreal
Bart Meyers, Joachim Denil, Frederic Boulanger, Cecille Hardebolle, Christophe Jacquet, Hans Vangheluwe, "A DSL for Explicit Semantic Adaptation", 7th International Workshop on Multi-Paradigm Modelling, Miami, 2013
Levi Lucio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss, FTG+PM: An Integrated Framework for Investigating Model Transformation Chains. SDL Forum 2013: 182-202
Joachim Denil, Han Gang, Magnus Persson, Xue Liu, Haibo Zeng, Hans Vangheluwe, "Model-Driven Engineering Approaches to Design Space Exploration", School of Computer Science, McGill University, January 2013, SOCS-TR-2013.1

2012:

Sadaf Mustafiz, Joachim Denil, Levi Lucio, and Hans Vangheluwe; "The FTG+PM Framework for Multi-Paradigm Modelling: An Automotive Case Study"; Accepted @ MPM2012 of Models2012, 2012
Levi Lucio, Sadaf Mustafiz, Joachim Denil, Bart Meyers, Hans Vangheluwe, "The Formalism Transformation Graph as a Guide to Model Driven Engineering", School of Computer Science, McGill University, March 2012, SOCS-TR2012.1
J. Denil, H. Vangheluwe, P. De Meulenaere, S. Demeyer: "Calibration of deployment simulation model -- a multi-paradigm modelling approach", Accepted @ DEVS/TMS: MOD4SIM 2012 (part of SpringSim)
Levi Lucio, Joachim Denil, Hans Vangheluwe, "An Overview of Model Transformations for a Simple Automotive Power Window", School of Computer Science, McGill University, January 2012, SOCS-TR-2012.2 (@ McGill)

2011:

J. Denil, S. Demeyer, P. Demeulenaere, K. Maudens, K. Vanstechelmans ; “Migrating from a proprietary RTOS to the OSEK standard using a wrapper”: in M. Conti, S. Orcioni, N. Martínez Madrid, R. Seepold; “Lecture Notes in Electrical Engineering, Solutions on embedded systems”, Springer, 2011
Denil, Joachim; Vangheluwe, Hans; Ramaekers, Pieter; Meulenaere, de, Paul; Demeyer, Serge - DEVS for AUTOSAR platform modelling - In: Proceedings SPRINGSIM'2011 : 2011 Spring Simulation Multiconference, April, 2011 . - New York, N.Y. : ACM, 2011
Tim Hermans, Pieter Ramaekers, Joachim Denil, Jan Anthonis and Paul De Meulenaere. Integration of AUTOSAR in an Embedded Systems Development Process: A Case Study (short paper), Proceedings of the 37th EUROMICRO conference on software engineering and advanced application, 2011
Joachim Denil, Antonio Cicchetti, Matthias Biehl, Paul De Meulenaere, Romina Eramo and Serge Demeyer; Automatic Deployment Space Exploration Using Refinement Transformations; Accepted @ MPM Workshop of Models 2011

2009:

T. Hermans, J. Denil, P. De Meulenaere, J. Anthonis, Decoding of data on a CAN powertrain network, proceedings of the 16th annual symposium on communication and vehicular technology in the benelux, 2009
J. Denil, S. Demeyer, P. De Meulenaere, K. Vanstechelman and K. Maudens, Wrapping a Real-time Operating System with an OSEK Compliant Interface - a Feasibility Study, 2009 Seventh Workshop on Intelligent solutions in Embedded Systems, 25-26 June 2009 Page(s):157 - 164 (2009)

PhD Thesis:

A copy of the thesis can be found here.

Software has become a key component of a rapidly growing range of applications, products and services from all sectors of economic activity. This can be observed in large-scale heterogeneous systems, embedded systems for automotive applications, telecommunications, wireless ad hoc systems, business applications with an emphasis on web services etc. Such systems are commonly called software-intensive systems. Software-intensive systems are characterized by their reactive nature, real-time requirements, mix of continuous and discrete (hybrid) behaviour, the embedded character of some components of the system, the required dependability and the distribution of its elements.

Multi-Paradigm Modelling has already been proposed as a method for the development and verification of software-intensive systems. In multi-paradigm modelling every aspect of a system is modelled explicitly, at the most appropriate level(s) of abstraction, using the most appropriate formalism(s). This thesis attempts to close some of the remaining gaps for the design, verification and deployment of software-intensive systems.

Since multi-paradigm modelling promotes the explicit modelling of all aspects of a system, the process to design, verify and deploy systems has to be explicitly modelled as well. We propose the Formalism Transformation Graph and Process Model (FTG+PM) for this purpose. The FTG+PM contains, on the one hand, the definition of all formalisms and transformations involved in creating software-intensive systems. On the other hand, these formalisms and transformations are used within a process to create the systems.

The FTG+PM is applied to the creation of an automotive exemplar, the power window system. Several languages and transformations are identified to create the exemplar. The process starts with the modelling of requirements. Domain-specific languages are used to model different aspects of the system (namely: the environment, plant and control model). These models are transformed to Petri nets for verification and to a hybrid simulation model to evaluate the dynamic behaviour of the system. Finally, the system is deployed to a network of electronic control units.

During deployment it is necessary to evaluate the behaviour and other extra-functional properties of the solution. It is however not feasible to build the system and check the behaviour at the implementation level. Therefore, the Discrete Event System Specification is evaluated as an appropriate formalism for the simulation of deployed software-intensive systems.

System-level performance models however require calibration of the involved parameters to reflect the actual system behaviour. Since all aspects of the system are modelled, these models can be used to generate a calibration infrastructure. From the execution of the calibration infrastructure, a performance model can be built for calibration, i.e., to estimate the parameters of the simulation models of deployed software-intensive systems.

Finally, we evaluate the feasibility of transformations to optimise the deployment of software-intensive systems. A number of methods are used to leverage the explosion of the design-space. Firstly, multiple levels of abstraction/approximation are used where non-feasible solutions (or solutions that will never be optimal) are pruned. Secondly, general search techniques are introduced in transformation models to search the design space. Finally, if an existing optimisation model exists, the deployment model is transformed to this model. The FTG+PM is used for this purpose.

Jury:

Pieter J. Mosterman (McGill University - Mathworks)
Martin Törngren (KTH Sweden)
Hans Vangheluwe (McGill Unversity - University of Antwerp)
Serge Demeyer (University of Antwerp)
Paul De Meulenaere (Karel de Grote Technical University College)
Dirk Janssens (University of Antwerp

Academic