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 addresses accidental faults and cyberattacks, leveraging redundancy through design and metamorphic diversity.
For hardware and software systems including access/usage control systems and IoT applications.
Drones and collaborative robots enhance quality assessment with precision and real-time analysis.
For SoS, Drones, Cobots and Industry 5.0 addressing trustworthiness and safety.
Through 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.
She is in charge of providing technical IT support for the unit's research activities.
She is in charge of providing technical IT support for the unit's research activities.
His research interests include cybersecurity, LLM for software engineering, requirements engineering, and software testing.
Her research interests include creative robotics, computational creativity, emerging technologies assessment, human-centric intelligent manufacturing, business intelligence, and gender-responsive research and innovation.
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.
