The DESSERT (DEpendable and Secure Software Engineering and Real-Time Systems) research group at the Università degli Studi di Napoli Federico II conducts research in the design, the assessment, and the verification of dependable, secure, and real-time systems. Such systems often have requirements for dependability, security, and temporal behaviors. These requirements may contradict one another. By providing unified software engineering methodologies and techniques to assess system response times, dependability, and security during the entire design process, the research group defines and applies new engineering principles to the design and the verification of critical systems.
News
People
Research Projects