@ 2012 - Site Map - Credits

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
Area della Ricerca CNR di Pisa
Via G. Moruzzi 1
56124 PISA - Italy

Phone: +39 050315-2914

Team members
	Antonia Bertolino Research director
	Felicita Di Giandomenico Senior researcher
	Fabio Martinelli Senior researcher
	Antonino Sabetta Researcher
	Ilaria Matteucci Researcher
	Marco Martinucci Graduate Fellow
	Paolo Masci Researcher Associate
	Eda Marchetti Researcher
	Daniela Mulas Technical & Management Support

The Italian National Research Council (CNR) is the main public research body of Italy, carrying out, promoting and transferring multidisciplinary research. The CONNECT project will involve groups from the two main CNR institutes in ICT: the Institute of Information Science and Technologies (ISTI) http://www.isti.cnr.it/ and the Institute of Informatics and Telematics (IIT) http://www.iit.cnr.it/. The domain of competence of ISTI covers Information Science, related technologies and a wide range of applications. The IIT Institute performs research in pervasive computing and communication, computational mathematics and systems and network security.

Expertise brought to CONNECT

The ISTI group joining CONNECT belongs to two Research Laboratories. The Software Engineering RL (http://labse.isti.cnr.it/) brings in a solid expertise and a long outstanding research curriculum in software verification, testing and analysis. Current research is strongly focused in the development of methodologies and tools for component-based systems and Service-oriented Architectures, especially testing methodologies based on a formal description of software architecture and approaches for the automatic generation of test cases starting from XML schema and UML models. Also, monitoring approaches to the on-line validation of Service-oriented Architectures are under development.

The ISTI Research Laboratory on Dependable Computing (DCL) is renowned for research and experimentation activities in the field of dependable architectures and systems. The group is currently involved in research spanning two macro areas: (i) Architectures and Techniques for Fault Tolerance Systems, and (ii) Quantitative Dependability and QoS Evaluation.

The IIT Information Security (IS-IIT) group performs research and development activities on dependable and secure distributed systems as well as on foundations of security and trust in pervasive computing. The main research activities involve network and systems security, formal analysis based on specification languages, PKI & trust management, policies and enforcing mechanisms.

Contribution to CONNECT research

By joining researchers from three different groups, CNR will contribute with a massive and powerful expertise to crucial aspects concerning the dependability of the semantic dynamic connectors. In particular, CNR intends to address security, functional and non-functional concerns and to provide the foundations and means to analyze, detect and take remedy against malfunctions and attacks.