Published January 1, 2016
| Version v1
Publication
Open
A Study of Resilient Architecture for Critical Software-Intensive System-of-Systems (Sisos)
Creators
- 1. Islamia University of Bahawalpur
- 2. Khwaja Fareed University of Engineering and Information Technology
- 3. COMSATS University Islamabad
Description
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.
Translated Descriptions
⚠️
This is an automatic machine translation with an accuracy of 90-95%
Translated Description (Arabic)
أصبح دور نظام الأنظمة الحرج مكثفًا للبرمجيات إلى حد كبير. يجب أن يفي نظام النظام الحرج بخصائص صحة الحياة والسلامة. نظرًا لأن نظام الأنظمة الحرج يجب أن يعمل في بيئات مفتوحة يتفاعل فيها ويتعاون مع أنظمة أخرى، فإن تلبية المتطلبات من خلال الهندسة التقليدية غير المتصلة بالإنترنت من أعلى إلى أسفل لم تعد كافية. معظم الأنظمة الحاسمة كثيفة البرمجيات ليس لها حدود ثابتة والخدمات التي تقدمها الأنظمة الأخرى ستأتي وتذهب بطرق لا يمكن التنبؤ بها ؛ في هذه الأنظمة، يعد ضمان الصحة مشكلة صعبة. تحتاج هذه الأنظمة إلى تحمل الأخطاء في مواجهة التغيير ؛ فهي تحتاج إلى بنية مرنة. تم اقتراح نهج لتحليل وتصميم ومواصفات رسمية والتحقق من نظام الأنظمة كثيف الاستخدام للبرمجيات.Translated Description (French)
Le rôle des systèmes de systèmes critiques est devenu considérablement intensif en logiciels. Un système de système critique doit satisfaire les propriétés d'exactitude de la vivacité et de la sécurité. Étant donné que les systèmes de systèmes critiques doivent fonctionner dans des environnements ouverts dans lesquels ils interagissent et collaborent avec d'autres systèmes, il ne suffit plus de répondre aux exigences par le biais d'une ingénierie descendante hors ligne traditionnelle. La plupart des systèmes de systèmes critiques à forte intensité logicielle n'ont pas de limites fixes et les services fournis par d'autres systèmes vont et viennent de manière imprévisible ; dans ces systèmes, assurer la correction est un problème difficile. Ces systèmes doivent tolérer les défauts face au changement ; ils ont besoin d'une architecture résiliente. Une approche a été proposée pour l'analyse, la conception, la spécification formelle et la vérification des systèmes de systèmes à forte intensité logicielle critiques.Translated Description (Spanish)
El papel de los sistemas de sistemas críticos se ha vuelto considerablemente intensivo en software. Un sistema-de-sistema crítico tiene que satisfacer las propiedades de corrección de vitalidad y seguridad. Como los sistemas críticos tienen que operar en entornos abiertos en los que interactúan y colaboran con otros sistemas, satisfacer la acción de los requisitos a través de la ingeniería tradicional de arriba hacia abajo fuera de línea ya no es suficiente. La mayoría de los sistemas críticos de software intensivo no tienen límites fijos y los servicios proporcionados por otros sistemas irán y vendrán de maneras impredecibles; en estos sistemas, asegurar la corrección es un problema difícil. Estos sistemas deben tolerar fallas frente al cambio; necesitan una arquitectura resistente. Se ha propuesto un enfoque para el análisis, diseño, especificación formal y verificación de sistemas críticos de software intensivo.Files
Paper_34-A_Study_of_Resilient_Architecture_for_Critical_Software_Intensive.pdf.pdf
Files
(560.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:79a11f515453f9afd5b05885482747aa
|
560.2 kB | Preview Download |
Additional details
Additional titles
- Translated title (Arabic)
- دراسة للبنية المرنة لنظام الأنظمة المكثف للبرمجيات الحرجة (SISOS)
- Translated title (French)
- A Study of Resilient Architecture for Critical Software-Intensive System-of-Systems (Sisos)
- Translated title (Spanish)
- Un estudio de arquitectura resiliente para sistemas críticos de software intensivo (Sisos)
Identifiers
- Other
- https://openalex.org/W2514923754
- DOI
- 10.14569/ijacsa.2016.070834
References
- https://openalex.org/W101199937
- https://openalex.org/W1496395723
- https://openalex.org/W1533614215
- https://openalex.org/W1549344696
- https://openalex.org/W181257274
- https://openalex.org/W1830954042
- https://openalex.org/W2058107586
- https://openalex.org/W2123288296
- https://openalex.org/W2148395138
- https://openalex.org/W2149205407
- https://openalex.org/W2164698029