A Study of Resilient Architecture for Critical Software-Intensive System-of-Systems (Sisos)

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.

@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},
  volume    = {7},
  number    = {8},
  year      = {2016},
  publisher = {The Science and Information Organization},
  author    = {Nadeem Akhtar and Malik Muhammad Saad Missen and Nadeem Salamat and Amnah Firdous and Mujtaba Husnain},
  doi       = {10.14569/IJACSA.2016.070834},
  url       = {https://doi.org/10.14569/IJACSA.2016.070834}
}