Università degli Studi dell’Aquila, Italy
The University of L’Aquila is a competitive research and teaching institution in Italy, whose foundation dates back to the Middle Age. The University has seven departments and two centers of excellence (CETEMPS, DEWS) and offers a broad variety of programs in engineering and applied sciences. DEWS (Design methodologies for Embedded components, Wireless interconnect and System-on-chip) started its operation in 2001after the Ministry of Scientific Research and University awarded grant for the formation of centers of excellence on a competitive basis. DEWS was among the very first organizations that proposed research on the use of networks of sensors, controllers and actuators to solve society scale problems such as health, disaster recovery, transportation systems, and education. DEWS promotes interdisciplinary cooperation among researchers to achieve its research objectives. In particular, DEWS researchers are active in networked embedded systems, analog and digital electronics, computer science and telecommunications. In this context, the Center has been able to plan and manage projects of significant complexity as well as to spin-off an engineering company (WEST AQUILA, www.westaquila.com). DEWS has been a member of the HYCON Network of Excellence (Hybrid control: taming heterogeneity and complexity of networked embedded systems) and HYCON2 (Highly-complex and networked control systems) Network of Excellence.
Participation in the following European research projects:
– ARTEMIS-JU ASP 2010 – PRESTO
– ARTEMIS-JU ASP 2011 – CRAFTERS
– ARTEMIS-JU AIPP 2013 – EMC2
– ECSEL RIA 2015 – SAFECOP
– ECSEL RIA 2016 – MEGAMART2
UNIVAQ-DEWS will contribute to WP3 and several use cases. In particular:
– in Task 3.1 will contribute to the specification of safety-security-performance (SSP) models and properties, to the choice of quantitative metrics for SSP, and to the selection of the appropriate methods to evaluate them.
– in Task 3.2 will contribute to:
– adapt an existing “electronic system-level hw/sw co-design methodology for performance and reliability”, developed in previous Artemis projects (e.g. PRESTO, CRAFTERS), by also integrating it with other model-based approaches (collaboration within Integrasys, and TASE use cases);
– adapt a design space exploration methodology, currently developed in a running Artemis project (i.e. EMC2), targeted to
parallel (multicore and/or NOC) implementation of mixed criticality systems exploiting hypervisor technologies (collaboration with Integrasys and TASE use cases);
– provide support to (semi)formal early verification by means of a methodology based on model reduction and approximation algorithms to perform “probabilistic safety analysis” via standard stochastic model-checking techniques (collaboration with TASE and Clearsy use cases).