Patrizio Pelliccione

Coming events

The 27th International Symposium on Software Reliability Engineering ( ISSRE 2016) - Ottawa, Canada, October 23-27, 2016.

The 14th International Conference on Software Architecture ( ICSA 2017) - Gothenburg, Sweden, April 4-7, 2017.

The 39th International Conference on Software Engineering ( ICSE 2017) - Buenos Aires, Argentina, May 20-28, 2017.

The 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems ( SEAMS 2017) - Buenos Aires, Argentina, May 22-23, 2017.

The 10th Innovations in Software Engineering Conference ( ISEC 2017) - Jaipur, India, February 5-7, 2017.

The 40th International Conference on Software Engineering ( ICSE 2018) - Gothenburg, Sweden, May 27- June 3, 2017.

Main research areas of interest

Software/System Architecture

I work from several year on software architecture modeling and verification. I am the program co-chair of the International Conference on Software Architecture (ICSA).
Currently I am working in collaboration with Volvo Car Group (VCG) in the context of two FFI Vinnova projects led by VCG and titled " Next Generation Electrical Architecture" and "Next Generation Electrical Architecture 2". Within the project we are creating a Volvo Cars Architecture Framework based on the conceptual foundations provided by the ISO/IEC/IEEE 42010:2011 standard. Preliminary results, published together with two architects of Volvo Cars might be found here.

Engineering Robotic Systems

Over the last decades, research in robotics has made huge progress, e.g., in the fields of image recognition and processing, planning, control, and collaboration. Software engineering is called to play a key role in securing this new technology’s affirmation by making it pervasive and ubiquitous.
This topis is investigated within the FlyAQ. More details might be found here (ASE2015) and here (Model2016) conference.
This topic will be investigated within the EU project titled "Achieving Complex Collaborative Missions via Decentralized Control and Coordination of Interacting Robots (Co4Robots)", Call: H2020-ICT-2016-2017 (Information and Communication Technologies Call), Topic: ICT-25-2016- 2017.

Autonomous and Smart Systems

Examples of smart systems are robotic systems, autonomous cars, and they will be increasingly required to work in uncontrollable and potential unknown environments. They will be often required to work as a team to achieve a common goal and they will need to adapt their behaviour according to the inputs they receive from the external world. The unpredictability and uncontrollably of the environment hamper the complete understanding of the system at design time. Often uncertainty might be resolved only at runtime. This implies that the safety certification process has to be extended also to runtime phases. I am working on this topic within the WASP project.

Selected publications

Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione, Antony Tang (2015) Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar IEEE Transactions on Software Engineering Volume: 41, Issue: 7, July 1 2015.

Ivano Malavolta, Patricia Lago, Henry Muccini, Patrizio Pelliccione, Antony Tang (2013) What Industry Needs from Architectural Languages : A Survey IEEE Transactions on Software Engineering 39: 6. 869-891

Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Damien Andrew Tamburri (2010) Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies IEEE Transactions on Software Engineering 36: 1. 119-140

Patrizio Pelliccione, Paola Inverardi, Henry Muccini (2009) CHARMY: A Framework for Designing and Verifying Architectural Specifications IEEE Transactions on Software Engineering 35: 3. 325-346

Patricia Lago, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Antony Tang (2014) The Road Ahead for Architectural Languages IEEE Software Volume: 32, Issue: 1, Jan.-Feb. 2015.

Federico Ciccozzi, Ivica Crnkovic, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Romina Spalazzese (2016) Model-driven engineering: a facilitator for engineering mission-critical IoT systems IEEE Software To appear.

Davide Di Ruscio and Patrizio Pelliccione (2014) Simulating upgrades of complex systems: the case of Free and Open Source Software Information and Software Technology Volume 56, Issue 4, April 2014, Pages 438–462.

Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione (2016) Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems IEEE Access To appear.

Davide Di Ruscio and Patrizio Pelliccione (2015) A model-driven approach to detect faults in FOSS systems Journal of Software: Evolution and Process, John Wiley and Sons, Ltd.

M Autili, P Inverardi, P Pelliccione (2007) Graphical scenarios for specifying temporal properties : an automated approach Automated Software Engg. 14: 3. 293-340

Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli (2011) Supporting software evolution in component-based FOSS systems Science of Computer Programming 76: 12. 1144-1160

Romina Eramo, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio (2012) A model-driven approach to automate the propagation of changes among Architecture Description Languages Software and Systems Modeling 11: 1. 29-53

Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino F Zorzo (2009) Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions : A comparative study Journal of Systems and Software 82: 2. 207-228

Patrizio Pelliccione, Massimo Tivoli, Antonio Bucchiarone, Andrea Polini (2008) An architectural approach to the correct and automatic assembly of evolving component-based systems Journal of Systems and Software 81: 12. 2237-2251

Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli (2012) Developing highly complex distributed systems: a software engineering perspective Journal of Internet Services and Applications 3: 1. 15-22

Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli (2016) Automatic Generation of detailed Flight Plans from High-level Mission Descriptions In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) Saint Malo, France, October 2-7.

