Towards a hybrid formal analysis technique for safety-critical software architectures

2021 ◽  
Vol 10 (2) ◽  
pp. 95
Author(s):  
Laura M. Castro ◽  
Osman Hasan ◽  
Ammar Boucherit ◽  
Abdallah Khababa
Keyword(s):  
Formal Analysis ◽  
Software Architectures ◽  
Safety Critical ◽  
Analysis Technique

Towards a hybrid formal analysis technique for safety-critical software architectures

2021 ◽  
Vol 10 (2) ◽  
pp. 95
Author(s):  
Ammar Boucherit ◽  
Laura M. Castro ◽  
Osman Hasan ◽  
Abdallah Khababa
Keyword(s):  
Formal Analysis ◽  
Software Architectures ◽  
Safety Critical ◽  
Analysis Technique

Factores de éxito en las webs de contenidos audiovisuales. Análisis cualitativo comparado

2021 ◽  
Author(s):  
Susana Fernández-Lores ◽  
Gema Martínez-Navarro ◽  
Diana Gavilán
Keyword(s):  
Success Factors ◽  
Formal Analysis ◽  
Qualitative Comparative Analysis ◽  
Point Of View ◽  
Key Factors ◽  
Ticket Sales ◽  
Critical Success ◽  
Analysis Technique ◽  
Evolution Of Technology ◽  
Content Recommendation

The evolution of technology and the digital empowerment of society have led to the proliferation of Audiovisual Content Webs (ACWs) where users can share information and experiences, along with other commercial resources. ACWs have led to significant changes in the way users can select and access audiovisual content. The design of these websites combines various features, including a user community, streamed content, ticket sales, and recommendations, among others. Each ACW has a specific profile with respect to the mentioned variables. The aim of this study is to identify the critical success factors for a ACW, i.e., which features and the form they should take to attract followers, thus increasing the capacity to prescribe and broadcast content. Using qualitative comparative analysis (QCA), a formal analysis technique that allows the identification of combinations that produce a certain result, a sample of the 12 most representative cinema websites in Spain is analyzed. The results indicate that the incorporation of content recommendation systems and the connection with streaming platforms through which the content can be accessed are key factors in the success of these ACWs. This work contributes academically to the knowledge and explanation of audience behavior in the new audiovisual scenario. From a professional point of view, relevant design suggestions are offered to platform creators. Finally, the limitations of this work are described, and future lines of research are considered. Resumen La evolución de la tecnología y el empoderamiento digital de la sociedad ha dado lugar a la proliferación de webs de contenidos audiovisuales (WCA) donde los usuarios comparten información y experiencias, junto a otros recursos comerciales. Las WCA han provocado cambios significativos en la forma en la que los usuarios pueden seleccionar y acceder a los contenidos audiovisuales. En su diseño, estas webs combinan varias prestaciones: comunidad de usuarios, contenidos en streaming, venta de entradas o recomendaciones, entre otros. Cada WCA presenta un perfil específico respecto a las variables descritas. El objetivo del presente trabajo es identificar los factores críticos de éxito de una WCA, es decir las prestaciones y la forma que deben adoptar para captar seguidores, aumentando con ello capacidad de prescripción y difusión de contenidos. Mediante el análisis cualitativo comparado (QCA), técnica formal de análisis que permite la identificación de combinaciones que producen un determinado resultado, se analiza una muestra de las 12 webs de cine más representativas en España. Los resultados indican que la incorporación de sistemas de recomendación de contenidos y la conexión con plataformas en streaming desde las que poder acceder a los contenidos son factores claves del éxito. El trabajo contribuye académicamente al conocimiento y la explicación de la conducta de la audiencia en el nuevo escenario audiovisual. Desde el punto de vista profesional se ofrecen sugerencias relevantes de diseño para los creadores de plataformas. Por último, se describen las limitaciones del trabajo y se plantean futuras líneas de investigación.

A Comprehensive Hazard Analysis Technique for Safety-Critical Automotive Systems

2001 ◽  
Author(s):  
Sanket Amberkar ◽  
Barbara J. Czerny ◽  
Joseph G. D'Ambrosio ◽  
Jon D. Demerly ◽  
Brian T. Murray
Keyword(s):  
Hazard Analysis ◽  
Safety Critical ◽  
Automotive Systems ◽  
Analysis Technique

scholarly journals Towards an engine for coordination-based architectural reconfigurations

2015 ◽  
Vol 12 (2) ◽  
pp. 607-634 ◽  
Author(s):  
Flávio Rodrigues ◽  
Nuno Oliveira ◽  
Luís Barbosa
Keyword(s):  
Environmental Changes ◽  
Formal Analysis ◽  
Domain Specific Language ◽  
Software Architectures ◽  
Formal Models ◽  
Service Oriented Architectures ◽  
Qualitative And Quantitative ◽  
Domain Specific ◽  
Service Oriented ◽  
Service Disruption

Software reconfigurability became increasingly relevant to the architectural process due to the crescent dependency of modern societies on reliable and adaptable systems. Such systems are supposed to adapt themselves to surrounding environmental changes with minimal service disruption, if any. This paper introduces an engine that statically applies reconfigurations to (formal) models of software architectures. Reconfigurations are specified using a domain specific language-ReCooPLa-which targets the manipulation of software coordination structures, typically used in service-oriented architectures (soa). The engine is responsible for the compilation of ReCooPLa instances and their application to the relevant coordination structures. The resulting configurations are amenable to formal analysis of qualitative and quantitative (probabilistic) properties.

Sign in / Sign up

Export Citation Format

Share Document