Log in

Login to your account

Username *
Password *
Remember Me

KRSP (Knowledge Representation & Reasoning for the Semantic Web

Instrumentation

  • 6 Workstations;
  • n. 1 Server.

Teaching Activities

  • Security and Privacy;
  • Semantic Web;
  • Master theses on Security, Privacy, Knowledge representation.

Research Activities

We develop innovative extensions of OWL2, RDF, and related query and inference engines, supporting, for example, O.O.-like inheritance with exceptions and overriding, and inference-proof access control mechanisms.

Our technologies and design methodologies are targeted at managing and reasoning with very large knowledge bases, by supporting incremental ontology refinement and fast reasoning methods for profiles such as OWL2-EL and OWL2-DL.

Security, Privacy & Trust:

We develop innovative policy models and trust negotiation systems for access control in open distributed environments and pervasive computing scenarios.

Our technologies and design methodologies address dynamic and event driven access control decisions, as well as advanced support to policy authoring and verification, based on second generation explanation facilities.

We tackle usage control policy enforcement through the integration of cryptographic techniques and incentive compatible systems.

The main applications of our interest include large, knowledge based, and distributed information systems (for private companies, health organizations, etc). We focus on solutions for secure and performant knowledge utilization.

The KRSP Lab is involved in university-level teaching activities and theses (bachelor, master, PhD) related to knowledge representation and security.

Service Activities

None at the moment

Location

Via Claudio, 21 - Ed. 5 -  Locale OE4

Operational capacity

6 work stations

Scientific Manager

Prof. Piero Andrea Bonatti
Tel.: 081 679307
email:This email address is being protected from spambots. You need JavaScript enabled to view it.

 

Automatic Industrial Warehouse
The industrial warehouse is housed at the second floor of the DIETI and it is made of industrial components (see fig.1). The structure includes elements for handling pallets, both along horizontal and vertical directions. The elementary structures are rollers and elevators, while photocells are used for detecting the presence of the pallets. The system is controlled via remote I/O cards connected to a programmable logic controller (PLC) through the Profibus industrial network. The laboratory hosts PLCs by Siemens (S7-300 series with RFID module) and Allen-Bradley ControLogic. The programming of PLCs is allowed by a PC, which is connected to the controller via MPI and / or Ethernet network. The automatic warehouse is exploited by students for developing their final project for the Bachelor Degree in Automatic Control Engineering.

 

HIL and SIL platforms

 The laboratory hosts Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) platforms for analysis, synthesis and validation of non-linear control systems, discontinuous control systems, adaptive control strategies, distributed control of complex systems, automotive control systems, Intelligent Transportation Systems and mechatronic applications. The main set-up available are:

  • set-up for analysis and control of discontinuous mechanical systems (cam-follower).
  • set-up for the analysis and control of switching and nonlinear circuits.
  • DSpace platform for rapid prototyping of control strategies. The platform is based on the DSpace ACE Kit 1104 system for the design, development and implementation of control laws through an easy-to-use real-time hardware. The system includes:
    • DS1104 R&D Controller Board;
    •  Adapter cables;
    •  CDP Control Development Software Package;
    •  Microtec C Compiler;
    •  I/O boards: ACE1104_CP e ACE1104_CLP; 
    •  CP1104 Connector Panel;
    •  CLP1104 Connector/LED Panel.
  • Platform for design, simulation and validation of automotive control laws (for single vehicles or fleets of connected vehicles). Dynamic vehicle models can be exploited for HIL simulations in both DSpace and National environments.
  • Platform for the simulation of fleets of autonomous connected vehicles in both urban and extra-urban traffic scenarios on smart roads.
  • Labview cards and microcontroller boards for studying consensus in multi agents systems and wireless sensors networks.

Teaching Activities

The following teaching activities are currently carried out in the Automatic Control Laboratory:

  • Development and testing of automation software for PLCs in Automation and Control Systems Technologies (Automation Engineering Degree Course) and IT Technologies for Industrial Automation (BSc in Computer Engineering)
  • Development of thesis and Master thesis dealing with control and supervision of handling equipment
  • Development of thesis and Master thesis dealing with intelligent transportation systems (ITS), automotive systems, control of fleets of autonomous and semi-autonomous vehicles connected via communication networks in smart roads
  • Development of thesis and Master thesis dealing with cyber-physical systems and sensor networks
  • Tutoring activities for students in Management Engineering, Biomedical Engineering and Automation Engineering