Rogardt Heldal, Patrizio Pelliccione, Ulf Eliasson, Jonn Lantz, Jesper Derehag, Jon Whittle (2016) Descriptive vs Prescriptive Models in Industry In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) Saint Malo, France, October 2-7.

Mikael Fagerström, Emre Emir Ismail, Grischa Liebel, Rohit Guliani, Fredrik Larsson, Karin Nordling, Eric Knauss, Patrizio Pelliccione (2016) Verdict Machinery: On the need to automatically make sense of test results In the International Symposium on Software Testing and Analysis (ISSTA2016), Saarland University, Saarbrücken, Germany, July 18–20, 2016.

Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio (2010) Developing next generation ADLs through MDE techniques In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010) - Volume 1 85-94 New York, NY, USA: ACM

Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione (2004) Compositional Verification of Middleware-Based Software Architecture Descriptions In: International Conference on Software Engineering (ICSE 2004) 221-230 Los Alamitos, CA, USA: IEEE Computer Society

Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli (2013) Producing Software by Integration : Challenges and Research Directions (Keynote) In: ESEC/FSE’13 : Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli (2009) Automatic Synthesis of Behavior Protocols for Composable web-services In: Proceedings of The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)

Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione (2010) Formal analysis and verification of self-healing systems In: Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering (FASE 2010) 139-153 Berlin, Heidelberg: Springer-Verlag

Active Projects

WASP

Wallenberg Autonomous Systems Program
Swedish project, 10 years funding, 100 PhD students - started October 2015.

NGEA/NGEA2

Two FFI Vinnova projects (Swedish projects) coordinated by Volvo Cars and titled " Next Generation Electrical Architecture" (2015-1018) and "Next Generation Electrical Architecture 2" (2016-2019).

Co4Robots

EU project titled "Achieving Complex Collaborative Missions via Decentralized Control and Coordination of Interacting Robots (Co4Robots)", Call: H2020-ICT-2016-2017 (Information and Communication Technologies Call), Topic: ICT-25-2016- 2017.

Past Projects

PRESTO

imProvements of industrial Real time Embedded SysTems development prOcess
EU Artemis project (April 2011 – ).

FLYAQ

An Open-source platform for Mission Planning of Autonomous Quadrotors
Winner of the grant: "20 talenti per l’Italia", Working Capital 2012 of Telecom Italia (November 2012 – ).

TURN 2.0

Realizing a platform to promote "social" tourism in Abruzzo
Italian, Regione Abruzzo - POR FESR 2007-2013 (2012 - ).

MANCOOSI

Managing the Complexity of the Open Source Infrastructure
EU FP7 (February 2008 – May 2011).

POPEYE

Professional Peer Environment beYond Edge computing
EU FP6 (May 2006 – May 2008).

Connect

Emergent Connectors for Eternal Software Intensive Networkd Systems
EU FP7 FET (2009 - 2012).

d-Asap

Dependable Adaptable Software Architectures for Pervasive Computing
Italian MIUR Prin 2007 (2008 - 2010).

Art-Deco

Adaptive Infrastructures for decentralised organizations
Italian MiUR FIRB 2005 (2005 - 2007).

CORRECT

rigorous stepwise development of Complex Fault tOlerant DistRibuted Systems: from ARchitEctural DesCription to Java ImplemenTation
Luxembourgish (2004 - 2007).

Tools

FLYAQ

enables non-expert users to program missions of autonomous multicopters. Specifically, it enables (i) the graphical specification of civilian missions for a team of multicopters, (ii) the automatic generation of detailed flight plans that prevent collisions and respect no-fly zones, and (iii) the execution of the mission.

Charmy

is a tool which allows the specification of a software system SA through diagrammatic, UML-based notations, and the validation of the architectural specification conformance with respect to certain functional requirements. Model checking techniques are used to check the consistency between the software architecture and the functional requirements.

Property Sequence Charts (PSC)

PSC is a simple but expressive graphical formalism for specifying temporal properties. Two are the main requirements of PSC, simplicity and expressiveness.

Dually

Dually is a framework to create interoperability among ADLs themselves as well as UML. Dually allows architects to transform concepts of an architectural model into semantically equivalent concepts in other architectural models. Dually is implemented as an Eclipse plugin.

ByADL, Build Your ADL

is a framework for developing next generation ADLs according to their evolved requirements. With byADL, an existing ADL can be extended with (i) domain specific concerns, (ii) analysis notations, (iii) new architectural views, and (iv) methodologies and processes that support other life-cycle activities.

Megaf

is an infrastructure for realizing architecture frameworks. It builds upon the conceptual foundations of ISO/IEC 42010 for architecture description. MEGAF is realized through megamodeling techniques.

EVOSS

(EVolution of free and Open Source Software) promotes the simulation of upgrades to predict failures before affecting the real system, thus improving over the state of the art of package managers.

Other interests

Photos

Find my photos here: Flickr account.

Running

I absolutely love running!

Music

The cure
Depeche Mode
Franco Battiato