Dr. Jean-Christophe Deprez has been at Centre d'Excellence en Technologies de l'Information et de la Communication (CETIC) in Charleroi, Belgium, since 2005 where he is Scientific Coordinator. He received his doctorate from the University of Louisiana in Lafayette in May 2003. Since 2008, Dr Deprez is an ISO representative for Belgium in various ISO/IEC JTC1 Subcommittees, namely, SC7 on Software and System Engineering, SC27 on Security, and TR215 on Health Informatics. In his latest R
ICT energy efficiency is a growing concern. A great effort has already been put making hardware m... more ICT energy efficiency is a growing concern. A great effort has already been put making hardware more energy efficient and aware. Although a part of that effort is devoted to specific software areas like embedded/mobile systems, much remains to be done at the software level, especially for applications deployed in the Cloud. There is an increasing need to help Cloud application developers to learn to reason about how much energy is consumed by their applications on the server side. This paper presents how to help developers to capture and deal with the interrelation between energy goals and other possibly conflicting non-functional requirements (NFRs) with the aim to guide them in the selection of a balanced compromise. We here extend our toolset, which already supports enabling energy awareness at requirements and design stages, with the ability to relate energy NFR with other kinds of NFRs. We also explore different design options based on collected measurements relating to those N...
B model Manual translated from Event-B model Concrete B model generated by EdithB generated by Ed... more B model Manual translated from Event-B model Concrete B model generated by EdithB generated by EdithB New EdithB rules required Ada-PSC code Translated (except base machines, manually written) Translated (except base machines,
OBJECTIVES Gather and consolidate evidence information about industrial deployment experiences ca... more OBJECTIVES Gather and consolidate evidence information about industrial deployment experiences carried out within and outside of the DEPLOY project Present in a way that answers direct concerns of potential industrial adopters:
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018
Small and medium-sized enterprises (SMEs) play a key role in the worldwide economy and are increa... more Small and medium-sized enterprises (SMEs) play a key role in the worldwide economy and are increasingly dependent on software as part of their products/services or to support their operation (e.g. e-commerce, smart manufacturing). Over the past 15 years, as a research and technology transfer centre, CETIC has been busy helping Belgian SMEs to increase their maturity in software development. We have also contributed specific methods and tools for the SME target, including the OWPL framework and now the ISO29110 standard. This talk aims at sharing what we learned from different types of SMEs (from startups to grownups, both IT and non IT) about common problems gathered in a long term survey. We then focus on key issues like requirements, technical debt, test/release and (agile/lean) project management. Finally, we share our thoughts on new challenges ahead raised by the ever increasing connectivity like cybersecurity and privacy regulation (GDPR).
2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2020
The production of huge amount of data and the emergence of new technologies in the industry secto... more The production of huge amount of data and the emergence of new technologies in the industry sector have introduced new requirements for big data management. Many applications need to interact with several heterogeneous data sources to ingest, harmonise (normalise), persist, analyse and synthesize results to enable informed decisions and draw benefits from data. These operations are ensured by different tools and these tools are heterogeneous and not connected with each other. Besides, the whole tool-chain lacks automation in terms of its deployment, its operational workflow and its orchestration for satisfying the elastic and resilient properties needed by Industry. In this paper, we present FADI, a framework for deploying and orchestrating a Big Data management and analysis platform fully composed of open source tools. FADI has been developed through several research projects, namely, BigData@MA, Grinding 4.0, Quality 4.0 and ARTEMTEC where Industry use cases are used for validation purposes.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
Placer is a model-based tool that, given a model of heterogeneous (or at least multi-core) hardwa... more Placer is a model-based tool that, given a model of heterogeneous (or at least multi-core) hardware and a task-based complex software, finds a mapping of the software tasks on the various processing elements of the hardware, together with a routing of the transmissions on the available busses, and provides a schedule for the tasks and transmissions. The mapping can minimize either the run time, energy consumption, or both in a multi-objective fashion. The tool combines an Eclipse front-end and a web-service placement back-end based on the OscaR constraint programming library. The tool demonstration illustrates how to build the task model, perform the analysis and possibly iterate to improve the placement.
2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), 2016
As our world is going digital, Electronic Evidence are increasingly used in court and not just fo... more As our world is going digital, Electronic Evidence are increasingly used in court and not just for computer related crimes. At the same time, organised crimes are also following the globalisation trend and often require fast cooperation across judicial authorities of several countries to be efficiently fought. However this is currently difficult to achieve because the integrity of electronic evidence can easily be compromised and legislation is often lagging behind in their use of ICT means. The context of this work is to develop a roadmap for the collection, use and exchange of electronic evidence across EU Member states. In this paper we report about a detailed requirements analysis re-lying on the GRL goal-oriented method. We present strategic rationales underlying the management of electronic evidence and refine them into specific requirements that can be achieved by existing or enhanced systems like I-Link and TESTA as well as data exchange frameworks such as CybOX, DFAX and UMF.
The paper is concerned with the issue of how software systems actually use Heterogeneous Parallel... more The paper is concerned with the issue of how software systems actually use Heterogeneous Parallel Architectures (HPAs), with the goal of optimizing power consumption on these resources. It argues the need for novel methods and tools to support software developers aiming to optimise power consumption resulting from designing, developing, deploying and running software on HPAs, while maintaining other quality aspects of software to adequate and agreed levels. To do so, a reference architecture to support energy efficiency at application construction, deployment, and operation is discussed, as well as its implementation and evaluation plans.
The EVIDENCE project aims at providing a roadmap (guidelines, recommendations and technical stand... more The EVIDENCE project aims at providing a roadmap (guidelines, recommendations and technical standards) for realising the missing Common European Framework for the systematic and uniform application of new technologies in the collection, use and exchange of Electronic Evidence. This chapter provides insights and expert’s recommendations for the roadmap regarding the software architecture design, the technologies, protocols and standards of software systems for digital evidence collection, handling and exchange. To this goal a software application and library prototypes have been developed that implement several of these protocols and have used the recommended representation language for applying a structure on the electronic evidence data, as well as metadata and for keeping the provenance of all steps of the digital forensic investigation lifecycle.
2021 IEEE 29th International Requirements Engineering Conference Workshops (REW), 2021
Formal requirements are written in mathematical language enabling powerful verification but are c... more Formal requirements are written in mathematical language enabling powerful verification but are complex to validate by domain end-users or stakeholders. Requirements animations answer this problem by providing techniques to explore system traces and interact with them using domain specific graphical views and controls. Most formal tools include features to ease the development of such animations for different formal notations. However, to be sound, animations require to be carefully designed. This paper analyses major animation frameworks for system design in order to clearly identify their validation scope and purpose. Based on this, it identifies and discusses a number of checks to make sure an animation is well-designed. Different case studies are used as illustrative support.
ICT energy efficiency is a growing concern. A great effort has already been put making hardware m... more ICT energy efficiency is a growing concern. A great effort has already been put making hardware more energy efficient and aware. Although a part of that effort is devoted to specific software areas like embedded/mobile systems, much remains to be done at the software level, especially for applications deployed in the Cloud. There is an increasing need to help Cloud application developers to learn to reason about how much energy is consumed by their applications on the server side. This paper presents how to help developers to capture and deal with the interrelation between energy goals and other possibly conflicting non-functional requirements (NFRs) with the aim to guide them in the selection of a balanced compromise. We here extend our toolset, which already supports enabling energy awareness at requirements and design stages, with the ability to relate energy NFR with other kinds of NFRs. We also explore different design options based on collected measurements relating to those N...
B model Manual translated from Event-B model Concrete B model generated by EdithB generated by Ed... more B model Manual translated from Event-B model Concrete B model generated by EdithB generated by EdithB New EdithB rules required Ada-PSC code Translated (except base machines, manually written) Translated (except base machines,
OBJECTIVES Gather and consolidate evidence information about industrial deployment experiences ca... more OBJECTIVES Gather and consolidate evidence information about industrial deployment experiences carried out within and outside of the DEPLOY project Present in a way that answers direct concerns of potential industrial adopters:
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018
Small and medium-sized enterprises (SMEs) play a key role in the worldwide economy and are increa... more Small and medium-sized enterprises (SMEs) play a key role in the worldwide economy and are increasingly dependent on software as part of their products/services or to support their operation (e.g. e-commerce, smart manufacturing). Over the past 15 years, as a research and technology transfer centre, CETIC has been busy helping Belgian SMEs to increase their maturity in software development. We have also contributed specific methods and tools for the SME target, including the OWPL framework and now the ISO29110 standard. This talk aims at sharing what we learned from different types of SMEs (from startups to grownups, both IT and non IT) about common problems gathered in a long term survey. We then focus on key issues like requirements, technical debt, test/release and (agile/lean) project management. Finally, we share our thoughts on new challenges ahead raised by the ever increasing connectivity like cybersecurity and privacy regulation (GDPR).
2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2020
The production of huge amount of data and the emergence of new technologies in the industry secto... more The production of huge amount of data and the emergence of new technologies in the industry sector have introduced new requirements for big data management. Many applications need to interact with several heterogeneous data sources to ingest, harmonise (normalise), persist, analyse and synthesize results to enable informed decisions and draw benefits from data. These operations are ensured by different tools and these tools are heterogeneous and not connected with each other. Besides, the whole tool-chain lacks automation in terms of its deployment, its operational workflow and its orchestration for satisfying the elastic and resilient properties needed by Industry. In this paper, we present FADI, a framework for deploying and orchestrating a Big Data management and analysis platform fully composed of open source tools. FADI has been developed through several research projects, namely, BigData@MA, Grinding 4.0, Quality 4.0 and ARTEMTEC where Industry use cases are used for validation purposes.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
Placer is a model-based tool that, given a model of heterogeneous (or at least multi-core) hardwa... more Placer is a model-based tool that, given a model of heterogeneous (or at least multi-core) hardware and a task-based complex software, finds a mapping of the software tasks on the various processing elements of the hardware, together with a routing of the transmissions on the available busses, and provides a schedule for the tasks and transmissions. The mapping can minimize either the run time, energy consumption, or both in a multi-objective fashion. The tool combines an Eclipse front-end and a web-service placement back-end based on the OscaR constraint programming library. The tool demonstration illustrates how to build the task model, perform the analysis and possibly iterate to improve the placement.
2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), 2016
As our world is going digital, Electronic Evidence are increasingly used in court and not just fo... more As our world is going digital, Electronic Evidence are increasingly used in court and not just for computer related crimes. At the same time, organised crimes are also following the globalisation trend and often require fast cooperation across judicial authorities of several countries to be efficiently fought. However this is currently difficult to achieve because the integrity of electronic evidence can easily be compromised and legislation is often lagging behind in their use of ICT means. The context of this work is to develop a roadmap for the collection, use and exchange of electronic evidence across EU Member states. In this paper we report about a detailed requirements analysis re-lying on the GRL goal-oriented method. We present strategic rationales underlying the management of electronic evidence and refine them into specific requirements that can be achieved by existing or enhanced systems like I-Link and TESTA as well as data exchange frameworks such as CybOX, DFAX and UMF.
The paper is concerned with the issue of how software systems actually use Heterogeneous Parallel... more The paper is concerned with the issue of how software systems actually use Heterogeneous Parallel Architectures (HPAs), with the goal of optimizing power consumption on these resources. It argues the need for novel methods and tools to support software developers aiming to optimise power consumption resulting from designing, developing, deploying and running software on HPAs, while maintaining other quality aspects of software to adequate and agreed levels. To do so, a reference architecture to support energy efficiency at application construction, deployment, and operation is discussed, as well as its implementation and evaluation plans.
The EVIDENCE project aims at providing a roadmap (guidelines, recommendations and technical stand... more The EVIDENCE project aims at providing a roadmap (guidelines, recommendations and technical standards) for realising the missing Common European Framework for the systematic and uniform application of new technologies in the collection, use and exchange of Electronic Evidence. This chapter provides insights and expert’s recommendations for the roadmap regarding the software architecture design, the technologies, protocols and standards of software systems for digital evidence collection, handling and exchange. To this goal a software application and library prototypes have been developed that implement several of these protocols and have used the recommended representation language for applying a structure on the electronic evidence data, as well as metadata and for keeping the provenance of all steps of the digital forensic investigation lifecycle.
2021 IEEE 29th International Requirements Engineering Conference Workshops (REW), 2021
Formal requirements are written in mathematical language enabling powerful verification but are c... more Formal requirements are written in mathematical language enabling powerful verification but are complex to validate by domain end-users or stakeholders. Requirements animations answer this problem by providing techniques to explore system traces and interact with them using domain specific graphical views and controls. Most formal tools include features to ease the development of such animations for different formal notations. However, to be sound, animations require to be carefully designed. This paper analyses major animation frameworks for system design in order to clearly identify their validation scope and purpose. Based on this, it identifies and discusses a number of checks to make sure an animation is well-designed. Different case studies are used as illustrative support.
Uploads
Papers by Jean-Christophe Deprez