Software and System Engineering
Le département "Software and System Engineering" (SSE) développe et transfère des méthodes et outils permettant aux entreprises d’assurer une ingénierie de qualité de leurs systèmes à base de logiciel. Cette expertise est constamment entretenue par une recherche appliquée au niveau européen. Elle est mise au service des besoins des entreprises wallonnes par des missions d’audit, de formation, d’accompagnement, de prestation de services, voire de recherche spécifique dans plusieurs domaines clefs du développement tels que l’ingénierie des exigences, la qualité du code, les tests, la sécurité et la sûreté.
Projets de recherche
0 | 10 | 20- DapCare - Patient Dosimetry eBook (Santé, Embedded & Communication Systems, Europe, En cours, ERANET, Partenaire, DAPCARE)
- QualIHM - Méthodologie outillée pour la Qualité des Interfaces Homme-Machine (Software Services Technologies, Interfaces Utilisateurs, Recherche Collective, Wallonie, En cours, Coordinateur, Ingénierie dirigée par les modèles, QualIHM)
- PIPAS - Pilotage de Processus Adaptatifs de Soins (Santé, WIST, Wallonie, En cours, Ingénierie dirigée par les modèles, PIPAS)
- LOCOTRAC (Transport, Plan Marshall, Wallonie, En cours, Sûreté de fonctionnement, LOCOTRAC)
- SPES - Support aux Patients par le biais d’E-Services (Santé, Software Services Technologies, Embedded & Communication Systems, Europe, En cours, SPES)
- SAT - Smarter Airborne Technologies (Aérospatial, Plan Marshall, Certification logicielle, Wallonie, En cours, Ligne de produits logiciels, S@T)
- BEM - Business Event Manager (Transport, Plan Marshall, Wallonie, En cours, Ingénierie dirigée par les modèles, BEM)
- NAPLES - New Agile Platform for a Lifelong Engineering of Software (Industrie du logiciel, Partenariat d’Innovation Technologique, Wallonie, En cours, NAPLES)
- PONTE - Efficient Patient Recruitment for InnOvative CliNical Trials of Existing Drugs to other Indications (Santé, Software Services Technologies, Sémantique, Architectures Orientées Services, Dissémination, 7e Programme Cadre, Europe, En cours, Coordinateur, PONTE)
- CALiPro - Lignes de produits logicielles (First DOC.A, Wallonie, En cours, Ligne de produits logiciels, CALIPRO)
Publications scientifiques
0 | 10 | 20 | 30 | 40 | 50 | 60 | 70Ravi Ramdoyal, Christophe Ponsard, Myriam-Amina Derbali, Gabriel Schwanen, Isabelle Linden and Jean-Marie Jacquet, A Generic Workflow Metamodel to Support Resource-Aware Decision
Making, 15th International Conference on Enterprise Information Systems, Angers (France), 4-7 July 2013 (accepted). (Publications scientifiques, Ingénierie dirigée par les modèles, BEM)Isabelle Linden, MyriamDerbali, Gabriel Schwanen, Jean-MarieJacquet,
Ravi Ramdoyal, and Christophe Ponsard, Supporting unexpected situations in business process management using the BEM framework, EWG-DSS Thessaloniki-2013 Workshop, Greece, 29-31 May 2013 (accepted). (Publications scientifiques, Ingénierie dirigée par les modèles, BEM)Christophe Ponsard, Mathieu Ocaña, Annick Majchrowski, Confrontation d’un modèle d’échange de données dosimétriques avec l’état des pratiques franco-belges, INFORSID 2013, Paris, 29-31 mai 2013 (accepté) (Santé, Publications scientifiques, Ingénierie dirigée par les modèles, DAPCARE)
Renaud De Landtsheer, Christophe Ponsard, OscaR.cbls : an open source framework for constraint-based local search, 27th ORBEL Annual Meeting, Kortrijk, February 7-8 2013. (Open Source, Communication scientifique)
Jean-Christophe Deprez, Dimitri Durieux, Connect ALM tools thanks to the Open Services for Lifecycle Collaboration Specification, DEVOXX 2012, 13 novembre 2012. (Outillages et environnements logiciels, Communication scientifique, NAPLES)
Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel and Margus Veanes, An SMT-LIB Format for Sequences and Regular Expressions, 10th International Workshop on Satisfiability Modulo Theories, (Affiliated with IJCAR 2012), Manchester, UK, June 30-July 1, 2012 (Industrie du logiciel, Communication scientifique, CALIPRO)
Raphaël Michel, Vijay Ganesh, Arnaud Hubaux and Patrick Heymans, An SMT-based approach to automated configuration,
10th International Workshop on Satisfiability Modulo Theories, (Affiliated with IJCAR 2012), Manchester, UK, June 30-July 1, 2012 (Publications scientifiques, Ligne de produits logiciels, CALIPRO)Syed Naqvi, Arnaud Michot, Michael Van de Borne, Analysing Impact of Scalability and Heterogeneity on the Performance of Federated Cloud Security, 4th IEEE International Workshop on Security in e-Science and e-Research (ISSR 2012) in conjunction with The 2012 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-2012), Liverpool, UK, 25-27 June 2012 (accepted) (Software Services Technologies, Sécurité et confiance, Cloud Computing, Publications scientifiques, BonFIRE)
Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Next-Generation Model-based Variability Management : Languages and Tools (Tutorial), in Proceedings of Journées GDR - GPL - CIEL 2012, Rennes, 19-21 juin 2012 (Communication scientifique, Ligne de produits logiciels, CALIPRO)
Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Philippe COLLET, Philippe LAHIRE, Languages and Tools for Managing Feature Models , in Proceedings of the 3rd International Workshop on Product LinE Approaches in Software Engineering co-located with ICSE’12, Zurich, 4 June 2012. (Publications scientifiques, Ligne de produits logiciels, CALIPRO)
Dissémination
0 | 10 | 20 | 30- Avancées du projet BEM à ICEIS - Generic Workflow Metamodel
- Etude comparative de l’état des pratiques des données dosimétriques - Présentation à INFORSID 2013
- Développements d’OscaR présentés à ORBEL27 - Algorithmes de recherche opérationnelle
- « Get Together » – REVER & Respect-IT & le CETIC - Evénement du CIO Club
- Le CETIC et le secteur TIC en Wallonie - Intervention au GRD Meeting de Thalès Alenia Space
- Votre produit logiciel : accélérateur ou frein à votre croissance ?
- Votre produit logiciel : accélérateur ou frein à votre croissance ? - Groupe de travail du cluster ’Software in Brussels’
- Revue du projet DEPLOY du CETIC - Application de méthodes formelles sur des cas industriels
- ICSE - Du logiciel durable pour un monde durable - Réutilisation de connaissance dans le domaine du test de carte à puce
- Gérer la dette technique pour limiter les risques - Participation du CETIC à la conférence des responsables IT organisée par CAST
Blog
0 | 10 | 20- OscaR - Une plate-forme open source de recherche opérationnelle (PIPAS)
- Outils ALM - Améliorer votre productivité par la traçabilité des composants logiciels (Industrie du logiciel, Outillages et environnements logiciels, NAPLES)
- L’IT pour maîtriser ses processus métiers - Modélisation des processus optimisée au profit des entreprises (Ingénierie dirigée par les modèles)
- Gérer des événements imprévus au sein de processus complexes - BEM - Business Event Manager (Transport, Plan Marshall, Ingénierie dirigée par les modèles, BEM)
- Exécution de workflow cliniques en oncologie - Projet PIPAS (Santé, WIST, Ingénierie dirigée par les modèles, PIPAS)
- Un ingénieur du CETIC en stage au MIT - Thèse de doctorat sur les lignes de produits logicielles (First DOC.A, Wallonie, Ligne de produits logiciels, CALIPRO)
- Consolidez vos pratiques de tests à travers vos projets - Génération des plans de test pour cartes à puces chez STMicroelectronics Belgique (Recherche et Innovation, Test logiciel)
- Norme ISO29110 spécifique aux PMEs - Le CETIC aide les entreprises à améliorer leurs processus de développement logiciel (Qualité des processus, Standards, Industrie)
- Comment rembourser votre dette… technique - Identifiez les actifs toxiques dans vos développements logiciels (Recherche et Innovation, Qualité logicielle)
- Maîtrisez la qualité de vos développements informatiques - Le CETIC vous apporte son expertise méthodologique et ses outils (Recherche et Innovation)