Abstract: The role of critical system-of-systems have become considerably software-intensive. A critical system-of-system has to satisfy correctness properties of liveness and safety. As critical system-of-systems have to operate in open environments in which they interact and collaborate with other systems, satisfy action of the requirements through traditional offline top-down engineering no longer suffice. Most of the critical software-intensive system-of-systems have no fixed boundaries and services provided by other systems will come and go in unpredictable ways; in these systems assuring correctness is a challenging issue. These systems need to tolerate faults in the face of change; they need a resilient architecture. An approach has been proposed for the analysis, design, formal specification and verification of critical Software-intensive System-of-Systems.

Nadeem Akhtar, Malik Muhammad Saad Missen, Nadeem Salamat, Amnah Firdous and Mujtaba Husnain, “A Study of Resilient Architecture for Critical Software-Intensive System-of-Systems (Sisos)” International Journal of Advanced Computer Science and Applications(IJACSA), 7(8), 2016. http://dx.doi.org/10.14569/IJACSA.2016.070834

@article{Akhtar2016,
title = {A Study of Resilient Architecture for Critical Software-Intensive System-of-Systems (Sisos)},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2016.070834},
url = {http://dx.doi.org/10.14569/IJACSA.2016.070834},
year = {2016},
publisher = {The Science and Information Organization},
volume = {7},
number = {8},
author = {Nadeem Akhtar and Malik Muhammad Saad Missen and Nadeem Salamat and Amnah Firdous and Mujtaba Husnain}
}