A Study of Resilient Architecture for Critical Software-Intensive System-of-Systems (Sisos)
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2016, Vol 7, Issue 8
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.
Authors and Affiliations
Nadeem Akhtar, Malik Missen, Amnah Firdous, Mujtaba Husnain
Keywords
Related Articles
- EP ID EP154423
- DOI 10.14569/IJACSA.2016.070834
- Views 115
- Downloads 0
A Reduced Switch Voltage Stress Class E Power Amplifier Using Harmonic Control Network
In this paper, a harmonic control network (HCN) is presented to reduce the voltage stress (maximum MOSFET voltage) of the class E power amplifier (PA). Effects of the HCN on the amplifier specifications are investigated....
To Generate the Ontology from Java Source Code
Software development teams design new components and code by employing new developers for every new project. If the company archives the completed code and components, they can be reused with no further testing unlike th...
DES: Dynamic and Elastic Scalability in Cloud Computing Database Architecture
Nowadays, companies are becoming global organizations. Such organizations do not limit themselves in conducting business in one country. They need dynamic, elastic, scalable cloud computing platform that operates around-...
Optimized Order of Software Testing Techniques in Agile Process – A Systematic Approach
The designing, development of a software product needs lot of efforts whereas software testing is also a very challenging task but it is equally mandatory activity in order to ensure the quality of the product before shi...
Research on Islanding Detection of Grid-Connected System
This paper proposed a modified detection based on the point of common coupling (PCC) voltage in the three-phrase inverter, combined over/under frequency protection, to achieve the detection of islanding states rapidly. I...