Towards Compositional Transformations for Dependability Analysis of Evolving and Reconfigurable Systems

Speaker: Kristof Marussy, Fault Tolerant Systems Research Group, University of Budapest
When: Tuesday, March 19, 3:15PM
Where: Aula 1.7 (Coppito 1)
Title: Towards Compositional Transformations for Dependability Analysis of Evolving and Reconfigurable Systems

Abstract:
Evaluation of the reliability and performance of variable and adaptable architectures as well as the co-evolution of architectures and analyses remains difficult. Evolving system structure often requires repeated analysis with significant computational costs and manual intervention. Therefore analysis methods need to prepare for evolving systems and reconfigurations. In my research, I focused on the construction of analysis models by change-driven, forward only view transformations to efficiently propagate architecture changes to stochastic Petri net analysis models. I present a domain-specific language to describe the view transformations in terms of Petri net fragments and their interconnections in a fully compositional way, which means individual transformations can be combined without re-engineering. I also present a transformation engine suited for such view transformations: in addition to source– and target-incremental execution, fully compositional transformations can be run even in the face of validation errors in the source or target models. Lastly, I present the description and analysis of adaptation strategies by semantic integration of high-level models and analyses in phased-mission stochastic models, which is enabled by the incremental execution of the view transformation.

Discovering complex individual and social behavior patterns via Social network Analysis

Speaker: Prof. Pasquale De Meo, Università di Messina
When: Wednesday, February 6, 2019
Where: AULA A1.4 COPPITO ZERO
Title: Discovering complex individual and social behavior patterns via Social network Analysis

Thanks to the availability of user profiles and records of activity, online social network analysis is relevant to discover complex individual and social behavior patterns.
The emergence of trust between users of online services is one of the most important phenomena, but it’s also hard to detect in records of users’ interactions, and even harder to replicate by abstract, generative models.
Seminario 1: February 6, 2019 at 11:00
In this seminar we report our results on the emergence of “trusted” users (over time) by studying the evolution of topological and centrality measures in the network mapping trust relations among members of an Online Social Network.

Seminario 2: February 6, 2019 at 14:30
This seminar illustrates how social network analysis tools can be used to discover reputable users in online communities: given a “who-trusts-whom” network in which users can create trust relationships as well as review items and evaluate posted reviews, we investigate whether the most central actors in the network are also highly reputable, i.e., if they are likely to provide helpful reviews to the benefit of all community members.

Seminar “Facing Uncertainty in Complex Cyber-Physical System Design”

Speaker: Malina Software Corp. (Canada), Simula Research Laboratory (Norway), Monash University (Australia)
When: Thursday, February 7, 2019
Where: room Alan Turing, Coppito Zero (Blocco 0)
Title: Facing Uncertainty in Complex CPS Design

ABSTRACT: The unprecedented complexity of many modern-day cyber-physical systems (CPS) requires changes in how we design and develop such systems. Traditional methods were typically based on the assumption that a capable and responsible design team will identify all potential uncertainties in a proposed design and, through careful and systematic analysis, reduce or even eliminate the consequent risk prior to committing to a given design alternative. However, experience has amply demonstrated that, once a system exceeds a certain threshold of complexity, it is unrealistic to expect that even the best and most experienced design team can anticipate and accurately uncover all possible sources of uncertainty and accurately assess their consequences. For instance, due to their sheer number and complexity, it is very difficult to predict potential interference between independently defined system functions (this is sometimes referred to as the feature interaction problem). Consequently, given that we cannot hope to fully eliminate uncertainty in such systems, we must learn how to incorporate and deal with it in the design process.
To that end, it is first necessary to develop a proper understanding of uncertainty: what it is, how it is manifested, and how it can be represented. In this talk, we describe one conceptual model of uncertainty, the UTaxonomy, which was developed as part of the European H2020 “UTest” project. Although this project is focused on the problem of testing CPS in the presence of uncertainty, the conceptual model was designed to be general and is likely to be useful in other uncertainty-related research. To illustrate how such a model can be applied in practice, we briefly explain how it is being used to identify and describe uncertainties when specifying requirements.

 

