Software is pervasive and often critical in our everyday life. Its production is complicated and expensive, especially for complex systems like Cyber-Physical Systems (CPS). CPS are often safety-critical and rely on heterogeneous processors (e.g. CPUs, GPUs, FPGAs, DSPs), hence their engineering requires reliable and flexible methods. Domain-Specific Modelling Languages (DSML) and model-based techniques have proven to be very suitable for that. Currently, from DSMLs, executables are generated by first translating a model to a program in a high-level programming language (e.g. C++) via code generators and then compile it. Code generators are language-specific, inflexible, and not always reliable, difficult and expensive to certify, customise and maintain. The purpose of ORPHEUS is to study and formalise a systematic and precise theory for model compilation, implement it in a prototypical framework, and evaluate it through mixed-method studies on an industrial case-study. This kind of solution will maximise the profit of using model-based techniques, thus producing high-quality and safe software in a more efficient manner, and accelerate research by providing a unified common ground for researchers and practitioners. The project is run through 4-steps cycles of 1) theoretical solution, 2) formalisation, 3) prototyping, and 4) evaluation. The research is carried out by the PI, two professors with expertise in complementary areas, a postdoc and a Ph.D. student.
First Name | Last Name | Title |
---|---|---|
Federico | Ciccozzi | Head of Research Education,Professor |
Alfonso | Pierantonio | Visiting Professor |
Hiep | Hong Trinh | Doctoral student |
An elucidation of blended modeling from an industrial perspective
(Dec 2024)
Jörg Holtmann
, Federico Ciccozzi, Wim Bast
, Joost Van Pinxten
Springer Journal on Software and Systems Modeling (SoSym)
A Hybrid Ontology for Identifying Safety Hazards and Security Threats
(Nov 2024)
Malina Adach, Alessio Bucaioni, Federico Ciccozzi
The 8th International Conference on System Reliability and Safety (ICSRS24)
Model-based development and formal verification of a ROS2 multi-robot system using Timed Rebeca
(Sep 2024)
Hiep Hong Trinh, Marjan Sirjani, Mikael Sjödin, Federico Ciccozzi
40th Anniversary of the IEEE Conference on Robotics and Automation (ICRA@40)
Flexible Modelling: a Systematic Literature Review
(Jul 2024)
Robbert Jongeling, Federico Ciccozzi
- (-)
Towards Compact Surface Languages for Specific Modelling Aspects in EAST-ADL
(Jun 2024)
Imad Berrouyne, Alessio Bucaioni, Federico Ciccozzi, Henrik Lönn
12th Embedded Real-Time Systems Congress (ERTS2024)
Combining model-based development and formal verification of a complex ROS2 multi-robots system using Timed Rebeca
(Jun 2024)
Hiep Hong Trinh, Marjan Sirjani, Fereidoun Moradi, Antonio Cicchetti, Federico Ciccozzi
International Workshop on Reliability Engineering Methods for Autonomous Robots – REMARO 2024 (REMARO2024)
We are using cookies to give you the best experience on our site. Cookies are files stored in your browser and are used by most websites to help personalise your web experience. By continuing to use our website without changing the settings, you are agreeing to our use of cookies. | close |