Research Activities

The following research activities are currently carried out in the Automatic Control Laboratory:

  • Experimental validation of algorithms for fault diagnosis in handling systems;
  • Design and validation of algorithms and strategies for intelligent transportation systems (ITS);
  • Development and validation of ADAS solutions for automotive systems (Advanced Driver Assistance Systems);
  • Design, development and validation of mechatronic systems and automotive control strategies;
  • Design, development and validation of algorithms for cooperative and collaborative control of connected vehicles;
  • Development of models and tools for the dynamic simulation of individual vehicles, vehicle's networks and traffic on smart roads.

Service Activities

The activities carried out at the Automatic Control Laboratory are closely related to teaching and research. No service activity is carried out with the equipment within this lab at present.

Location

Via Claudio, 21 - Ed. 3 -  Locale 2.23

Operational capacity

The Laboratory has a working capacity proportional to its small dimensions. However, it is always used within the limits of its maximum operational capability through the careful planning of the activities.

Scientific Manager

Prof. Gianmaria Detommasi
Tel.: 081 7683853
email: This email address is being protected from spambots. You need JavaScript enabled to view it.

Technical Manager

Ing. Stefania Santini
Tel.: 081 7683914
email:This email address is being protected from spambots. You need JavaScript enabled to view it.

 

The main research topics in DESSERT (DEpendable Systems and Software Engineering Research Team) concern methods and techniques for developing, evaluating and managing distributed, wired and / or wireless complex systems, with particular reference to critical systems and related reliability issues

Instrumentation

  • n. 8 Personal computers;
  • n. 1 Printer;
  • n. 1 Technological cabinet;
  • n. 2 Network switch;
  • n. 1 Access point WiFi;
  • n. 2 Server;
  • n. 1 CISCO IP Phone;

Teaching Activities

  • Software Engineering
  • Real Time Systems
  • Programming
  • Operating Systems
  • Reliability and Performance analysis of Computing Infrastructures
  • Distributed Systems

Research Activities

  • Verification and Validation of software system
  • Safety Critical Systems
  • Critical Infrastructure Protection
  • Security and dependability in the cloud
  • Holistic approaches for assessment of Dependability and security

Service Activities

None at the moment

Location

Via Claudio, 21 - Ed. 3 -  Locale 4.07

Operational capacity

14 work stations

Scientific Manager

Prof. Domenico Cotroneo
Tel.: 081-7683824
Email: This email address is being protected from spambots. You need JavaScript enabled to view it.

Technical Manager

Ing. Vincenzo Vecchio
Tel.: 081-7685922
Email:This email address is being protected from spambots. You need JavaScript enabled to view it.

Sito web

http://www.dessert.unina.it/

Istrumentation

  • n.3 Servers.

Teaching Activities

  • Machine Learning and Applications Mod. A;
  • Web Technologies;
  • Software Engineering 2;
  • Databases 2;
  • Spatial Big Data .

Master theses in the lab's topics.

Research Activities

The Knowledge Management and Engineering Lab (KnoMELab)  research focuses on topics connected with knowledge extraction and processing. Nowadays, the availability of large amounts of digital data enables the extraction of knowledge useful in many application domains. Often data are in textual form, partially or unstructured, expressed in either natural or artificial languages, including programming languages. Methodologies developed for machine learning, natural language processing, and information retrieval are applied to different domains, ranging from software engineering to biomedical data analysis. These research activities involve the use of various machine learning techniques, including Support Vector Machines (SVM), deep learning, clustering, and others.
KnomeLab has participated in various international and national research projects.

Service activities

None at the moment

Location

Via Claudio, 21 - Ed. 5 -  Locale OE4

Operative Performance

Scientific Manager

Prof. Anna Corazza
Tel.: 081 679273
email: This email address is being protected from spambots. You need JavaScript enabled to view it.

Page 1 of 2

© 2016 DIETI@UniNa. All Rights Reserved. Designed By JoomShaper. Powered by CCB