Speaker Bio: Bran Selić is President of Malina Software Corp., a Canadian company that provides consulting services to corporate clients and government institutions worldwide. He is also Director of Advanced Technology at Zeligsoft Limited in Canada, and a Visiting Scientist at Simula Research Laboratories in Norway. In 2007, Bran retired from IBM Canada, where he was an IBM Distinguished Engineer responsible for setting the strategic direction for software development tools. Currently, he is also an adjunct professor at Monash University and the University of Sydney in Australia. With over 40 years of practical experience in designing and implementing large-scale industrial software systems, Bran has pioneered the application of model-based engineering methods and has led the definition of several international standards in that domain, including the widely used Unified Modeling Language (UML). In 2016, he was presented with a lifetime Career Award by the steering committee of the IEEE/ACM MoDELS conference in recognition of his contributions to model-driven technologies and practice.

Seminario su public speaking e presentazione [New Date]

Speaker: Valeriano Salve
When: Wednesday February 13, 2019, 15:00-17:00
Where: Aula C1.10 – Piano terra Coppito 2
Title: Gli strumenti della comunicazione in pubblico

Abstract: Molti ricercatori si trovano nel corso della loro vita di studio o di lavoro a dover tenere delle conferenze o corsi in pubblico e l’aspetto del materiale che viene presentato è spesso trascurato o di poca efficacia perché non si conoscono le tecniche più utili allo scopo. Il seminario mira ad offrire una panoramica su come utilizzare gli strumenti più comuni quali Power Point (Microsoft) o Keynote (Apple) per ottenere presentazioni di sicuro impatto. Durante il seminario si analizzeranno gli aspetti da non trascurare per creare una presentazione efficace e le tecniche per esporre in pubblico il materiale presentato. Ci sarà anche una veloce panoramica sugli altri strumenti che sono di aiuto per parlare in pubblico: lavagne luminose, fogli mobili, dispense cartacee, ecc… ognuno analizzato con i pro e i contro.

Seminario Valeriano Salve 13 febbraio 2019

ICT Seminar “Characterizing control loops over Ultra-Reliable and Low-Latency Wireless Communication”

Speaker: Amal Alrish (PhD student at DISIM)
When: Thursday July 19, 2018, 15:30-16:00
Where: room 2.5 (Coppito 1, 2nd floor)
Title: Characterizing control loops over Ultra-Reliable and Low-Latency Wireless Communication

Abstract: The established wireless networking standards for industrial automation, WirelessHART and ISA-100 have been used widely for control and monitoring applications adopted in the previous years. However, they both rely on centralized network configuration and resource management that comes with large overhead for collecting network health information and disseminating routing graphs and transmission schedules to nodes, and the times required for a node to join a WirelessHART network can be substantial. Moreover, D2D communication cannot be supported by them because all data must pass through the gateway. Consequently, WirelessHART and ISA-100 are not suitable for the use in automated fast industrial process and robotics, which similarly to emerging cyber-physical applications in transportation, health-care, augmented reality support for maintenance works, virtual reality, education and culture that set high demands on underlying wireless connectivity solution. These applications require much more stringent requirements, such as low latency, high reliability and security, which warrant a paradigm shift from reactive and centralized networks towards massive, low latency, ultra-reliable and proactive networks. With the emergence of the fifth generation (5G) wireless networks, not only is the increase in mobile broadband targeted, but also the support of various previous mentioned used cases with ensuring ultra-reliable and low-latency communication (URLLC). The seminar will be focused on exploring new models supporting network slicing since it could be one of the appropriate solutions to meet the above mentioned requirements through allowing operator to partition network in a structured, elastic, scalable and automated manner

