SEDC Lab
Software Engineering and Dependable Computing Laboratory
An ISTI - CNR Research group
Software Engineering and Dependable Computing Laboratory
An ISTI - CNR Research group
The Software Engineering and Dependable Computing Lab develops novel integrated methodologies, rooted on the synergy between Software Engineering and Dependable Computing disciplines, to face the continuous evolu- tion and rising criticality of software-intensive systems. If you have any question, you can contact us by e-mail.
The research address accidental faults and cyberattacks, leveraging redundancy through design and metamorphic diversity.
For hardware and software systems also including access and usage control systems and IoT applications.
In Industry 5.0, drones and collaborative robots (cobots) enhance quality assessment by combining precision, adaptability, and real-time data analysis.
For SoS, Drones, Cobots and Industry 5.0 to address F&N-F properties, trustworthiness and safety considering industry and SAR contexts.
Thtough dependability analysis, performance and resilience-energy consumption trade-offs in complex, interdependent cyber-physical systems and critical infrastructures.
For Emergency Response, Ray-Tracing-Aided Simulation, AI-Ready Dataset Generation, Intelligent Detection Systems.
Researchers, Technologists, Technicians
Her research activities include the design of dependable computing systems, software-implemented fault/intrusion tolerance, and the modeling of dependability attributes.
Her research interests include Emergent Behavior, Software Testing, Systems of Systems Design and Evaluation, and Testing for secure and reliable AI-based Systems.
Her research interests include software testing and novel methodologies for testing emerging software technologies, cybersecurity, value-based, and ethical aspects.
His research interests focused on designing and developing smart monitoring infrastructure, and cybersecurity assessment applied to SoSs, the IoT, and UAVs domains.
His research focuses on design of dependable computing systems, software and system fault/intrusion tolerance modelling and evaluation of dependability attributes.
Her main interests are Large Language Models, Agentware, Cybersecurity, and Human-Computer-Interaction.
Integer sit amet risus et erat imperdiet finibus. Nam lacus nunc, vulputate id ex eget, euismod auctor augue bla bla .
She is in charge of providing technical IT support for the unit's research activities.
A glimpse to the EU Projects we participate and to our prototype tools.
Proin enim orci, tincidunt quis suscipit in, placerat nec est. Vestibulum posuere faucibus posuere. Quisque aliquam velit eget leo blandit egestas. Nulla id posuere felis, quis tristique nulla.
