Software Engineering for Resilient Systems, 1st ed. 2015 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings Programming and Software Engineering Series
Coordonnateurs : Fantechi Alessandro, Pelliccione Patrizio
Biological Immunity and Software Resilience: two faces of the same coin?.- Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol.- Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems.- Risk assessment based cloudification.- Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System.- Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain.- Tejo: a supervised anomaly detection scheme for NewSQL databases.- Resiliency Variance in Workows with Choice.
Includes supplementary material: sn.pub/extras
Date de parution : 08-2015
Ouvrage de 145 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 42,20 €
Ajouter au panierThème de Software Engineering for Resilient Systems :
Mots-clés :
cloud computing; dependability; embedded systems; error detection; error recovery; fault tolerance; formal modeling; monitoring; performance; power consumption; redundancy; reliability; resilience; risk assessment; self-adaptive systems; software and its engineering; software architectures; software testing; traceability; veification and validation