The talk is part of a series of seminars given by PhD students and researchers of our Department within the ICT area.
The goal of the seminars is to provide an overview on ongoing research activities, highlight common interests and explore emerging possibilities for collaboration between different research areas.

Seminars on drones and computer vision

There will be two seminars tomorrow and the day after tomorrow, held by our two guests from   BISITE (https://bisite.usal.es/en)

 

UAVs, drones and computer vision

Dr. Pablo Chamoso

Tuesday , 17 july

15.00-17.00

Room D4.2 – Blocco 11

 

Computer vision, face recognition, emotion recognition

Dr. Alfonso Gonzáles Briones

Wednesday, 18 july

15.00-17.00

Room D4.2 – Blocco 11

 

Who is interested on these scientific topics, and on further information about the seminars please contact:

Dott. Ing. Tania Di Mascio  at the following address: tania.dimascio (at) univaq.it

 

New call for PhD applications in ICT at the University of L’Aquila

The University of L’Aquila offers a number of scholarships for the PhD program in Information and Communication Technologies (ICT) at the Department of Information Engineering, Computer Science and Mathematics (DISIM), and the Center of Excellence DEWS.

Applications are invited from candidates interested in working in the following topics:

  • Cyber-Physical Systems
  • Networked Control Systems
  • Wireless Sensor Networks
  • Telecommunication Systems
  • Embedded Systems
  • HW/SW on-chip systems
  • Smart Grids
  • Energy Systems
  • Algorithms and architectures for computation and optimization
  • Software Engineering
  • Model-driven engineering
  • Artificial Intelligence

Our PhD program in ICT offers the opportunity to spend training periods in world-wide renowned schools of excellence, such as University of California at Berkeley, University of California at Los Angeles, University of Pennsylvania, CINVESTAV, University of Guadalajara, Swedish Royal Institute of Technology (KTH), ETH Zurich, University College London, Carnegie Mellon University, University of Cambridge, Lehigh University, Harbin Institute of Technology, University of Tabriz, with which the University of L’Aquila has formal institutional agreements.

The deadline to submit your application is August 24, 2018.

You can find more information about our PhD program in ICT here.

Call for applications (italian)

Call for applications (english)

ICT Seminar “Integrated Simulation Environments for Vehicular Communications in Cooperative Road Transportation Systems”

Speaker: Arianna Persia (PhD student at DISIM)
When: Thursday July 19, 2018, 15:00-15:30
Where: room 2.5 (Coppito 1, 2nd floor)
Title: Integrated Simulation Environments for Vehicular Communications in Cooperative Road Transportation Systems

Abstract: Pervasive digital technologies and wireless communications are the key enablers for the “smart” evolution of transportation systems, where the current development trend is oriented to increase the level of safety and comfort in driving and traveling, to reduce CO2 emissions and to finally support assisted and autonomous driving. With particular reference to vehicular traffic, the accurate localization, pervasive connectivity and cybersecurity are expected to play a key role for the development of cooperative and intelligent transportation systems (C-ITS). In this frame the seminar proposes an overview of on-going research activities at the University of L’Aquila: moving from specific investigations on radio channel congestion control and mobility management applications, we then focus on methodologies and facilities for validation and testing through the combined use of simulation tools, emulation setups and field trials. The research activity is fully connected to a large scale project that deals with city-wide deployment and experimentation of 5G technologies in the city of L’Aquila, wherein the connected car has been presented as a relevant use case.

The talk is part of a series of seminars given by PhD students and researchers of our Department within the ICT area.
The goal of the seminars is to provide an overview on ongoing research activities, highlight common interests and explore emerging possibilities for collaboration between different research areas.

Seminar “Telecommunications Services and Network Architecture Evolution”

Speaker: Gianfranco Ciccarella (consultant on Telecommunication Strategy, IP Services and IP Networks)
When: June 26, 2018 — 10:30 am
Where: Meeting room (Alan Turing building)
Title: Telecommunications Services and Network Architecture Evolution

Abstract: The Telecommunications Industry scenario to date, the main drivers for the transformation and the target architecture for application services (the  services “used” by End Users) and network services (the services that provide the connectivity, i.e. the transport of the IP packets) are presented.
The focus is on
• why a disruptive Telecommunications Industry transformation is needed
• the main Telecommunications Industry issues (Time to Market, Total Cost of Ownership, application services performance and Ultra Broad Band monetization)
• how to address the Telecommunications Industry issues
• the application and network services target architecture.
The target scenario is
• All IP: one single IP Telecommunications Network  able to provide the performance required by any application service
• Edge Cloud Computing based: application services, content delivery and network functions/services are executed in ‘Telco Data Centers’ distributed over different layers: core, regional and edge (i.e. central office or Cloud Radio Access Network).
Edge Cloud Computing, as reported in ETSI, GPP and GSMA documents, celebrates first successes and is able to provide
• quality improvements (i.e. technical KPIs improvement), that enable new revenues
• cost savings, in many cases, for services and network costs
due to the distribution ‘near’ the end users (i.e. as deep into the network as needed by services requirements and cost saving opportunities) of
• some of the IP Edge functionalities. The distribution of IP Edge functionalities enables the distribution of services, applications and content delivery platforms.
• services, applications, contents and content delivery platforms.
Distribution technologies (NFV and Cloud) are available, however many challenges have still to be addressed to solve the main issues related to the Telecommunication Industry vision on services and network.
Some comments on this points are presented.
Data on application performance improvement and network TCO saving provided by the the target architecture are also given.

Gianfranco Ciccarella is a former Associate Professor at University of L’Aquila and a brillian consultant on Telecommunication Strategy, IP Services and IP Networks. This will be a great chance to gain a new perspective on Telecommunication Network Architectures, especially considering the ongoing activities that involve our university such as the Italian 5G trial and the INCIPICT and EMERGE research projects.

 

ICT Seminar “Modeling and performance analysis of advanced detection architectures for ADS-B signals in high interference environments”

Speaker: Sandro Chiocchio (PhD student at DISIM)
When: Thursday July 5, 2018, 15:00-15:30
Where: room 2.5 (Coppito 1, 2nd floor)
Title: Modeling and performance analysis of advanced detection architectures for ADS-B signals in high interference environments

Abstract: The RTCA (Radio Technical Commission for Aeronautics) DO-260B document has stimulated in latest years the adoption of novel algorithms to improve the ability of receivers to detect and decode ADS-B signals, with particular emphasis on preamble detection, declaration of bit state and confidence level, detection and correction of errors. This work reports on performance analysis of a set of enhanced techniques that we have developed for detection and decoding of ADS-B signals transmitted on 1090 MHz carrier frequency in high interference conditions.  An extensive set of results has been derived through a specifically developed simulation environment, able to closely model a wide range of operational scenarios by generating ADS-B frames and Mode A/C interfering signals. The simulation environment also includes a detailed implementation of the features of both linear and logarithmic amplifier stages in the RF receiver architecture. The investigations are mainly focused on evaluating the impact of the interference generated by Mode A/C replies on preamble detection and data decoding for ADS-B signals. In this regard, the ability of enhanced reception techniques to improve detection performance is assessed. Numerical results obtained from extensive simulation runs are reported and commented. They actually demonstrate that enhanced techniques are essential to guarantee adequate detection performance in the harsh environments envisaged by increased intensity of air traffic and extensive use of ADS-B for traffic control.

The talk is part of a series of seminars given by PhD students and researchers of our Department within the ICT area.
The goal of the seminars is to provide an overview on ongoing research activities, highlight common interests and explore emerging possibilities for collaboration between different research areas.

Upcoming seminar:

  • Thursday July 12, 2018, 15:00-15:30: Arianna Persia (PhD student at DISIM), Integrated Simulation Environments for Vehicular Communications in Cooperative Road Transportation Systems.