Re-examines the fundamentals of composition in heterogeneous systems, develops foundations and tools for system integration and validates the results in experiments using experimental platforms.
About 30 years ago, Lapri has defined dependability as a logical framework over multiple quantitative properties, such as availability, reliability, integrity, etc. Since then it has been successfully used for characterizing dependability of computational systems. The latest update of concepts and taxonomy of dependable and secure computing was released in 2004 (see link below):
We are developing an open and scalable experimental platform (SmartGridLab) for empirical investigations and testing of algorithms and concepts developed in this project. SmartGridLab integrates the hardware testbed with a software emulator so that software virtual nodes can interact with physical nodes in the testbed. Software modules that emulate an interface between the physical grid and the cloud are developed. The proposed research and education platform enables the evaluation of performance and scalability under realistic communication constraints.