Future of Information and Communication Conference (FICC) 2021
29-30 April 2021
Publication Links
IJACSA
Special Issues
Computing Conference 2021
Intelligent Systems Conference (IntelliSys) 2021
Future Technologies Conference (FTC) 2021
Future of Information and Communication Conference (FICC) 2021
Copyright Statement: This is an open access article licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, even commercially as long as the original work is properly cited.
Digital Object Identifier (DOI) : 10.14569/IJACSA.2016.070834
Article Published in International Journal of Advanced Computer Science and Applications(IJACSA), Volume 7 Issue 8, 2016.
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}
}