Performance and Dependability Laboratory

The Performance and Dependability Laboratory (PDL) is a research laboratory in the Department of Computer Engineering at the Sharif University of Technology with the mission of developing models, methods, algorithms and tools that can be used for improving the performance, dependability and security of computer and communication systems. The latter systems are quite broad and may include hardware and software architectures, distributed real-time systems, wireless and mobile ad-hoc networks, sensor networks and Cyber-Physical Systems, grid and cloud computing systems, social networks, embedded and biological systems. Our approach is mainly model-based, including techniques such as model-based design and analysis methods, algorithms, and formal verification and validation methods to enhance the performance, dependability and security such systems.