Patrizio Pelliccione

Coming events

The 42nd International Conference on Software Engineering ( ICSE 2020) - Seoul, South Korea, May 23-29, 2020.

The International Conference on Software Architecture ( ICSA 2020) - March 16-20 | Salvador, BA - Brazil.

10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems ( SEAMS 2020) - Seoul, South Korea, May 25-26, 2020.

IEEE 15th International Conference on Automation Science and Engineering ( CASE 2019) - Vancouver, BC, Canada, Aug 22-26, 2019.

27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) ( ESEC/FSE 2019) - Tallinn, Estonia, Aug 26-30, 2019.

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

Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, and Thorsten Berger (2019) Specification Patterns for Robotic Missions IEEE Transactions on Software Engineering (TSE) Accepted for publication.

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 (TSE) 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 (TSE) 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 (TSE) 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 (TSE) 35: 3. 325-346

Pengcheng Zhang, Patrizio Pelliccione, Hareton Leung, Xuandong Li (2018) Automatic Generation of Predictive Monitors from Scenario-based specifications Information and Software Technology Volume 98, June 2018, Pages 5-31.

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.

Darko Bozhinoski, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Ivica Crnkovic (2019) Safety for Mobile Robotic System: a Systematic Mapping Study from a Software Engineering Perspective Journal of Systems and Software 151: 150 179.

Chen Yang, Peng Liang, Paris Avgeriou, Ulf Eliasson, Rogardt Heldal, Patrizio Pelliccione, Tingting Bi (2017) An industrial case study on an Architectural Assumption Documentation Framework Journal of Systems and Software (JSS) 134: 190-210.

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 (JSS) 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 (JSS) 81: 12. 2237-2251

Rebekka Wohlrab, Eric Knauss, Jan-Philipp Steghöfer, Salome Maro, Anthony Anjorin, and Patrizio Pelliccione (2019) Collaborative traceability management: a multiple case study from the perspectives of organization, process, and culture Requirements Engineering Journal To appear.

S Magnus Ågren, Eric Knauss, Rogardt Heldal, Patrizio Pelliccione, Gösta Malmqvist, and Jonas Bodén (2019) The Impact of Requirements on Automotive Systems Development Speed Requirements Engineering Journal September 2019, Volume 24, Issue 3, pp 315–340.

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

Darko Bozhinoski, David Garlan, Ivano Malavolta, Patrizio Pelliccione(2019) Managing Safety and Mission Completion via Collective Run-time Adaptation Journal of Systems Architecture (JSA) Volume 95, May 2019, Pages 19-35.

Patrizio Pelliccione, Eric Knauss, Rogardt Heldal, S Magnus Ågren, Piergiuseppe Mallozzi, Anders Alminger, Daniel Borgentun(2017) Automotive Architecture Framework: The Experience of Volvo Cars Journal of Systems Architecture (JSA) Volume 77, June 2017, Pages 83-100.

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 (2017) Model-Driven Engineering for Mission-Critical IoT Systems IEEE Software Volume: 34 , Issue: 1 , Jan.-Feb. 2017

Romina Spalazzese, Patrizio Pelliccione, Ulrik Eklund (2017) INTERO: an Interoperability Model for Large Systems IEEE Software

Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli (2019) A software exoskeleton to protect and support citizen's ethics and privacy in the digital world IEEE Access Volume 7, pages 62011 - 62021.

Pengcheng Zhang, Xuewu Zhou, Patrizio Pelliccione, Hareton Leung (2017) RBF-MLMR: A Multi-Label Metamorphic Relation Prediction Approach Using RBF Neural Network IEEE Access Volume 5, pages 21791 - 21805.

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 Volume 4, pages 6451 - 6466.

Rebekka Wohlrab, Patrizio Pelliccione, Eric Knauss, and Mats Larsson (2019) Boundary Objects and their Use in Agile Systems Engineering Organizations Journal of Software: Evolution and Process Accepted for publication.

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.

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

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione (2019) PsALM: Specification of Dependable Robotic Missions. In ICSE 2019, demonstration track.

Rob van der Valk, Patrizio Pelliccione, Patricia Lago, Rogardt Heldal, Eric Knauss, Jacob Juul (2018) Transparency and Contracts: Continuous Integration and Delivery in the Automotive Ecosystem. In: 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP 2018), 27 May - 3 June 2018 in Gothenburg, Sweden.

Khaled Alnawasreh, Patrizio Pelliccione, Zhenxiao Hao, Mårten Rånge, Antonia Bertolino (2017) Online Robustness Testing of Distributed Embedded Systems: an Industrial Approach. In: Proceedings of the International Conference on Software Engineering in Practice track (ICSE-SEIP), Buenos Aires, Argentina.

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)

Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Jana Tumova (2019) Multi-Robot LTL Planning Under Uncertainty. In: 22nd International Symposium on Formal Methods (FM2018), 15-17 July 2018, Oxford UK.

Rebekka Wohlrab, Ulf Eliasson, Patrizio Pelliccione, Rogardt Heldal (2019) Improving the Consistency and Usefulness of Architecture Descriptions: Guidelines for Architects. In IEEE International Conference on Software Architecture (ICSA 2019), Hamburg, Germany, March 25-29. Best paper Award!

Rebekka Wohlrab, Patrizio Pelliccione, Eric Knauss, Rogardt Heldal (2019) On Interfaces to Support Agile Architecting in Automotive: An Exploratory Case Study. In IEEE International Conference on Software Architecture (ICSA 2019), Hamburg, Germany, March 25-29.

Sergio García, Claudio Menghi, Patrizio Pelliccione, Thorsten Berger, Rebekka Wohlrab (2018) An Architecture for Decentralized, Collaborative, and Autonomous Robots. In IEEE International Conference on Software Architecture (ICSA 2018), April 30 – May 4 | Seattle, USA.

Magnus Ågren, Eric Knauss, Rogardt Heldal, Patrizio Pelliccione, Gösta Malmqvist, Jonas Bodéna (2018) The Manager Perspective on Requirements Impact on Automotive Systems Development Speed. In: 26th IEEE International Requirements Engineering Conference (RE2018) August 20 - 24, 2018 - Banff, Alberta, Canada.

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.

Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione (2019) Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach. In SEAMS 2019.

Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione (2018) A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems. In SEAMS 2018.

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