Software Reliability and Security (Transport et Logistique en milieu

Liaison Entreprises et Universités
University of Liège
Faculty of applied sciences
Department of Electrical Engineering and Computer Science - Montefiore Institute
Software Reliability and Security

Embedded systems, real-time constraints, development of reliable information systems,
Robotics
Questions ?
Anne-Stéphanie Adibime
Technology Transfer Officer - Engineering
 +32-043498522
 [email protected]
Laboratory contact details
Laboratory Head
General Contact
Prof. BOIGELOT BERNARD
 Montefiore Institute
Grande traverse 10
4000 Liege
Belgique
 +32-43662970

[email protected]
 +32-43662970
Main study areas and research topics
Design and verification of critical embedded systems subject to real-time constraints
Verification of large and complex computer systems
Hardware and software design of reliable systems
Development of data structures suitable for the effective representation of geometric objects.
Last Research Project
Projet Cwality CREATIS (robotique industrielle),
projet FRFC “Theory and Practice of Automata” (recherche fondamentale),
projet PAI MoVES (“Modeling, Verification and Evolution of Software”)
Industrial application fields
All areas requiring a reliable computer system subject to real-time constraints. For example, transport, logistics and mobility,
aerospace, industrial robotics, biotechnology, etc.
Technologies offers description
More information about the Universities & Higher Education Institutions expertise on www.reseaulieu.be
Page 1 / 2
Liaison Entreprises et Universités
Technologies offers description
Technics and tools for developing reliable computer systems
Services proposal
Consultancy
Existing collaboration
Citius Engineering
Related Lab'Insight Event
Transport et Logistique en milieu urbain
Organisé le lundi 9 décembre 2013 à l'Université de Mons
Ce rendez-vous Lab'InSight a été l'occasion pour les entreprises du secteur logistique de rencontrer des experts
universitaires et d'initier de nouvelles collaborations.
Smart Grid : Smart Energy !
Organisé le vendredi 5 décembre 2014 à l'Université de Liège
Ce rendez-vous Lab'InSight est l'occasion de rencontrer des experts de différentes disciplines et d'initier de nouvelles
collaborations avec les Universités et les Hautes Ecoles de la Fédération Wallonie-Bruxelles.
More information about the Universities & Higher Education Institutions expertise on www.reseaulieu.be
Page 2 / 2